|
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 GuardedCmdVec | |
escjava.ast | |
escjava.sp | |
escjava.translate |
Uses of GuardedCmdVec in escjava.ast |
Fields in escjava.ast declared as GuardedCmdVec | |
GuardedCmdVec |
SeqCmd.cmds
|
Methods in escjava.ast that return GuardedCmdVec | |
static GuardedCmdVec |
GuardedCmdVec.make()
* Public maker methods: * * |
static GuardedCmdVec |
GuardedCmdVec.make(int count)
|
static GuardedCmdVec |
GuardedCmdVec.make(java.util.Vector vec)
|
static GuardedCmdVec |
GuardedCmdVec.make(GuardedCmd[] els)
|
static GuardedCmdVec |
GuardedCmdVec.popFromStackVector(StackVector s)
|
GuardedCmdVec |
GuardedCmdVec.copy()
|
Methods in escjava.ast with parameters of type GuardedCmdVec | |
static SeqCmd |
SeqCmd.make(GuardedCmdVec cmds)
|
void |
GuardedCmdVec.append(GuardedCmdVec vec)
|
Uses of GuardedCmdVec in escjava.sp |
Methods in escjava.sp with parameters of type GuardedCmdVec | |
(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". |
Uses of GuardedCmdVec in escjava.translate |
Fields in escjava.translate declared as GuardedCmdVec | |
private GuardedCmdVec |
Translate.codevec
|
Methods in escjava.translate with parameters of type GuardedCmdVec | |
static GuardedCmd |
GC.seq(GuardedCmdVec cmds)
May mutilate contents of cmds . |
|
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 |