scala.tools.nsc.typechecker

Modes

trait Modes extends AnyRef

Mode constants.

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

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

  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

  8. val EXPRmode : Int(1)

    Attributes
    final

  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

  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

  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

  12. val NOmode : Int(0)

    NOmode, EXPRmode and PATTERNmode are mutually exclusive.

    NOmode, EXPRmode and PATTERNmode are mutually exclusive.

    Attributes
    final

  13. val PATTERNmode : Int(2)

    Attributes
    final

  14. val POLYmode : Int(32)

    POLYmode is orthogonal to above.

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

    Attributes
    final

  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

  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

  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

  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

  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

  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

  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

  22. val TYPEmode : Int(4)

    TYPEmode needs a comment.

    TYPEmode needs a comment. <-- XXX.

    Attributes
    final

  23. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  24. def clone (): AnyRef

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

  25. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  26. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  27. def finalize (): Unit

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

  28. def forFunMode (mode: Int): Int

    Attributes
    final

  29. def forTypeMode (mode: Int): Int

    Attributes
    final

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  31. def hashCode (): Int

    Definition Classes
    AnyRef → Any

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

    Attributes
    final

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

    Attributes
    final

  34. def inFunMode (mode: Int): Boolean

    Attributes
    final

  35. def inHKMode (mode: Int): Boolean

    Attributes
    final

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

    Attributes
    final

  37. def inPatternMode (mode: Int): Boolean

    Attributes
    final

  38. def inPolyMode (mode: Int): Boolean

    Attributes
    final

  39. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  40. def modeString (mode: Int): String

  41. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  42. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  43. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  44. def onlyStickyModes (mode: Int): Int

    Attributes
    final

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

    Attributes
    final
    Definition Classes
    AnyRef

  46. def toString (): String

    Definition Classes
    AnyRef → Any

  47. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  49. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any