dotty.annotation

internal

package internal

Visibility
  1. Public
  2. All

Type Members

  1. class Alias extends Annotation

    An annotation to record a Scala2 pickled alias.

  2. class AnnotationDefault extends Annotation

    An annotation to tag Java annotation default values

  3. class Child[T] extends Annotation

    An annotation to indicate a child class or object of the annotated class.

    An annotation to indicate a child class or object of the annotated class. E.g. if we have

    sealed class A case class B() extends A case class C() extends A

    Then the class symbol A would carry the annotations @Child[Bref] @Child[Cref] where Bref, Cref are TypeRefs referring to the class symbols of B and C

  4. final class Repeated extends Annotation

    An annotation produced by desugaring to indicate that a sequence is a repeated parameter.

    An annotation produced by desugaring to indicate that a sequence is a repeated parameter. I.e.

    T* is expanded by Desugar to Seq[T] @Repeated

  5. class SourceFile extends Annotation

    An annotation to record a Scala2 pickled alias.

  6. class UnsafeNonvariant extends Annotation

    This annotation is used as a marker for unsafe instantiations in asSeenFrom.

    This annotation is used as a marker for unsafe instantiations in asSeenFrom. See TypeOps.asSeenfrom for an explanation.

Ungrouped