Top Description Constructors Methods
uk.ac.ed.ph.snuggletex.dombuilding

public final Class MathNotHandler

extends Object
implements CommandHandler
Class Inheritance
All Implemented Interfaces
uk.ac.ed.ph.snuggletex.dombuilding.CommandHandler
Imports
uk.ac.ed.ph.snuggletex.SnuggleLogicException, uk.ac.ed.ph.snuggletex.internal.DOMBuilder, uk.ac.ed.ph.snuggletex.semantics.InterpretationType, .MathNegatableInterpretation, uk.ac.ed.ph.snuggletex.tokens.CommandToken, .FlowToken, java.util.List, org.w3c.dom.Element
Handles the \\not combiner command.
Author
David McKain
Version
$Revision$

Constructor Summary

AccessConstructor and Description
public
MathNotHandler()

Method Summary

Modifier and TypeMethod and Description
public void
handleCommand(DOMBuilder builder, Element parentElement, CommandToken notToken)

Implements uk.ac.ed.ph.snuggletex.dombuilding.CommandHandler.handleCommand.

Called when a CommandToken is being handled by the DOMBuilder.

Inherited from java.lang.Object:
cloneequalsfinalizegetClasshashCodenotifynotifyAlltoStringwaitwaitwait

Constructor Detail

MathNotHandlerback to summary
public MathNotHandler()

Method Detail

handleCommandback to summary
public void handleCommand(DOMBuilder builder, Element parentElement, CommandToken notToken)

Implements uk.ac.ed.ph.snuggletex.dombuilding.CommandHandler.handleCommand.

Doc from uk.ac.ed.ph.snuggletex.dombuilding.CommandHandler.handleCommand.

Called when a CommandToken is being handled by the DOMBuilder.