public class RuleOperation extends AbstractOperation
functionCallMap, readMap
Constructor and Description |
---|
RuleOperation(TIdentifierLiteral ruleName,
java.lang.String fileName,
java.lang.String machineName,
java.util.List<RulesMachineReference> machineReferences) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getClassification() |
java.lang.String |
getCounterExampleVariableName() |
java.lang.Integer |
getNumberOfErrorTypes() |
java.lang.String |
getRuleIdString() |
void |
setClassification(java.lang.String string) |
void |
setCounterExampleVariableName(java.lang.String name) |
void |
setErrrorTypes(AIntegerExpression aIntegerExpression) |
void |
setRuleId(AIdentifierExpression ruleId) |
addAllComputationDependencies, addAllRuleDependencies, addFunctionCall, addReadVariable, addReplacesIdentifier, addTags, filterOperations, getActivationPredicate, getDependsOnComputationList, getDependsOnRulesList, getFileName, getFunctionCalls, getImplicitDependenciesToComputations, getMachineName, getMachineReferencesAsString, getName, getNameLiteral, getOriginalName, getPostconditionPredicate, getReadVariables, getReplacedOperationName, getReplacesIdentifier, getRequiredDependencies, getSortedListOfTransitiveDependencies, getTags, getTransitiveDependencies, getVariableReadByName, replacesOperation, setActivationPredicate, setImplicitComputationDependencies, setPostcondition, setTransitiveDependencies, sortList, toString
public RuleOperation(TIdentifierLiteral ruleName, java.lang.String fileName, java.lang.String machineName, java.util.List<RulesMachineReference> machineReferences)
public java.lang.Integer getNumberOfErrorTypes()
public void setRuleId(AIdentifierExpression ruleId)
public void setErrrorTypes(AIntegerExpression aIntegerExpression)
public java.lang.String getRuleIdString()
public void setCounterExampleVariableName(java.lang.String name)
public java.lang.String getCounterExampleVariableName()
public void setClassification(java.lang.String string)
public java.lang.String getClassification()