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/NullnessInterpreter

NullnessInterpreter

dotty.tools.backend.jvm.analysis.NullnessInterpreter
final class NullnessInterpreter(knownNonNullInvocation: MethodInsnNode => Boolean, modulesNonNull: Boolean, method: MethodNode) extends Interpreter[NullnessValue]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def newParameterValue(isInstanceMethod: Boolean, local: Int, tp: Type): NullnessValue

Attributes

Definition Classes
def newValue(tp: Type | Null): NullnessValue | Null

Inherited methods

def newEmptyValue(local: Int): NullnessValue

Attributes

Inherited from:
Interpreter
def newReturnTypeValue(`type`: Type): NullnessValue

Attributes

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