Hilbert II - Version 0.03.08

Package org.qedeq.kernel.bo.module

Business objects for qedeq modules.

See:
          Description

Interface Summary
DependencyStateDescriptions This interface provides constants of this package.
Kernel QEDEQ kernel.
KernelState State dependent methods for the kernel.
LoadingStateDescriptions This interface provides constants of this package.
LogicalStateDescriptions This interface provides primitive constants for the LogicalState.
ModuleAddress An address for a QEDEQ module.
ModuleDependencies A QEDEQ module URL and the URLs of the modules it requires and its dependents.
ModuleFactory Access to QEDEQ modules.
ModuleProperties Represents a module and its states.
QedeqBo A complete QEDEQ module.
 

Class Summary
DependencyState Represents a mathematical module state.
LoadingState Represents a module state.
LogicalState Represents a mathematical module state.
ModuleContext Define context for an instance of Qedeq.
ModuleLabels Maps labels of an QEDEQ module to their elements.
ModuleReferenceList Represents a reference list of modules.
 

Exception Summary
IllegalModuleDataException Data validation error for a QEDEQ module.
ModuleDataException Data validation error for a QEDEQ module.
 

Package org.qedeq.kernel.bo.module Description

Business objects for qedeq modules.


Hilbert II - Version 0.03.08

©left GNU General Public Licence
All Rights Reserved.