scala3-compiler-bootstrapped/dotty.tools.dotc.core/Annotations/ConcreteAnnotation

ConcreteAnnotation

case class ConcreteAnnotation(t: Tree) extends Annotation
trait Product
trait Equals
trait Showable
class Object
trait Matchable
class Any

Value members

Concrete methods

def tree(using Context): Tree

Inherited methods

def argument(i: Int)(using Context): Option[Tree]
Inherited from:
Annotation
def argumentConstant(i: Int)(using Context): Option[Constant]
Inherited from:
Annotation
def argumentConstantString(i: Int)(using Context): Option[String]
Inherited from:
Annotation
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

Inherited from:
Annotation
def derivedAnnotation(tree: Tree)(using Context): Annotation
Inherited from:
Annotation
def ensureCompleted(using Context): Unit
Inherited from:
Annotation
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

Inherited from:
Showable
def isEvaluated: Boolean

The tree evaluation has finished.

The tree evaluation has finished.

Inherited from:
Annotation
def isEvaluating: Boolean

The tree evaluaton is in progress.

The tree evaluaton is in progress.

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

Normally, type map over 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, type map over 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.

Inherited from:
Annotation
def matches(cls: Symbol)(using Context): Boolean
Inherited from:
Annotation
def productIterator: Iterator[Any]
Inherited from:
Product
def refersToParamOf(tl: TermLambda)(using Context): Boolean

Does this annotation refer to a parameter of tl?

Does this annotation refer to a parameter of tl?

Inherited from:
Annotation
def sameAnnotation(that: Annotation)(using Context): Boolean
Inherited from:
Annotation
def show(using Context): String

The string representation of this showable element.

The string representation of this showable element.

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).

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.

Inherited from:
Showable
def symbol(using Context): Symbol
Inherited from:
Annotation
def toText(printer: Printer): Text

A string representation of the annotation. Overridden in BodyAnnotation.

A string representation of the annotation. Overridden in BodyAnnotation.

Inherited from:
Annotation