Class

de.uni_luebeck.isp.tessla.TypeChecker

TypeMatchError

Related Doc: package TypeChecker

Permalink

case class TypeMatchError(conflicts: Set[Function], atLocation: NestedLoc) extends Fatal with Product with Serializable

Linear Supertypes
Serializable, Fatal, Diagnostic, Product, Equals, Exception, Throwable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. TypeMatchError
  2. Serializable
  3. Fatal
  4. Diagnostic
  5. Product
  6. Equals
  7. Exception
  8. Throwable
  9. Serializable
  10. AnyRef
  11. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TypeMatchError(conflicts: Set[Function], atLocation: NestedLoc)

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def addSuppressed(arg0: Throwable): Unit

    Permalink
    Definition Classes
    Throwable

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. val atLocation: NestedLoc

    Permalink

  7. def clone(): AnyRef

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

  8. val conflicts: Set[Function]

    Permalink

  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  10. def fillInStackTrace(): Throwable

    Permalink
    Definition Classes
    Throwable

  11. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  12. def getCause(): Throwable

    Permalink
    Definition Classes
    Throwable

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

    Permalink
    Definition Classes
    AnyRef → Any

  14. def getLocalizedMessage(): String

    Permalink
    Definition Classes
    Throwable

  15. def getMessage(): String

    Permalink
    Definition Classes
    Throwable

  16. def getStackTrace(): Array[StackTraceElement]

    Permalink
    Definition Classes
    Throwable

  17. final def getSuppressed(): Array[Throwable]

    Permalink
    Definition Classes
    Throwable

  18. def initCause(arg0: Throwable): Throwable

    Permalink
    Definition Classes
    Throwable

  19. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. def printStackTrace(arg0: PrintWriter): Unit

    Permalink
    Definition Classes
    Throwable

  24. def printStackTrace(arg0: PrintStream): Unit

    Permalink
    Definition Classes
    Throwable

  25. def printStackTrace(): Unit

    Permalink
    Definition Classes
    Throwable

  26. def setStackTrace(arg0: Array[StackTraceElement]): Unit

    Permalink
    Definition Classes
    Throwable

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

    Permalink
    Definition Classes
    AnyRef

  28. def toString(): String

    Permalink
    Definition Classes
    Diagnostic → Throwable → AnyRef → Any

  29. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  31. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Fatal

Inherited from Diagnostic

Inherited from Product

Inherited from Equals

Inherited from Exception

Inherited from Throwable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped