public abstract class AbstractConditionBuilder extends AbstractTacletBuilderCommand implements ConditionBuilder
Constructor and Description |
---|
AbstractConditionBuilder(java.lang.String triggerName,
ArgumentType... argumentsTypes) |
getArgumentTypes, isSuitableFor
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
apply, build
getArgumentTypes, isSuitableFor
public AbstractConditionBuilder(@Nonnull java.lang.String triggerName, @Nonnull ArgumentType... argumentsTypes)
Copyright © 2003-2019 The KeY-Project.