Uses of Interface
jdk.jshell.tool.JavaShellToolBuilder
Package
Description
Provides a mechanism to launch an instance of a Java shell tool.
-
Uses of JavaShellToolBuilder in jdk.jshell.tool
Modifier and TypeMethodDescriptionstatic JavaShellToolBuilder
JavaShellToolBuilder.builder()
Create a builder for launching the JDK jshell tool.Set the source for environment variables.JavaShellToolBuilder.err
(PrintStream error) Set the error channels.JavaShellToolBuilder.err
(PrintStream cmdErr, PrintStream userErr) Set the error channels.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.Set the locale.JavaShellToolBuilder.out
(PrintStream output) Set the output channels.JavaShellToolBuilder.out
(PrintStream cmdOut, PrintStream console, PrintStream userOut) Set the output channels.JavaShellToolBuilder.persistence
(Map<String, String> prefsMap) Set the storage mechanism for persistent information which includes input history and retained settings.JavaShellToolBuilder.persistence
(Preferences prefs) Set the storage mechanism for persistent information which includes input history and retained settings.JavaShellToolBuilder.promptCapture
(boolean capture) Set to enable a command capturing prompt override.default JavaShellToolBuilder
JavaShellToolBuilder.windowSize
(int columns, int rows) Provide a hint of the display window's dimensions when using an interactive terminal.