|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectpolyglot.ext.jl.ast.Node_c
polyglot.ext.jl.ast.Term_c
polyglot.ext.jl.ast.Stmt_c
polyglot.ext.jl.ast.Loop_c
polyglot.ext.jl.ast.For_c
An immutable representation of a Java language for
statement. Contains a statement to be executed and an expression
to be tested indicating whether to reexecute the statement.
| Field Summary | |
protected Stmt |
body
|
protected Expr |
cond
|
protected java.util.List |
inits
|
protected java.util.List |
iters
|
| Fields inherited from class polyglot.ext.jl.ast.Term_c |
reachable |
| Fields inherited from class polyglot.ext.jl.ast.Node_c |
del, ext, position |
| Constructor Summary | |
For_c(Position pos,
java.util.List inits,
Expr cond,
java.util.List iters,
Stmt body)
|
|
| Method Summary | |
java.util.List |
acceptCFG(CFGBuilder v,
java.util.List succs)
Visit this node, calling calling v.edge() for each successor in succs, if data flows on that edge. |
Stmt |
body()
Loop body |
For |
body(Stmt body)
Set the body of the statement. |
Type |
childExpectedType(Expr child,
AscriptionVisitor av)
Get the expected type of a child expression of this. |
Expr |
cond()
Loop condition |
For |
cond(Expr cond)
Set the conditional of the statement. |
Term |
continueTarget()
Target of a continue statement in the loop body. |
Context |
enterScope(Context c)
Push a new scope upon entering this node, and add any declarations to the context that should be in scope when visiting children of this node. |
Term |
entry()
Return the first (sub)term performed when evaluating this term. |
java.util.List |
inits()
List of initialization statements |
For |
inits(java.util.List inits)
Set the inits of the statement. |
java.util.List |
iters()
List of iterator expressions. |
For |
iters(java.util.List iters)
Set the iterator expressions of the statement. |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Write the statement to an output file. |
protected For_c |
reconstruct(java.util.List inits,
Expr cond,
java.util.List iters,
Stmt body)
Reconstruct the statement. |
java.lang.String |
toString()
|
Node |
typeCheck(TypeChecker tc)
Type check the statement. |
Node |
visitChildren(NodeVisitor v)
Visit the children of the statement. |
| Methods inherited from class polyglot.ext.jl.ast.Loop_c |
condIsConstant, condIsConstantTrue |
| Methods inherited from class polyglot.ext.jl.ast.Term_c |
listEntry, reachable, reachable |
| Methods inherited from class polyglot.ext.jl.ast.Node_c |
addDecls, addMembers, addMembersEnter, addMembersOverride, buildTypes, buildTypesEnter, buildTypesOverride, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, enterScope, exceptionCheck, exceptionCheckEnter, exceptionCheckOverride, ext, ext, ext, ext, init, node, position, position, print, printBlock, printSubStmt, throwTypes, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface polyglot.ast.Loop |
condIsConstant, condIsConstantTrue |
| Methods inherited from interface polyglot.ast.Term |
reachable, reachable |
| Methods inherited from interface polyglot.ast.Node |
del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge |
| Methods inherited from interface polyglot.ast.JL |
init, node |
| Methods inherited from interface polyglot.ast.NodeOps |
addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, exceptionCheck, exceptionCheckEnter, throwTypes, translate, typeCheckEnter |
| Methods inherited from interface polyglot.util.Copy |
copy |
| Field Detail |
protected java.util.List inits
protected Expr cond
protected java.util.List iters
protected Stmt body
| Constructor Detail |
public For_c(Position pos,
java.util.List inits,
Expr cond,
java.util.List iters,
Stmt body)
| Method Detail |
public java.util.List inits()
inits in interface ForForInit.public For inits(java.util.List inits)
inits in interface Forinits - A list of ForInit.public Expr cond()
cond in interface Looppublic For cond(Expr cond)
cond in interface Forpublic java.util.List iters()
iters in interface ForForUpdate.public For iters(java.util.List iters)
iters in interface Foriters - A list of ForUpdate.public Stmt body()
body in interface Looppublic For body(Stmt body)
body in interface For
protected For_c reconstruct(java.util.List inits,
Expr cond,
java.util.List iters,
Stmt body)
public Node visitChildren(NodeVisitor v)
visitChildren in interface NodeOpsvisitChildren in class Node_cpublic Context enterScope(Context c)
NodeOpsaddDecls when leaving the node
for that.
enterScope in interface NodeOpsenterScope in class Node_cc - the current Context
Context to be used for visiting this node.
public Node typeCheck(TypeChecker tc)
throws SemanticException
typeCheck in interface NodeOpstypeCheck in class Node_cSemanticException
public Type childExpectedType(Expr child,
AscriptionVisitor av)
Nodethis.
The expected type is determined by the context in that the child occurs
(e.g., for x = e, the expected type of e is
the declared type of x.
The expected type should impose the least constraints on the child's
type that are allowed by the parent node.
childExpectedType in interface NodechildExpectedType in class Node_c
public void prettyPrint(CodeWriter w,
PrettyPrinter tr)
prettyPrint in interface NodeOpsprettyPrint in class Node_cpublic java.lang.String toString()
toString in class Node_cpublic Term entry()
Term
entry in interface Termentry in class Term_c
public java.util.List acceptCFG(CFGBuilder v,
java.util.List succs)
Term
acceptCFG in interface TermacceptCFG in class Term_cpublic Term continueTarget()
Loop
continueTarget in interface Loop
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||