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

java.lang.Object
  edu.rice.cs.drjava.model.repl.newjvm.MainJVM.State
      edu.rice.cs.drjava.model.repl.newjvm.MainJVM.DisposedState

Enclosing class:

MainJVM

private class MainJVM.DisposedState
extends MainJVM.State

Constructor Summary

private

MainJVM.DisposedState()

Method Summary

void	dispose()
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.
void	start() Ensure that the interpreter is starting or running.
void	stop() Ensure that the interpreter is stopping or not running.
void	stopped()

Methods inherited from class edu.rice.cs.drjava.model.repl.newjvm.MainJVM.State

started, startFailed, stopped

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MainJVM.DisposedState

private MainJVM.DisposedState()

Method Detail

interpreter

public InterpreterJVMRemoteI interpreter(boolean used)

Description copied from class: MainJVM.State

Get the current interpreter -- null if unavailable. Block if necessary.

Specified by:

interpreter in class MainJVM.State

Parameters:

used - Whether this access will lead to a used JVM -- one that should be reset even when not forced

start

public void start()

Description copied from class: MainJVM.State

Ensure that the interpreter is starting or running. Block if necessary.

Specified by:

start in class MainJVM.State

stop

public void stop()

Description copied from class: MainJVM.State

Ensure that the interpreter is stopping or not running. Block if necessary.

Specified by:

stop in class MainJVM.State

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.

Specified by:

restart in class MainJVM.State

Parameters:

force - Whether an unused, running JVM should be restarted

dispose

public void dispose()

Specified by:

dispose in class MainJVM.State

stopped

public void stopped()