cgp.runtime
Class Rule
java.lang.Object
|
+--cgp.runtime.Rule
- public class Rule
- extends java.lang.Object
Constructor Summary |
Rule(java.lang.String name)
|
Methods inherited from class java.lang.Object |
,
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
wait,
wait,
wait |
name
private java.lang.String name
preconditionActionBlock
private antlr.collections.AST preconditionActionBlock
postconditionActionBlock
private antlr.collections.AST postconditionActionBlock
matchExpressions
private antlr.collections.AST[] matchExpressions
mutateKBExpressions
private antlr.collections.AST[] mutateKBExpressions
mutateGraphExportOpts
private boolean[] mutateGraphExportOpts
matchGraphNegations
private boolean[] matchGraphNegations
exportAllOpt
private boolean exportAllOpt
exportAssertOpt
private boolean exportAssertOpt
exportRetractOpt
private boolean exportRetractOpt
Rule
public Rule(java.lang.String name)
getName
public java.lang.String getName()
toString
public java.lang.String toString()
- Overrides:
- toString in class java.lang.Object
setExportAllOpt
public void setExportAllOpt(boolean truth)
isExportAllOpt
public boolean isExportAllOpt()
setExportAssertOpt
public void setExportAssertOpt(boolean truth)
isExportAssertOpt
public boolean isExportAssertOpt()
setExportRetractOpt
public void setExportRetractOpt(boolean truth)
isExportRetractOpt
public boolean isExportRetractOpt()
setMatchExpressions
public void setMatchExpressions(antlr.collections.AST[] matchExpressions)
getMatchExpressions
public antlr.collections.AST[] getMatchExpressions()
setMatchGraphNegations
public void setMatchGraphNegations(java.util.LinkedList negs)
getMatchGraphNegation
public boolean getMatchGraphNegation(int i)
- Return the ith match graph's negation status.
Precondition: i is within the correct range.
setMutateGraphExportOpts
public void setMutateGraphExportOpts(java.util.LinkedList opts)
getMutateGraphExportOpt
public boolean getMutateGraphExportOpt(int i)
- Return the ith mutation graph's export option.
Precondition: i is within the correct range.
setMutateKBExpressions
public void setMutateKBExpressions(antlr.collections.AST[] mutateKBExpressions)
getMutateKBExpressions
public antlr.collections.AST[] getMutateKBExpressions()
setPreconditionActionBlock
public void setPreconditionActionBlock(antlr.collections.AST preconditionActionBlock)
getPreconditionActionBlock
public antlr.collections.AST getPreconditionActionBlock()
setPostconditionActionBlock
public void setPostconditionActionBlock(antlr.collections.AST postconditionActionBlock)
getPostconditionActionBlock
public antlr.collections.AST getPostconditionActionBlock()