public final class UserDefinedCommand extends UserDefinedCommandOrEnvironment implements Command
Command, i.e. one defined in the client data using
\\newcommand.UserDefinedEnvironmentargumentCount, optionalArgument, texName| 构造器和说明 |
|---|
UserDefinedCommand(java.lang.String texName,
java.lang.String optionalArgument,
int argumentCount,
FrozenSlice definitionSlice) |
| 限定符和类型 | 方法和说明 |
|---|---|
FrozenSlice |
getDefinitionSlice() |
getArgumentCount, getArgumentMode, getOptionalArgument, getTeXName, isAllowingOptionalArgument, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetArgumentCount, getArgumentMode, getTeXName, isAllowingOptionalArgumentpublic UserDefinedCommand(java.lang.String texName,
java.lang.String optionalArgument,
int argumentCount,
FrozenSlice definitionSlice)
public FrozenSlice getDefinitionSlice()