The essential mutable state of a context base, collected into a common class
Constructors
Members
A counter for unique ids
A counter for unique ids
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
The last allocated superclass id
The last allocated superclass id
Next denotation transformer id
Next denotation transformer id
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.
Phases by id
Phases by id
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
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
The thread on which `checkSingleThreaded was invoked last
The thread on which `checkSingleThreaded was invoked last
Number of recursive invocations of a show method on current stack
Number of recursive invocations of a show method on current stack
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.
A table for hash consing unique named types
A table for hash consing unique named types
A table for hash consing unique refined types
A table for hash consing unique refined types
A table for hash consing unique type bounds
A table for hash consing unique type bounds
A table for hash consing unique types
A table for hash consing unique types
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.
A counter for unique ids
A counter for unique ids
Check that we are on the same thread as before
Check that we are on the same thread as before
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
The last allocated superclass id
The last allocated superclass id
Next denotation transformer id
Next denotation transformer id
Allocate and return next free superclass id
Allocate and return next free superclass id
Phases by id
Phases by id
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
The thread on which `checkSingleThreaded was invoked last
The thread on which `checkSingleThreaded was invoked last
Number of recursive invocations of a show method on current stack
Number of recursive invocations of a show method on current stack
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.
A map that associates label and size of all uniques sets
A map that associates label and size of all uniques sets
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.