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 NEXT | FRAMES NO FRAMES

## Uses of Class
escjava.translate.InvariantInfo

Packages that use InvariantInfo
escjava.translate |

Uses of InvariantInfo in escjava.translate

Fields in escjava.translate declared as InvariantInfo
`(package private) InvariantInfo` | `InvariantInfo.next`

Methods in escjava.translate that return InvariantInfo
`private static InvariantInfo` | `GetSpec.collectInvariants(FindContributors scope, java.util.Hashtable premap)`
`private static InvariantInfo` | `GetSpec.mergeInvariants(InvariantInfo ii)`

Methods in escjava.translate with parameters of type InvariantInfo
`private static void` | `GetSpec.addInvariantBody(InvariantInfo ii, Spec spec, Set synTargs)` Extend `spec`, in a way appropriate for checking the body of a method or constructor, to account for invariant `ii.J` declared in class `ii.U`.
`private static InvariantInfo` | `GetSpec.mergeInvariants(InvariantInfo ii)`

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 NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage