uk.ac.ed.ph.snuggletex.dombuilding

类 HSpaceHandler

java.lang.Object

uk.ac.ed.ph.snuggletex.dombuilding.HSpaceHandler

所有已实现的接口:

CommandHandler

public final class HSpaceHandler
extends java.lang.Object
implements CommandHandler

Handles the \\hspace and \\hspace* commands.

Note that we are going to handle \\hspace* in exactly the same way as \\hspace since it is not easy to detect when we are at the end of a line.

构造器概要

构造器

构造器和说明
HSpaceHandler()

方法概要

限定符和类型	方法和说明
java.lang.String	convertLaTeXSize(DOMBuilder builder, org.w3c.dom.Element parentElement, Token sizeToken)
void	handleCommand(DOMBuilder builder, org.w3c.dom.Element parentElement, CommandToken token) Called when a CommandToken is being handled by the DOMBuilder.

从类继承的方法 java.lang.Object

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

构造器详细资料

HSpaceHandler

public HSpaceHandler()

方法详细资料

handleCommand

public void handleCommand(DOMBuilder builder,
                          org.w3c.dom.Element parentElement,
                          CommandToken token)
                   throws SnuggleParseException

从接口复制的说明: CommandHandler

Called when a CommandToken is being handled by the DOMBuilder.

指定者:

handleCommand 在接口中 CommandHandler

参数:

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.

抛出:

SnuggleParseException - to indicate a client error

convertLaTeXSize

public java.lang.String convertLaTeXSize(DOMBuilder builder,
                                         org.w3c.dom.Element parentElement,
                                         Token sizeToken)
                                  throws SnuggleParseException

抛出:

SnuggleParseException