Object

scala.tools.selectivecps.CPSAnnotationChecker

plugin

Related Doc: package CPSAnnotationChecker

Permalink

object plugin extends (analyzer)#AnalyzerPlugin

Linear Supertypes
(analyzer)#AnalyzerPlugin, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. plugin
  2. AnalyzerPlugin
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def adaptAnnotations(tree: nsc.Global.Tree, typer: (analyzer)#Typer, mode: Mode, pt: nsc.Global.Type): nsc.Global.Tree

    Permalink
    Definition Classes
    plugin → AnalyzerPlugin
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def canAdaptAnnotations(tree: nsc.Global.Tree, typer: (analyzer)#Typer, mode: Mode, pt: nsc.Global.Type): Boolean

    Permalink
    Definition Classes
    plugin → AnalyzerPlugin
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def emptyOrSingleList(xs: List[nsc.Global.AnnotationInfo]): collection.immutable.List[nsc.Global.AnnotationInfo]

    Permalink
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  13. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  14. def isActive(): Boolean

    Permalink
    Definition Classes
    AnalyzerPlugin
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. def pluginsPt(pt: nsc.Global.Type, typer: (analyzer)#Typer, tree: nsc.Global.Tree, mode: Mode): nsc.Global.Type

    Permalink
    Definition Classes
    AnalyzerPlugin
  20. def pluginsTypeSig(tpe: nsc.Global.Type, typer: (analyzer)#Typer, defTree: nsc.Global.Tree, pt: nsc.Global.Type): nsc.Global.Type

    Permalink
    Definition Classes
    AnalyzerPlugin
  21. def pluginsTypeSigAccessor(tpe: nsc.Global.Type, typer: (analyzer)#Typer, tree: nsc.Global.ValDef, sym: nsc.Global.Symbol): nsc.Global.Type

    Permalink
    Definition Classes
    AnalyzerPlugin
  22. def pluginsTyped(tpe: nsc.Global.Type, typer: (analyzer)#Typer, tree: nsc.Global.Tree, mode: Mode, pt: nsc.Global.Type): nsc.Global.Type

    Permalink

    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.

    Definition Classes
    plugin → AnalyzerPlugin
  23. def pluginsTypedReturn(default: nsc.Global.Type, typer: (analyzer)#Typer, tree: nsc.Global.Return, pt: nsc.Global.Type): nsc.Global.Type

    Permalink

    Returns an adapted type for a return expression if the method's result type (pt) is a CPS type.

    Returns an adapted type for a return expression if the method's result type (pt) is a CPS type. Otherwise, it returns the default type (typedReturn passes NothingTpe).

    A return expression in a method that has a CPS result type is an error unless the return is in tail position. Therefore, we are making sure that only the types of return expressions are adapted which will either be removed, or lead to an error.

    Definition Classes
    plugin → AnalyzerPlugin
  24. def single(xs: List[nsc.Global.AnnotationInfo]): nsc.Global.AnnotationInfo

    Permalink
  25. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  26. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  27. def transArgList(fun: nsc.Global.Tree, args: List[nsc.Global.Tree]): List[List[nsc.Global.Tree]]

    Permalink
  28. def transChildrenInOrder(tree: nsc.Global.Tree, tpe: nsc.Global.Type, childTrees: List[nsc.Global.Tree], byName: List[nsc.Global.Tree]): nsc.Global.Type

    Permalink
  29. def transStms(stms: List[nsc.Global.Tree]): List[nsc.Global.Tree]

    Permalink
  30. def updateAttributesFromChildren(tpe: nsc.Global.Type, childAnnots: List[nsc.Global.AnnotationInfo], byName: List[nsc.Global.Tree]): nsc.Global.Type

    Permalink
  31. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )