|
||||||||||
| 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.ConstructorCall_c
A ConstructorCall_c represents a direct call to a constructor.
For instance, super(...) or this(...).
| Nested Class Summary |
| Nested classes inherited from class polyglot.ast.ConstructorCall |
ConstructorCall.Kind |
| Field Summary | |
protected java.util.List |
arguments
|
protected ConstructorInstance |
ci
|
protected ConstructorCall.Kind |
kind
|
protected Expr |
qualifier
|
| 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 |
| Fields inherited from interface polyglot.ast.ConstructorCall |
SUPER, THIS |
| Constructor Summary | |
ConstructorCall_c(Position pos,
ConstructorCall.Kind kind,
Expr qualifier,
java.util.List arguments)
|
|
| 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. |
java.util.List |
arguments()
Get the actual arguments of the constructor call. |
ProcedureCall |
arguments(java.util.List arguments)
Set the actual arguments of the constructor call. |
Node |
buildTypes(TypeBuilder tb)
Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. |
Type |
childExpectedType(Expr child,
AscriptionVisitor av)
Get the expected type of a child expression of this. |
ConstructorInstance |
constructorInstance()
Get the constructor we are calling. |
ConstructorCall |
constructorInstance(ConstructorInstance ci)
Set the constructor we are calling. |
Context |
enterScope(Context c)
An explicit constructor call is a static context. |
Term |
entry()
Return the first (sub)term performed when evaluating this term. |
ConstructorCall.Kind |
kind()
Get the kind of the constructor call. |
ConstructorCall |
kind(ConstructorCall.Kind kind)
Set the kind of the constructor call. |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Write the call to an output file. |
ProcedureInstance |
procedureInstance()
The type object of the method we are calling. |
Expr |
qualifier()
Get the qualifier of the constructor call. |
ConstructorCall |
qualifier(Expr qualifier)
Set the qualifier of the constructor call. |
protected ConstructorCall_c |
reconstruct(Expr qualifier,
java.util.List arguments)
Reconstruct the constructor call. |
java.util.List |
throwTypes(TypeSystem ts)
List of Types of exceptions that might get thrown. |
java.lang.String |
toString()
|
Node |
typeCheck(TypeChecker tc)
Type check the call. |
Node |
visitChildren(NodeVisitor v)
Visit the children of the call. |
| 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, buildTypesEnter, buildTypesOverride, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, enterScope, exceptionCheckEnter, exceptionCheckOverride, ext, ext, ext, ext, init, node, position, position, print, printBlock, printSubStmt, 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 |
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, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, exceptionCheck, exceptionCheckEnter, translate, typeCheckEnter |
| Methods inherited from interface polyglot.util.Copy |
copy |
| Field Detail |
protected ConstructorCall.Kind kind
protected Expr qualifier
protected java.util.List arguments
protected ConstructorInstance ci
| Constructor Detail |
public ConstructorCall_c(Position pos,
ConstructorCall.Kind kind,
Expr qualifier,
java.util.List arguments)
| Method Detail |
public Expr qualifier()
qualifier in interface ConstructorCallpublic ConstructorCall qualifier(Expr qualifier)
qualifier in interface ConstructorCallpublic ConstructorCall.Kind kind()
kind in interface ConstructorCallpublic ConstructorCall kind(ConstructorCall.Kind kind)
kind in interface ConstructorCallpublic java.util.List arguments()
arguments in interface ConstructorCallExpr.public ProcedureCall arguments(java.util.List arguments)
arguments in interface ConstructorCallarguments - A list of Expr.public ProcedureInstance procedureInstance()
ProcedureCall
procedureInstance in interface ProcedureCallpublic ConstructorInstance constructorInstance()
constructorInstance in interface ConstructorCallpublic ConstructorCall constructorInstance(ConstructorInstance ci)
constructorInstance in interface ConstructorCallpublic Context enterScope(Context c)
enterScope in interface NodeOpsenterScope in class Node_cc - the current Context
Context to be used for visiting this node.
protected ConstructorCall_c reconstruct(Expr qualifier,
java.util.List arguments)
public Node visitChildren(NodeVisitor v)
visitChildren in interface NodeOpsvisitChildren in class Node_c
public Node buildTypes(TypeBuilder tb)
throws SemanticException
NodeOpsTypeSystem.
This method is called by the leave() method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this or a new copy of the node which will be
installed as a child of the node's parent.
buildTypes in interface NodeOpsbuildTypes in class Node_cSemanticException
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_cpublic java.util.List throwTypes(TypeSystem ts)
NodeOps
throwTypes in interface NodeOpsthrowTypes in class Node_c
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||