c

info.kwarc.mmt.jedit

MMTErrorSource

class MMTErrorSource extends DefaultErrorSource

customizes the default error source of the ErrorList plugin

Source
ErrorForwarder.scala
Linear Supertypes
DefaultErrorSource, ErrorSource, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MMTErrorSource
  2. DefaultErrorSource
  3. ErrorSource
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new MMTErrorSource()

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. def addError(e: DefaultError): Unit

    like superclass but allows only MMTErrors

    like superclass but allows only MMTErrors

    Definition Classes
    MMTErrorSource → DefaultErrorSource → ErrorSource
  5. def addError(arg0: Int, arg1: String, arg2: Int, arg3: Int, arg4: Int, arg5: String): Unit
    Definition Classes
    DefaultErrorSource
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clear(): Unit
    Definition Classes
    DefaultErrorSource
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def getAllErrors(): Array[Error]
    Definition Classes
    DefaultErrorSource → ErrorSource
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def getErrorCount(): Int
    Definition Classes
    DefaultErrorSource → ErrorSource
  15. def getFileErrorCount(arg0: String): Int
    Definition Classes
    DefaultErrorSource → ErrorSource
  16. def getFileErrors(arg0: String): Array[Error]
    Definition Classes
    DefaultErrorSource → ErrorSource
  17. def getLineErrors(arg0: String, arg1: Int, arg2: Int): Array[Error]
    Definition Classes
    DefaultErrorSource → ErrorSource
  18. def getName(): String
    Definition Classes
    DefaultErrorSource → ErrorSource
  19. def handleBufferMessage(arg0: BufferUpdate): Unit
    Definition Classes
    DefaultErrorSource
    Annotations
    @EBHandler()
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. def removeFileErrors(file: File): Unit

    remove errors produced when checking this file

  26. def removeFileErrors(arg0: String): Unit
    Definition Classes
    DefaultErrorSource
  27. def removeOrAddToBus(): Unit
    Attributes
    protected[errorlist]
    Definition Classes
    DefaultErrorSource
  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def toString(): String
    Definition Classes
    DefaultErrorSource → AnyRef → Any
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from DefaultErrorSource

Inherited from ErrorSource

Inherited from AnyRef

Inherited from Any

Ungrouped