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
javafe.ast.StmtVec

Packages that use StmtVec
javafe.ast   
javafe.tc   
 

Uses of StmtVec in javafe.ast
 

Fields in javafe.ast declared as StmtVec
 StmtVec GenericBlockStmt.stmts
           
 StmtVec ForStmt.forInit
           
 

Methods in javafe.ast that return StmtVec
static StmtVec StmtVec.make()
          * Public maker methods: * *
static StmtVec StmtVec.make(int count)
           
static StmtVec StmtVec.make(java.util.Vector vec)
           
static StmtVec StmtVec.make(Stmt[] els)
           
static StmtVec StmtVec.popFromStackVector(StackVector s)
           
 StmtVec StmtVec.copy()
           
 

Methods in javafe.ast with parameters of type StmtVec
static SwitchStmt SwitchStmt.make(StmtVec stmts, int locOpenBrace, int locCloseBrace, Expr expr, int loc)
           
 void StmtVec.append(StmtVec vec)
           
static ForStmt ForStmt.make(StmtVec forInit, Expr test, ExprVec forUpdate, Stmt body, int loc, int locFirstSemi)
           
static BlockStmt BlockStmt.make(StmtVec stmts, int locOpenBrace, int locCloseBrace)
           
 

Uses of StmtVec in javafe.tc
 

Fields in javafe.tc declared as StmtVec
protected  StmtVec FlowInsensitiveChecks.enclosingLabels
           
 

Methods in javafe.tc with parameters of type StmtVec
protected  Env FlowInsensitiveChecks.checkStmtVec(Env env, StmtVec v)
           
 


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