edu.umich.visualsoar.parser
Class CoverageTriple
java.lang.Object
|
+--edu.umich.visualsoar.parser.Triple
|
+--edu.umich.visualsoar.parser.CoverageTriple
- public class CoverageTriple
- extends Triple
This adds the extra information needed to do the coverage checking
for a particular triple
Constructor Summary |
CoverageTriple(edu.umich.visualsoar.parser.Pair variable,
edu.umich.visualsoar.parser.Pair attribute,
edu.umich.visualsoar.parser.Pair value,
boolean isChecking)
|
CoverageTriple(edu.umich.visualsoar.parser.Pair variable,
edu.umich.visualsoar.parser.Pair attribute,
edu.umich.visualsoar.parser.Pair value,
boolean hasState,
boolean isChecking)
|
CoverageTriple(edu.umich.visualsoar.parser.Triple triple,
boolean isChecking)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
d_isChecking
boolean d_isChecking
CoverageTriple
public CoverageTriple(edu.umich.visualsoar.parser.Pair variable,
edu.umich.visualsoar.parser.Pair attribute,
edu.umich.visualsoar.parser.Pair value,
boolean isChecking)
CoverageTriple
public CoverageTriple(edu.umich.visualsoar.parser.Pair variable,
edu.umich.visualsoar.parser.Pair attribute,
edu.umich.visualsoar.parser.Pair value,
boolean hasState,
boolean isChecking)
CoverageTriple
public CoverageTriple(edu.umich.visualsoar.parser.Triple triple,
boolean isChecking)
isChecking
public boolean isChecking()
toString
public java.lang.String toString()
- Overrides:
toString
in class Triple