インタフェースjdk.jshell.tool.JavaShellToolBuilderの
使用
-
jdk.jshell.toolでのJavaShellToolBuilderの使用
修飾子と型メソッド説明static JavaShellToolBuilder
JavaShellToolBuilder.builder()
JDK jshellツールを起動するためのビルダーを作成します。環境変数のソースを設定します。JavaShellToolBuilder.err(PrintStream error)
エラー・チャネルを設定します。JavaShellToolBuilder.err(PrintStream cmdErr, PrintStream userErr)
エラー・チャネルを設定します。JavaShellToolBuilder.in(InputStream cmdIn, InputStream userIn)
入力チャネルを設定します。ロケールを設定します。JavaShellToolBuilder.out(PrintStream output)
出力チャネルを設定します。JavaShellToolBuilder.out(PrintStream cmdOut, PrintStream console, PrintStream userOut)
出力チャネルを設定します。JavaShellToolBuilder.persistence(Map<String,String> prefsMap)
入力履歴と保持されている設定を含む永続情報用の記憶機構を設定します。JavaShellToolBuilder.persistence(Preferences prefs)
入力履歴と保持されている設定を含む永続情報用の記憶機構を設定します。JavaShellToolBuilder.promptCapture(boolean capture)
コマンド・キャプチャ・プロンプトを有効にするように設定します。