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 class
object TypeFlowInterpreter

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class AaloadValue(val aaload: InsnNode) extends SpecialAwareBasicValue, SpecialValue

Attributes

Supertypes
trait SpecialValue
class BasicValue
trait Value
class Object
trait Matchable
class Any
Show all
class LMFValue(tpe: Type) extends SpecialAwareBasicValue, SpecialValue

Attributes

Supertypes
trait SpecialValue
class BasicValue
trait Value
class Object
trait Matchable
class Any
Show all
class ParamValue(val local: Int, tpe: Type) extends SpecialAwareBasicValue, SpecialValue

Attributes

Supertypes
trait SpecialValue
class BasicValue
trait Value
class Object
trait Matchable
class Any
Show all
class SpecialAwareBasicValue(tpe: Type | Null) extends BasicValue

Attributes

Supertypes
class BasicValue
trait Value
class Object
trait Matchable
class Any
Known subtypes
class AaloadValue
class LMFValue
class ParamValue
trait SpecialValue

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AaloadValue
class LMFValue
class ParamValue

Value members

Concrete fields

Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL