public interface Field extends NamedVariable
Field
is an immutable representation of a Java field
access. It consists of field name and may also have either a
Type
or an Expr
containing the field being
accessed.Term.Instance
Modifier and Type | Method and Description |
---|---|
FieldInstance |
fieldInstance()
Get the type object for the field.
|
Field |
fieldInstance(FieldInstance fi)
Set the type object for the field.
|
Field |
id(Id name)
Set the field's name.
|
boolean |
isTargetImplicit()
Returns whether the target of this field is implicit, that is if the
target is either "this" or a classname, and the source code did not
explicitly provide a target.
|
Field |
name(java.lang.String name)
Set the field's name.
|
Receiver |
target()
Get the field's container object or type.
|
Field |
target(Receiver target)
Set the field's container object or type.
|
Field |
targetImplicit(boolean targetImplicit)
Set whether the target of the field is implicit.
|
flags, id, name, varInstance
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
exceptions, exceptions, reachable, reachable
FieldInstance fieldInstance()
Field fieldInstance(FieldInstance fi)
Receiver target()
boolean isTargetImplicit()
Field targetImplicit(boolean targetImplicit)
Field name(java.lang.String name)