Class AbstractStatement

java.lang.Object
  |
  +--AbstractStatement

public abstract class AbstractStatement
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
AbstractStatement()
           
 
Method Summary
abstract  void evaluate(java.util.Stack ns, State s, java.util.Hashtable states)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractStatement

public AbstractStatement()
Method Detail

evaluate

public abstract void evaluate(java.util.Stack ns,
                              State s,
                              java.util.Hashtable states)