A class for optimized, compact annotations that are defined by a type instead of a tree. This makes mapping such annotations a lot faster and safer. In fact, in retrospect, most annotations would better be represented as CompactAnnotations.
CompactAnnotation is extended by cc.RetainingAnnotation, which is reserved for @retains, @retainsByName and @retainsCap. For now there are no CompactAnnotations other than RetainingAnnotations but this could be changed in the future, after 3.9 has shipped.
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
class RetainingAnnotation
Members list
Value members
Concrete methods
Attributes
- Definition Classes
All type arguments of this annotation in a single flat list
All type arguments of this annotation in a single flat list
Attributes
- Definition Classes
All term arguments of this annotation in a single flat list
All term arguments of this annotation in a single flat list
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Operations for hash-consing, can be overridden
Normally, applies a type map to all tree nodes of this annotation, but can be overridden. Returns EmptyAnnotation if type type map produces a range type, since ranges cannot be types of trees.
Normally, applies a type map to all tree nodes of this annotation, but can be overridden. Returns EmptyAnnotation if type type map produces a range type, since ranges cannot be types of trees.
Attributes
- Definition Classes
Does this annotation refer to a parameter of tl?
Attributes
- Definition Classes
Inherited methods
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Annotation
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
Attributes
- Inherited from:
- Showable
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Annotation
The tree evaluation has finished.
The tree evaluation is in progress.
Attributes
- Inherited from:
- Annotation
Attributes
- Inherited from:
- Annotation
The string representation of this showable element.
The string representation with each line after the first one indented by the given given margin (in spaces).
The string representation with each line after the first one indented by the given given margin (in spaces).
Attributes
- Inherited from:
- Showable
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
Attributes
- Inherited from:
- Showable
A string representation of the annotation. Overridden in BodyAnnotation.
A string representation of the annotation. Overridden in BodyAnnotation.
Attributes
- Inherited from:
- Annotation