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

NullnessAnalyzerImpl

dotty.tools.backend.jvm.analysis.NullnessAnalyzerImpl
class NullnessAnalyzerImpl(methodNode: MethodNode, knownNonNullInvocation: MethodInsnNode => Boolean, modulesNonNull: Boolean) extends Analyzer[NullnessValue]

Attributes

Graph
Supertypes
trait Opcodes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def newFrame(nLocals: Int, nStack: Int): NullnessFrame

Attributes

Definition Classes
override def newFrame(src: Frame[_ <: NullnessValue]): NullnessFrame

Attributes

Definition Classes

Inherited methods

def analyze(owner: String, method: MethodNode): Array[Frame[NullnessValue]]

Attributes

Inherited from:
Analyzer
def getFrames(): Array[Frame[NullnessValue]]

Attributes

Inherited from:
Analyzer
def getHandlers(insnIndex: Int): List[TryCatchBlockNode]

Attributes

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