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

Например:

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