Packages

trait BCAnnotGen extends BCInnerClassGen

Source
BCodeHelpers.scala
Linear Supertypes
BCInnerClassGen, AnyRef, Any
Known Subclasses
PlainBodyBuilder, BCForwardersGen, JCommonBuilder, JMirrorBuilder, PlainSkelBuilder, SyncAndTryBuilder
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BCAnnotGen
  2. BCInnerClassGen
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def debugLevel: Int
    Definition Classes
    BCInnerClassGen
  2. def descriptorForErasedType(tp: Global.Type): String
  3. def emitAnnotations(fw: FieldVisitor, annotations: List[Global.AnnotationInfo]): Unit
  4. def emitAnnotations(mw: MethodVisitor, annotations: List[Global.AnnotationInfo]): Unit
  5. def emitAnnotations(cw: ClassVisitor, annotations: List[Global.AnnotationInfo]): Unit
  6. def emitArgument(av: AnnotationVisitor, name: String, arg: Global.ClassfileAnnotArg): Unit
  7. def emitAssocs(av: AnnotationVisitor, assocs: List[(Global.Name, Global.ClassfileAnnotArg)]): Unit
  8. final val emitLines: Boolean
    Definition Classes
    BCInnerClassGen
  9. def emitParamAnnotations(jmethod: MethodVisitor, pannotss: List[List[Global.AnnotationInfo]]): Unit
  10. def emitParamNames(jmethod: MethodVisitor, params: List[Global.Symbol]): Unit
  11. final val emitSource: Boolean
    Definition Classes
    BCInnerClassGen
  12. final val emitVars: Boolean
    Definition Classes
    BCInnerClassGen
  13. def erasedType(tp: Global.Type): Global.Type

    Annotations are not processed by the compilation pipeline like ordinary trees.

    Annotations are not processed by the compilation pipeline like ordinary trees. Instead, the typer extracts them into scala.reflect.internal.AnnotationInfos.AnnotationInfo objects which are attached to the corresponding symbol (sym.annotations) or type (as an AnnotatedType, eliminated by erasure).

    For Scala annotations this is OK: they are stored in the pickle and ignored by the backend. Java annotations on the other hand are additionally emitted to the classfile in Java's format.

    This means that Type instances within an AnnotationInfo reach the backend non-erased. Examples:

    • @(javax.annotation.Resource @annotation.meta.getter) val x = 0 Here, annotationInfo.atp is an AnnotatedType.
    • @SomeAnnotation[T] val x = 0 In principle, the annotationInfo.atp is a non-erased type ref. However, this cannot actually happen because Java annotations cannot be generic.
    • @javax.annotation.Resource(type = classOf[List[_]]) val x = 0 The annotationInfo.assocs contains a LiteralAnnotArg(Constant(tp)) where tp is the non-erased existential type.
  14. final def internalName(sym: Global.Symbol): String

    The class internal name for a given class symbol.

    The class internal name for a given class symbol.

    Definition Classes
    BCInnerClassGen