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:
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Reports that the execution engine has shutdown.default Optional
<JShellConsole> console()
Returns theJShellConsole
that should be used by the execution engine, ornull
if none.Returns the additional VM options to be used when launching the remote JVM.userErr()
Returns the user's error stream.userIn()
Returns the user's input stream.userOut()
Returns the user's output stream.
-
Method Details
-
userIn
-
userOut
-
userErr
-
extraRemoteVMOptions
-
closeDown
void closeDown()Reports that the execution engine has shutdown. -
console
Returns theJShellConsole
that should be used by the execution engine, ornull
if none.Note: an execution engine may not support
JShellConsole
.- Implementation Requirements:
- The default implementation of this method
returns an empty
Optional
. - Returns:
- returns console, or an empty
Optional
if none, nevernull
- Since:
- 21
-