Package org.qedeq.kernel.bo.control

Contains business object controllers.

See:
Description

Interface Summary

HigherLogicalErrors	Error codes and messages for formula checker.
InternalKernelServices	The kernel internal service methods are assembled here.
KernelState	State changing methods for the kernel.
ModuleLoader	An instance of this interface can load a local file.

Class Summary

ControlVisitor	Basic visitor that gives some error collecting features.
DefaultInternalKernelServices	This class provides access methods for loading QEDEQ modules.
DefaultModuleAddress	An object of this class represents an address for a QEDEQ module.
KernelModuleReferenceList	Represents a reference list of modules.
KernelQedeqBo	Represents a module and its states.
KernelQedeqBoPool	Encapsulates all modules.
LoadDirectlyRequiredModules	Load all required QEDEQ modules.
LoadRequiredModules	Load all required QEDEQ modules.
ModuleConstantsExistenceChecker	Checks if all formulas of a QEDEQ module are well formed.
ModuleLabelsCreator	Create mapping from labels to NodeVo for a QEDEQ module.
QedeqBoDuplicateLanguageChecker	Checks if all formulas of a QEDEQ module are well formed.
QedeqBoFormalLogicChecker	Checks if all formulas of a QEDEQ module are well formed.
StateManager	Changes the states of KernelQedeqBos.

Exception Summary

CheckRequiredModuleException	Check failed error for an required QEDEQ module.
ClassOperatorAlreadyExistsException	A class operator was defined twice.
IdentityOperatorAlreadyExistsException	The identity operator was defined twice.
LoadRequiredModuleException	Loading an required QEDEQ module failed.
ModuleFileNotFoundException	QEDEQ module file was not found in local file buffer.
ModuleLoadingException	Error during module loading.

Package org.qedeq.kernel.bo.control Description

Contains business object controllers.