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: nsc.Global.ClassSymbol

final val EXPRmode: Int(1)

final val FUNmode: Int(16)

final val HKmode: Int(16384)

final val LHSmode: Int(1024)

lazy val MarkerCPSAdaptMinus: nsc.Global.ClassSymbol

lazy val MarkerCPSAdaptPlus: nsc.Global.ClassSymbol

lazy val MarkerCPSSym: nsc.Global.ClassSymbol

lazy val MarkerCPSSynth: nsc.Global.ClassSymbol

lazy val MarkerCPSTypes: nsc.Global.ClassSymbol

lazy val MethReify: nsc.Global.Symbol

lazy val MethReifyR: nsc.Global.Symbol

lazy val MethShift: nsc.Global.Symbol

lazy val MethShiftR: nsc.Global.Symbol

lazy val MethShiftUnit: nsc.Global.Symbol

lazy val MethShiftUnit0: nsc.Global.Symbol

lazy val MethShiftUnitR: nsc.Global.Symbol

lazy val ModCPS: nsc.Global.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: collection.immutable.List[nsc.Global.ClassSymbol]

def annTypes(ann: nsc.Global.AnnotationInfo): (nsc.Global.Type, nsc.Global.Type)

final def asInstanceOf[T0]: T0

object checker extends nsc.Global.AnnotationChecker

Checks whether @cps annotations conform

def clone(): AnyRef

var cpsEnabled: Boolean

object cpsNames

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

def cpsParamTypes(tpe: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.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: nsc.Global.Type, cls: nsc.Global.Symbol): collection.immutable.List[nsc.Global.AnnotationInfo]

def finalize(): Unit

final def forFunMode(mode: Int): Int

final def forTypeMode(mode: Int): Int

def formatted(fmtstr: String): String

def getAnswerTypeAnn(tp: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]

final def getClass(): Class[_]

def getExternalAnswerTypeAnn(tp: nsc.Global.Type): Option[(nsc.Global.Type, nsc.Global.Type)]

def hasAnswerTypeAnn(tp: nsc.Global.Type): Boolean

def hasCpsParamTypes(tpe: nsc.Global.Type): Boolean

def hasMinusMarker(tpe: nsc.Global.Type): Boolean

def hasPlusMarker(tpe: nsc.Global.Type): Boolean

def hasSynthMarker(tpe: nsc.Global.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: nsc.Global.CompilationUnit, pos: nsc.Global.Position): CPSInfo

def linearize(ann: List[nsc.Global.AnnotationInfo]): nsc.Global.AnnotationInfo

def modeString(mode: Int): String

final def ne(arg0: AnyRef): Boolean

def newCpsParamsMarker(tp1: nsc.Global.Type, tp2: nsc.Global.Type): nsc.Global.AnnotationInfo

def newMarker(sym: nsc.Global.Symbol): nsc.Global.AnnotationInfo

def newMarker(tpe: nsc.Global.Type): nsc.Global.AnnotationInfo

def newMinusMarker(): nsc.Global.AnnotationInfo

def newPlusMarker(): nsc.Global.AnnotationInfo

def newSynthMarker(): nsc.Global.AnnotationInfo

final def notify(): Unit

final def notifyAll(): Unit

final def onlyStickyModes(mode: Int): Int

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

def removeAttribs(tpe: nsc.Global.Type, classes: nsc.Global.Symbol*): nsc.Global.Type

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

def toString(): String

def updateSynthFlag(tree: nsc.Global.Tree): nsc.Global.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)

val self: Any

val self: Any

def x: CPSAnnotationChecker

def x: CPSAnnotationChecker