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

java.lang.Object
  org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler
      org.qedeq.kernel.xml.handler.module.LatexListHandler
          org.qedeq.kernel.xml.handler.module.ChangedRuleHandler

public class ChangedRuleHandler
extends LatexListHandler

Parse a rule change.

Author:

Michael Meyling

Constructor Summary

ChangedRuleHandler(AbstractSimpleHandler handler)
Deals with definitions.

Method Summary

void	endElement(java.lang.String name) Called at end of element elementName.
ChangedRuleVo	getChangedRule() Get changed rule.
void	init() Must be called before a handler should parse a new section.
void	startElement(java.lang.String name, SimpleAttributes attributes) Called at begin of element elementName.

Methods inherited from class org.qedeq.kernel.xml.handler.module.LatexListHandler

characters, getLatexList

Methods inherited from class org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler

changeHandler, getLevel, getPlugin, getStartTag

Methods inherited from class java.lang.Object

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

Constructor Detail

ChangedRuleHandler

public ChangedRuleHandler(AbstractSimpleHandler handler)

Deals with definitions.

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.

Overrides:

init in class LatexListHandler

getChangedRule

public final ChangedRuleVo getChangedRule()

Get changed rule.

Returns:

Rule.

startElement

public final void startElement(java.lang.String name,
                               SimpleAttributes attributes)
                        throws XmlSyntaxException

Description copied from class: AbstractSimpleHandler

Called at begin of element elementName. Must be overwritten.

Overrides:

startElement in class LatexListHandler

Parameters:

name - Tag name.

attributes - Tag attributes.

Throws:

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

endElement

public final void endElement(java.lang.String name)
                      throws XmlSyntaxException

Description copied from class: AbstractSimpleHandler

Called at end of element elementName. Must be overwritten.

Overrides:

endElement in class LatexListHandler

Parameters:

name - Tag name.

Throws:

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