c

scala.tools.selectivecps

CPSAnnotationChecker

abstract class CPSAnnotationChecker extends CPSUtils

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CPSAnnotationChecker
  2. CPSUtils
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CPSAnnotationChecker()

Type Members

  1. type CPSInfo = Option[(nsc.Global.Type, nsc.Global.Type)]
    Definition Classes
    CPSUtils

Abstract Value Members

  1. abstract val cpsEnabled: Boolean
    Definition Classes
    CPSUtils
  2. abstract val global: Global
    Definition Classes
    CPSAnnotationCheckerCPSUtils

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. lazy val Context: nsc.Global.ClassSymbol
    Definition Classes
    CPSUtils
  5. lazy val MarkerCPSAdaptMinus: nsc.Global.ClassSymbol
    Definition Classes
    CPSUtils
  6. lazy val MarkerCPSAdaptPlus: nsc.Global.ClassSymbol
    Definition Classes
    CPSUtils
  7. lazy val MarkerCPSSym: nsc.Global.ClassSymbol
    Definition Classes
    CPSUtils
  8. lazy val MarkerCPSSynth: nsc.Global.ClassSymbol
    Definition Classes
    CPSUtils
  9. lazy val MarkerCPSTypes: nsc.Global.ClassSymbol
    Definition Classes
    CPSUtils
  10. lazy val MethReify: nsc.Global.Symbol
    Definition Classes
    CPSUtils
  11. lazy val MethReifyR: nsc.Global.Symbol
    Definition Classes
    CPSUtils
  12. lazy val MethShift: nsc.Global.Symbol
    Definition Classes
    CPSUtils
  13. lazy val MethShiftR: nsc.Global.Symbol
    Definition Classes
    CPSUtils
  14. lazy val MethShiftUnit: nsc.Global.Symbol
    Definition Classes
    CPSUtils
  15. lazy val MethShiftUnit0: nsc.Global.Symbol
    Definition Classes
    CPSUtils
  16. lazy val MethShiftUnitR: nsc.Global.Symbol
    Definition Classes
    CPSUtils
  17. lazy val ModCPS: nsc.Global.ModuleSymbol
    Definition Classes
    CPSUtils
  18. lazy val allCPSAnnotations: collection.immutable.List[nsc.Global.ClassSymbol]
    Definition Classes
    CPSUtils
  19. def annTypes(ann: nsc.Global.AnnotationInfo): (nsc.Global.Type, nsc.Global.Type)
    Attributes
    protected
    Definition Classes
    CPSUtils
  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. def cpsParamAnnotation(tpe: nsc.Global.Type): collection.immutable.List[nsc.Global.AnnotationInfo]
    Definition Classes
    CPSUtils
  23. def cpsParamTypes(tpe: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]
    Attributes
    protected
    Definition Classes
    CPSUtils
  24. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  26. def filterAttribs(tpe: nsc.Global.Type, cls: nsc.Global.Symbol): collection.immutable.List[nsc.Global.AnnotationInfo]
    Definition Classes
    CPSUtils
  27. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  28. def getAnswerTypeAnn(tp: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]
    Definition Classes
    CPSUtils
  29. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  30. def getExternalAnswerTypeAnn(tp: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]
    Definition Classes
    CPSUtils
  31. def hasAnswerTypeAnn(tp: nsc.Global.Type): Boolean
    Definition Classes
    CPSUtils
  32. def hasCpsParamTypes(tpe: nsc.Global.Type): Boolean
    Attributes
    protected
    Definition Classes
    CPSUtils
  33. def hasMinusMarker(tpe: nsc.Global.Type): Boolean
    Attributes
    protected
    Definition Classes
    CPSUtils
  34. def hasPlusMarker(tpe: nsc.Global.Type): Boolean
    Attributes
    protected
    Definition Classes
    CPSUtils
  35. def hasSynthMarker(tpe: nsc.Global.Type): Boolean
    Attributes
    protected
    Definition Classes
    CPSUtils
  36. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  37. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  38. def linearize(a: CPSInfo, b: CPSInfo)(implicit pos: nsc.Global.Position): CPSInfo
    Definition Classes
    CPSUtils
  39. def linearize(ann: List[nsc.Global.AnnotationInfo]): nsc.Global.AnnotationInfo
    Definition Classes
    CPSUtils
  40. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. def newCpsParamsMarker(tp1: nsc.Global.Type, tp2: nsc.Global.Type): nsc.Global.AnnotationInfo
    Attributes
    protected
    Definition Classes
    CPSUtils
  42. def newMarker(sym: nsc.Global.Symbol): nsc.Global.AnnotationInfo
    Attributes
    protected
    Definition Classes
    CPSUtils
  43. def newMarker(tpe: nsc.Global.Type): nsc.Global.AnnotationInfo
    Attributes
    protected
    Definition Classes
    CPSUtils
  44. def newMinusMarker(): nsc.Global.AnnotationInfo
    Attributes
    protected
    Definition Classes
    CPSUtils
  45. def newPlusMarker(): nsc.Global.AnnotationInfo
    Attributes
    protected
    Definition Classes
    CPSUtils
  46. def newSynthMarker(): nsc.Global.AnnotationInfo
    Attributes
    protected
    Definition Classes
    CPSUtils
  47. final def notify(): Unit
    Definition Classes
    AnyRef
  48. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  49. def removeAllCPSAnnotations(tpe: nsc.Global.Type): nsc.Global.Type
    Definition Classes
    CPSUtils
  50. def removeAttribs(tpe: nsc.Global.Type, classes: nsc.Global.Symbol*): nsc.Global.Type
    Definition Classes
    CPSUtils
  51. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  52. def toString(): String
    Definition Classes
    AnyRef → Any
  53. def updateSynthFlag(tree: nsc.Global.Tree): nsc.Global.Tree
    Definition Classes
    CPSUtils
  54. val verbose: Boolean
    Definition Classes
    CPSUtils
  55. final def vprintln(x: ⇒ Any): Unit
    Definition Classes
    CPSAnnotationCheckerCPSUtils
    Annotations
    @inline()
  56. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  59. object checker extends nsc.Global.AnnotationChecker

    Checks whether @cps annotations conform

  60. object plugin extends (analyzer)#AnalyzerPlugin
  61. object cpsNames
    Definition Classes
    CPSUtils

Inherited from CPSUtils

Inherited from AnyRef

Inherited from Any

Ungrouped