edu.toronto.cs.yasm.wp
Class UnknownExprWPComputer

java.lang.Object
  extended by edu.toronto.cs.yasm.wp.BaseWPComputer
      extended by edu.toronto.cs.yasm.wp.UnknownExprWPComputer
All Implemented Interfaces:
WPComputer

public class UnknownExprWPComputer
extends BaseWPComputer
implements WPComputer


Constructor Summary
UnknownExprWPComputer(Expr _var)
           
 
Method Summary
 Expr computeWP(Expr expr)
          computes the weakest pre-condition of the expr
 
Methods inherited from class edu.toronto.cs.yasm.wp.BaseWPComputer
computeWP, computeWP
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface edu.toronto.cs.yasm.wp.WPComputer
computeWP, computeWP
 

Constructor Detail

UnknownExprWPComputer

public UnknownExprWPComputer(Expr _var)
Method Detail

computeWP

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

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