Module jdk.jshell
Package jdk.jshell.spi

Interface ExecutionEnv

public interface ExecutionEnv
可供可插拔的JShell执行引擎使用的功能。由核心JShell实现提供给执行引擎。

此接口旨在提供访问核心JShell功能的权限，以实现ExecutionControl。

自：
9
参见：

  • Method Details

    • userIn

      InputStream userIn()
      返回用户的输入流。
      返回：
      用户的输入流

    • userOut

      PrintStream userOut()
      返回用户的输出流。
      返回：
      用户的输出流

    • userErr

      PrintStream userErr()
      返回用户的错误流。
      返回：
      用户的错误流

    • extraRemoteVMOptions

      List<String> extraRemoteVMOptions()
      返回在启动远程JVM时要使用的额外VM选项。这是对执行引擎的建议。

      注意：执行引擎不一定要启动远程JVM。

      返回：
      启动远程JVM时要使用的额外选项

    • closeDown

      void closeDown()
      报告执行引擎已关闭。

    • console

      default Optional<JShellConsole> console()
      返回执行引擎应使用的JShellConsole，如果没有则返回null。

      注意：执行引擎可能不支持JShellConsole。

      实现要求：
      此方法的默认实现返回一个空的Optional。
      返回：
      返回控制台，如果没有则返回一个空的Optional，永不为null
      自：
      21