scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.backend/dotty.tools.backend.jvm/dotty.tools.backend.jvm.analysis/NotNullValue

NotNullValue

dotty.tools.backend.jvm.analysis.NotNullValue
object NotNullValue extends NullnessValue

Attributes

Graph
Supertypes
trait Value
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Inherited 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
NullnessValue -> Any
Inherited from:
NullnessValue
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

Inherited from:
NullnessValue
def invert: NullnessValue

Attributes

Inherited from:
NullnessValue
def merge(other: NullnessValue): NullnessValue

Attributes

Inherited from:
NullnessValue

Inherited fields

final val isSize2: Boolean

Attributes

Inherited from:
NullnessValue
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL