モジュール jdk.jshell

パッケージ jdk.jshell.spi

プラガブルなJShell実行エンジンのサービス・プロバイダ・インタフェースを定義します。 JShellコアは、スニペットを追跡およびコンパイルし、スニペットをロードするために(ラッパー・クラスで表される)実行エンジンに送信し、実行可能スニペットの場合は実行を行います。 JShell実装には、デフォルトの実行エンジン(現在はJDI制御のリモート・プロセス)が含まれています。 ExecutionControlインタフェースとその生成クラスを実装することで、ExecutionControlProviderインタフェースの実装、およびJShell.Builder.executionEngine(String)を使用してインストールする他の実行エンジンを使用できます。 渡される文字列は、ExecutionControl仕様です。

ExecutionControl仕様は、オプションでExecutionControlProvider名の後にパラメータ指定が続きます。 仕様の構文は次のとおりです。 

 spec   := name : params
        | name
 name   := identifier
 params := param , params
        | param
        |
 param  := identifier ( value )
ここで、'name'は ExecutionControlProvider nameです。 ここで、'param'は、ExecutionControlProvider.defaultParameters()からのマップ・キーおよびカッコで囲まれた値です。たとえば、JdiExecutionControlProviderを参照してください。 ここで、'identifier'は、Basic Multilingual PlaneのJava識別子部分文字のシーケンスです。

たとえば:

  • local
  • jdi:hostname(ローカルホスト)
  • フェイルオーバー:1(jdi)、2(jdi:launch(true)、timeout(3000))、3(ローカル)

導入されたバージョン:
9
関連項目:
for execution implementation support