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

Handler to parse qedeq XML modules.

See:
Description

Class Summary

AddHandler	Parse an Addition usage.
AuthorHandler	Parse author list.
AuthorListHandler	Parse author list.
AxiomHandler	Parse an axiom.
ChangedRuleHandler	Parse a rule change.
ChapterHandler	Handles a chapter.
ConclusionHandler	Parse a conclusion.
ConditionalProofHandler	Parse a conditional proof rule usage.
ExistentialHandler	Parse a existential generalization rule usage.
FormalProofHandler	Parse a proposition.
FormalProofLineListHandler	Parse formal proof lines.
FormulaHandler	Parse formula.
FunctionDefinitionHandler	Parse a function definition.
HeaderHandler	Parse header informations.
HypothesisHandler	Parse a hypothesis.
ImportListHandler	Parse author list.
InitialFunctionDefinitionHandler	Parse a function definition.
InitialPredicateDefinitionHandler	Parse an initial predicate definition.
LatexHandler	Parse header informations.
LatexListHandler	Parse header informations.
LiteratureItemHandler	Handle bibliography entry.
LiteratureItemListHandler	Parse literature list.
ModusPonensHandler	Parse a Modus Ponens usage.
NodeHandler	Handles node data.
PredicateDefinitionHandler	Parse a predicate definition.
ProofHandler	Parse a proposition.
PropositionHandler	Parse a proposition.
QedeqHandler	Parses complete qedeq modules.
RenameHandler	Parse a Rename Bound Subject Variable Rule usage.
RuleHandler	Parse a rule.
SectionHandler	Handle sections.
SpecificationHandler	Parse specification informations.
SubsectionHandler	Parses subsection data.
SubsectionListHandler	Parse subsection list.
SubstFreevarHandler	Parse a Substitute Free Variable Rule usage.
SubstFuncvarHandler	Parse a Substitute Function Variable Rule usage.
SubstPredvarHandler	Parse a Substitute Predicate Variable Rule usage.
TermHandler	Parse term.
UniversalHandler	Parse a existential generalization rule usage.
UsedByListHandler	Parse list of referencing modules.

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

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