edu.toronto.cs.yasm.wp
Class BaseWPComputer

java.lang.Object
  extended by edu.toronto.cs.yasm.wp.BaseWPComputer
All Implemented Interfaces:
WPComputer
Direct Known Subclasses:
DCWPComputer, ExprWPComputer, MemoryModelWPComputer, UnknownExprWPComputer

public abstract class BaseWPComputer
extends java.lang.Object
implements WPComputer


Constructor Summary
BaseWPComputer()
           
 
Method Summary
abstract  Expr computeWP(Expr expr)
          computes the weakest pre-condition of the expr
 Expr[] computeWP(Expr[] expr)
           
 java.util.List computeWP(java.util.List expr)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BaseWPComputer

public BaseWPComputer()
Method Detail

computeWP

public abstract Expr computeWP(Expr expr)
Description copied from interface: WPComputer
computes the weakest pre-condition of the expr

Specified by:
computeWP in interface WPComputer
Parameters:
expr - an Expr value
Returns:
an Expr value

computeWP

public Expr[] computeWP(Expr[] expr)
Specified by:
computeWP in interface WPComputer

computeWP

public java.util.List computeWP(java.util.List expr)
Specified by:
computeWP in interface WPComputer