|
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 VarMap | |
escjava.pa | |
escjava.sp | |
escjava.translate |
Uses of VarMap in escjava.pa |
Fields in escjava.pa declared as VarMap | |
private VarMap |
GCProver.subst
|
Uses of VarMap in escjava.sp |
Fields in escjava.sp declared as VarMap | |
VarMap |
VarMapPair.n
|
VarMap |
VarMapPair.x
|
private static VarMap |
VarMap.botMap
|
private static VarMap |
VarMap.idMap
|
Methods in escjava.sp that return VarMap | |
static VarMap |
VarMap.bottom()
Returns the special "bottom" VarMap. |
static VarMap |
VarMap.identity()
Returns the identity VarMap. |
VarMap |
VarMap.extend(GenericVarDecl v,
Expr e)
Returns a VarMap identical to "this", except mapping "v" to "e". |
VarMap |
VarMap.extend(java.util.Hashtable h)
Returns a VarMap identical to "this", except mapping "v" to "e" for every pair |
VarMap |
VarMap.unmap(GenericVarDeclVec vec)
Returns a VarMap identical to "this", except mapping each element of "vec" to itself. |
(package private) static VarMap |
VarMap.merge(VarMap m,
VarMap n,
GuardedCmdVec[] rename,
int loc,
int p,
java.util.Hashtable lastVarUse)
This is the two-input-map version of the more general merge method below. |
(package private) static VarMap |
VarMap.merge(VarMap[] mm,
GuardedCmdVec[] rename,
int loc,
int p,
java.util.Hashtable lastVarUse)
If all elements of "mm" are "bottom" then the result is "bottom". |
Methods in escjava.sp with parameters of type VarMap | |
(package private) static VarMap |
VarMap.merge(VarMap m,
VarMap n,
GuardedCmdVec[] rename,
int loc,
int p,
java.util.Hashtable lastVarUse)
This is the two-input-map version of the more general merge method below. |
(package private) static VarMap |
VarMap.merge(VarMap[] mm,
GuardedCmdVec[] rename,
int loc,
int p,
java.util.Hashtable lastVarUse)
If all elements of "mm" are "bottom" then the result is "bottom". |
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. |
Uses of VarMap in escjava.translate |
Methods in escjava.translate with parameters of type VarMap | |
private static Expr |
Ejp.compute(GuardedCmd g,
Expr normal,
Expr exceptional,
java.lang.String dynInstPrefix,
VarMap dynInstMap)
|
|
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 |