dotty.tools.dotc.reporting.diagnostic.messages

TypeMismatch

Related Doc: package messages

case class TypeMismatch(found: Type, expected: Type, whyNoMatch: String = "", implicitFailure: String = "")(implicit ctx: Context) extends Message with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, Message, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. TypeMismatch
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Message
  7. AnyRef
  8. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TypeMismatch(found: Type, expected: Type, whyNoMatch: String = "", implicitFailure: String = "")(implicit ctx: Context)

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  5. def clone(): AnyRef

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

    Definition Classes
    AnyRef
  7. val errorId: Int

    a unique number identifying the message, this will later be used to reference documentation online

    a unique number identifying the message, this will later be used to reference documentation online

    Definition Classes
    Message
  8. val expected: Type

  9. val explanation: String

    The explanation should provide a detailed description of why the error occurred and use examples from the user's own code to illustrate how to avoid these errors.

    The explanation should provide a detailed description of why the error occurred and use examples from the user's own code to illustrate how to avoid these errors.

    Definition Classes
    TypeMismatchMessage
  10. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. val found: Type

  12. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  13. val implicitFailure: String

  14. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  15. val kind: String

    The kind of the error message is something like "Syntax" or "Type Mismatch"

    The kind of the error message is something like "Syntax" or "Type Mismatch"

    Definition Classes
    TypeMismatchMessage
  16. val msg: String

    The msg contains the diagnostic message e.g:

    The msg contains the diagnostic message e.g:

    > expected: String > found: Int

    This message will be placed underneath the position given by the enclosing MessageContainer

    Definition Classes
    TypeMismatchMessage
  17. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  20. def persist: Message

    The implicit Context in messages is a large thing that we don't want persisted.

    The implicit Context in messages is a large thing that we don't want persisted. This method gets around that by duplicating the message without the implicit context being passed along.

    Definition Classes
    Message
  21. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  22. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. val whyNoMatch: String

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Message

Inherited from AnyRef

Inherited from Any

Ungrouped