Package | Description |
---|---|
jdk.jshell.tool |
Provides a mechanism to launch an instance of a Java™ shell tool.
|
Modifier and Type | Method | Description |
---|---|---|
static JavaShellToolBuilder |
JavaShellToolBuilder.builder() |
Create a builder for launching the JDK jshell tool.
|
JavaShellToolBuilder |
JavaShellToolBuilder.env(Map<String,String> vars) |
Set the source for environment variables.
|
JavaShellToolBuilder |
JavaShellToolBuilder.err(PrintStream error) |
Set the error channels.
|
JavaShellToolBuilder |
JavaShellToolBuilder.err(PrintStream cmdErr,
PrintStream userErr) |
Set the error channels.
|
JavaShellToolBuilder |
JavaShellToolBuilder.in(InputStream cmdIn,
InputStream userIn) |
Set the input channels.
|
JavaShellToolBuilder |
JavaShellToolBuilder.locale(Locale locale) |
Set the locale.
|
JavaShellToolBuilder |
JavaShellToolBuilder.out(PrintStream output) |
Set the output channels.
|
JavaShellToolBuilder |
JavaShellToolBuilder.out(PrintStream cmdOut,
PrintStream console,
PrintStream userOut) |
Set the output channels.
|
JavaShellToolBuilder |
JavaShellToolBuilder.persistence(Map<String,String> prefsMap) |
Set the storage mechanism for persistent information which includes
input history and retained settings.
|
JavaShellToolBuilder |
JavaShellToolBuilder.persistence(Preferences prefs) |
Set the storage mechanism for persistent information which includes
input history and retained settings.
|
JavaShellToolBuilder |
JavaShellToolBuilder.promptCapture(boolean capture) |
Set to enable a command capturing prompt override.
|
Submit a bug or feature
Java is a trademark or registered trademark of Oracle and/or its affiliates in the US and other countries.
Copyright © 2015, 2017, Oracle and/or its affiliates. 500 Oracle Parkway
Redwood Shores, CA 94065 USA. All rights reserved.
DRAFT 9-Ubuntu+0-9b153-1