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' — ключ Map из ExecutionControlProvider.defaultParameters() и значение в скобках; см., например, JdiExecutionControlProvider. Где 'identifier' — это последовательность символов — частей идентификатора Java из базовой многоязычной плоскости.

Например:

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