Packages

t

info.kwarc.mmt.api

ContainerElement

trait ContainerElement[S <: StructuralElement] extends StructuralElement with MutableElementContainer[S]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ContainerElement
  2. MutableElementContainer
  3. ElementContainer
  4. StructuralElement
  5. NamedElement
  6. Content
  7. ClientProperties
  8. HasMetaData
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def add(s: S, at: AddPosition = AtEnd): Unit
    Definition Classes
    MutableElementContainer
  2. abstract def delete(name: LocalName): Option[S]
    Definition Classes
    MutableElementContainer
  3. abstract def domain: Iterable[LocalName]
    Definition Classes
    ElementContainer
  4. abstract val feature: String

    the kind of declaration, e.g., "constant"

    the kind of declaration, e.g., "constant"

    Definition Classes
    StructuralElement
  5. abstract def getComponents: List[DeclarationComponent]

    returns all term components of this elements

    returns all term components of this elements

    Definition Classes
    StructuralElement
  6. abstract def getDeclarations: List[S]
    Definition Classes
    ElementContainer
  7. abstract def getMostSpecific(name: LocalName): Option[(S, LocalName)]
    Definition Classes
    ElementContainer
  8. abstract def getO(name: LocalName): Option[S]
    Definition Classes
    ElementContainer
  9. abstract def name: LocalName

    the name relative to the parent

    the name relative to the parent

    Definition Classes
    NamedElement
  10. abstract def parent: ComponentParent

    the containing knowledge item, a URL if none

    the containing knowledge item, a URL if none

    Definition Classes
    StructuralElement
  11. abstract def path: ComponentParent

    the MMT URI of the element

    the MMT URI of the element

    Definition Classes
    StructuralElement
  12. abstract def reorder(name: LocalName): Unit

    moves the named declaration to the beginning, thus calling reorder in the new order reorders the container

    moves the named declaration to the beginning, thus calling reorder in the new order reorders the container

    Definition Classes
    MutableElementContainer
  13. abstract def toNode: Node

    XML representation

    XML representation

    Definition Classes
    Content
  14. abstract def update(s: S): Unit
    Definition Classes
    MutableElementContainer

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. lazy val clientProperty: ListMap[URI, Any]
    Definition Classes
    ClientProperties
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  7. def compatible(that: StructuralElement): Boolean

    two StructuralElement's are compatible if they have the same type, same Path, and agree in all parts that are TermContainer's

    two StructuralElement's are compatible if they have the same type, same Path, and agree in all parts that are TermContainer's

    Definition Classes
    StructuralElement
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def equivalentTo(that: StructuralElement): Boolean

    logically equivalent: compares headerInfo, components, and declarations

    logically equivalent: compares headerInfo, components, and declarations

    Definition Classes
    StructuralElement
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def get(name: LocalName): S
    Definition Classes
    ElementContainer
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def getComponent(k: ComponentKey): Option[ComponentContainer]

    returns a specific component if present

    returns a specific component if present

    Definition Classes
    StructuralElement
  15. def getComponentContext(k: ComponentKey): Context

    like getComponent but returns the additional context (in addition to the context of the element) of the component, empty by default, override as needed unspecified if the component does not exist

    like getComponent but returns the additional context (in addition to the context of the element) of the component, empty by default, override as needed unspecified if the component does not exist

    Definition Classes
    StructuralElement
  16. def getDeclarationsBefore(n: LocalName): List[S]
    Definition Classes
    ElementContainer
  17. def getDeclarationsElaborated: List[S]

    the list of declarations using elaborated declarations where possible these are: primitive elements: includes, constants other elements if they have not been fully elaborated

  18. def getMetaDataNode: NodeSeq
    Definition Classes
    HasMetaData
  19. def getO(name: String): Option[S]

    same as get(LocalName(name))

    same as get(LocalName(name))

    Definition Classes
    ElementContainer
  20. def getOrigin: Origin
    Definition Classes
    StructuralElement
  21. def getPrimitiveDeclarations: List[S]

    the list of declarations in the order of addition, excludes generated declarations

  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. def headerInfo: HeaderInfo

    header information of this elements includes the MMT types (e.g., domain, codomain of links) but not the logical types of constants

    header information of this elements includes the MMT types (e.g., domain, codomain of links) but not the logical types of constants

    Definition Classes
    StructuralElement
  24. def isDeclared(name: LocalName): Boolean
    Definition Classes
    ElementContainer
  25. def isGenerated: Boolean
    Definition Classes
    StructuralElement
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. def merge(that: StructuralElement): Unit

    merge all properties of 'that' into 'this' except for components and declarations

    merge all properties of 'that' into 'this' except for components and declarations

    Definition Classes
    StructuralElement
  28. val metadata: MetaData
    Definition Classes
    HasMetaData
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. def setOrigin(o: Origin): Unit
    Definition Classes
    StructuralElement
  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. def toNode(rh: RenderingHandler): Unit

    by default, this prints out toNode

    by default, this prints out toNode

    potentially large StructuralElements should override it with a memory-efficient implementation

    Definition Classes
    Content
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from MutableElementContainer[S]

Inherited from ElementContainer[S]

Inherited from StructuralElement

Inherited from NamedElement

Inherited from Content

Inherited from ClientProperties

Inherited from HasMetaData

Inherited from AnyRef

Inherited from Any

Ungrouped