package documents
NarrativeElements are all elements that do not have a semantics of their own.
The most important case are Documents. Inside, documents a few other other documents may occur.
- Source
- package.scala
- Alphabetic
- By Inheritance
- documents
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
class
DRef extends NRef
reference to a document section
-
class
Document extends NarrativeElement with ContainerElement[NarrativeElement] with DefaultMutability[NarrativeElement]
A Document represents an MMT document.
A Document represents an MMT document.
A document is stored as a list of references (XRef) to content items. The content itself is stored in the controller.
-
sealed abstract
class
DocumentLevel extends AnyRef
the role of a Document in a hierarchy of nested documents root documents are the ones at FileLevel - the ones containing modules Any not-semantically-relevant nesting structure above or below is also represented by documents.
the role of a Document in a hierarchy of nested documents root documents are the ones at FileLevel - the ones containing modules Any not-semantically-relevant nesting structure above or below is also represented by documents.
The levels are organized into triples of root-inner-leaf, where each leaf is the root of another triple: * Hub-Group-Archive: the structure above projects. * Archive-Folder-File: the structure inside projects. * File-Section-Module: the structure inside source files. * Module-SectionInModule-Module: the structure inside modules
- case class DocumentRule(parent: DPath, rulepath: MPath, rule: Option[Rule]) extends InterpretationInstruction with Product with Serializable
-
case class
FixedMeta(parent: DPath, meta: MPath) extends InterpretationInstruction with Product with Serializable
defines a fixed meta-theory
-
sealed abstract
class
InterpretationInstruction extends NarrativeElement
elements that have no semantics in themselves but help interpret other elements, primarily used to guide reconstruction of information that is omitted in concrete syntax
-
class
InterpretationInstructionContext extends AnyRef
keeps track of a list of interpretation instructions and performs lookups in them
-
class
MRef extends NRef
reference to a info.kwarc.mmt.api.modules.Module
-
abstract
class
NRef extends NarrativeElement
An NRef represents a reference from a document to an external document fragment or module.
An NRef represents a reference from a document to an external document fragment or module. An NRef is semantically equivalent to copy-pasting the referenced module.
-
case class
Namespace(parent: DPath, namespace: Path) extends InterpretationInstruction with Product with Serializable
defines the default namespace
-
case class
NamespaceImport(parent: DPath, prefix: String, namespace: DPath) extends InterpretationInstruction with Product with Serializable
defines a namespace as an abbreviation for a Path
-
class
NarrativeMetadata extends Annotator[String]
this class should be generalized to allow any semi-formal values
-
class
SRef extends NRef
reference to a info.kwarc.mmt.api.symbols.Declaration}
Value Members
- object ArchiveLevel extends DocumentLevel with Product with Serializable
- object DRef
- object DocumentLevel
- object FileLevel extends DocumentLevel with Product with Serializable
- object FolderLevel extends DocumentLevel with Product with Serializable
- object GroupLevel extends DocumentLevel with Product with Serializable
- object HubLevel extends DocumentLevel with Product with Serializable
- object InterpretationInstruction
- object InterpretationInstructionContext
- object MRef
- object ModuleLevel extends DocumentLevel with Product with Serializable
- object NarrativeMetadata
- object SRef
- object SectionInModuleLevel extends DocumentLevel with Product with Serializable
- object SectionLevel extends DocumentLevel with Product with Serializable