abstract
class
CPSAnnotationChecker extends CPSUtils with Modes
Instance Constructors
-
new
CPSAnnotationChecker()
Type Members
-
-
type
CPSInfo = Option[(Type, Type)]
-
-
class
SymbolOps extends AnyRef
-
class
TreeGenOps extends AnyRef
-
class
TreeOps extends AnyRef
-
class
TypeOps extends AnyRef
Abstract Value Members
-
abstract
val
global: Global
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
val
ALTmode: Int(8192)
-
final
val
BYVALmode: Int(32768)
-
lazy val
Context: Symbol
-
final
val
EXPRmode: Int(1)
-
final
val
FUNmode: Int(16)
-
final
val
HKmode: Int(16384)
-
final
val
LHSmode: Int(1024)
-
lazy val
MarkerCPSAdaptMinus: Symbol
-
lazy val
MarkerCPSAdaptPlus: Symbol
-
lazy val
MarkerCPSSym: Symbol
-
lazy val
MarkerCPSSynth: Symbol
-
lazy val
MarkerCPSTypes: Symbol
-
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: Symbol
-
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: List[Symbol]
-
def
annTypes(ann: AnnotationInfo): (Type, Type)
-
final
def
asInstanceOf[T0]: T0
-
object
checker extends AnnotationChecker
-
def
clone(): AnyRef
-
var
cpsEnabled: Boolean
-
object
cpsNames extends AnyRef
-
def
cpsParamAnnotation(tpe: Type): List[AnnotationInfo]
-
def
cpsParamTypes(tpe: Type): Option[(Type, Type)]
-
def
debuglog(s: ⇒ String): Unit
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
filterAnnotations(tpe: Type, p: (AnnotationInfo) ⇒ Boolean): Type
-
def
filterAttribs(tpe: Type, cls: Symbol): List[AnnotationInfo]
-
def
finalize(): Unit
-
final
def
forFunMode(mode: Int): Int
-
final
def
forTypeMode(mode: Int): Int
-
def
getAnswerTypeAnn(tp: Type): Option[(Type, Type)]
-
final
def
getClass(): java.lang.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
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
matches(annotationInfo: AnnotationInfo, clazz: Symbol): Boolean
-
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
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
implicit
def
toAnnotationInfoOps(annObj: CPSAnnotationChecker.this.global.AnnotationInfo.type): AnnotationInfoOps
-
def
toString(): String
-
implicit
def
toSymbolOps(sym: Symbol): SymbolOps
-
implicit
def
toTreeGenOps(gen: TreeGen): TreeGenOps
-
implicit
def
toTreeOps(from: Tree): TreeOps
-
implicit
def
toTypeOps(tpe: Type): TypeOps
-
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
Inherited from Modes
Inherited from AnyRef
Inherited from Any