Hilbert II - Version 0.03.04

org.qedeq.kernel.xml.handler.list
Class ElementHandler

java.lang.Object
  extended byorg.qedeq.kernel.xml.parser.AbstractSimpleHandler
      extended byorg.qedeq.kernel.xml.handler.list.ElementHandler

public class ElementHandler
extends AbstractSimpleHandler

Parse elements. For example formulas and terms are build of Elements.

This handler knows nothing about special forms. It doesn't do any validating. It simply puts all attributes into string atoms and adds all sub elements. The element name is taken for the operator name.

Version:
$Revision: 1.3 $

Constructor Summary
ElementHandler(AbstractSimpleHandler handler)
          Deals with elements.
ElementHandler(SaxDefaultHandler handler)
          Deals with elements.
 
Method Summary
 void characters(String name, String data)
          Called at end of element elementName.
 void endElement(String name)
          Called at end of element elementName.
 Element getElement()
          Get parsed element.
 void init()
          Must be called before a handler should parse a new section.
 void startElement(String name, SimpleAttributes attributes)
          Called at begin of element elementName.
 
Methods inherited from class org.qedeq.kernel.xml.parser.AbstractSimpleHandler
changeHandler, getLevel, getStartTag
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ElementHandler

public ElementHandler(AbstractSimpleHandler handler)
Deals with elements.

Parameters:
handler - Parent handler.

ElementHandler

public ElementHandler(SaxDefaultHandler handler)
Deals with elements.

Parameters:
handler - Parent handler.
Method Detail

init

public final void init()
Description copied from class: AbstractSimpleHandler
Must be called before a handler should parse a new section.

Specified by:
init in class AbstractSimpleHandler

getElement

public final Element getElement()
Get parsed element.

Returns:
Parsed element.

startElement

public final void startElement(String name,
                               SimpleAttributes attributes)
Description copied from class: AbstractSimpleHandler
Called at begin of element elementName. Must be overwritten.

Specified by:
startElement in class AbstractSimpleHandler
Parameters:
name - Tag name.
attributes - Tag attributes.

endElement

public final void endElement(String name)
Description copied from class: AbstractSimpleHandler
Called at end of element elementName. Must be overwritten.

Specified by:
endElement in class AbstractSimpleHandler
Parameters:
name - Tag name.

characters

public final void characters(String name,
                             String data)
Description copied from class: AbstractSimpleHandler
Called at end of element elementName. Must be overwritten if you expect character data.

Overrides:
characters in class AbstractSimpleHandler
Parameters:
name - Tag name.
data - String value.

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.