模块  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