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 ParamAndGlobalVarInfo

java.lang.Object
  extended byescjava.translate.ParamAndGlobalVarInfo

class ParamAndGlobalVarInfo
extends java.lang.Object

This class is used by collectParamsAndGlobalVars and its * caller, extendSpecForCall.


Field Summary
(package private)  boolean isNonnull
           
(package private)  ParamAndGlobalVarInfo next
           
(package private)  TypeSig U
           
(package private)  GenericVarDecl vdecl
           
 
Constructor Summary
(package private) ParamAndGlobalVarInfo()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

vdecl

GenericVarDecl vdecl

U

TypeSig U

isNonnull

boolean isNonnull

next

ParamAndGlobalVarInfo next
Constructor Detail

ParamAndGlobalVarInfo

ParamAndGlobalVarInfo()

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