|
|||||||||
| 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.Expr_c
polyglot.ext.jl.ast.Call_c
public class Call_c
A Call is an immutable representation of a Java
method call. It consists of a method name and a list of arguments.
It may also have either a Type upon which the method is being
called or an expression upon which the method is being called.
| Field Summary | |
|---|---|
protected java.util.List |
arguments
|
protected MethodInstance |
mi
|
protected java.lang.String |
name
|
protected Receiver |
target
|
protected boolean |
targetImplicit
|
| Fields inherited from class polyglot.ext.jl.ast.Expr_c |
|---|
type |
| 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 | |
|---|---|
Call_c(Position pos,
Receiver target,
java.lang.String name,
java.util.List arguments)
|
|
| Method Summary | |
|---|---|
java.util.List |
acceptCFG(CFGBuilder v,
java.util.List succs)
Visit this term in evaluation order. |
java.util.List |
arguments()
Get the actual arguments of the call. |
ProcedureCall |
arguments(java.util.List arguments)
Set the actual arguments of the call. |
Node |
buildTypes(TypeBuilder tb)
Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. |
protected void |
checkConsistency(Context c)
|
Type |
childExpectedType(Expr child,
AscriptionVisitor av)
Get the expected type of a child expression of this. |
void |
dump(CodeWriter w)
Dumps the AST. |
Term |
entry()
Return the first (sub)term performed when evaluating this term. |
Node |
exceptionCheck(ExceptionChecker ec)
Check exceptions thrown by the call. |
ReferenceType |
findTargetType()
|
boolean |
isTargetImplicit()
Indicates if the target of this call is implicit, that is, was not specified explicitly in the syntax. |
MethodInstance |
methodInstance()
Get the method instance of the call. |
Call |
methodInstance(MethodInstance mi)
Set the method instance of the call. |
java.lang.String |
name()
Get the name of the call. |
Call |
name(java.lang.String name)
Set the name of the call. |
Precedence |
precedence()
Get the precedence of the call. |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Write the expression to an output file. |
ProcedureInstance |
procedureInstance()
The type object of the method we are calling. |
protected Call_c |
reconstruct(Receiver target,
java.util.List arguments)
Reconstruct the call. |
Receiver |
target()
Get the target object or type of the call. |
Call |
target(Receiver target)
Set the target object or type of the call. |
Call |
targetImplicit(boolean targetImplicit)
Set whether the target of this call is implicit. |
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. |
protected Node |
typeCheckNullTarget(TypeChecker tc,
java.util.List argTypes)
Typecheck the Call when the target is null. |
Node |
visitChildren(NodeVisitor v)
Visit the children of the call. |
| Methods inherited from class polyglot.ext.jl.ast.Expr_c |
|---|
booleanValue, byteValue, charValue, constantValue, doubleValue, floatValue, intValue, isConstant, longValue, printSubExpr, printSubExpr, shortValue, stringValue, type, type |
| Methods inherited from class polyglot.ext.jl.ast.Term_c |
|---|
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, enterScope, 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.Expr |
|---|
constantValue, isConstant, printSubExpr, printSubExpr, type |
| Methods inherited from interface polyglot.ast.Node |
|---|
del, del, 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, enterScope, exceptionCheckEnter, translate, typeCheckEnter |
| Methods inherited from interface polyglot.util.Copy |
|---|
copy |
| Methods inherited from interface polyglot.ast.Typed |
|---|
type |
| Methods inherited from interface polyglot.ast.Term |
|---|
exceptions, exceptions, reachable, reachable |
| Methods inherited from interface polyglot.ast.Term |
|---|
exceptions, exceptions, reachable, reachable |
| Field Detail |
|---|
protected Receiver target
protected java.lang.String name
protected java.util.List arguments
protected MethodInstance mi
protected boolean targetImplicit
| Constructor Detail |
|---|
public Call_c(Position pos,
Receiver target,
java.lang.String name,
java.util.List arguments)
| Method Detail |
|---|
public Precedence precedence()
precedence in interface Exprprecedence in class Expr_cpublic Receiver target()
target in interface Callpublic Call target(Receiver target)
target in interface Callpublic java.lang.String name()
name in interface Callpublic Call name(java.lang.String name)
name in interface Callpublic ProcedureInstance procedureInstance()
ProcedureCall
procedureInstance in interface ProcedureCallpublic MethodInstance methodInstance()
methodInstance in interface Callpublic Call methodInstance(MethodInstance mi)
methodInstance in interface Callpublic boolean isTargetImplicit()
Call
isTargetImplicit in interface Callpublic Call targetImplicit(boolean targetImplicit)
Call
targetImplicit in interface Callpublic java.util.List arguments()
arguments in interface Callarguments in interface ProcedureCallExpr.public ProcedureCall arguments(java.util.List arguments)
arguments in interface Callarguments in interface ProcedureCallarguments - A list of Expr.
protected Call_c reconstruct(Receiver target,
java.util.List arguments)
public Node visitChildren(NodeVisitor v)
visitChildren in interface NodeOpsvisitChildren in class Node_cv - The visitor that will traverse/rewrite the AST.
this.
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 Expr_ctb - The visitor which adds new type objects to the
TypeSystem.
SemanticException
protected Node typeCheckNullTarget(TypeChecker tc,
java.util.List argTypes)
throws SemanticException
argTypes - list of Types of the arguments
SemanticException
public Node typeCheck(TypeChecker tc)
throws SemanticException
typeCheck in interface NodeOpstypeCheck in class Node_ctc - The type checking visitor.
SemanticException
public ReferenceType findTargetType()
throws SemanticException
SemanticException
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_cchild - A child expression of this node.av - An ascription visitor.
child.public java.lang.String toString()
toString in class Node_c
public void prettyPrint(CodeWriter w,
PrettyPrinter tr)
prettyPrint in interface NodeOpsprettyPrint in class Node_cw - The code writer to which to write.tr - The pretty printer. This is not a visitor.public void dump(CodeWriter w)
dump in interface Nodedump in class Expr_cpublic Term entry()
Term_c
entry in interface Termentry in class Term_c
public java.util.List acceptCFG(CFGBuilder v,
java.util.List succs)
Term_c
acceptCFG in interface TermacceptCFG in class Term_c
public Node exceptionCheck(ExceptionChecker ec)
throws SemanticException
exceptionCheck in interface NodeOpsexceptionCheck in class Term_cec - The visitor.
SemanticExceptionpublic java.util.List throwTypes(TypeSystem ts)
NodeOps
throwTypes in interface NodeOpsthrowTypes in class Node_c
protected void checkConsistency(Context c)
throws SemanticException
SemanticException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||