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 NewName(s: String, start: Int = 1)(implicit th: Theory): LocalName
5.  def addListener(l: MMTTaskProgressListener): Unit

   Definition Classes

   MMTTask

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  var boundvars: List[LocalName]
8.  def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... ) @native()

9.  var defs: List[(String, Term)]
10.  def diesWith(implicit that: Killable): TPSImportTask.this.type

    gives a killable object the same kill button as one that is already around

    gives a killable object the same kill button as one that is already around

    For example, when processing a task, generates a subtask, this should be called on the subtask to ensure killing the overall task also kills the subtask.

    Definition Classes

    Killable

11.  def doDecl(d: Declaration)(implicit th: Theory): Unit
12.  def doDocument(d: omdoc): BuildResult
13.  def doModule(d: DPath)(m: Module): Module
14.  def doName(s: String): LocalName
15.  def doNotation(r: rendering): NotationContainer
16.  def doObject(o: omobject)(implicit th: Theory): Term
17.  def doTheoryName(s: String)(implicit th: Theory): MPath
18.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

19.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

20.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

21.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

22.  def getReports: List[MMTTaskProgress]

    get all reports in reverse chronological order

    get all reports in reverse chronological order

    Definition Classes

    MMTTask

23.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

24.  var imports: List[String]
25.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

26.  def isKilled: Boolean

    processing should be aborted gracefully if true

    processing should be aborted gracefully if true

    Definition Classes

    Killable

27.  def kill: Unit

    signals aborting of processing

    signals aborting of processing

    Definition Classes

    Killable

28.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

29.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

30.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

31.  var nots: List[(String, NotationContainer)]
32.  var path: DPath
33.  def removeListener(l: MMTTaskProgressListener): Unit

    Definition Classes

    MMTTask

34.  def reportProgress(a: MMTTaskProgress): Unit

    adds a report and forwards it to all listeners

    adds a report and forwards it to all listeners

    Definition Classes

    MMTTask

35.  def setTimeout[A](millisec: Int)(f: () ⇒ Unit): TPSImportTask.this.type

    presses the kill button after the specified number of milli seconds

    presses the kill button after the specified number of milli seconds

    Definition Classes

    Killable

36.  var symbols: List[(String, Term)]
37.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

38.  def toString(): String

    Definition Classes

    AnyRef → Any

39.  var vars: List[LocalName]
40.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

42.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()