|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.sp.VarMap
Field Summary | |
private static VarMap |
botMap
|
private static VarMap |
idMap
|
private java.util.Hashtable |
table
|
Constructor Summary | |
private |
VarMap()
Clients should construct new "base" VarMap's only by calling identity() or bottom(). |
Method Summary | |
Expr |
apply(Expr e)
Returns the result of applying "this", viewed as a substituiton, to "e". |
static VarMap |
bottom()
Returns the special "bottom" VarMap. |
VarMap |
extend(GenericVarDecl v,
Expr e)
Returns a VarMap identical to "this", except mapping "v" to "e". |
VarMap |
extend(java.util.Hashtable h)
Returns a VarMap identical to "this", except mapping "v" to "e" for every pair |
Expr |
get(GenericVarDecl v)
|
static VarMap |
identity()
Returns the identity VarMap. |
boolean |
isBottom()
|
(package private) static 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". |
(package private) static 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. |
VarMap |
unmap(GenericVarDeclVec vec)
Returns a VarMap identical to "this", except mapping each element of "vec" to itself. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private java.util.Hashtable table
private static final VarMap botMap
private static final VarMap idMap
Constructor Detail |
private VarMap()
Method Detail |
public static VarMap bottom()
public boolean isBottom()
public static VarMap identity()
public VarMap extend(GenericVarDecl v, Expr e)
public VarMap extend(java.util.Hashtable h)
public VarMap unmap(GenericVarDeclVec vec)
public Expr get(GenericVarDecl v)
static VarMap merge(VarMap m, VarMap n, GuardedCmdVec[] rename, int loc, int p, java.util.Hashtable lastVarUse)
merge
method below.
static VarMap merge(VarMap[] mm, GuardedCmdVec[] rename, int loc, int p, java.util.Hashtable lastVarUse)
lastVarUse
may be passed in as
null
, in which case the method acts as if
lastVarUse
had been a hashtable that maps every
variable to max infinity.
public Expr apply(Expr e)
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |