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.VarMap

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 in the hashtable h.
 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

The ESC/Java2 Project Homepage