Packages

t

info.kwarc.mmt.api.archives

LMHHubDirectoryEntry

trait LMHHubDirectoryEntry extends LMHHubEntry

Represents a simple LMHHub Directory entry

Source
LMHHub.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LMHHubDirectoryEntry
  2. LMHHubEntry
  3. Logger
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def fetch: Boolean

    download information about archive versions from the remote

    download information about archive versions from the remote

    Definition Classes
    LMHHubEntry
  2. abstract val hub: LMHHub

    the MathHub this LMHHubEntry belongs to

    the MathHub this LMHHubEntry belongs to

    Definition Classes
    LMHHubEntry
  3. abstract def logicalVersion: Option[String]

    returns the logical version (a.k.a branch) of an installed archive

    returns the logical version (a.k.a branch) of an installed archive

    Definition Classes
    LMHHubEntry
  4. abstract def physicalVersion: Option[String]

    returns the physical version (a.k.a commit hash) of an installed archive

    returns the physical version (a.k.a commit hash) of an installed archive

    Definition Classes
    LMHHubEntry
  5. abstract def pull: Boolean

    pull the newest version of this archive from the remote

    pull the newest version of this archive from the remote

    Definition Classes
    LMHHubEntry
  6. abstract def push: Boolean

    push the newest version of this archive to the remote

    push the newest version of this archive to the remote

    Definition Classes
    LMHHubEntry
  7. abstract val root: File

    the local root of this archive entry

    the local root of this archive entry

    Definition Classes
    LMHHubEntry
  8. abstract def setRemote(remote: String): Boolean

    reset the remote url of this archive to a given one

    reset the remote url of this archive to a given one

    Definition Classes
    LMHHubEntry

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 controller: Controller
    Attributes
    protected
    Definition Classes
    LMHHubEntry
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. def fixRemote: Boolean

    fix the remote url of the archive

    fix the remote url of the archive

    Definition Classes
    LMHHubEntry
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. lazy val group: String

    the name of the group of this entry

    the name of the group of this entry

    Definition Classes
    LMHHubEntry
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. lazy val id: String

    the id of this archive entry

    the id of this archive entry

    Definition Classes
    LMHHubDirectoryEntryLMHHubEntry
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. def load(): Unit

    loads the LMHHubEntry or throw an error if it is invalid

    loads the LMHHubEntry or throw an error if it is invalid

    Definition Classes
    LMHHubDirectoryEntryLMHHubEntry
  17. def log(e: Error): Unit

    logs an error - always logged

    logs an error - always logged

    Attributes
    protected
    Definition Classes
    Logger
  18. 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
  19. def logError(s: ⇒ String): Unit

    log as an error message

    log as an error message

    Attributes
    protected
    Definition Classes
    Logger
  20. 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
  21. val logPrefix: String
    Definition Classes
    LMHHubEntryLogger
  22. def logTemp(s: ⇒ String): Unit

    temporary logging - always logged

    temporary logging - always logged

    Attributes
    protected
    Definition Classes
    Logger
  23. def matches(spec: String): Boolean

    check if this archive matches a given spec

    check if this archive matches a given spec

    Definition Classes
    LMHHubEntry
  24. lazy val name: String

    the name of this archive

    the name of this archive

    Definition Classes
    LMHHubEntry
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. def properties: Map[String, String]

    the properties of this entry, if any

    the properties of this entry, if any

    Definition Classes
    LMHHubDirectoryEntryLMHHubEntry
  29. def readLongDescription: Option[String]

    reads the long description

    reads the long description

    Definition Classes
    LMHHubEntry
  30. def report: Report
    Definition Classes
    LMHHubEntryLogger
  31. def statistics: Option[SimpleStatistics]
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. def version: Option[String]

    gets the version of an installed archive, a.k.a.

    gets the version of an installed archive, a.k.a. the branch of the git commit hash

    Definition Classes
    LMHHubEntry
  35. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from LMHHubEntry

Inherited from Logger

Inherited from AnyRef

Inherited from Any

Ungrouped