class MMTPlugin extends EBPlugin with Logger

The main class of the MMTPlugin after initialization, it creates a Controller and executes home/startup.mmt logging information is sent to home/mmtplugin.log the home directory is obtained from jEdit, e.g., settings/plugins/info.kwarc.mmt.jedit.MMTPlugin

Source
MMTPlugin.scala
Linear Supertypes
Logger, EBPlugin, EBComponent, EditPlugin, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MMTPlugin
  2. Logger
  3. EBPlugin
  4. EBComponent
  5. EditPlugin
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new MMTPlugin()

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 addMMTToolBar(view: View): Unit

    adds MMT toolbar

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def asString(o: Obj): String

    convenience

  7. val buildActions: BuildActions

    these are not used in the code, but called by actions in actions.xml

  8. def clearMMTToolBar(view: View): Unit

    removes MMT toolbar

  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  10. val controller: Controller
  11. final def createBrowserMenuItems(): JMenuItem
    Definition Classes
    EditPlugin
  12. final def createMenuItems(): JMenuItem
    Definition Classes
    EditPlugin
  13. val debugActions: DebugActions
  14. val editActions: EditActions
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. val errorSource: MMTErrorSource
  18. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def getClassName(): String
    Definition Classes
    EditPlugin
  21. def getPluginHome(): File
    Definition Classes
    EditPlugin
    Annotations
    @Nullable()
  22. def getPluginJAR(): PluginJAR
    Definition Classes
    EditPlugin
  23. def handleMessage(message: EBMessage): Unit
    Definition Classes
    MMTPlugin → EBPlugin → EBComponent
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. def invokeLater(code: ⇒ Unit): Unit

    helper function that creates a thread and executes it

  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. def log(e: Error): Unit

    logs an error - always logged

    logs an error - always logged

    Attributes
    protected
    Definition Classes
    Logger
  28. def log(s: ⇒ String, subgroup: Option[String] = None): Unit

    logs a message with this logger's logprefix

    logs a message with this logger's logprefix

    Attributes
    protected
    Definition Classes
    Logger
  29. def logError(s: ⇒ String): Unit

    log as an error message

    log as an error message

    Attributes
    protected
    Definition Classes
    Logger
  30. def logGroup[A](a: ⇒ A): A

    wraps around a group to create nested logging

    wraps around a group to create nested logging

    Attributes
    protected
    Definition Classes
    Logger
  31. val logPrefix: String
    Definition Classes
    MMTPluginLogger
  32. def logTemp(s: ⇒ String): Unit

    temporary logging - always logged

    temporary logging - always logged

    Attributes
    protected
    Definition Classes
    Logger
  33. val mmtListener: ChangeListener

    implements onNavigate hook in terms of the methods of MMTHyperlink

  34. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  36. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  37. val progressTracker: ListMap[Buffer, MMTTask]

    set by MMTSideKick, read by MMTGutterExtension

  38. val report: Report
    Definition Classes
    MMTPluginLogger
  39. def start(): Unit

    called by jEdit when plugin is loaded

    called by jEdit when plugin is loaded

    Definition Classes
    MMTPlugin → EditPlugin
  40. def stop(): Unit

    called by jEdit when plugin is unloaded

    called by jEdit when plugin is unloaded

    Definition Classes
    MMTPlugin → EditPlugin
  41. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  42. def toString(): String
    Definition Classes
    AnyRef → Any
  43. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Logger

Inherited from EBPlugin

Inherited from EBComponent

Inherited from EditPlugin

Inherited from AnyRef

Inherited from Any

Ungrouped