scala.tools.nsc.typechecker.Typers

Type Members

abstract class Typer extends TyperDiagnostics

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final val ALTmode: Int(8192)

ALTmode is set when we are under a pattern alternative.
ALTmode is set when we are under a pattern alternative.

Definition Classes
Modes
final val BYVALmode: Int(32768)

BYVALmode is set when we are typing an expression that occurs in a by-value position.
BYVALmode is set when we are typing an expression that occurs in a by-value position. An expression e1 is in by-value position within expression e2 iff it will be reduced to a value at that position during the evaluation of e2. Examples are by-value function arguments or the conditional of an if-then-else clause. This mode has been added to support continuations.

Definition Classes
Modes
final val EXPRmode: Int(1)

Definition Classes
Modes
final val FUNmode: Int(16)

FUNmode is orthogonal to above.
FUNmode is orthogonal to above. When set we are looking for a method or constructor.

Definition Classes
Modes
final val HKmode: Int(16384)

HKmode is set when we are typing a higher-kinded type.
HKmode is set when we are typing a higher-kinded type. adapt should then check kind-arity based on the prototypical type's kind arity. Type arguments should not be inferred.

Definition Classes
Modes
final val LHSmode: Int(1024)

LHSmode is set for the left-hand side of an assignment.
LHSmode is set for the left-hand side of an assignment.

Definition Classes
Modes
final val NOmode: Int(0)

NOmode, EXPRmode and PATTERNmode are mutually exclusive.
NOmode, EXPRmode and PATTERNmode are mutually exclusive.

Definition Classes
Modes
final val PATTERNmode: Int(2)

Definition Classes
Modes
final val POLYmode: Int(32)

POLYmode is orthogonal to above.
POLYmode is orthogonal to above. When set expression types can be polymorphic.

Definition Classes
Modes
final val QUALmode: Int(64)

QUALmode is orthogonal to above.
QUALmode is orthogonal to above. When set expressions may be packages and Java statics modules.

Definition Classes
Modes
final val RETmode: Int(131072)

RETmode is set when we are typing a return expression.
RETmode is set when we are typing a return expression.

Definition Classes
Modes
final val SCCmode: Int(8)

SCCmode is orthogonal to above.
SCCmode is orthogonal to above. When set we are in the this or super constructor call of a constructor.

Definition Classes
Modes
final val SNDTRYmode: Int(512)

SNDTRYmode indicates that an application is typed for the 2nd time.
SNDTRYmode indicates that an application is typed for the 2nd time. In that case functions may no longer be coerced with implicit views.

Definition Classes
Modes
final val STARmode: Int(4096)

STARmode is set when star patterns are allowed.
STARmode is set when star patterns are allowed. (This was formerly called REGPATmode.)

Definition Classes
Modes
final val SUPERCONSTRmode: Int(256)

SUPERCONSTRmode is set for the super in a superclass constructor call super.
SUPERCONSTRmode is set for the super in a superclass constructor call super.<init>.

Definition Classes
Modes
final val TAPPmode: Int(128)

TAPPmode is set for the function/type constructor part of a type application.
TAPPmode is set for the function/type constructor part of a type application. When set we do not decompose PolyTypes.

Definition Classes
Modes
final val TYPEPATmode: Int(65536)

TYPEPATmode is set when we are typing a type in a pattern.
TYPEPATmode is set when we are typing a type in a pattern.

Definition Classes
Modes
final val TYPEmode: Int(4)

TYPEmode needs a comment.
TYPEmode needs a comment. <-- XXX.

Definition Classes
Modes
object UnTyper extends Traverser
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
final def forArgMode(fun: Tree, mode: Int): Int
final def forFunMode(mode: Int): Int

Definition Classes
Modes
final def forTypeMode(mode: Int): Int

Definition Classes
Modes
final def getClass(): java.lang.Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def inAllModes(mode: Int, required: Int): Boolean

Definition Classes
Modes
final def inAnyMode(mode: Int, required: Int): Boolean

Definition Classes
Modes
final def inFunMode(mode: Int): Boolean

Definition Classes
Modes
final def inHKMode(mode: Int): Boolean

Definition Classes
Modes
final def inNoModes(mode: Int, prohibited: Int): Boolean

Definition Classes
Modes
final def inPatternMode(mode: Int): Boolean

Definition Classes
Modes
final def inPolyMode(mode: Int): Boolean

Definition Classes
Modes
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def modeString(mode: Int): String

Definition Classes
Modes
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newTyper(context: Context): Typer
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def onlyStickyModes(mode: Int): Int

Definition Classes
Modes
def resetTyper(): Unit
final val shortenImports: Boolean(false)
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
val transformed: HashMap[Tree, Tree]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()

Typers

trait Typers extends Modes

Type Members

abstract class Typer extends TyperDiagnostics

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)

final val EXPRmode: Int(1)

final val FUNmode: Int(16)

final val HKmode: Int(16384)

final val LHSmode: Int(1024)

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)

object UnTyper extends Traverser

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def forArgMode(fun: Tree, mode: Int): Int

final def forFunMode(mode: Int): Int

final def forTypeMode(mode: Int): Int

final def getClass(): java.lang.Class[_]

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 modeString(mode: Int): String

final def ne(arg0: AnyRef): Boolean

def newTyper(context: Context): Typer

final def notify(): Unit

final def notifyAll(): Unit

final def onlyStickyModes(mode: Int): Int

def resetTyper(): Unit

final val shortenImports: Boolean(false)

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

def toString(): String

val transformed: HashMap[Tree, Tree]

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