Hilbert II - Version 0.03.04

org.qedeq.kernel.xml.parser
Class AbstractSimpleHandler

java.lang.Object
  extended byorg.qedeq.kernel.xml.parser.AbstractSimpleHandler
Direct Known Subclasses:
AuthorHandler, AuthorListHandler, AxiomHandler, ChapterHandler, ElementHandler, FormulaHandler, FunctionDefinitionHandler, HeaderHandler, ImportListHandler, LatexHandler, LatexListHandler, LiteratureItemHandler, LiteratureItemListHandler, NodeHandler, ParserHandler, PredicateDefinitionHandler, ProofHandler, PropositionHandler, QedeqHandler, RuleHandler, SectionHandler, SpecificationHandler, SubsectionHandler, SubsectionListHandler, TermHandler, UsedByListHandler, VariableListHandler

public abstract class AbstractSimpleHandler
extends Object

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

Version:
$Revision: 1.8 $

Constructor Summary
AbstractSimpleHandler(AbstractSimpleHandler handler)
          Constructor, should be used for creating handlers within handlers.
AbstractSimpleHandler(AbstractSimpleHandler handler, String startTag)
          Constructor, should be used for creating handlers within handlers.
AbstractSimpleHandler(SaxDefaultHandler defaultHandler)
          Constructor.
AbstractSimpleHandler(SaxDefaultHandler defaultHandler, String startTag)
          Constructor.
 
Method Summary
 void changeHandler(AbstractSimpleHandler newHandler, String elementName, SimpleAttributes attributes)
          Change current handler to new one.
 void characters(String elementName, String value)
          Called at end of element elementName.
abstract  void endElement(String elementName)
          Called at end of element elementName.
 int getLevel()
          Get current tag level.
 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(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,
                             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,
                             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(String elementName,
                                  SimpleAttributes attributes)
                           throws SyntaxException
Called at begin of element elementName. Must be overwritten.

Parameters:
elementName - Tag name.
attributes - Tag attributes.
Throws:
SyntaxException - There is a semantic error in this event occurrence.

endElement

public abstract void endElement(String elementName)
                         throws SyntaxException
Called at end of element elementName. Must be overwritten.

Parameters:
elementName - Tag name.
Throws:
SyntaxException - There is a semantic error in this event occurrence.

characters

public void characters(String elementName,
                       String value)
                throws SyntaxException
Called at end of element elementName. Must be overwritten if you expect character data.

Parameters:
elementName - Tag name.
value - String value.
Throws:
SyntaxException - There is a semantic error in this event occurrence.

changeHandler

public final void changeHandler(AbstractSimpleHandler newHandler,
                                String elementName,
                                SimpleAttributes attributes)
                         throws SyntaxException
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:
SyntaxException - New handler detected semantical problems.

getLevel

public final int getLevel()
Get current tag level.

Returns:
Current level.

getStartTag

public final String getStartTag()
Get start tag for this handler. Could be null if there is no specific start tag.

Returns:
Start tag.

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.