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

java.lang.Object
  org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler

Direct Known Subclasses:

AddHandler, AuthorHandler, AuthorListHandler, AxiomHandler, BasicHandler, ChapterHandler, ConclusionHandler, ConditionalProofHandler, ElementHandler, ExistentialHandler, FormalProofHandler, FormalProofLineListHandler, FormulaHandler, FunctionDefinitionHandler, HeaderHandler, HypothesisHandler, ImportListHandler, InitialFunctionDefinitionHandler, InitialPredicateDefinitionHandler, LatexHandler, LatexListHandler, LiteratureItemHandler, LiteratureItemListHandler, ModusPonensHandler, NodeHandler, ParserHandler, PredicateDefinitionHandler, ProofHandler, PropositionHandler, QedeqHandler, RenameHandler, RuleHandler, SectionHandler, SpecificationHandler, SubsectionHandler, SubsectionListHandler, SubstFreevarHandler, SubstFuncvarHandler, SubstPredvarHandler, TermHandler, UniversalHandler, UsedByListHandler

public abstract class AbstractSimpleHandler
extends java.lang.Object

Simple handler that gets SAX parser events. These events were received by the SaxDefaultHandler and are delegated to the current AbstractSimpleHandler.

Author:

Michael Meyling

Constructor Summary

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.

AbstractSimpleHandler(SaxDefaultHandler defaultHandler)
Constructor.

AbstractSimpleHandler(SaxDefaultHandler defaultHandler, java.lang.String startTag)
Constructor.

Method Summary

void	changeHandler(AbstractSimpleHandler newHandler, java.lang.String elementName, SimpleAttributes attributes) Change current handler to new one.
void	characters(java.lang.String elementName, java.lang.String value) Called at end of element elementName.
abstract void	endElement(java.lang.String elementName) Called at end of element elementName.
int	getLevel() Get current tag level.
ModuleService	getPlugin() Get current plugin we work for.
java.lang.String	getStartTag() Get start tag for this handler.
abstract void	init() Must be called before a handler should parse a new section.
abstract void	startElement(java.lang.String elementName, SimpleAttributes attributes) Called at begin of element elementName.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractSimpleHandler

public AbstractSimpleHandler(SaxDefaultHandler defaultHandler,
                             java.lang.String startTag)

Constructor.

Parameters:

defaultHandler - Original SAX event handler.

startTag - Start tag for this handler.

AbstractSimpleHandler

public AbstractSimpleHandler(SaxDefaultHandler defaultHandler)

Constructor.

Parameters:

defaultHandler - Original SAX event handler.

AbstractSimpleHandler

public AbstractSimpleHandler(AbstractSimpleHandler handler,
                             java.lang.String startTag)

Constructor, should be used for creating handlers within handlers.

Parameters:

handler - Already existing simple handler.

startTag - Start tag for this handler.

AbstractSimpleHandler

public AbstractSimpleHandler(AbstractSimpleHandler handler)

Constructor, should be used for creating handlers within handlers.

Parameters:

handler - Already existing simple handler.

Method Detail

init

public abstract void init()

Must be called before a handler should parse a new section.

startElement

public abstract void startElement(java.lang.String elementName,
                                  SimpleAttributes attributes)
                           throws XmlSyntaxException

Called at begin of element elementName. Must be overwritten.

Parameters:

elementName - Tag name.

attributes - Tag attributes.

Throws:

XmlSyntaxException - There is a semantic error in this event occurrence.

endElement

public abstract void endElement(java.lang.String elementName)
                         throws XmlSyntaxException

Called at end of element elementName. Must be overwritten.

Parameters:

elementName - Tag name.

Throws:

XmlSyntaxException - There is a semantic error in this event occurrence.

characters

public void characters(java.lang.String elementName,
                       java.lang.String value)
                throws XmlSyntaxException

Called at end of element elementName. Must be overwritten if you expect character data.

Parameters:

elementName - Tag name.

value - String value.

Throws:

XmlSyntaxException - There is a semantic error in this event occurrence.

changeHandler

public final void changeHandler(AbstractSimpleHandler newHandler,
                                java.lang.String elementName,
                                SimpleAttributes attributes)
                         throws XmlSyntaxException

Change current handler to new one. The new handler gets automatically a beginElement event.

Parameters:

newHandler - Handler that gets all the events now.

elementName - Current element name.

attributes - Current element attributes.

Throws:

XmlSyntaxException - New handler detected semantical problems.

getPlugin

public final ModuleService getPlugin()

Get current plugin we work for.

Returns:

Plugin in use.

getLevel

public final int getLevel()

Get current tag level.

Returns:

Current level.

getStartTag

public final java.lang.String getStartTag()

Get start tag for this handler. Could be null if there is no specific start tag.

Returns:

Start tag.