org.qedeq.kernel.bo.control
Class StateManager

java.lang.Object
  org.qedeq.kernel.bo.control.StateManager

public class StateManager

extends Object

Changes the states of KernelQedeqBos.

Version:

$Revision: 1.1 $

Constructor Summary

(package private)

StateManager(KernelQedeqBo bo)

Method Summary

void	delete() Delete QEDEQ module.
void	printDependencyTree() Print the dependence tree to System.out.
void	setChecked(ExistenceChecker checker) Set logic checked state.
void	setDependencyFailureState(DependencyState state, SourceFileExceptionList e) Set failure module state.
void	setDependencyProgressState(DependencyState state) Set dependency progress module state.
void	setLoaded(QedeqVo qedeq, ModuleLabels labels) Set loading state to "loaded".
void	setLoadedRequiredModules(KernelModuleReferenceList required) Set loaded required requirements state.
void	setLoadingCompleteness(int completeness) Set completeness percentage.
void	setLoadingFailureState(LoadingState state, SourceFileExceptionList e) Set failure module state.
void	setLoadingProgressState(LoadingState state) Set loading progress module state.
void	setLogicalFailureState(LogicalState state, SourceFileExceptionList e) Set failure module state.
void	setLogicalProgressState(LogicalState state) Set loading progress module state.

Methods inherited from class java.lang.Object

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

Constructor Detail

StateManager

StateManager(KernelQedeqBo bo)

Method Detail

setLoadingCompleteness

public void setLoadingCompleteness(int completeness)

Set completeness percentage.

Parameters:

completeness - Completeness of loading into memory.

delete

public void delete()

Delete QEDEQ module. Invalidates all dependent modules.

setLoadingProgressState

public void setLoadingProgressState(LoadingState state)

Set loading progress module state.

Parameters:

state - Module loading state. Must not be null.

Throws:

IllegalStateException - State is a failure state or module loaded state.

setLoadingFailureState

public void setLoadingFailureState(LoadingState state,
                                   SourceFileExceptionList e)

Set failure module state.

Parameters:

state - Module loading state. Must not be null.

e - Exception that occurred during loading. Must not be null.

Throws:

IllegalArgumentException - state is no failure state

setLoaded

public void setLoaded(QedeqVo qedeq,
                      ModuleLabels labels)

Set loading state to "loaded". Also puts null to KernelQedeqBo.getLabels().

Parameters:

qedeq - This module was loaded. Must not be null.

labels - Module labels.

Throws:

NullPointerException - One argument was null.

setDependencyProgressState

public void setDependencyProgressState(DependencyState state)

Set dependency progress module state.

Parameters:

state - Module state. Must not be null.

Throws:

IllegalStateException - Module is not yet loaded.

IllegalArgumentException - state is failure state or loaded required state.

NullPointerException - state is null.

setDependencyFailureState

public void setDependencyFailureState(DependencyState state,
                                      SourceFileExceptionList e)

Set failure module state.

Parameters:

state - Module dependency state. Must not be null.

e - Exception that occurred during loading. Must not be null.

Throws:

IllegalStateException - Module is not yet loaded.

IllegalArgumentException - state is no failure state.

NullPointerException - state is null.

setLoadedRequiredModules

public void setLoadedRequiredModules(KernelModuleReferenceList required)

Set loaded required requirements state.

Parameters:

required - URLs of all referenced modules. Must not be null.

Throws:

IllegalStateException - Module is not yet loaded.

setChecked

public void setChecked(ExistenceChecker checker)

Set logic checked state. Also set the predicate and function existence checker.

Parameters:

checker - Checks if a predicate or function constant is defined.

setLogicalProgressState

public void setLogicalProgressState(LogicalState state)

Set loading progress module state. Must not be null.

Parameters:

state - module state

setLogicalFailureState

public void setLogicalFailureState(LogicalState state,
                                   SourceFileExceptionList e)

Set failure module state.

Parameters:

state - module state

e - Exception that occurred during loading.

Throws:

IllegalArgumentException - state is no failure state

printDependencyTree

public void printDependencyTree()

Print the dependence tree to System.out.