scala.tools.selectivecps

CPSAnnotationChecker

abstract class CPSAnnotationChecker extends CPSUtils with Modes

Linear Supertypes
Modes, CPSUtils, AnyRef, Any
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. CPSAnnotationChecker
  2. Modes
  3. CPSUtils
  4. AnyRef
  5. Any
Implicitly
  1. by any2stringadd
  2. by any2stringfmt
  3. by any2ArrowAssoc
  4. by any2Ensuring
  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 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 performed by method any2stringadd 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 any2ArrowAssoc 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. final val ALTmode: Int(8192)

    Definition Classes
    Modes
  9. final val BYVALmode: Int(32768)

    Definition Classes
    Modes
  10. lazy val Context: nsc.Global.ClassSymbol

    Definition Classes
    CPSUtils
  11. final val EXPRmode: Int(1)

    Definition Classes
    Modes
  12. final val FUNmode: Int(16)

    Definition Classes
    Modes
  13. final val HKmode: Int(16384)

    Definition Classes
    Modes
  14. final val LHSmode: Int(1024)

    Definition Classes
    Modes
  15. lazy val MarkerCPSAdaptMinus: nsc.Global.ClassSymbol

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    CPSUtils
  28. final val NOmode: Int(0)

    Definition Classes
    Modes
  29. final val PATTERNmode: Int(2)

    Definition Classes
    Modes
  30. final val POLYmode: Int(32)

    Definition Classes
    Modes
  31. final val QUALmode: Int(64)

    Definition Classes
    Modes
  32. final val RETmode: Int(131072)

    Definition Classes
    Modes
  33. final val SCCmode: Int(8)

    Definition Classes
    Modes
  34. final val SNDTRYmode: Int(512)

    Definition Classes
    Modes
  35. final val STARmode: Int(4096)

    Definition Classes
    Modes
  36. final val SUPERCONSTRmode: Int(256)

    Definition Classes
    Modes
  37. final val TAPPmode: Int(128)

    Definition Classes
    Modes
  38. final val TYPEPATmode: Int(65536)

    Definition Classes
    Modes
  39. final val TYPEmode: Int(4)

    Definition Classes
    Modes
  40. lazy val allCPSAnnotations: collection.immutable.List[nsc.Global.ClassSymbol]

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

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

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

    Checks whether @cps annotations conform

  44. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. var cpsEnabled: Boolean

    Definition Classes
    CPSUtils
  46. object cpsNames

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

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

    Attributes
    protected
    Definition Classes
    CPSUtils
  49. 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 any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  50. def ensuring(cond: (CPSAnnotationChecker) ⇒ Boolean): CPSAnnotationChecker

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to Ensuring[CPSAnnotationChecker] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  51. 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 any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  52. def ensuring(cond: Boolean): CPSAnnotationChecker

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

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

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

    Definition Classes
    CPSUtils
  56. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  57. final def forFunMode(mode: Int): Int

    Definition Classes
    Modes
  58. final def forTypeMode(mode: Int): Int

    Definition Classes
    Modes
  59. def formatted(fmtstr: String): String

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

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef → Any
  69. final def inAllModes(mode: Int, required: Int): Boolean

    Definition Classes
    Modes
  70. final def inAnyMode(mode: Int, required: Int): Boolean

    Definition Classes
    Modes
  71. final def inExprModeButNot(mode: Int, prohibited: Int): Boolean

    Definition Classes
    Modes
  72. final def inExprModeOr(mode: Int, others: Int): Boolean

    Definition Classes
    Modes
  73. final def inFunMode(mode: Int): Boolean

    Definition Classes
    Modes
  74. final def inHKMode(mode: Int): Boolean

    Definition Classes
    Modes
  75. final def inNoModes(mode: Int, prohibited: Int): Boolean

    Definition Classes
    Modes
  76. final def inPatternMode(mode: Int): Boolean

    Definition Classes
    Modes
  77. final def inPolyMode(mode: Int): Boolean

    Definition Classes
    Modes
  78. final def isInstanceOf[T0]: Boolean

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

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

    Definition Classes
    CPSUtils
  81. def modeString(mode: Int): String

    Definition Classes
    Modes
  82. final def ne(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef
  91. final def onlyStickyModes(mode: Int): Int

    Definition Classes
    Modes
  92. object plugin extends (analyzer)#AnalyzerPlugin

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

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

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

    Definition Classes
    AnyRef
  96. def toString(): String

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

    Definition Classes
    CPSUtils
  98. val verbose: Boolean

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

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

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

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

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

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

Shadowed Implicit Value Members

  1. val self: Any

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to StringAdd performed by method any2stringadd in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (cPSAnnotationChecker: StringAdd).self
    Definition Classes
    StringAdd
  2. val self: Any

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to StringFormat performed by method any2stringfmt in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (cPSAnnotationChecker: StringFormat).self
    Definition Classes
    StringFormat

Deprecated Value Members

  1. def x: CPSAnnotationChecker

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to ArrowAssoc[CPSAnnotationChecker] performed by method any2ArrowAssoc in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (cPSAnnotationChecker: ArrowAssoc[CPSAnnotationChecker]).x
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use leftOfArrow instead

  2. def x: CPSAnnotationChecker

    Implicit information
    This member is added by an implicit conversion from CPSAnnotationChecker to Ensuring[CPSAnnotationChecker] performed by method any2Ensuring in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (cPSAnnotationChecker: Ensuring[CPSAnnotationChecker]).x
    Definition Classes
    Ensuring
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use resultOfEnsuring instead

Inherited from Modes

Inherited from CPSUtils

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from CPSAnnotationChecker to StringAdd

Inherited by implicit conversion any2stringfmt from CPSAnnotationChecker to StringFormat

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

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

Ungrouped