public interface ConditionBuilder extends TacletBuilderCommand
TacletBuilderCommand
for handling \varcond
s.Modifier and Type | Method and Description |
---|---|
default void |
apply(TacletBuilder<?> tacletBuilder,
java.lang.Object[] arguments,
java.util.List<java.lang.String> parameters,
boolean negated)
This method will add the contructed
VariableCondition to given tacletBuilder . |
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
VariableCondition build(java.lang.Object[] arguments, java.util.List<java.lang.String> parameters, boolean negated)
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.
default void apply(TacletBuilder<?> tacletBuilder, java.lang.Object[] arguments, java.util.List<java.lang.String> parameters, boolean negated)
VariableCondition
to given tacletBuilder
.apply
in interface TacletBuilderCommand
TacletBuilderCommand.apply(TacletBuilder, Object[], List, boolean)
Copyright © 2003-2019 The KeY-Project.