AvoidMap
An approximating map that drops NamedTypes matching toAvoid
and wildcard types.
Attributes
- Graph
- Supertypes
- class AvoidWildcardsMapclass ApproximatingTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass Any
- Known subtypes
- class LevelAvoidMap
Members list
Value members
Concrete methods
Attributes
- Definition Classes
Three deviations from standard derivedSelect:
Three deviations from standard derivedSelect:
- We first try a widening conversion to the type's info with the original prefix. Since the original prefix is known to be a subtype of the returned prefix, this can improve results.
- Then, if the approximation result is a singleton reference C#x.type, we replace by the widened type, which is usually more natural.
- Finally, we need to handle the case where the prefix type does not have a member
named
tp.name
anymmore. In that case, we need to fall back to Bot..Top.
Attributes
- Definition Classes
True iff all NamedTypes on this prefix are static
Inherited methods
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Expand parameter reference corresponding to prefix pre
;
If the expansion is a wildcard parameter reference, convert its
underlying bounds to a range, otherwise return the expansion.
Expand parameter reference corresponding to prefix pre
;
If the expansion is a wildcard parameter reference, convert its
underlying bounds to a range, otherwise return the expansion.
Attributes
- Inherited from:
- ApproximatingTypeMap
Whether it is currently expanding bounds
Whether it is currently expanding bounds
It is used to avoid following LazyRef in F-Bounds
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- TypeMap
Can be overridden. By default, only the prefix is mapped.
Map this function over given type
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- VariantTraversal
Try to widen a named type to its info relative to given prefix pre
, where possible.
The possible cases are listed inline in the code.
Try to widen a named type to its info relative to given prefix pre
, where possible.
The possible cases are listed inline in the code.
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap