edu.rice.cs.drjava.model.repl.newjvm
Class MainJVM.FreshRunningState

java.lang.Object
  extended by edu.rice.cs.drjava.model.repl.newjvm.MainJVM.State
      extended by edu.rice.cs.drjava.model.repl.newjvm.MainJVM.RunningState
          extended by edu.rice.cs.drjava.model.repl.newjvm.MainJVM.FreshRunningState
Enclosing class:
MainJVM

private class MainJVM.FreshRunningState
extends MainJVM.RunningState

Variant of RunningState where the interpreter JVM has not yet been used.


Field Summary
 
Fields inherited from class edu.rice.cs.drjava.model.repl.newjvm.MainJVM.RunningState
_interpreter
 
Constructor Summary
MainJVM.FreshRunningState(InterpreterJVMRemoteI interpreter)
           
 
Method Summary
 InterpreterJVMRemoteI interpreter(boolean used)
          Get the current interpreter -- null if unavailable.
 void restart(boolean force)
          Ensure that the interpreter is stopping or not running, to be started again.
 
Methods inherited from class edu.rice.cs.drjava.model.repl.newjvm.MainJVM.RunningState
dispose, start, stop, stopped
 
Methods inherited from class edu.rice.cs.drjava.model.repl.newjvm.MainJVM.State
started, startFailed
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MainJVM.FreshRunningState

public MainJVM.FreshRunningState(InterpreterJVMRemoteI interpreter)
Method Detail

interpreter

public InterpreterJVMRemoteI interpreter(boolean used)
Description copied from class: MainJVM.State
Get the current interpreter -- null if unavailable. Block if necessary.

Overrides:
interpreter in class MainJVM.RunningState
Parameters:
used - Whether this access will lead to a used JVM -- one that should be reset even when not forced

restart

public void restart(boolean force)
Description copied from class: MainJVM.State
Ensure that the interpreter is stopping or not running, to be started again. Block if necessary.

Overrides:
restart in class MainJVM.RunningState
Parameters:
force - Whether an unused, running JVM should be restarted