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.translate
Class InvariantInfo

java.lang.Object
  extended byescjava.translate.InvariantInfo

class InvariantInfo
extends java.lang.Object

* This class is used by collectInvariants and its callers, * extendSpecForCall and extendSpecForBody.


Field Summary
(package private)  boolean isStatic
           
(package private)  Expr J
           
(package private)  java.util.Hashtable map
           
(package private)  InvariantInfo next
           
(package private)  ExprDeclPragma prag
           
(package private)  VariableAccess s
           
(package private)  LocalVarDecl sdecl
           
(package private)  TypeSig U
           
 
Constructor Summary
(package private) InvariantInfo()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

prag

ExprDeclPragma prag

U

TypeSig U

isStatic

boolean isStatic

sdecl

LocalVarDecl sdecl

s

VariableAccess s

map

java.util.Hashtable map

J

Expr J

next

InvariantInfo next
Constructor Detail

InvariantInfo

InvariantInfo()

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