public class TextCircledHandler
extends java.lang.Object
implements uk.ac.ed.ph.snuggletex.dombuilding.CommandHandler
| 构造器和说明 |
|---|
TextCircledHandler() |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
handleCommand(uk.ac.ed.ph.snuggletex.internal.DOMBuilder builder,
org.w3c.dom.Element parentElement,
uk.ac.ed.ph.snuggletex.tokens.CommandToken token) |
public void handleCommand(uk.ac.ed.ph.snuggletex.internal.DOMBuilder builder,
org.w3c.dom.Element parentElement,
uk.ac.ed.ph.snuggletex.tokens.CommandToken token)
throws uk.ac.ed.ph.snuggletex.internal.SnuggleParseException
handleCommand 在接口中 uk.ac.ed.ph.snuggletex.dombuilding.CommandHandleruk.ac.ed.ph.snuggletex.internal.SnuggleParseException