public interface Call extends Expr, ProcedureCall
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.Term.Instance
Modifier and Type | Method and Description |
---|---|
Id |
id()
The name of the method to call.
|
Call |
id(Id name)
Set the name of the method to call.
|
boolean |
isTargetImplicit()
Indicates if the target of this call is implicit, that
is, was not specified explicitly in the syntax.
|
MethodInstance |
methodInstance()
The method instance of the method to call.
|
Call |
methodInstance(MethodInstance mi)
Set the method instance of the method to call.
|
java.lang.String |
name()
The name of the method to call.
|
Call |
name(java.lang.String name)
Set the name of the method to call.
|
Receiver |
target()
The call's target object or type.
|
Call |
target(Receiver target)
Set the call's target or type.
|
Call |
targetImplicit(boolean targetImplicit)
Set whether the target of this call is implicit.
|
constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
arguments, arguments, procedureInstance
exceptions, exceptions, reachable, reachable
Receiver target()
Id id()
java.lang.String name()
Call name(java.lang.String name)
boolean isTargetImplicit()
Call targetImplicit(boolean targetImplicit)
MethodInstance methodInstance()
Call methodInstance(MethodInstance mi)