|
||||||||||
| 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.If_c
An immutable representation of a Java language if statement.
Contains an expression whose value is tested, a ``then'' statement
(consequent), and optionally an ``else'' statement (alternate).
| Field Summary | |
protected Stmt |
alternative
|
protected Expr |
cond
|
protected Stmt |
consequent
|
| 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 | |
If_c(Position pos,
Expr cond,
Stmt consequent,
Stmt alternative)
|
|
| 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 |
alternative()
Get the alternative of the statement. |
If |
alternative(Stmt alternative)
Set the alternative of the statement. |
Type |
childExpectedType(Expr child,
AscriptionVisitor av)
Get the expected type of a child expression of this. |
Expr |
cond()
Get the conditional of the statement. |
If |
cond(Expr cond)
Set the conditional of the statement. |
Stmt |
consequent()
Get the consequent of the statement. |
If |
consequent(Stmt consequent)
Set the consequent of the statement. |
Term |
entry()
Return the first (sub)term performed when evaluating this term. |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Write the statement to an output file. |
protected If_c |
reconstruct(Expr cond,
Stmt consequent,
Stmt alternative)
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.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, 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.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, enterScope, exceptionCheck, exceptionCheckEnter, throwTypes, translate, typeCheckEnter |
| Methods inherited from interface polyglot.util.Copy |
copy |
| Field Detail |
protected Expr cond
protected Stmt consequent
protected Stmt alternative
| Constructor Detail |
public If_c(Position pos,
Expr cond,
Stmt consequent,
Stmt alternative)
| Method Detail |
public Expr cond()
cond in interface Ifpublic If cond(Expr cond)
cond in interface Ifpublic Stmt consequent()
consequent in interface Ifpublic If consequent(Stmt consequent)
consequent in interface Ifpublic Stmt alternative()
alternative in interface Ifpublic If alternative(Stmt alternative)
alternative in interface If
protected If_c reconstruct(Expr cond,
Stmt consequent,
Stmt alternative)
public Node visitChildren(NodeVisitor v)
visitChildren in interface NodeOpsvisitChildren in class Node_c
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_cpublic java.lang.String toString()
toString in class Node_c
public void prettyPrint(CodeWriter w,
PrettyPrinter tr)
prettyPrint in interface NodeOpsprettyPrint 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_c
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||