Package org.qedeq.kernel.common

Common classes.

See:
Description

Interface Summary

DependencyStateDescriptions	This interface provides constants of this package.
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.
ModuleReferenceList	Represents a reference list of modules.
QedeqBo	Represents a module and its states.

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 nodes.
SourceArea	Describes an area of an URL contents.
SourcePosition	Describes a file position.

Exception Summary

DefaultSourceFileExceptionList	Type save SourceFileException list.
IllegalModuleDataException	Data validation error for a QEDEQ module.
ModuleDataException	Data validation error for a QEDEQ module.
QedeqException	Base class for all exceptions of this application.
SourceFileException	Data validation error.
SourceFileExceptionList	List of SourceFileExceptions.

Package org.qedeq.kernel.common Description

Common classes.

General exceptions are here for example.