public class ConstructorBasedBuilder extends AbstractConditionBuilder
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
VariableCondition |
build(java.lang.Object[] arguments,
java.util.List<java.lang.String> parameters,
boolean negated)
Should construct a variable condition for the given arguments and parameters.
|
getArgumentTypes, isSuitableFor
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
apply
getArgumentTypes, isSuitableFor
public ConstructorBasedBuilder(java.lang.String name, java.lang.Class<? extends VariableCondition> clazz, ArgumentType... types)
public ConstructorBasedBuilder(java.lang.String name, boolean negationSupported, java.lang.Class<? extends VariableCondition> clazz, ArgumentType... types)
public VariableCondition build(java.lang.Object[] arguments, java.util.List<java.lang.String> parameters, boolean negated)
ConditionBuilder
TacletBuilderCommand.getArgumentTypes()
.
For a varcond \varcond(\abc[p1,p2](a1, a2))
the arguments are a1 and a2,
the parameters are p1 and p2. negated
is true if \not
is used.
Copyright © 2003-2019 The KeY-Project.