NullnessValue

dotty.tools.backend.jvm.analysis.NullnessValue
See theNullnessValue companion object
sealed abstract class NullnessValue(val isSize2: Boolean) extends Value

Represents the nullness state for a local variable or stack value.

Note that nullness of primitive values is not tracked, it will be always unknown.

Attributes

Companion
object
Graph
Supertypes
trait Value
class Object
trait Matchable
class Any
Known subtypes
object NotNullValue
object NullValue
object UnknownValue1
object UnknownValue2

Members list

Value members

Concrete methods

final override def equals(other: Any): Boolean

Compares the receiver object (this) with the argument object (that) for equivalence.

Compares the receiver object (this) with the argument object (that) for equivalence.

Any implementation of this method should be an equivalence relation:

  • It is reflexive: for any instance x of type Any, x.equals(x) should return true.
  • It is symmetric: for any instances x and y of type Any, x.equals(y) should return true if and only if y.equals(x) returns true.
  • It is transitive: for any instances x, y, and z of type Any if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.

If you override this method, you should verify that your implementation remains an equivalence relation. Additionally, when overriding this method it is usually necessary to override hashCode to ensure that objects which are "equal" (o1.equals(o2) returns true) hash to the same scala.Int. (o1.hashCode.equals(o2.hashCode)).

Value parameters

that

the object to compare against this object for equality.

Attributes

Returns

true if the receiver object is equivalent to the argument; false otherwise.

Definition Classes
Any
def getSize: Int

The size of the slot described by this value. Cannot be 0 because no values are allocated for void-typed slots, see NullnessInterpreter.newValue.

The size of the slot described by this value. Cannot be 0 because no values are allocated for void-typed slots, see NullnessInterpreter.newValue.

Attributes

Concrete fields

final val isSize2: Boolean