class OpaqueText extends OpaqueElement
opaque contents using flat text structure intermixed with Objects
string representation: {...} for variable scopes, $...$ for MMT objects XML representation: <scope> for variable scopes, <OMOBJ> or <unparsed> for MMT objects
- Source
- OpaqueText.scala
- Alphabetic
- By Inheritance
- OpaqueText
- OpaqueElement
- NarrativeElement
- StructuralElement
- NamedElement
- Content
- ClientProperties
- HasMetaData
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new OpaqueText(parent: DPath, format: String, text: TextFragment)
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
clientProperty: ListMap[URI, Any]
- Definition Classes
- ClientProperties
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
compatibilityKey: TextFragment
used to check if a changed opaque element can be merged into tihs one
-
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
- OpaqueText → StructuralElement
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
equivalentTo(that: StructuralElement): Boolean
logically equivalent: compares headerInfo, components, and declarations
logically equivalent: compares headerInfo, components, and declarations
- Definition Classes
- StructuralElement
-
val
feature: String
the kind of declaration, e.g., "constant"
the kind of declaration, e.g., "constant"
- Definition Classes
- OpaqueElement → StructuralElement
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
val
format: String
the format of the element
the format of the element
- Definition Classes
- OpaqueText → OpaqueElement
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getComponent(k: ComponentKey): Option[ComponentContainer]
returns a specific component if present
returns a specific component if present
- Definition Classes
- StructuralElement
-
def
getComponentContext(key: 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
- OpaqueText → StructuralElement
-
def
getComponents: List[DeclarationComponent]
components are the objects in left-to-right order, they're numbered starting from 0
components are the objects in left-to-right order, they're numbered starting from 0
- Definition Classes
- OpaqueText → NarrativeElement → StructuralElement
-
def
getDeclarations: Nil.type
the children of this element
the children of this element
- Definition Classes
- OpaqueElement → StructuralElement
-
def
getMetaDataNode: NodeSeq
- Definition Classes
- HasMetaData
-
def
getOrigin: Origin
- Definition Classes
- StructuralElement
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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
-
def
isGenerated: Boolean
- Definition Classes
- StructuralElement
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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
-
val
metadata: MetaData
- Definition Classes
- HasMetaData
-
lazy val
name: LocalName
the name relative to the parent
the name relative to the parent
- Definition Classes
- OpaqueElement → NamedElement
-
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()
-
val
parent: DPath
the containing knowledge item, a URL if none
the containing knowledge item, a URL if none
- Definition Classes
- OpaqueText → OpaqueElement → StructuralElement
-
def
parentOpt: Some[DPath]
the containing document (if any)
the containing document (if any)
- Definition Classes
- OpaqueElement → NarrativeElement
-
def
path: DPath
the MMT URI of the element
the MMT URI of the element
- Definition Classes
- OpaqueElement → NarrativeElement → StructuralElement
-
def
raw: Node
the raw text that was used to create it
the raw text that was used to create it
- Definition Classes
- OpaqueText → OpaqueElement
-
def
setOrigin(o: Origin): Unit
- Definition Classes
- StructuralElement
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val text: TextFragment
-
def
toNode: Elem
XML representation
XML representation
- Definition Classes
- OpaqueElement → Content
-
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
-
def
toString(): String
- Definition Classes
- OpaqueText → OpaqueElement → 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()