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.sp.RefInt

Packages that use RefInt
escjava.sp   
 

Uses of RefInt in escjava.sp
 

Methods in escjava.sp with parameters of type RefInt
private static GuardedCmd DSA.dsa(GuardedCmd g, VarMap map, VarMapPair out, java.lang.String dynInstPrefix, RefInt preOrderCount, java.util.Hashtable lastVarUse)
          Parameters preOrderCount and lastVarUse are used to perform a dead-variable analysis on variables, so that merges of variables can be smaller.
private static void DSA.computeLastVarUses(GuardedCmd g, RefInt preOrderCount, java.util.Hashtable lastVarUse)
           
private static void DSA.doPreOrderCount(GuardedCmd g, RefInt preOrderCount)
           
 


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