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.
|
default JavaShellToolBuilder |
JavaShellToolBuilder.interactiveTerminal(boolean terminal) |
Set to true to specify the inputs and outputs are connected to an interactive terminal
that can interpret the ANSI escape codes.
|
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.
|