|
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 |
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)
|
|
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 |