|
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 |
||||||||||
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 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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |