Uses of Interface
jdk.jshell.tool.JavaShellToolBuilder

Packages that use JavaShellToolBuilder

Package	Description
jdk.jshell.tool	Provides a mechanism to launch an instance of a Java™ shell tool.

Uses of JavaShellToolBuilder in jdk.jshell.tool

Methods in jdk.jshell.tool that return JavaShellToolBuilder

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.