Uses of Class
org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler

Packages that use AbstractSimpleHandler

org.qedeq.kernel.xml.handler.common	Common handlers for parsing XML.
org.qedeq.kernel.xml.handler.list	Handler to parse formulas and terms.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.

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

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

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

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

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

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

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

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

class	BasicHandler Parse unknown number of elements.
class	ElementHandler Parse elements.

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

BasicHandler(AbstractSimpleHandler handler)
Handles formulas.

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	AddHandler Parse an Addition usage.
class	AuthorHandler Parse author list.
class	AuthorListHandler Parse author list.
class	AxiomHandler Parse an axiom.
class	ChangedRuleHandler Parse a rule change.
class	ChapterHandler Handles a chapter.
class	ConclusionHandler Parse a conclusion.
class	ConditionalProofHandler Parse a conditional proof rule usage.
class	ExistentialHandler Parse a existential generalization rule usage.
class	FormalProofHandler Parse a proposition.
class	FormalProofLineListHandler Parse formal proof lines.
class	FormulaHandler Parse formula.
class	FunctionDefinitionHandler Parse a function definition.
class	HeaderHandler Parse header informations.
class	HypothesisHandler Parse a hypothesis.
class	ImportListHandler Parse author list.
class	InitialFunctionDefinitionHandler Parse a function definition.
class	InitialPredicateDefinitionHandler Parse an initial predicate definition.
class	LatexHandler Parse header informations.
class	LatexListHandler Parse header informations.
class	LiteratureItemHandler Handle bibliography entry.
class	LiteratureItemListHandler Parse literature list.
class	ModusPonensHandler Parse a Modus Ponens usage.
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	RenameHandler Parse a Rename Bound Subject Variable Rule usage.
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	SubstFreevarHandler Parse a Substitute Free Variable Rule usage.
class	SubstFuncvarHandler Parse a Substitute Function Variable Rule usage.
class	SubstPredvarHandler Parse a Substitute Predicate Variable Rule usage.
class	TermHandler Parse term.
class	UniversalHandler Parse a existential generalization rule usage.
class	UsedByListHandler Parse list of referencing modules.

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

AddHandler(AbstractSimpleHandler handler)
Deals with definitions.

AuthorHandler(AbstractSimpleHandler handler)
Handles list of authors.

AuthorListHandler(AbstractSimpleHandler handler)
Handles list of authors.

AxiomHandler(AbstractSimpleHandler handler)
Deals with axioms.

ChangedRuleHandler(AbstractSimpleHandler handler)
Deals with definitions.

ChapterHandler(AbstractSimpleHandler handler)
Constructor.

ConclusionHandler(AbstractSimpleHandler handler)
Deals with axioms.

ConditionalProofHandler(AbstractSimpleHandler handler)
Deals with definitions.

ExistentialHandler(AbstractSimpleHandler handler)
Deals with definitions.

FormalProofHandler(AbstractSimpleHandler handler)
Deals with propositions.

FormalProofLineListHandler(AbstractSimpleHandler handler)
Handles list of imports.

FormulaHandler(AbstractSimpleHandler handler)
Handles formulas.

FunctionDefinitionHandler(AbstractSimpleHandler handler)
Deals with definitions.

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

HypothesisHandler(AbstractSimpleHandler handler)
Deals with axioms.

ImportListHandler(AbstractSimpleHandler handler)
Handles list of imports.

InitialFunctionDefinitionHandler(AbstractSimpleHandler handler)
Deals with definitions.

InitialPredicateDefinitionHandler(AbstractSimpleHandler handler)
Deals with definitions.

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

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

LiteratureItemHandler(AbstractSimpleHandler handler)
Constructor.

LiteratureItemListHandler(AbstractSimpleHandler handler)
Handles list of literatureItems.

ModusPonensHandler(AbstractSimpleHandler handler)
Deals with definitions.

NodeHandler(AbstractSimpleHandler handler)
Constructor.

PredicateDefinitionHandler(AbstractSimpleHandler handler)
Deals with definitions.

ProofHandler(AbstractSimpleHandler handler)
Deals with propositions.

PropositionHandler(AbstractSimpleHandler handler)
Deals with propositions.

RenameHandler(AbstractSimpleHandler handler)
Deals with definitions.

RuleHandler(AbstractSimpleHandler handler)
Deals with definitions.

SectionHandler(AbstractSimpleHandler handler)
Constructor.

SpecificationHandler(AbstractSimpleHandler handler)
Constructor.

SubsectionHandler(AbstractSimpleHandler handler)
Constructor.

SubsectionListHandler(AbstractSimpleHandler handler)
Handles list of subsections.

SubstFreevarHandler(AbstractSimpleHandler handler)
Deals with definitions.

SubstFuncvarHandler(AbstractSimpleHandler handler)
Deals with definitions.

SubstPredvarHandler(AbstractSimpleHandler handler)
Deals with definitions.

TermHandler(AbstractSimpleHandler handler)
Handles terms.

UniversalHandler(AbstractSimpleHandler handler)
Deals with definitions.

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

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

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

class

ParserHandler Parses list of operators.