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.ast.GuardedCmdVec

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

The ESC/Java2 Project Homepage