Module jdk.jshell

Package jdk.jshell.spi

package jdk.jshell.spi
定义了可插拔的JShell执行引擎的服务提供者接口。JShell核心跟踪和编译代码片段，然后将它们（以包装类表示）发送到执行引擎进行加载，并在可执行代码片段的情况下执行。JShell实现包括一个默认执行引擎（当前为远程进程，由JDI控制）。通过实现ExecutionControl接口及其生成类，以及安装它到JShell.Builder.executionEngine(String)，可以使用其他执行引擎。传递的字符串是一个ExecutionControl规范。

ExecutionControl规范是可选地跟随参数规范的ExecutionControlProvider名称。规范的语法如下：

 规范   := 名称 : 参数
        | 名称
 名称   := 标识符
 参数   := 参数 , 参数
        | 参数
        |
 参数   := 标识符 ( 值 )
其中“名称”是ExecutionControlProvider的名称。其中“参数”是来自ExecutionControlProvider.defaultParameters()的Map键和括号中的值；例如，参见JdiExecutionControlProvider。其中“标识符”是来自基本多文种平面的一系列Java标识符部分字符。

例如：

  • local
  • jdi:hostname(localhost)
  • failover:1(jdi),2(jdi:launch(true),timeout(3000)),3(local)
自：
9
参见：