Module  jdk.jshell

Package jdk.jshell.spi

定义可插拔JShell执行引擎的服务提供程序接口。 JShell核心跟踪和编译Snippets,然后将它们(在包装器类中表示)发送到执行引擎进行加载,而在可执行代码段的情况下执行。 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 “标识符”来自基本多语言平面的序列为Java identifier part characters

例如:

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