|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use VarMapPair | |
| escjava.sp | |
| Uses of VarMapPair in escjava.sp |
| Methods in escjava.sp with parameters of type VarMapPair | |
static GuardedCmd |
DSA.dsa(GuardedCmd g,
VarMapPair out)
|
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. |
|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||