Packages

t

info.kwarc.mmt.api.archives

LMHHubEntry

trait LMHHubEntry extends Logger

represents a single git archive inside an LMHHub that is installed on disk

Source
LMHHub.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LMHHubEntry
  2. Logger
  3. AnyRef
  4. 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

  2. abstract val hub: LMHHub

    the MathHub this LMHHubEntry belongs to

  3. abstract val id: String

    the id of this archive entry

  4. abstract def load(): Unit

    loads the LMHHubEntry or throw an error if it is invalid

  5. abstract def logicalVersion: Option[String]

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

  6. abstract def physicalVersion: Option[String]

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

  7. abstract def properties: Map[String, String]

    the properties of this entry, if any

  8. abstract def pull: Boolean

    pull the newest version of this archive from the remote

  9. abstract def push: Boolean

    push the newest version of this archive to the remote

  10. abstract val root: File

    the local root of this archive entry

  11. abstract def setRemote(remote: String): Boolean

    reset the remote url of this archive to a given one

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
  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

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

    the name of the group of this entry

  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. def log(e: Error): Unit

    logs an error - always logged

    logs an error - always logged

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

    log as an error message

    log as an error message

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

    temporary logging - always logged

    temporary logging - always logged

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

    check if this archive matches a given spec

  22. lazy val name: String

    the name of this archive

  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. def readLongDescription: Option[String]

    reads the long description

  27. def report: Report
    Definition Classes
    LMHHubEntryLogger
  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. 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

  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()

Inherited from Logger

Inherited from AnyRef

Inherited from Any

Ungrouped