|
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 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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |