モジュール jdk.jshell

パッケージjdk.jshell.spi

パッケージ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は、基本多言語プレーンからの「Java識別子の部分文字」のシーケンスです。

たとえば:

  • local
  • jdi:hostname(localhost)
  • failover:1(jdi),2(jdi:launch(true),timeout(3000)),3(local)

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