public abstract class AbstractTacletBuilderCommand extends java.lang.Object implements TacletBuilderCommand
TacletBuilderCommand
.Constructor and Description |
---|
AbstractTacletBuilderCommand(java.lang.String triggerName,
ArgumentType... argumentsTypes)
Construct this class with the parameters for
isSuitableFor(String) and getArgumentTypes() . |
Modifier and Type | Method and Description |
---|---|
ArgumentType[] |
getArgumentTypes()
Defines the amount and type of expected arguments.
|
boolean |
isSuitableFor(java.lang.String name)
Checks if this command is responsible for the given command name.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
apply
public AbstractTacletBuilderCommand(@Nonnull java.lang.String triggerName, @Nonnull ArgumentType... argumentsTypes)
isSuitableFor(String)
and getArgumentTypes()
.triggerName
- the name of this command.argumentsTypes
- the argument type of this command.public boolean isSuitableFor(@Nonnull java.lang.String name)
TacletBuilderCommand
\varcond(\newType(t))
the name would be "newType".isSuitableFor
in interface TacletBuilderCommand
public ArgumentType[] getArgumentTypes()
TacletBuilderCommand
new ArgumentType[]{SORT,SORT}
as arguments.
The parse guarantees, that the types are suitable, when calling TacletBuilderCommand.apply(TacletBuilder, Object[], List, boolean)
.
getArgumentTypes
in interface TacletBuilderCommand
ArgumentType
Copyright © 2003-2019 The KeY-Project.