public class RulesMachineRunConfiguration.RuleGoalAssumption
extends java.lang.Object
Constructor and Description |
---|
RuleGoalAssumption(java.lang.String name,
RuleOperation ruleOperation) |
Modifier and Type | Method and Description |
---|---|
void |
addErrorTypeAssumedToFail(java.lang.Integer i) |
void |
addErrorTypeAssumedToSucceed(java.lang.Integer i) |
java.util.Set<java.lang.Integer> |
getErrorTypesAssumedToFail() |
java.util.Set<java.lang.Integer> |
getErrorTypesAssumedToSucceed() |
java.lang.String |
getRuleName() |
RuleOperation |
getRuleOperation() |
boolean |
isCheckedForCounterexamples() |
void |
setCheckedForCounterexamples() |
void |
setFailedForAllErrorTypes() |
void |
setFailedWithoutSpecificErrorType() |
void |
setSuccessForAllErrorTypes() |
public RuleGoalAssumption(java.lang.String name, RuleOperation ruleOperation)
public void setCheckedForCounterexamples()
public void setFailedWithoutSpecificErrorType()
public void setFailedForAllErrorTypes()
public void setSuccessForAllErrorTypes()
public java.lang.String getRuleName()
public RuleOperation getRuleOperation()
public void addErrorTypeAssumedToFail(java.lang.Integer i)
public void addErrorTypeAssumedToSucceed(java.lang.Integer i)
public java.util.Set<java.lang.Integer> getErrorTypesAssumedToFail()
public java.util.Set<java.lang.Integer> getErrorTypesAssumedToSucceed()
public boolean isCheckedForCounterexamples()