class MMTConfig extends AnyRef
an MMT configuration stores catalogs for finding extensions, archives, etc. It is a list of ConfEntry that can be read from a .cfg file
- Source
- MMTConfig.scala
- Alphabetic
- By Inheritance
- MMTConfig
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new MMTConfig()
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 add(that: MMTConfig): Unit
- def addEntry(e: ConfEntry): Unit
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
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] )
- def getArchive(aid: String): ArchiveConf
- def getArchives: List[ArchiveConf]
- def getBase: String
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getEntries[E <: ConfEntry](cls: Class[E]): List[E]
- def getEntries: List[ConfEntry]
- def getEntry[E <: ConfEntry](cls: Class[E], id: String): Option[E]
- def getExporters(format: String): List[String]
- def getExportersForArchive(archive: String): List[String]
-
def
getForeignEntries(section: String): List[ForeignConf]
all foreign conf entries of a certain section
- def getFormat(id: String): FormatConf
- def getImporters(format: String): List[String]
- def getImportersForArchive(archive: String): List[String]
- def getProfile(id: String): ProfileConf
- def getWritableArchives: List[ArchiveConf]
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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()
- def setBase(b: String): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- MMTConfig → 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()