public interface TacletBuilderCommand
Currently, we use this interface to handle the construction
of VariableCondition
(\varcond
),
but may be used in future for other facilities.
Modifier and Type | Method and Description |
---|---|
void |
apply(TacletBuilder<?> tacletBuilder,
java.lang.Object[] arguments,
java.util.List<java.lang.String> parameters,
boolean negated)
Applying this command on the given taclet builder.
|
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.
|
boolean isSuitableFor(@Nonnull java.lang.String name)
\varcond(\newType(t))
the name would be "newType".ArgumentType[] getArgumentTypes()
new ArgumentType[]{SORT,SORT}
as arguments.
The parse guarantees, that the types are suitable, when calling apply(TacletBuilder, Object[], List, boolean)
.
ArgumentType
void apply(TacletBuilder<?> tacletBuilder, java.lang.Object[] arguments, java.util.List<java.lang.String> parameters, boolean negated)
During application, this method should alter, e.g., add a VariableCondition
,
to the taclet builder.
The given arguments are well-typed for supplied getArgumentTypes()
.
Copyright © 2003-2019 The KeY-Project.