Ref
Attributes
- Graph
-
- Supertypes
- Known subtypes
Members list
Value members
Concrete methods
Can the method call on value be ignored?
Can the method call on value be ignored?
Note: assume overriding resolution has been performed.
Attributes
Whether the object is fully assigned
Whether the object is fully assigned
It means all fields and outers are set. For performance, we don't check outers here, because Scala semantics ensure that they are always set before any user code in the constructor.
Note that isFullyFilled = true does not mean we can use the object freely, as its fields or outers may still reach uninitialized objects.
Attributes
Update field value of the abstract object
Update field value of the abstract object
Invariant: fields are immutable and only set once
Attributes
Update the immediate outer of the given klass of the abstract object
Update the immediate outer of the given klass of the abstract object
Invariant: outers are immutable and only set once