class ContextState

The essential mutable state of a context base, collected into a common class

Constructors

ContextState ( )

Members

var _nextId : Int

A counter for unique ids

A counter for unique ids

var classOfId : Array [ ClassSymbol ]

A map from a superclass id to the typeref of the class that has it

A map from a superclass id to the typeref of the class that has it

var denotTransformers : Array [ DenotTransformer ]
var indent : Int
protected val indentTab : String
var lastSuperId : Int

The last allocated superclass id

The last allocated superclass id

var nextDenotTransformerId : Array [ Int ]

Next denotation transformer id

Next denotation transformer id

val pendingUnderlying : HashSet [ Type ]

The set of named types on which a currently active invocation of underlying during a controlled operation exists.

The set of named types on which a currently active invocation of underlying during a controlled operation exists.

var phases : Array [ Phase ]

Phases by id

Phases by id

var phasesPlan : List [ List [ Phase ] ]
var squashedPhases : Array [ Phase ]

Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled

Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled

val superIdOfClass : AnyRefMap [ ClassSymbol, Int ]

A map from a the typeref of a class to its superclass id

A map from a the typeref of a class to its superclass id

@sharable private var thread : Thread

The thread on which `checkSingleThreaded was invoked last

The thread on which `checkSingleThreaded was invoked last

var toTextRecursions : Int

Number of recursive invocations of a show method on current stack

Number of recursive invocations of a show method on current stack

var underlyingRecursions : Int

The number of recursive invocation of underlying on a NamedType during a controlled operation.

The number of recursive invocation of underlying on a NamedType during a controlled operation.

val uniqueNamedTypes : NamedTypeUniques

A table for hash consing unique named types

A table for hash consing unique named types

val uniqueRefinedTypes : RefinedUniques

A table for hash consing unique refined types

A table for hash consing unique refined types

val uniqueTypeAliases : TypeAliasUniques

A table for hash consing unique type bounds

A table for hash consing unique type bounds

val uniques : HashSet [ Type ]

A table for hash consing unique types

A table for hash consing unique types

var unsafeNonvariant : RunId

A flag that some unsafe nonvariant instantiation was encountered in this run. Used as a shortcut to a avoid scans of types in Typer.typedSelect.

A flag that some unsafe nonvariant instantiation was encountered in this run. Used as a shortcut to a avoid scans of types in Typer.typedSelect.

def _nextId_= ( x$1: Int ) : Unit

A counter for unique ids

A counter for unique ids

def checkSingleThreaded ( ) : Unit

Check that we are on the same thread as before

Check that we are on the same thread as before

def classOfId_= ( x$1: Array [ ClassSymbol ] ) : Unit

A map from a superclass id to the typeref of the class that has it

A map from a superclass id to the typeref of the class that has it

def denotTransformers_= ( x$1: Array [ DenotTransformer ] ) : Unit
def indent_= ( x$1: Int ) : Unit
def lastSuperId_= ( x$1: Int ) : Unit

The last allocated superclass id

The last allocated superclass id

def nextDenotTransformerId_= ( x$1: Array [ Int ] ) : Unit

Next denotation transformer id

Next denotation transformer id

def nextId : Int
def nextSuperId : Int

Allocate and return next free superclass id

Allocate and return next free superclass id

def phasesPlan_= ( x$1: List [ List [ Phase ] ] ) : Unit
def phases_= ( x$1: Array [ Phase ] ) : Unit

Phases by id

Phases by id

def reset ( ) : Unit
def squashedPhases_= ( x$1: Array [ Phase ] ) : Unit

Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled

Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled

@sharable private def thread_= ( x$1: Thread ) : Unit

The thread on which `checkSingleThreaded was invoked last

The thread on which `checkSingleThreaded was invoked last

def toTextRecursions_= ( x$1: Int ) : Unit

Number of recursive invocations of a show method on current stack

Number of recursive invocations of a show method on current stack

def underlyingRecursions_= ( x$1: Int ) : Unit

The number of recursive invocation of underlying on a NamedType during a controlled operation.

The number of recursive invocation of underlying on a NamedType during a controlled operation.

private def uniqueSets : Map [ String, HashSet [ Type ] | RefinedUniques | NamedTypeUniques | TypeAliasUniques ]
def uniquesSizes : Map [ String, Int ]

A map that associates label and size of all uniques sets

A map that associates label and size of all uniques sets

def unsafeNonvariant_= ( x$1: RunId ) : Unit

A flag that some unsafe nonvariant instantiation was encountered in this run. Used as a shortcut to a avoid scans of types in Typer.typedSelect.

A flag that some unsafe nonvariant instantiation was encountered in this run. Used as a shortcut to a avoid scans of types in Typer.typedSelect.