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

Например:

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