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

NonLubbingTypeFlowInterpreter

dotty.tools.backend.jvm.analysis.NonLubbingTypeFlowInterpreter
class NonLubbingTypeFlowInterpreter extends TypeFlowInterpreter

A TypeFlowInterpreter which collapses LUBs of non-equal reference types to Object. This could be made more precise by looking up ClassBTypes for the two reference types and using the jvmWiseLUB method.

Attributes

Graph
Supertypes
trait Opcodes
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

Inherited methods

override def binaryOperation(insn: AbstractInsnNode, value1: BasicValue, value2: BasicValue): BasicValue

Attributes

Definition Classes
Inherited from:
TypeFlowInterpreter
def isRef(tp: Type | Null): Boolean

Attributes

Inherited from:
TypeFlowInterpreter
final override def merge(a: BasicValue, b: BasicValue): BasicValue

Attributes

Definition Classes
Inherited from:
TypeFlowInterpreter
override def naryOperation(insn: AbstractInsnNode, values: List[_ <: BasicValue]): BasicValue

Attributes

Definition Classes
Inherited from:
TypeFlowInterpreter
def newEmptyValue(local: Int): BasicValue

Attributes

Inherited from:
Interpreter
def newOperation(insn: AbstractInsnNode): BasicValue

Attributes

Inherited from:
BasicInterpreter
override def newParameterValue(isInstanceMethod: Boolean, local: Int, tpe: Type): BasicValue

Attributes

Definition Classes
Inherited from:
TypeFlowInterpreter
def newReturnTypeValue(`type`: Type): BasicValue

Attributes

Inherited from:
Interpreter
override def newValue(tp: Type | Null): BasicValue

Attributes

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