Java 2 Platform
v1.3

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


Field Summary
(package private)  boolean d_isChecking
           
 
Fields inherited from class edu.umich.visualsoar.parser.Triple
d_attribute, d_hasState, d_line, d_value, d_variable
 
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)
           
 
Method Summary
 boolean isChecking()
           
 java.lang.String toString()
           
 
Methods inherited from class edu.umich.visualsoar.parser.Triple
getAttribute, getLine, getValue, getVariable, hasState
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

d_isChecking

boolean d_isChecking
Constructor Detail

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)
Method Detail

isChecking

public boolean isChecking()

toString

public java.lang.String toString()
Overrides:
toString in class Triple

Java 2 Platform
v1.3