scala.tools.selectivecps

CPSAnnotationChecker

abstract class CPSAnnotationChecker extends CPSUtils

Linear Supertypes
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CPSAnnotationChecker
  2. CPSUtils
  3. AnyRef
  4. Any
Implicitly
  1. by StringAdd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Learn more about member selection
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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to StringAdd[CPSAnnotationChecker] performed by method StringAdd in scala.Predef.
    Definition Classes
    StringAdd
  5. def ->[B](y: B): (CPSAnnotationChecker, B)

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to ArrowAssoc[CPSAnnotationChecker] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  7. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  8. lazy val Context: nsc.Global.ClassSymbol

    Definition Classes
    CPSUtils
  9. lazy val MarkerCPSAdaptMinus: nsc.Global.ClassSymbol

    Definition Classes
    CPSUtils
  10. lazy val MarkerCPSAdaptPlus: nsc.Global.ClassSymbol

    Definition Classes
    CPSUtils
  11. lazy val MarkerCPSSym: nsc.Global.ClassSymbol

    Definition Classes
    CPSUtils
  12. lazy val MarkerCPSSynth: nsc.Global.ClassSymbol

    Definition Classes
    CPSUtils
  13. lazy val MarkerCPSTypes: nsc.Global.ClassSymbol

    Definition Classes
    CPSUtils
  14. lazy val MethReify: nsc.Global.Symbol

    Definition Classes
    CPSUtils
  15. lazy val MethReifyR: nsc.Global.Symbol

    Definition Classes
    CPSUtils
  16. lazy val MethShift: nsc.Global.Symbol

    Definition Classes
    CPSUtils
  17. lazy val MethShiftR: nsc.Global.Symbol

    Definition Classes
    CPSUtils
  18. lazy val MethShiftUnit: nsc.Global.Symbol

    Definition Classes
    CPSUtils
  19. lazy val MethShiftUnit0: nsc.Global.Symbol

    Definition Classes
    CPSUtils
  20. lazy val MethShiftUnitR: nsc.Global.Symbol

    Definition Classes
    CPSUtils
  21. lazy val ModCPS: nsc.Global.ModuleSymbol

    Definition Classes
    CPSUtils
  22. lazy val allCPSAnnotations: collection.immutable.List[nsc.Global.ClassSymbol]

    Definition Classes
    CPSUtils
  23. def annTypes(ann: nsc.Global.AnnotationInfo): (nsc.Global.Type, nsc.Global.Type)

    Attributes
    protected
    Definition Classes
    CPSUtils
  24. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  25. object checker extends nsc.Global.AnnotationChecker

    Checks whether @cps annotations conform

  26. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. object cpsNames

    Definition Classes
    CPSUtils
  28. def cpsParamAnnotation(tpe: nsc.Global.Type): collection.immutable.List[nsc.Global.AnnotationInfo]

    Definition Classes
    CPSUtils
  29. def cpsParamTypes(tpe: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]

    Attributes
    protected
    Definition Classes
    CPSUtils
  30. def ensuring(cond: (CPSAnnotationChecker) ⇒ Boolean, msg: ⇒ Any): CPSAnnotationChecker

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to Ensuring[CPSAnnotationChecker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  31. def ensuring(cond: (CPSAnnotationChecker) ⇒ Boolean): CPSAnnotationChecker

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to Ensuring[CPSAnnotationChecker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  32. def ensuring(cond: Boolean, msg: ⇒ Any): CPSAnnotationChecker

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to Ensuring[CPSAnnotationChecker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  33. def ensuring(cond: Boolean): CPSAnnotationChecker

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to Ensuring[CPSAnnotationChecker] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  34. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  36. def filterAttribs(tpe: nsc.Global.Type, cls: nsc.Global.Symbol): collection.immutable.List[nsc.Global.AnnotationInfo]

    Definition Classes
    CPSUtils
  37. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  38. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to StringFormat[CPSAnnotationChecker] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  39. def getAnswerTypeAnn(tp: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]

    Definition Classes
    CPSUtils
  40. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  41. def getExternalAnswerTypeAnn(tp: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]

    Definition Classes
    CPSUtils
  42. def hasAnswerTypeAnn(tp: nsc.Global.Type): Boolean

    Definition Classes
    CPSUtils
  43. def hasCpsParamTypes(tpe: nsc.Global.Type): Boolean

    Attributes
    protected
    Definition Classes
    CPSUtils
  44. def hasMinusMarker(tpe: nsc.Global.Type): Boolean

    Attributes
    protected
    Definition Classes
    CPSUtils
  45. def hasPlusMarker(tpe: nsc.Global.Type): Boolean

    Attributes
    protected
    Definition Classes
    CPSUtils
  46. def hasSynthMarker(tpe: nsc.Global.Type): Boolean

    Attributes
    protected
    Definition Classes
    CPSUtils
  47. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  48. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  49. def linearize(a: CPSInfo, b: CPSInfo)(implicit unit: nsc.Global.CompilationUnit, pos: nsc.Global.Position): CPSInfo

    Definition Classes
    CPSUtils
  50. def linearize(ann: List[nsc.Global.AnnotationInfo]): nsc.Global.AnnotationInfo

    Definition Classes
    CPSUtils
  51. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  52. def newCpsParamsMarker(tp1: nsc.Global.Type, tp2: nsc.Global.Type): nsc.Global.AnnotationInfo

    Attributes
    protected
    Definition Classes
    CPSUtils
  53. def newMarker(sym: nsc.Global.Symbol): nsc.Global.AnnotationInfo

    Attributes
    protected
    Definition Classes
    CPSUtils
  54. def newMarker(tpe: nsc.Global.Type): nsc.Global.AnnotationInfo

    Attributes
    protected
    Definition Classes
    CPSUtils
  55. def newMinusMarker(): nsc.Global.AnnotationInfo

    Attributes
    protected
    Definition Classes
    CPSUtils
  56. def newPlusMarker(): nsc.Global.AnnotationInfo

    Attributes
    protected
    Definition Classes
    CPSUtils
  57. def newSynthMarker(): nsc.Global.AnnotationInfo

    Attributes
    protected
    Definition Classes
    CPSUtils
  58. final def notify(): Unit

    Definition Classes
    AnyRef
  59. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  60. object plugin extends (analyzer)#AnalyzerPlugin

  61. def removeAllCPSAnnotations(tpe: nsc.Global.Type): nsc.Global.Type

    Definition Classes
    CPSUtils
  62. def removeAttribs(tpe: nsc.Global.Type, classes: nsc.Global.Symbol*): nsc.Global.Type

    Definition Classes
    CPSUtils
  63. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  64. def toString(): String

    Definition Classes
    AnyRef → Any
  65. def updateSynthFlag(tree: nsc.Global.Tree): nsc.Global.Tree

    Definition Classes
    CPSUtils
  66. val verbose: Boolean

    Definition Classes
    CPSUtils
  67. final def vprintln(x: ⇒ Any): Unit

    Definition Classes
    CPSAnnotationCheckerCPSUtils
    Annotations
    @inline()
  68. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  71. def [B](y: B): (CPSAnnotationChecker, B)

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to ArrowAssoc[CPSAnnotationChecker] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from CPSUtils

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringAdd from CPSAnnotationChecker to StringAdd[CPSAnnotationChecker]

Inherited by implicit conversion StringFormat from CPSAnnotationChecker to StringFormat[CPSAnnotationChecker]

Inherited by implicit conversion Ensuring from CPSAnnotationChecker to Ensuring[CPSAnnotationChecker]

Inherited by implicit conversion ArrowAssoc from CPSAnnotationChecker to ArrowAssoc[CPSAnnotationChecker]

Ungrouped