--- old/src/jdk.jshell/share/classes/jdk/jshell/spi/ExecutionEnv.java 2016-07-19 16:57:27.695117617 -0700 +++ new/src/jdk.jshell/share/classes/jdk/jshell/spi/ExecutionEnv.java 2016-07-19 16:57:27.584114792 -0700 @@ -28,14 +28,11 @@ import java.io.InputStream; import java.io.PrintStream; import java.util.List; -import jdk.jshell.EvalException; import jdk.jshell.JShell; -import jdk.jshell.UnresolvedReferenceException; /** * Functionality made available to a pluggable JShell execution engine. It is - * provided to the execution engine by the core JShell implementation calling - * {@link ExecutionControl#start(jdk.jshell.spi.ExecutionEnv) }. + * 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. @@ -66,11 +63,6 @@ PrintStream userErr(); /** - * @return the JShell instance - */ - JShell state(); - - /** * Returns the additional VM options to be used when launching the remote * JVM. This is advice to the execution engine. *
@@ -81,47 +73,8 @@
List
- * The identifier is an internal id, different from the id in the API. This
- * internal id is returned by {@link SPIResolutionException#id()}.
- *
- * @param id the internal integer identifier
- * @param stackElements the stack trace elements to install
- * @return an {@code UnresolvedReferenceException} for the unresolved
- * reference
- */
- UnresolvedReferenceException createUnresolvedReferenceException(int id,
- StackTraceElement[] stackElements);
-
- /**
* Reports that the execution engine has shutdown.
*/
void closeDown();
+
}