uk.ac.ed.ph.snuggletex.dombuilding

Class XMLNameOrIdHandler

java.lang.Object

uk.ac.ed.ph.snuggletex.dombuilding.XMLNameOrIdHandler

All Implemented Interfaces:

CommandHandler

public final class XMLNameOrIdHandler
extends Object
implements CommandHandler

Trivial handler for the \\xmlName and \\xmlId commands. All this does is check that the argument is a proper XML Name or ID and then outputs it as normal.

Version:

$Revision$

Author:

David McKain

Field Summary

Fields

Modifier and Type	Field and Description
static int	ID
static int	NAME

Constructor Summary

Constructors

Constructor and Description
XMLNameOrIdHandler(int checkType)

Method Summary

Modifier and Type	Method and Description
void	handleCommand(DOMBuilder builder, Element parentElement, CommandToken token) Called when a CommandToken is being handled by the DOMBuilder.

Methods inherited from class java.lang.Object

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

Field Detail

NAME

public static final int NAME

See Also:

Constant Field Values

ID

public static final int ID

See Also:

Constant Field Values

Constructor Detail

XMLNameOrIdHandler

public XMLNameOrIdHandler(int checkType)

Method Detail

handleCommand

public void handleCommand(DOMBuilder builder,
                          Element parentElement,
                          CommandToken token)
                   throws SnuggleParseException

Description copied from interface: CommandHandler

Called when a CommandToken is being handled by the DOMBuilder.

Specified by:

handleCommand in interface CommandHandler

Parameters:

builder - DOMBuilder running this process, which provides access to convenience method for appending Nodes to the DOM

parentElement - parent Element that the resulting Nodes should (can) be added to

token - Token representing the command being processed.

Throws:

SnuggleParseException - to indicate a client error