Package org.qedeq.kernel.bo.module

Business objects for qedeq modules.

See:
Description

Interface Summary

ModuleAddress	Specifies the physical location of an module.
ModuleConstants	This interface provides constants of this package.

Class Summary

AuthorBo	Describes a specification of a module, that means its name, versions and possible "physical" locations.
AuthorListBo	List of authors.
AxiomBo	Axiom.
ChapterBo	Chapter.
ChapterListBo	List of chapters.
FormulaOrTermBo	Wraps a formula or a term.
FunctionDefinitionBo	Definition of function operator.
HeaderBo	Header of a qedeq file.
ImportBo	Module import.
ImportListBo	List of imports.
LatexBo	LaTeX text part.
LatexListBo	List of LaTeX text parts.
LinkListBo	List of links.
LiteratureItemBo	Single literature reference.
LiteratureItemListBo	List of literature references.
LocationBo	Describes the "physical" directory location for a module.
LocationListBo	List of locations.
NodeBo	Special subsection of a qedeq file.
PredicateDefinitionBo	Definition of operator.
ProofBo	Contains a proof for a proposition.
ProofListBo	List of proofs.
PropositionBo	Proposition.
QedeqBo	A complete qedeq module.
QedeqBoState	Represents a module state.
RuleBo	Rule declaration.
SectionBo	Section of a qedeq file.
SectionListBo	List of sections.
SpecificationBo	Describes a specification of a module, that means its name, versions and possible "physical" locations.
SubsectionBo	Subsection of a qedeq file.
SubsectionListBo	List of nodes.
UsedByListBo	List of modules which use the current one.
VariableListBo	List of variables.

Exception Summary

DuplicateLanguageEntryException	Duplicate language entry exception.
IllegalDataException	Data validation error.
NullPointerListEntryException	List contains NullPointer entry exception.

Package org.qedeq.kernel.bo.module Description

Business objects for qedeq modules.