NotNullInfo

dotty.tools.dotc.typer.Nullables.NotNullInfo
See theNotNullInfo companion object
case class NotNullInfo(asserted: Set[TermRef] | Null, retracted: Set[TermRef])

A set of val or var references that are known to be not null after the tree finishes executing normally (non-exceptionally), plus a set of variable references that are ever assigned to null, and may therefore be null if execution of the tree is interrupted by an exception.

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

The alternative path combination with another not-null info. Used to merge the nullability info of the branches of an if or match.

The alternative path combination with another not-null info. Used to merge the nullability info of the branches of an if or match.

Attributes

The sequential combination with another not-null info

The sequential combination with another not-null info

Attributes

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product