Package | Description |
---|---|
de.uka.ilkd.key.nparser.varexp |
Modifier and Type | Method and Description |
---|---|
ArgumentType[] |
TacletBuilderCommand.getArgumentTypes()
Defines the amount and type of expected arguments.
|
ArgumentType[] |
AbstractTacletBuilderCommand.getArgumentTypes() |
static ArgumentType |
ArgumentType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ArgumentType[] |
ArgumentType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
AbstractConditionBuilder(java.lang.String triggerName,
ArgumentType... argumentsTypes) |
AbstractTacletBuilderCommand(java.lang.String triggerName,
ArgumentType... argumentsTypes)
Construct this class with the parameters for
AbstractTacletBuilderCommand.isSuitableFor(String) and AbstractTacletBuilderCommand.getArgumentTypes() . |
ConstructorBasedBuilder(java.lang.String name,
boolean negationSupported,
java.lang.Class<? extends VariableCondition> clazz,
ArgumentType... types) |
ConstructorBasedBuilder(java.lang.String name,
java.lang.Class<? extends VariableCondition> clazz,
ArgumentType... types) |
Copyright © 2003-2019 The KeY-Project.