Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## escjava.ast
Class DecreasesInfo

    java.lang.Object
      escjava.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()

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

The ESC/Java2 Project Homepage