cgp.runtime
Class Rule

java.lang.Object
  |
  +--cgp.runtime.Rule

public class Rule
extends java.lang.Object


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

Field Detail

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
Constructor Detail

Rule

public Rule(java.lang.String name)
Method Detail

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()