public interface ConstructorCall extends Stmt, ProcedureCall
ConstructorCall
represents a direct call to a constructor.
For instance, super(...)
or this(...)
.Modifier and Type | Interface and Description |
---|---|
static class |
ConstructorCall.Kind
Constructor call kind: either "super" or "this".
|
Term.Instance
Modifier and Type | Field and Description |
---|---|
static ConstructorCall.Kind |
SUPER |
static ConstructorCall.Kind |
THIS |
Modifier and Type | Method and Description |
---|---|
ConstructorInstance |
constructorInstance()
The type object of the constructor to call.
|
ConstructorCall |
constructorInstance(ConstructorInstance ci)
Set the type object of the constructor to call.
|
ConstructorCall.Kind |
kind()
The kind of the call: THIS or SUPER.
|
ConstructorCall |
kind(ConstructorCall.Kind kind)
Set the kind of the call: THIS or SUPER.
|
Expr |
qualifier()
The qualifier of the call, possibly null.
|
ConstructorCall |
qualifier(Expr qualifier)
Set the qualifier of the call, possibly null.
|
arguments, arguments, procedureInstance
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
static final ConstructorCall.Kind SUPER
static final ConstructorCall.Kind THIS
Expr qualifier()
ConstructorCall qualifier(Expr qualifier)
ConstructorCall.Kind kind()
ConstructorCall kind(ConstructorCall.Kind kind)
ConstructorInstance constructorInstance()
ConstructorCall constructorInstance(ConstructorInstance ci)