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

final val ALTmode: Int(8192)

final val BYVALmode: Int(32768)

lazy val Context: ClassSymbol

final val EXPRmode: Int(1)

final val FUNmode: Int(16)

final val HKmode: Int(16384)

final val LHSmode: Int(1024)

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

final val NOmode: Int(0)

final val PATTERNmode: Int(2)

final val POLYmode: Int(32)

final val QUALmode: Int(64)

final val SCCmode: Int(8)

final val SNDTRYmode: Int(512)

final val STARmode: Int(4096)

final val SUPERCONSTRmode: Int(256)

final val TAPPmode: Int(128)

final val TYPEPATmode: Int(65536)

final val TYPEmode: Int(4)

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

final def forFunMode(mode: Int): Int

final def forTypeMode(mode: Int): Int

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 inAllModes(mode: Int, required: Int): Boolean

final def inAnyMode(mode: Int, required: Int): Boolean

final def inExprModeButNot(mode: Int, prohibited: Int): Boolean

final def inExprModeOr(mode: Int, others: Int): Boolean

final def inFunMode(mode: Int): Boolean

final def inHKMode(mode: Int): Boolean

final def inNoModes(mode: Int, prohibited: Int): Boolean

final def inPatternMode(mode: Int): Boolean

final def inPolyMode(mode: Int): Boolean

final def isInstanceOf[T0]: Boolean

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

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

def modeString(mode: Int): String

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

final def onlyStickyModes(mode: Int): Int

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