Addr

sealed abstract class Addr extends Value
class Value
class Object
trait Matchable
class Any
class ThisRef
class Warm

Value members

Abstract methods

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.

def ensureExists: addr
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.

Inherited methods

Inherited from:
Value