Addr
Value members
Concrete methods
Extension method from Semantic
Can the method call on value
be ignored?
Can the method call on value
be ignored?
Note: assume overriding resolution has been performed.
Extension method from Semantic
Ensure the corresponding object exists in the heap
Ensure the corresponding object exists in the heap
Extension method from Semantic
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.