c

info.kwarc.mmt.jedit

ThreadedConsole

abstract class ThreadedConsole extends Shell

common code for Consoles, handles executing commands with different threads

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

Instance Constructors

  1. new ThreadedConsole(s: String)

Abstract Value Members

  1. abstract def execute(arg0: Console, arg1: String, arg2: Output, arg3: Output, arg4: String): Unit
    Definition Classes
    Shell

Concrete 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
  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. final def execute(arg0: Console, arg1: String, arg2: Output): Unit
    Definition Classes
    Shell
  13. 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
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def getCompletions(arg0: Console, arg1: String): CompletionInfo
    Definition Classes
    Shell
  17. def getName(): String
    Definition Classes
    Shell
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def logError(s: String): Unit
    Attributes
    protected
  21. val mmt: MMTPlugin
    Attributes
    protected
  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 openConsole(arg0: Console): Unit
    Definition Classes
    Shell
  26. def printInfoMessage(arg0: Output): Unit
    Definition Classes
    Shell
  27. def printPrompt(arg0: Console, arg1: Output): Unit
    Definition Classes
    Shell
  28. def stop(console: Console): Unit
    Definition Classes
    ThreadedConsole → Shell
  29. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    Shell → AnyRef → Any
  31. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  34. 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 Shell

Inherited from AnyRef

Inherited from Any

Ungrouped