public final class HSpaceHandler extends Object implements CommandHandler
\\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.
| Constructor and Description |
|---|
HSpaceHandler() |
| Modifier and Type | Method and Description |
|---|---|
String |
convertLaTeXSize(DOMBuilder builder,
Element parentElement,
Token sizeToken) |
void |
handleCommand(DOMBuilder builder,
Element parentElement,
CommandToken token)
Called when a
CommandToken is being handled by the DOMBuilder. |
public void handleCommand(DOMBuilder builder, Element parentElement, CommandToken token) throws SnuggleParseException
CommandHandlerCommandToken is being handled by the DOMBuilder.handleCommand in interface CommandHandlerbuilder - DOMBuilder running this process, which provides access
to convenience method for appending Nodes to the DOMparentElement - parent Element that the resulting Nodes should (can) be
added totoken - Token representing the command being processed.SnuggleParseException - to indicate a client errorpublic String convertLaTeXSize(DOMBuilder builder, Element parentElement, Token sizeToken) throws SnuggleParseException
SnuggleParseExceptionCopyright © 2008–2026 The University of Edinburgh. All rights reserved.