模块  jdk.jshell

Package 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()中的Map键和带括号的值; 参见，例如， JdiExecutionControlProvider 。 其中'identifier'是来自Basic Multilingual Plane的Java identifier part characters的序列。

例如：

  • 本地
  • JDI：主机名（本地主机）
  • 故障转移：1（JDI），2（JDI：发射（真），超时（3000）），3（本地）
从以下版本开始：
9
另请参见：
for execution implementation support