CPSAnnotationChecker

abstract val global: Global

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (CPSAnnotationChecker, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

lazy val Context: ClassSymbol

lazy val MarkerCPSAdaptMinus: ClassSymbol

lazy val MarkerCPSAdaptPlus: ClassSymbol

lazy val MarkerCPSSym: ClassSymbol

lazy val MarkerCPSSynth: ClassSymbol

lazy val MarkerCPSTypes: ClassSymbol

lazy val MethReify: Symbol

lazy val MethReifyR: Symbol

lazy val MethShift: Symbol

lazy val MethShiftR: Symbol

lazy val MethShiftUnit: Symbol

lazy val MethShiftUnit0: Symbol

lazy val MethShiftUnitR: Symbol

lazy val ModCPS: ModuleSymbol

lazy val allCPSAnnotations: List[ClassSymbol]

def annTypes(ann: AnnotationInfo): (Type, Type)

final def asInstanceOf[T0]: T0

object checker extends AnnotationChecker

Checks whether @cps annotations conform

def clone(): AnyRef

var cpsEnabled: Boolean

object cpsNames extends AnyRef

def cpsParamAnnotation(tpe: Type): List[AnnotationInfo]

def cpsParamTypes(tpe: Type): Option[(Type, Type)]

def ensuring(cond: (CPSAnnotationChecker) ⇒ Boolean, msg: ⇒ Any): CPSAnnotationChecker

def ensuring(cond: (CPSAnnotationChecker) ⇒ Boolean): CPSAnnotationChecker

def ensuring(cond: Boolean, msg: ⇒ Any): CPSAnnotationChecker

def ensuring(cond: Boolean): CPSAnnotationChecker

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def filterAttribs(tpe: Type, cls: Symbol): List[AnnotationInfo]

def finalize(): Unit

def formatted(fmtstr: String): String

def getAnswerTypeAnn(tp: Type): Option[(Type, Type)]

final def getClass(): Class[_]

def getExternalAnswerTypeAnn(tp: Type): Option[(Type, Type)]

def hasAnswerTypeAnn(tp: Type): Boolean

def hasCpsParamTypes(tpe: Type): Boolean

def hasMinusMarker(tpe: Type): Boolean

def hasPlusMarker(tpe: Type): Boolean

def hasSynthMarker(tpe: Type): Boolean

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def linearize(a: CPSInfo, b: CPSInfo)(implicit unit: CompilationUnit, pos: Position): CPSInfo

def linearize(ann: List[AnnotationInfo]): AnnotationInfo

final def ne(arg0: AnyRef): Boolean

def newCpsParamsMarker(tp1: Type, tp2: Type): AnnotationInfo

def newMarker(sym: Symbol): AnnotationInfo

def newMarker(tpe: Type): AnnotationInfo

def newMinusMarker(): AnnotationInfo

def newPlusMarker(): AnnotationInfo

def newSynthMarker(): AnnotationInfo

final def notify(): Unit

final def notifyAll(): Unit

def removeAllCPSAnnotations(tpe: Type): Type

def removeAttribs(tpe: Type, classes: Symbol*): Type

val self: Any

val self: Any

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def updateSynthFlag(tree: Tree): Tree

val verbose: Boolean

final def vprintln(x: ⇒ Any): Unit

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (CPSAnnotationChecker, B)

def x: CPSAnnotationChecker

def x: CPSAnnotationChecker