c

info.kwarc.mmt.jedit

MMTConsole

class MMTConsole extends ThreadedConsole

a MMT console for jEdit, it reads MMT actions and prints the log output

Source
MMTConsole.scala
Linear Supertypes
ThreadedConsole, Shell, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MMTConsole
  2. ThreadedConsole
  3. Shell
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new MMTConsole()

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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. def closeConsole(arg0: Console): Unit
    Definition Classes
    Shell
  7. val controller: Controller
    Attributes
    protected
    Definition Classes
    ThreadedConsole
  8. def detach(arg0: Console): Unit
    Definition Classes
    Shell
  9. def endOfFile(arg0: Console): Unit
    Definition Classes
    Shell
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def execute(console: Console, input: String, output: Output, error: Output, command: String): Unit
    Definition Classes
    MMTConsole → Shell
  13. final def execute(arg0: Console, arg1: String, arg2: Output): Unit
    Definition Classes
    Shell
  14. def executionWrapper(code: ⇒ Boolean): Unit

    the body of the execute function should be wrapped in this

    the body of the execute function should be wrapped in this

    Attributes
    protected
    Definition Classes
    ThreadedConsole
  15. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def getCompletions(console: Console, command: String): CompletionInfo
    Definition Classes
    MMTConsole → Shell
  18. def getName(): String
    Definition Classes
    Shell
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def logError(s: String): Unit
    Attributes
    protected
    Definition Classes
    ThreadedConsole
  22. val mmt: MMTPlugin
    Attributes
    protected
    Definition Classes
    ThreadedConsole
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. def openConsole(arg0: Console): Unit
    Definition Classes
    Shell
  27. def printInfoMessage(output: Output): Unit
    Definition Classes
    MMTConsole → Shell
  28. def printPrompt(arg0: Console, arg1: Output): Unit
    Definition Classes
    Shell
  29. def stop(console: Console): Unit
    Definition Classes
    ThreadedConsole → Shell
  30. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  31. def toString(): String
    Definition Classes
    Shell → AnyRef → Any
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  35. def waitFor(console: Console): Boolean
    Definition Classes
    ThreadedConsole → Shell

Deprecated Value Members

  1. def waitUntilDone(): Unit
    Definition Classes
    Shell
    Annotations
    @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from ThreadedConsole

Inherited from Shell

Inherited from AnyRef

Inherited from Any

Ungrouped