Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage