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

BodyAnnotation

abstract class BodyAnnotation extends Annotation

An annotation indicating the body of a right-hand side, typically of an inline method. Treated specially in pickling/unpickling and TypeTreeMaps

class Object
trait Matchable
class Any

Value members

Concrete methods

override def arguments(using Context): List[Tree]
Definition Classes
override def derivedAnnotation(tree: Tree)(using Context): Annotation
Definition Classes
override def ensureCompleted(using Context): Unit
Definition Classes
override def symbol(using Context): ClassSymbol
Definition Classes

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 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 matches(cls: Symbol)(using Context): Boolean
Inherited from
Annotation
def sameAnnotation(that: Annotation)(using Context): Boolean
Inherited from
Annotation
def tree(using Context): Tree
Inherited from
Annotation