Uses of Class
org.qedeq.kernel.se.state.AbstractState

Packages that use AbstractState

org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.se.state	This package carries all possible module states.

Uses of AbstractState in org.qedeq.kernel.bo.common

Methods in org.qedeq.kernel.bo.common that return AbstractState

AbstractState	QedeqBo.getCurrentState() Get the current state of the module.
AbstractState	QedeqBo.getLastSuccessfulState() Get the last successful state of the module.

Uses of AbstractState in org.qedeq.kernel.bo.service.internal

Methods in org.qedeq.kernel.bo.service.internal that return AbstractState

AbstractState	DefaultKernelQedeqBo.getCurrentState()
AbstractState	StateManager.getCurrentState() Get the current state of associate module.
AbstractState	StateManager.getLastSuccesfulState() Get the last successful state we were in.
AbstractState	DefaultKernelQedeqBo.getLastSuccessfulState()

Uses of AbstractState in org.qedeq.kernel.se.state

Subclasses of AbstractState in org.qedeq.kernel.se.state

class	DependencyState Represents a mathematical module state.
class	FormallyProvedState Represents a mathematical module state.
class	LoadingImportsState Represents a module state.
class	LoadingState Represents a module state.
class	WellFormedState Represents a mathematical module state.