Class AbstractVariable

java.lang.Object
  |
  +--AbstractVariable

public abstract class AbstractVariable
extends java.lang.Object

This class models the reachability graph of a program. The reachability graph is a directed graph that contains all the states of the fault-span of a program. This class is the root of the abstract class hierarchy in the Bridge design pattern.

Since:
 

Constructor Summary
AbstractVariable()
           
 
Method Summary
abstract  int getNum()
           
abstract  int getVar_no()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractVariable

public AbstractVariable()
Method Detail

getVar_no

public abstract int getVar_no()

getNum

public abstract int getNum()