object MMTSystem
- Source
- System.scala
- Alphabetic
- By Inheritance
- MMTSystem
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
case class
Classes(classFolder: File) extends DeployRunStyle with Product with Serializable
run from classes in src/mmt-api folder
-
sealed abstract
class
DeployRunStyle extends RunStyle
run from expected folder structure
-
case class
DownloadedFatJar(jar: File) extends RunStyle with IsFat with Product with Serializable
run from a fat jar that is not part of the expected file structure
-
case class
FatJar(jar: File) extends DeployRunStyle with IsFat with Product with Serializable
run from installed fat jar
-
sealed
trait
IsFat extends AnyRef
run from self-contained mmt.jar
-
sealed abstract
class
RunStyle extends AnyRef
information about how MMT was run, needed to access resources
-
case class
ThinJars(deploy: File) extends DeployRunStyle with Product with Serializable
run from mmt-api.jar in deploy folder
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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
lazy val
buildTime: Option[String]
the time when this version of MMT (if far jar built with sbt) was built
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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
getLatestVersion: (String, String)
Gets the latest version of the MMT System using the GitHub API.
Gets the latest version of the MMT System using the GitHub API. May throw any kind of exception if it fails -- this should be handled by the caller. Returns a pair (version, url)
-
def
getResource(path: String): InputStream
retrieves a resource from the jar or the resource folder depending on the RunStyle, may be null
- def getResourceAsString(path: String): String
-
def
getResourceList(path: String): List[String]
return a list of available resources at the given path
-
lazy val
git: Git
the git used by this MMT instance
-
lazy val
gitVersion: Option[String]
the git version (branch) used by mmt, if available
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
lazy val
legalNotices: String
legal notices, required by certain licenses
-
lazy val
manifest: Option[Map[String, String]]
the manifest file (if run from fat jar)
-
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()
-
lazy val
runStyle: RunStyle
the RunStyle of the current run
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
val
userConfigFile: File
expected location of the user's mmtrc file
-
lazy val
version: String
the version of MMT being used
-
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
OtherStyle extends RunStyle with Product with Serializable
run in unknown way, in particular as part of jedit