c

info.kwarc.mmt.twelf

BackgroundCrawler

class BackgroundCrawler extends Thread

A thread that checks for updated files and crawls them every crawlingInterval seconds

Source
catalog.scala
Linear Supertypes
Thread, Runnable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BackgroundCrawler
  2. Thread
  3. Runnable
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BackgroundCrawler(catalog: Catalog, crawlingInterval: Int)

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. val catalog: Catalog
  6. final def checkAccess(): Unit
    Definition Classes
    Thread
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    Thread → AnyRef
    Annotations
    @throws( ... )
  8. val crawlingInterval: Int
  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. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def getContextClassLoader(): ClassLoader
    Definition Classes
    Thread
    Annotations
    @CallerSensitive()
  14. def getId(): Long
    Definition Classes
    Thread
  15. final def getName(): String
    Definition Classes
    Thread
  16. final def getPriority(): Int
    Definition Classes
    Thread
  17. def getStackTrace(): Array[StackTraceElement]
    Definition Classes
    Thread
  18. def getState(): State
    Definition Classes
    Thread
  19. final def getThreadGroup(): ThreadGroup
    Definition Classes
    Thread
  20. def getUncaughtExceptionHandler(): UncaughtExceptionHandler
    Definition Classes
    Thread
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. def interrupt(): Unit
    Definition Classes
    Thread
  23. final def isAlive(): Boolean
    Definition Classes
    Thread
    Annotations
    @native()
  24. final def isDaemon(): Boolean
    Definition Classes
    Thread
  25. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  26. def isInterrupted(): Boolean
    Definition Classes
    Thread
  27. final def join(): Unit
    Definition Classes
    Thread
    Annotations
    @throws( ... )
  28. final def join(arg0: Long, arg1: Int): Unit
    Definition Classes
    Thread
    Annotations
    @throws( ... )
  29. final def join(arg0: Long): Unit
    Definition Classes
    Thread
    Annotations
    @throws( ... )
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. def run(): Unit
    Definition Classes
    BackgroundCrawler → Thread → Runnable
  34. def setContextClassLoader(arg0: ClassLoader): Unit
    Definition Classes
    Thread
  35. final def setDaemon(arg0: Boolean): Unit
    Definition Classes
    Thread
  36. final def setName(arg0: String): Unit
    Definition Classes
    Thread
  37. final def setPriority(arg0: Int): Unit
    Definition Classes
    Thread
  38. def setUncaughtExceptionHandler(arg0: UncaughtExceptionHandler): Unit
    Definition Classes
    Thread
  39. def start(): Unit
    Definition Classes
    Thread
  40. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  41. def toString(): String
    Definition Classes
    Thread → AnyRef → Any
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Deprecated Value Members

  1. def countStackFrames(): Int
    Definition Classes
    Thread
    Annotations
    @native() @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  2. def destroy(): Unit
    Definition Classes
    Thread
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  3. final def resume(): Unit
    Definition Classes
    Thread
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  4. final def stop(arg0: Throwable): Unit
    Definition Classes
    Thread
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  5. final def stop(): Unit
    Definition Classes
    Thread
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  6. final def suspend(): Unit
    Definition Classes
    Thread
    Annotations
    @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Thread

Inherited from Runnable

Inherited from AnyRef

Inherited from Any

Ungrouped