package metadata
MetaDatum is the stateless class that represents metadata items.
MetaData statefully maintains a set of MetaDatums.
Elements that have metadata inherit from HasMetaData.
- Source
- package.scala
- Alphabetic
- By Inheritance
- metadata
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
abstract
class
Annotator[A] extends AnyRef
convenience to access the metadata for a specific key
-
class
GlobalNameLinker extends Annotator[GlobalName]
special case where we link to an MMT URI, either as a URI or an OMID
-
trait
HasMetaData extends AnyRef
The trait MetaData is mixed into any class that can carry metadata
-
abstract
class
Linker[A] extends AnyRef
convenience to access the metadata for a specific key
-
class
MetaData extends AnyRef
represents a list of metadata key-value pairs duplicate keys or key-value pairs are permitted
-
class
MetaDatum extends AnyRef
an individual MetaDatum
- class StringAnnotator extends Annotator[String]
-
class
Tagger extends AnyRef
convenience to access a certain tag
convenience to access a certain tag
instantiate with the tag and then apply the methods to instances of HasMetaData
- class TermAnnotator extends Annotator[Term]
-
class
URILinker extends Linker[URI]
special case where we link to a plain URI
Value Members
-
object
Generated extends Tagger
convenience methods for marking generated objects (without a specific origin)
convenience methods for marking generated objects (without a specific origin)
This is used for, e.g., generated notations.
-
object
Link
Helper object to distinguish MetaDatum's whose objects are URIs () from other ones ()
Helper object to distinguish MetaDatum's whose objects are URIs () from other ones ()
-
object
MetaData
helper object
-
object
MetaDatum
helper object
-
object
Tag
apply/unapply methods for tags: a tag is a MetaDatum whose value is null
-
object
TagAbstracted extends Tagger
a variable binding introduced by abstracting over free variables
-
object
TagEtaExpanded extends Tagger
a variable binding introduced by eta-expansion
-
object
TagInferredType extends Tagger
a variable binding where the type was inferred