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.Stmt

Packages that use Stmt
escjava.ast   
escjava.tc   
escjava.translate   
javafe.ast   
javafe.parser   
javafe.tc   
 

Uses of Stmt in escjava.ast
 

Subclasses of Stmt in escjava.ast
 class ExprStmtPragma
           
 class SetStmtPragma
           
 class SimpleStmtPragma
           
 class SkolemConstantPragma
           
 

Uses of Stmt in escjava.tc
 

Methods in escjava.tc with parameters of type Stmt
protected  Env FlowInsensitiveChecks.checkStmt(Env env, Stmt s)
           
 

Uses of Stmt in escjava.translate
 

Methods in escjava.translate with parameters of type Stmt
private  Expr Translate.breakLabel(Stmt s)
           
private  Expr Translate.continueLabel(Stmt s)
           
private  void Translate.trStmt(Stmt stmt, TypeDecl decl)
          Translate stmt into a sequence of guarded commands that are appended to code.
private  void Translate.trIfStmt(Expr guard, Stmt thenStmt, Stmt elseStmt, TypeDecl decl)
          Translate an "if" statement.
private  void Translate.trSynchronizedBody(Expr mu, Stmt stmt, int loc, TypeDecl decl)
           
static GuardedCmd GC.blockL(Stmt label, GuardedCmd g)
           
static Expr GC.symlit(Stmt s, java.lang.String prefix)
           
 

Uses of Stmt in javafe.ast
 

Subclasses of Stmt in javafe.ast
 class AssertStmt
           
 class BlockStmt
           
 class BranchStmt
           
 class BreakStmt
           
 class ClassDeclStmt
           
 class ConstructorInvocation
          Represents an ExplicitConstructorInvocation.
 class ContinueStmt
           
 class DoStmt
           
 class EvalStmt
           
 class ForStmt
          Represents a ForStatement.
 class GenericBlockStmt
           
 class IfStmt
           
 class LabelStmt
           
 class ReturnStmt
           
 class SkipStmt
           
 class StmtPragma
           
 class SwitchLabel
          Represents a SwitchLabel syntactic unit.
 class SwitchStmt
           
 class SynchronizeStmt
           
 class ThrowStmt
           
 class TryCatchStmt
          Represents a try-catch statement.
 class TryFinallyStmt
           
 class VarDeclStmt
           
 class WhileStmt
           
 

Fields in javafe.ast declared as Stmt
 Stmt WhileStmt.stmt
           
 Stmt TryFinallyStmt.tryClause
           
 Stmt TryFinallyStmt.finallyClause
           
 Stmt TryCatchStmt.tryClause
           
private  Stmt[] StmtVec.elements
          * Instance fields: * *
 Stmt LabelStmt.stmt
           
 Stmt IfStmt.thn
           
 Stmt IfStmt.els
           
 Stmt ForStmt.body
           
 Stmt DoStmt.stmt
           
 

Methods in javafe.ast that return Stmt
 Stmt StmtVec.elementAt(int index)
          * Other methods: * *
 Stmt[] StmtVec.toArray()
           
 Stmt StmtVec.pop()
           
 

Methods in javafe.ast with parameters of type Stmt
static WhileStmt WhileStmt.make(Expr expr, Stmt stmt, int loc, int locGuardOpenParen)
           
 java.lang.Object VisitorArgResult.visitStmt(Stmt x, java.lang.Object o)
           
 void Visitor.visitStmt(Stmt x)
           
static TryFinallyStmt TryFinallyStmt.make(Stmt tryClause, Stmt finallyClause, int loc, int locFinally)
           
static TryCatchStmt TryCatchStmt.make(Stmt tryClause, CatchClauseVec catchClauses, int loc)
           
static StmtVec StmtVec.make(Stmt[] els)
           
 void StmtVec.setElementAt(Stmt x, int index)
           
 boolean StmtVec.contains(Stmt x)
           
 void StmtVec.addElement(Stmt x)
           
 boolean StmtVec.removeElement(Stmt x)
           
 void StmtVec.insertElementAt(Stmt obj, int index)
           
 void StandardPrettyPrint.print(java.io.OutputStream o, int ind, Stmt s)
           
abstract  void PrettyPrint.print(java.io.OutputStream o, int ind, Stmt s)
          Print a statement.
static LabelStmt LabelStmt.make(Identifier label, Stmt stmt, int locId)
           
static IfStmt IfStmt.make(Expr expr, Stmt thn, Stmt els, int loc)
           
static ForStmt ForStmt.make(StmtVec forInit, Expr test, ExprVec forUpdate, Stmt body, int loc, int locFirstSemi)
           
static DoStmt DoStmt.make(Expr expr, Stmt stmt, int loc)
           
 void DelegatingPrettyPrint.print(java.io.OutputStream o, int ind, Stmt s)
           
 

Constructors in javafe.ast with parameters of type Stmt
StmtVec(Stmt[] els)
          * Private constructors: * *
 

Uses of Stmt in javafe.parser
 

Methods in javafe.parser that return Stmt
 Stmt ParseStmt.parseStatement(Lex l)
          Method for parsing a Stmt.
 

Uses of Stmt in javafe.tc
 

Methods in javafe.tc that return Stmt
 Stmt TypeCheck.getBranchLabel(BranchStmt s)
          Retrieves the Stmt target of a BranchStmt.
(package private) static Stmt FlowInsensitiveChecks.getBranchLabel(BranchStmt s)
          Retrieves the Stmt target of a BranchStmt.
 

Methods in javafe.tc with parameters of type Stmt
protected  Env FlowInsensitiveChecks.checkStmt(Env e, Stmt s)
          Typecheck a statement in a given environment then return the environment in effect for statements that follow the given statement.
private static void FlowInsensitiveChecks.setBranchLabel(BranchStmt s, Stmt l)
           
static void CheckInvariants.checkStmt(TypeSig sig, Stmt s)
           
 


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