Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage