ExecutionEnv (Java SE 11 & JDK 11 ) (original) (raw)

public interface ExecutionEnv
Functionality made available to a pluggable JShell execution engine. It is provided to the execution engine by the core JShell implementation.
This interface is designed to provide the access to core JShell functionality needed to implement ExecutionControl.
Since:
9
See Also:
ExecutionControl

• • Method Summary

  All Methods Instance Methods Abstract Methods

  Modifier and Type	Method	Description
  void	closeDown()	Reports that the execution engine has shutdown.
  List<String>	extraRemoteVMOptions()	Returns the additional VM options to be used when launching the remote JVM.
  PrintStream	userErr()	Returns the user's error stream.
  InputStream	userIn()	Returns the user's input stream.
  PrintStream	userOut()	Returns the user's output stream.

• • Method Detail

     * #### userIn  
     [InputStream](../../../../java.base/java/io/InputStream.html "class in java.io") userIn()  
     Returns the user's input stream.  
     Returns:  
     the user's input stream  
     * #### userOut  
     [PrintStream](../../../../java.base/java/io/PrintStream.html "class in java.io") userOut()  
     Returns the user's output stream.  
     Returns:  
     the user's output stream  
     * #### userErr  
     [PrintStream](../../../../java.base/java/io/PrintStream.html "class in java.io") userErr()  
     Returns the user's error stream.  
     Returns:  
     the user's error stream  
     * #### extraRemoteVMOptions  
     [List](../../../../java.base/java/util/List.html "interface in java.util")<[String](../../../../java.base/java/lang/String.html "class in java.lang")> extraRemoteVMOptions()  
     Returns the additional VM options to be used when launching the remote JVM. This is advice to the execution engine.  
      Note: an execution engine need not launch a remote JVM.  
     Returns:  
     the additional options with which to launch the remote JVM  
     * #### closeDown  
     void closeDown()  
     Reports that the execution engine has shutdown.

Report a bug or suggest an enhancement
For further API reference and developer documentation see the Java SE Documentation, which contains more detailed, developer-targeted descriptions with conceptual overviews, definitions of terms, workarounds, and working code examples.
Java is a trademark or registered trademark of Oracle and/or its affiliates in the US and other countries.
Copyright © 1993, 2025, Oracle and/or its affiliates, 500 Oracle Parkway, Redwood Shores, CA 94065 USA.
All rights reserved. Use is subject to license terms and the documentation redistribution policy.