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 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
    @deprecatedOverriding( ... , "2.10.1" )
  5. 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.

  6. 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
    @deprecatedOverriding( ... , "2.10.1" )
  7. 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
    @deprecatedOverriding( ... , "2.10.1" )
  8. 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.

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

  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. 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
    @deprecatedOverriding( ... , "2.10.1" )
  12. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. 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.

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

Inherited from AnyRef

Inherited from Any

Ungrouped