org.qedeq.kernel.xml.handler.module
Class AxiomHandler

java.lang.Object
  org.qedeq.kernel.xml.parser.AbstractSimpleHandler
      org.qedeq.kernel.xml.handler.module.AxiomHandler

public class AxiomHandler

extends AbstractSimpleHandler

Parse an axiom.

Version:

$Revision: 1.14 $

Constructor Summary

AxiomHandler(AbstractSimpleHandler handler)
Deals with axioms.

Method Summary

void	endElement(String name) Called at end of element elementName.
Axiom	getAxiom() Get axiom.
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, characters, getLevel, getStartTag

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomHandler

public AxiomHandler(AbstractSimpleHandler handler)

Deals with axioms.

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

getAxiom

public final Axiom getAxiom()

Get axiom.

Returns:

Axiom.

startElement

public final void startElement(String name,
                               SimpleAttributes attributes)
                        throws SyntaxException

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.

Throws:

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

endElement

public final void endElement(String name)
                      throws SyntaxException

Description copied from class: AbstractSimpleHandler

Called at end of element elementName. Must be overwritten.

Specified by:

endElement in class AbstractSimpleHandler

Parameters:

name - Tag name.

Throws:

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