class MathHub extends LMHHub
- Alphabetic
- By Inheritance
- MathHub
- LMHHub
- Logger
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
MathHub(controller: Controller, local: File, remote: URI, https: Boolean = true)
- controller
the controller to use with this MathHub instance
- local
the local path of the MathHub instance
- remote
the remote URI of the MathHUb instance
- https
should we use https or ssh for cloning?
Type Members
- class MathHubArchiveEntry extends MathHubEntry with LMHHubArchiveEntry
- class MathHubDirectoryEntry extends MathHubEntry with LMHHubDirectoryEntry
-
abstract
class
MathHubEntry extends LMHHubEntry
represents a single entry of a MathHub controller
- class MathHubGroupEntry extends MathHubEntry with LMHHubGroupEntry
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
api_(page: Int): URI
- Attributes
- protected
-
def
archiveEntries: List[LMHHubArchiveEntry]
finds all archive entries available locally
finds all archive entries available locally
- Definition Classes
- LMHHub
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
available(spec: String*): List[(String, Option[String])]
resolves a list of available entries and returns pairs (id, version)
resolves a list of available entries and returns pairs (id, version)
- Definition Classes
- LMHHub
-
def
available_(): List[String]
return a list of available pages, at most 10
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- val controller: Controller
-
def
createEntry(id: String): Option[LMHHubEntry]
creates a new repository of the given ID
-
def
dirEntries: List[LMHHubDirectoryEntry]
finds all directory entries available locally
finds all directory entries available locally
- Definition Classes
- LMHHub
-
def
entries(spec: String*): List[LMHHubEntry]
find all repositories given a specification
find all repositories given a specification
- Definition Classes
- LMHHub
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getEntry(archive: Archive): Option[MathHubArchiveEntry]
gets a single locally installed archive by an Archive instance
-
def
getEntry(id: String): Option[MathHubEntry]
gets a single locally installed archive
-
def
getEntry(root: File): Option[MathHubEntry]
gets a single entry from the MathHub root
-
lazy val
git: Git
implements git
implements git
- Attributes
- protected
-
def
groupEntries: List[LMHHubGroupEntry]
finds all group entries available locally
finds all group entries available locally
- Definition Classes
- LMHHub
-
def
groupmf_(name: String): URI
- Attributes
- protected
-
def
hasEntry(root: File): Boolean
- Definition Classes
- LMHHub
-
def
hasEntry(archive: Archive): Boolean
- Definition Classes
- LMHHub
-
def
hasEntry(id: String): Boolean
- Definition Classes
- LMHHub
-
def
hasGroup(name: String): Boolean
checks if a group exists on the remote MathHub
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- var https: Boolean
-
def
installEntries(entries: List[(String, Option[String])], recursive: Boolean = false, update: Boolean = true): Unit
installs a list of new entries at once by cloning them from the server
-
def
installEntry(id: String, version: Option[String], recursive: Boolean = false, update: Boolean = true): Option[LMHHubEntry]
installs a new entry by cloning it from the server
installs a new entry by cloning it from the server
- id
ID of archive to install
- version
Optional version to be installed
- recursive
If set to false, do not install archive dependencies
- update
If set to false, do not update already installed archives
- returns
the newly installed entry
-
def
installedEntries: List[MathHubEntry]
find all the archives known to the controller
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- var local: File
-
def
localPath(id: String): File
get the default local path for a repository with the given id
-
def
log(e: Error): Unit
logs an error - always logged
logs an error - always logged
- Attributes
- protected
- Definition Classes
- Logger
-
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
-
def
logError(s: ⇒ String): Unit
log as an error message
log as an error message
- Attributes
- protected
- Definition Classes
- Logger
-
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
- val logPrefix: String
-
def
logTemp(s: ⇒ String): Unit
temporary logging - always logged
temporary logging - always logged
- Attributes
- protected
- Definition Classes
- Logger
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- var remote: URI
-
def
remoteURL(id: String): String
get the default remote url for a repository with a given id
- def report: Report
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- object MathHubEntry