langtools/src/jdk.jshell/share/classes/jdk/jshell/execution/RemoteExecutionControl.java
changeset 41941 a935ac3f5274
parent 40767 c7908e8c786b
child 41994 e43f670394ca
equal deleted inserted replaced
41940:048d559e9da7 41941:a935ac3f5274
    39 /**
    39 /**
    40  * The remote agent runs in the execution process (separate from the main JShell
    40  * The remote agent runs in the execution process (separate from the main JShell
    41  * process). This agent loads code over a socket from the main JShell process,
    41  * process). This agent loads code over a socket from the main JShell process,
    42  * executes the code, and other misc, Specialization of
    42  * executes the code, and other misc, Specialization of
    43  * {@link DirectExecutionControl} which adds stop support controlled by
    43  * {@link DirectExecutionControl} which adds stop support controlled by
    44  * an external process. Designed to work with {@link JDIDefaultExecutionControl}.
    44  * an external process. Designed to work with {@link JdiDefaultExecutionControl}.
    45  *
    45  *
    46  * @author Jan Lahoda
    46  * @author Jan Lahoda
    47  * @author Robert Field
    47  * @author Robert Field
    48  */
    48  */
    49 public class RemoteExecutionControl extends DirectExecutionControl implements ExecutionControl {
    49 public class RemoteExecutionControl extends DirectExecutionControl implements ExecutionControl {