Package org.qedeq.kernel.xml.handler.module

Handler to parse qedeq XML modules.

See:
Description

Class Summary

AuthorHandler	Parse author list.
AuthorListHandler	Parse author list.
AxiomHandler	Parse an axiom.
ChapterHandler	Handles a chapter.
DefinitionHandler	Parse a definition.
FormulaOrTermHandler	Parse formula or term.
HeaderHandler	Parse header informations.
ImportListHandler	Parse author list.
LatexHandler	Parse header informations.
LatexListHandler	Parse header informations.
NodeHandler	Handles node data.
ProofHandler	Parse a proposition.
PropositionHandler	Parse a proposition.
QedeqHandler	Parses complete qedeq modules.
RuleHandler	Parse a rule.
SectionHandler	Handle sections.
SpecificationHandler	Parse specification informations.
SubsectionHandler	Parses subsection data.
SubsectionListHandler	Parse subsection list.
UsedByListHandler	Parse list of referencing modules.
VariableListHandler	Parse variables.

Package org.qedeq.kernel.xml.handler.module Description

Handler to parse qedeq XML modules. These handlers fill data transfer objects that contain the data.