abstract
class
CPSAnnotationChecker extends CPSUtils with Modes
Instance Constructors
-
new
CPSAnnotationChecker()
Type Members
-
type
CPSInfo = Option[(nsc.Global.Type, nsc.Global.Type)]
Abstract Value Members
-
abstract
val
global: Global
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
-
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
RETmode: Int(131072)
-
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
-
def
clone(): AnyRef
-
var
cpsEnabled: Boolean
-
-
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: Boolean, msg: ⇒ Any): 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
-
object
plugin extends (analyzer)#AnalyzerPlugin
-
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
-
Shadowed Implicit Value Members
-
val
self: Any
-
val
self: Any
Inherited from Modes
Inherited from Any