Package org.qedeq.kernel.bo.control

Contains business object controllers.

See:
Description

Interface Summary

HigherLogicalErrors

Error codes and messages for formula checker.

Class Summary

LoadRequiredModules	Load all required QEDEQ modules.
ModuleConstantsExistenceChecker	Checks if all formulas of a QEDEQ module are well formed.
QedeqBoDuplicateLanguageChecker	Checks if all formulas of a QEDEQ module are well formed.
QedeqBoFormalLogicChecker	Checks if all formulas of a QEDEQ module are well formed.

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.
LatexListDataException	Data validation error for an LatexList element of a QEDEQ module.
LoadRequiredModuleException	Loading an required QEDEQ module failed.

Package org.qedeq.kernel.bo.control Description

Contains business object controllers.