|
|||||||||
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 Expr
precedence
in class Expr_c
public Receiver target()
target
in interface Call
public Call target(Receiver target)
target
in interface Call
public java.lang.String name()
name
in interface Call
public Call name(java.lang.String name)
name
in interface Call
public ProcedureInstance procedureInstance()
ProcedureCall
procedureInstance
in interface ProcedureCall
public MethodInstance methodInstance()
methodInstance
in interface Call
public Call methodInstance(MethodInstance mi)
methodInstance
in interface Call
public boolean isTargetImplicit()
Call
isTargetImplicit
in interface Call
public Call targetImplicit(boolean targetImplicit)
Call
targetImplicit
in interface Call
public java.util.List arguments()
arguments
in interface Call
arguments
in interface ProcedureCall
Expr
.public ProcedureCall arguments(java.util.List arguments)
arguments
in interface Call
arguments
in interface ProcedureCall
arguments
- A list of Expr
.protected Call_c reconstruct(Receiver target, java.util.List arguments)
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 Node buildTypes(TypeBuilder tb) throws SemanticException
NodeOps
TypeSystem
.
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 NodeOps
buildTypes
in class Expr_c
tb
- 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 Type
s of the arguments
SemanticException
public Node typeCheck(TypeChecker tc) throws SemanticException
typeCheck
in interface NodeOps
typeCheck
in class Node_c
tc
- The type checking visitor.
SemanticException
public ReferenceType findTargetType() throws SemanticException
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 java.lang.String toString()
toString
in class Node_c
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 void dump(CodeWriter w)
dump
in interface Node
dump
in class Expr_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 Node exceptionCheck(ExceptionChecker ec) throws SemanticException
exceptionCheck
in interface NodeOps
exceptionCheck
in class Term_c
ec
- The visitor.
SemanticException
public java.util.List throwTypes(TypeSystem ts)
NodeOps
throwTypes
in interface NodeOps
throwTypes
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 |