Пакет 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 Java identifier part characters из Основной многоязычной плоскости.

Например:

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