ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

escjava.ast
Class DecreasesInfo

java.lang.Object
  extended byescjava.ast.DecreasesInfo

public class DecreasesInfo
extends java.lang.Object


Field Summary
 Expr f
           
 VariableAccess fOld
           
 int loc
           
 
Constructor Summary
DecreasesInfo(int loc, Expr f, VariableAccess fOld)
           
 
Method Summary
 void check()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

loc

public final int loc

f

public final Expr f

fOld

public final VariableAccess fOld
Constructor Detail

DecreasesInfo

public DecreasesInfo(int loc,
                     Expr f,
                     VariableAccess fOld)
Method Detail

check

public void check()

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage