Packages

trait AnnotationChecker extends AnyRef

An additional checker for annotations on types. Typically these are registered by compiler plugins with the addAnnotationChecker method.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AnnotationChecker
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def annotationsConform(tpe1: SymbolTable.Type, tpe2: SymbolTable.Type): Boolean

    Check the annotations on two types conform.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def adaptBoundsToAnnotations(bounds: List[SymbolTable.TypeBounds], tparams: List[SymbolTable.Symbol], targs: List[SymbolTable.Type]): List[SymbolTable.TypeBounds]

    Refine the bounds on type parameters to the given type arguments.

  5. def annotationsGlb(tp: SymbolTable.Type, ts: List[SymbolTable.Type]): SymbolTable.Type

    Refine the computed greatest lower bound of a list of types.

    Refine the computed greatest lower bound of a list of types. All this should do is add annotations.

  6. def annotationsLub(tp: SymbolTable.Type, ts: List[SymbolTable.Type]): SymbolTable.Type

    Refine the computed least upper bound of a list of types.

    Refine the computed least upper bound of a list of types. All this should do is add annotations.

  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def isActive(): Boolean

    Selectively activate this annotation checker.

    Selectively activate this annotation checker. When using both an annotation checker and an analyzer plugin, it is common to run both of them only during selected compiler phases. See documentation in AnalyzerPlugin.isActive.

  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  20. def toString(): String
    Definition Classes
    AnyRef → Any
  21. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Deprecated Value Members

  1. def adaptAnnotations(tree: SymbolTable.Tree, mode: Mode, pt: SymbolTable.Type): SymbolTable.Tree

    Adapt a tree that has an annotated type to the given type tp, taking into account the given mode (see method adapt in trait Typers).

    Adapt a tree that has an annotated type to the given type tp, taking into account the given mode (see method adapt in trait Typers).

    An implementation cannot rely on canAdaptAnnotations being called before. If the implementing class cannot do the adapting, it should return the tree unchanged.

    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.1) create an AnalyzerPlugin and use adaptAnnotations

  2. def adaptTypeOfReturn(tree: SymbolTable.Tree, pt: SymbolTable.Type, default: ⇒ SymbolTable.Type): SymbolTable.Type

    Adapt the type of a return expression.

    Adapt the type of a return expression. The decision of a typer plugin whether the type should be adapted is based on the type of the expression which is returned, as well as the result type of the method (pt).

    By default, this method simply returns the passed default type.

    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.1)

  3. def addAnnotations(tree: SymbolTable.Tree, tpe: SymbolTable.Type): SymbolTable.Type

    Modify the type that has thus far been inferred for a tree.

    Modify the type that has thus far been inferred for a tree. All this should do is add annotations.

    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.1) create an AnalyzerPlugin and use pluginsTyped

  4. def canAdaptAnnotations(tree: SymbolTable.Tree, mode: Mode, pt: SymbolTable.Type): Boolean

    Decide whether this analyzer plugin can adapt a tree that has an annotated type to the given type tp, taking into account the given mode (see method adapt in trait Typers).

    Decide whether this analyzer plugin can adapt a tree that has an annotated type to the given type tp, taking into account the given mode (see method adapt in trait Typers).

    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.1) create an AnalyzerPlugin and use canAdaptAnnotations

Inherited from AnyRef

Inherited from Any

Ungrouped