|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractSimpleHandler | |
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. |
org.qedeq.kernel.xml.parser | Connection to SAX XML parsers. |
Uses of AbstractSimpleHandler in org.qedeq.kernel.xml.handler.list |
Subclasses of AbstractSimpleHandler in org.qedeq.kernel.xml.handler.list | |
class |
ElementHandler
Parse elements. |
Constructors in org.qedeq.kernel.xml.handler.list 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 |
FormulaHandler
Parse formula. |
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 |
TermHandler
Parse term. |
class |
UsedByListHandler
Parse list of referencing modules. |
class |
VariableListHandler
Parse variables. |
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. |
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. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |