public interface ProcedureCall extends Term
ProcedureCall
is an interface representing a
method or constructor call.Term.Instance
Modifier and Type | Method and Description |
---|---|
java.util.List<Expr> |
arguments()
The call's actual arguments.
|
ProcedureCall |
arguments(java.util.List<Expr> arguments)
Set the call's actual arguments.
|
ProcedureInstance |
procedureInstance()
The type object of the procedure we are calling.
|
exceptions, exceptions, reachable, reachable
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
ProcedureCall arguments(java.util.List<Expr> arguments)
arguments
- A list of Expr
.ProcedureInstance procedureInstance()