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

TypeFlowInterpreter

dotty.tools.backend.jvm.analysis.TypeFlowInterpreter
See theTypeFlowInterpreter companion object
abstract class TypeFlowInterpreter extends BasicInterpreter

Attributes

Companion
object
Graph
Supertypes
trait Opcodes
class Object
trait Matchable
class Any
Show all
Known subtypes

Members list

Value members

Abstract methods

Concrete methods

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

Attributes

Definition Classes
def isRef(tp: Type | Null): Boolean
final override def merge(a: BasicValue, b: BasicValue): BasicValue

Attributes

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

Attributes

Definition Classes
override def newParameterValue(isInstanceMethod: Boolean, local: Int, tpe: Type): BasicValue

Attributes

Definition Classes
override def newValue(tp: Type | Null): BasicValue

Attributes

Definition Classes

Inherited methods

def newEmptyValue(local: Int): BasicValue

Attributes

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

Attributes

Inherited from:
BasicInterpreter
def newReturnTypeValue(`type`: Type): BasicValue

Attributes

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