The selection type, which is additionally checked for accessibility.
The selection type, which is additionally checked for accessibility.
Type assignment method.
Type assignment method. Each method takes as parameters
An upper approximation of the given type tp
that does not refer to any symbol in symsToAvoid
.
An upper approximation of the given type tp
that does not refer to any symbol in symsToAvoid
.
Approximation steps are:
If tpe
is a named type, check that its denotation is accessible in the
current context.
If tpe
is a named type, check that its denotation is accessible in the
current context. Return the type with those alternatives as denotations
which are accessible.
Also performs the following normalizations on the type tpe
.
(1) parameter accessors are always dereferenced.
(2) if the owner of the denotation is a package object, it is assured
that the package object shows up as the prefix.
The qualifying class of a this or super with prefix qual
(which might be empty).
The qualifying class of a this or super with prefix qual
(which might be empty).
A denotation exists really if it exists and does not point to a stale symbol.
A denotation exists really if it exists and does not point to a stale symbol.
The type of a selection with name
of a tree with type site
.
The type of a selection with name
of a tree with type site
.