public final class UserDefinedCommand extends UserDefinedCommandOrEnvironment implements Command
Command, i.e. one defined in the client data using
\\newcommand.UserDefinedEnvironmentargumentCount, optionalArgument, texName| Constructor and Description |
|---|
UserDefinedCommand(String texName,
String optionalArgument,
int argumentCount,
FrozenSlice definitionSlice) |
| Modifier and Type | Method and Description |
|---|---|
FrozenSlice |
getDefinitionSlice() |
getArgumentCount, getArgumentMode, getOptionalArgument, getTeXName, isAllowingOptionalArgument, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetArgumentCount, getArgumentMode, getTeXName, isAllowingOptionalArgumentpublic UserDefinedCommand(String texName, String optionalArgument, int argumentCount, FrozenSlice definitionSlice)
public FrozenSlice getDefinitionSlice()
Copyright © 2008–2026 The University of Edinburgh. All rights reserved.