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

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)
           
 


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