|
|||||||||
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
public class 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 |
---|
exceptions, 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 term in evaluation order. |
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 |
---|
exceptionCheck, exceptions, exceptions, 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, 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 |
---|
exceptions, exceptions, reachable, reachable |
Methods inherited from interface polyglot.ast.Node |
---|
del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList |
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 For
ForInit
.public For inits(java.util.List inits)
inits
in interface For
inits
- A list of ForInit
.public Expr cond()
cond
in interface Loop
public For cond(Expr cond)
cond
in interface For
public java.util.List iters()
iters
in interface For
ForUpdate
.public For iters(java.util.List iters)
iters
in interface For
iters
- A list of ForUpdate
.public Stmt body()
body
in interface Loop
public 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 NodeOps
visitChildren
in class Node_c
v
- The visitor that will traverse/rewrite the AST.
this
.public Context enterScope(Context c)
Node_c
enterScope
in interface NodeOps
enterScope
in class Node_c
c
- the current Context
Context
to be used for visiting this node.public Node typeCheck(TypeChecker tc) throws SemanticException
typeCheck
in interface NodeOps
typeCheck
in class Node_c
tc
- The type checking visitor.
SemanticException
public Type childExpectedType(Expr child, AscriptionVisitor av)
Node
this
.
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 Node
childExpectedType
in class Node_c
child
- A child expression of this node.av
- An ascription visitor.
child
.public void prettyPrint(CodeWriter w, PrettyPrinter tr)
prettyPrint
in interface NodeOps
prettyPrint
in class Node_c
w
- The code writer to which to write.tr
- The pretty printer. This is not a visitor.public java.lang.String toString()
toString
in class Node_c
public Term entry()
Term_c
entry
in interface Term
entry
in class Term_c
public java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
Term_c
acceptCFG
in interface Term
acceptCFG
in class Term_c
public Term continueTarget()
Loop
continueTarget
in interface Loop
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |