Attributes
- Companion:
- object
- Graph
- Supertypes
- Known subtypes
Members list
Value members
Concrete methods
If tpe
is a named type, return the type with those alternatives as denotations
which are accessible (or NoType, if no alternatives are accessible).
If tpe
is a named type, return the type with those alternatives as denotations
which are accessible (or NoType, if no alternatives are accessible).
Also performs the following normalizations on the type tpe
.
(1) if the owner of the denotation is a package object, it is assured
that the package object shows up as the prefix.
(2) in Java compilation units, Object
is replaced by defn.FromJavaObjectType
Attributes
Type assignment method. Each method takes as parameters
Type assignment method. Each method takes as parameters
- an untpd.Tree to which it assigns a type,
- typed child trees it needs to access to cpmpute that type,
- any further information it needs to access to compute that type.
Attributes
Assign type of RefinedType.
Refinements are typed as if they were members of refinement class refineCls
.
Assign type of RefinedType.
Refinements are typed as if they were members of refinement class refineCls
.
Attributes
Try to make tpe
accessible, emit error if not possible
Try to make tpe
accessible, emit error if not possible
Attributes
Return a potentially skolemized version of qualTpe
to be used
as a prefix when selecting name
.
Return a potentially skolemized version of qualTpe
to be used
as a prefix when selecting name
.
Attributes
- See also:
QualSkolemType, TypeOps#asSeenFrom
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).
Attributes
- packageOk
The qualifier may refer to a package.
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.
Attributes
Substitute argument type argType
for parameter pref
in type tp
,
skolemizing the argument type if it is not stable and pref
occurs in tp
.
Substitute argument type argType
for parameter pref
in type tp
,
skolemizing the argument type if it is not stable and pref
occurs in tp
.
Attributes
Substitute types of all arguments args
for corresponding params
in tp
.
The number of parameters params
may exceed the number of arguments.
In this case, only the common prefix is substituted.
Substitute types of all arguments args
for corresponding params
in tp
.
The number of parameters params
may exceed the number of arguments.
In this case, only the common prefix is substituted.
Attributes
The type of the selection tree
, where qual1
is the typed qualifier part.
The type of the selection tree
, where qual1
is the typed qualifier part.