Annotation

dotty.tools.dotc.core.Annotations.Annotation
See theAnnotation companion object
abstract class Annotation extends Showable

Attributes

Companion
object
Graph
Supertypes
trait Showable
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

def tree(using Context): Tree

Concrete methods

def argument(i: Int)(using Context): Option[Tree]
def arguments(using Context): List[Tree]

All arguments to this annotation in a single flat list

All arguments to this annotation in a single flat list

Attributes

def eql(that: Annotation): Boolean
def hasOneOfMetaAnnotation(metaSyms: Set[Symbol], orNoneOf: Set[Symbol])(using Context): Boolean
def hasSymbol(sym: Symbol)(using Context): Boolean
def hash: Int

Operations for hash-consing, can be overridden

Operations for hash-consing, can be overridden

Attributes

The tree evaluation has finished.

The tree evaluation has finished.

Attributes

The tree evaluaton is in progress.

The tree evaluaton is in progress.

Attributes

def mapWith(tm: TypeMap)(using Context): Annotation

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

def matches(cls: Symbol)(using Context): Boolean

Does this annotation refer to a parameter of tl?

Does this annotation refer to a parameter of tl?

Attributes

def symbol(using Context): Symbol
def toText(printer: Printer): Text

A string representation of the annotation. Overridden in BodyAnnotation.

A string representation of the annotation. Overridden in BodyAnnotation.

Attributes

Inherited methods

def fallbackToText(printer: Printer): Text

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
def show(using Context): String

The string representation of this showable element.

The string representation of this showable element.

Attributes

Inherited from:
Showable
def showIndented(margin: Int)(using Context): String

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
def showSummary(depth: Int)(using Context): String

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