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.ast.Utils.BooleanDecoration

Packages that use Utils.BooleanDecoration
escjava.ast   
 

Uses of Utils.BooleanDecoration in escjava.ast
 

Fields in escjava.ast declared as Utils.BooleanDecoration
private static Utils.BooleanDecoration Utils.pureDecoration
           
private static Utils.BooleanDecoration Utils.immutableDecoration
           
static Utils.BooleanDecoration Utils.ensuresDecoration
           
private static Utils.BooleanDecoration Utils.allocatesDecoration
           
private static Utils.BooleanDecoration Utils.functionDecoration
           
 


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