scala.tools.nsc.typechecker

Typers

trait Typers extends Modes

This trait provides methods to assign types to trees.

Self Type
Analyzer
Source
Typers.scala
Version

1.0

Linear Supertypes
Modes, AnyRef, Any
Known Subclasses
Analyzer, Duplicator, Duplicators, Erasure, TreeCheckers, analyzer, erasure, treeChecker
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Typers
  2. Modes
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Type Members

  1. class Typer extends TyperDiagnostics

    Attributes
    abstract

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. val ALTmode : Int(8192)

    ALTmode is set when we are under a pattern alternative.

    ALTmode is set when we are under a pattern alternative.

    Attributes
    final
    Definition Classes
    Modes

  7. 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.

    Attributes
    final
    Definition Classes
    Modes

  8. val EXPRmode : Int(1)

    Attributes
    final
    Definition Classes
    Modes

  9. val FUNmode : Int(16)

    FUNmode is orthogonal to above.

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

    Attributes
    final
    Definition Classes
    Modes

  10. 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.

    Attributes
    final
    Definition Classes
    Modes

  11. 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.

    Attributes
    final
    Definition Classes
    Modes

  12. val NOmode : Int(0)

    NOmode, EXPRmode and PATTERNmode are mutually exclusive.

    NOmode, EXPRmode and PATTERNmode are mutually exclusive.

    Attributes
    final
    Definition Classes
    Modes

  13. val PATTERNmode : Int(2)

    Attributes
    final
    Definition Classes
    Modes

  14. val POLYmode : Int(32)

    POLYmode is orthogonal to above.

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

    Attributes
    final
    Definition Classes
    Modes

  15. val QUALmode : Int(64)

    QUALmode is orthogonal to above.

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

    Attributes
    final
    Definition Classes
    Modes

  16. 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.

    Attributes
    final
    Definition Classes
    Modes

  17. 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.

    Attributes
    final
    Definition Classes
    Modes

  18. 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.)

    Attributes
    final
    Definition Classes
    Modes

  19. 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>.

    Attributes
    final
    Definition Classes
    Modes

  20. 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.

    Attributes
    final
    Definition Classes
    Modes

  21. 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.

    Attributes
    final
    Definition Classes
    Modes

  22. val TYPEmode : Int(4)

    TYPEmode needs a comment.

    TYPEmode needs a comment. <-- XXX.

    Attributes
    final
    Definition Classes
    Modes

  23. object UnTyper extends Traverser

  24. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  25. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  26. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  27. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  28. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  29. def forArgMode (fun: Tree, mode: Int): Int

    Attributes
    final

  30. def forFunMode (mode: Int): Int

    Attributes
    final
    Definition Classes
    Modes

  31. def forTypeMode (mode: Int): Int

    Attributes
    final
    Definition Classes
    Modes

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  33. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  34. def inAllModes (mode: Int, required: Int): Boolean

    Attributes
    final
    Definition Classes
    Modes

  35. def inAnyMode (mode: Int, required: Int): Boolean

    Attributes
    final
    Definition Classes
    Modes

  36. def inFunMode (mode: Int): Boolean

    Attributes
    final
    Definition Classes
    Modes

  37. def inHKMode (mode: Int): Boolean

    Attributes
    final
    Definition Classes
    Modes

  38. def inNoModes (mode: Int, prohibited: Int): Boolean

    Attributes
    final
    Definition Classes
    Modes

  39. def inPatternMode (mode: Int): Boolean

    Attributes
    final
    Definition Classes
    Modes

  40. def inPolyMode (mode: Int): Boolean

    Attributes
    final
    Definition Classes
    Modes

  41. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  42. def modeString (mode: Int): String

    Definition Classes
    Modes

  43. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  44. def newTyper (context: Context): Typer

  45. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  46. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  47. def onlyStickyModes (mode: Int): Int

    Attributes
    final
    Definition Classes
    Modes

  48. def resetTyper (): Unit

  49. val shortenImports : Boolean(false)

    Attributes
    final

  50. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  51. def toString (): String

    Definition Classes
    AnyRef → Any

  52. val transformed : HashMap[Tree, Tree]

  53. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  54. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  55. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Modes

Inherited from AnyRef

Inherited from Any