Uses of Class
org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Packages that use AbstractSimpleHandler

org.qedeq.kernel.xml.handler.elli	Handler to parse formulas and terms.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.
org.qedeq.kernel.xml.parser	Connection to SAX XML parsers.

Uses of AbstractSimpleHandler in org.qedeq.kernel.xml.handler.elli

Subclasses of AbstractSimpleHandler in org.qedeq.kernel.xml.handler.elli

class

ElementHandler Parse elements.

Constructors in org.qedeq.kernel.xml.handler.elli with parameters of type AbstractSimpleHandler

ElementHandler(AbstractSimpleHandler handler)
Deals with elements.

Uses of AbstractSimpleHandler in org.qedeq.kernel.xml.handler.module

Subclasses of AbstractSimpleHandler in org.qedeq.kernel.xml.handler.module

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

Constructors in org.qedeq.kernel.xml.handler.module with parameters of type AbstractSimpleHandler

VariableListHandler(AbstractSimpleHandler handler)
Handles variables list of definitions.

UsedByListHandler(AbstractSimpleHandler handler)
Handles list of modules that use the current one.

SubsectionListHandler(AbstractSimpleHandler handler)
Handles list of subsections.

SubsectionHandler(AbstractSimpleHandler handler)
Constructor.

SpecificationHandler(AbstractSimpleHandler handler, String startTag)
Constructor.

SectionHandler(AbstractSimpleHandler handler)
Constructor.

RuleHandler(AbstractSimpleHandler handler)
Deals with definitions.

PropositionHandler(AbstractSimpleHandler handler)
Deals with propositions.

ProofHandler(AbstractSimpleHandler handler)
Deals with propositions.

PredicateDefinitionHandler(AbstractSimpleHandler handler)
Deals with definitions.

NodeHandler(AbstractSimpleHandler handler)
Constructor.

LiteratureItemListHandler(AbstractSimpleHandler handler)
Handles list of literatureItems.

LiteratureItemHandler(AbstractSimpleHandler handler)
Constructor.

LatexListHandler(AbstractSimpleHandler handler, String startTag)
Handles LaTeX tags.

LatexHandler(AbstractSimpleHandler handler, String startTag)
Handles LaTeX tags.

ImportListHandler(AbstractSimpleHandler handler)
Handles list of imports.

HeaderHandler(AbstractSimpleHandler handler)
Deals with header of qedeq file.

FunctionDefinitionHandler(AbstractSimpleHandler handler)
Deals with definitions.

FormulaOrTermHandler(AbstractSimpleHandler handler, String startTag)
Handles formulas or terms.

ChapterHandler(AbstractSimpleHandler handler)
Constructor.

AxiomHandler(AbstractSimpleHandler handler)
Deals with axioms.

AuthorListHandler(AbstractSimpleHandler handler)
Handles list of authors.

AuthorHandler(AbstractSimpleHandler handler)
Handles list of authors.

Uses of AbstractSimpleHandler in org.qedeq.kernel.xml.parser

Methods in org.qedeq.kernel.xml.parser with parameters of type AbstractSimpleHandler

void	SaxDefaultHandler.setBasisDocumentHandler(AbstractSimpleHandler handler) Set basis handler for documents.
void	SaxDefaultHandler.changeHandler(AbstractSimpleHandler newHandler, String elementName, SimpleAttributes attributes) Change current handler to new one.
void	AbstractSimpleHandler.changeHandler(AbstractSimpleHandler newHandler, String elementName, SimpleAttributes attributes) Change current handler to new one.

Constructors in org.qedeq.kernel.xml.parser with parameters of type AbstractSimpleHandler

AbstractSimpleHandler(AbstractSimpleHandler handler, String startTag)
Constructor, should be used for creating handlers within handlers.

AbstractSimpleHandler(AbstractSimpleHandler handler)
Constructor, should be used for creating handlers within handlers.