Packages

case class OMLIT(value: Any, rt: RealizedType) extends Term with OMLITTrait with Product with Serializable

A literal consists of a RealizedType rt and a value of SemanticType rt.semType.

Literals can be constructed conveniently using RealizedType.apply

invariant for structurally well-formed literals: the value is valid and normal, i.e, rt.semType.valid(value) and rt.semType.normalform(value) == value

Source
Obj.scala
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OMLIT
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. OMLITTrait
  7. Term
  8. ThisTypeTrait
  9. Obj
  10. HashEquality
  11. ShortURIPrinter
  12. BaseType
  13. Content
  14. ClientProperties
  15. HasMetaData
  16. AnyRef
  17. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OMLIT(value: Any, rt: RealizedType)

Type Members

  1. final type ThisType = Term

    the type of this instance

    the type of this instance

    This is needed to provide sharper return types for inductive functions, e.g., substitution returns Term if applied to Term, Context if applied to Context, etc.

    Definition Classes
    TermObj

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. def ^(sub: Substitution): ThisType

    applies a substitution to an object (computed immediately) implemented in terms of ^^ and PlainSubstitutionApplier

    applies a substitution to an object (computed immediately) implemented in terms of ^^ and PlainSubstitutionApplier

    Definition Classes
    Obj
  5. def ^?(sub: Substitution): ThisType

    optimized version of substitution defined in terms of SmartSubstitutionApplier

    optimized version of substitution defined in terms of SmartSubstitutionApplier

    Definition Classes
    Obj
  6. def ^^(sub: Substitution)(implicit sa: SubstitutionApplier): ThisType

    convenience method that applies substitution by relegating to a SubstitutionApplier

    convenience method that applies substitution by relegating to a SubstitutionApplier

    This has the effect that o ^^ sub becomes an infix notation for substitution if an implicit SubstitutionApplier is available.

    Definition Classes
    Obj
  7. def apply(args: Term*): OMA

    permits the intuitive f(t_1,...,t_n) syntax for term applications

    permits the intuitive f(t_1,...,t_n) syntax for term applications

    Definition Classes
    Term
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. lazy val clientProperty: ListMap[URI, Any]
    Definition Classes
    ClientProperties
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  11. def copyFrom(o: Obj): Unit

    replaces metadata of this with pointer to those of o

    replaces metadata of this with pointer to those of o

    o

    the original object call o2.copyFrom(o1) after transforming o1 into o2 in order to preserve metadata

    Definition Classes
    Obj
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(that: Any): Boolean

    checks equality, including the case OMLIT =?= UnknownOMLIT

    checks equality, including the case OMLIT =?= UnknownOMLIT

    Definition Classes
    OMLITTrait → AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. lazy val freeVars: List[LocalName]

    the free variables of this object in any order

    the free variables of this object in any order

    Definition Classes
    Obj
  16. def from(o: Term): OMLIT.this.type

    applies copyFrom and returns this

    applies copyFrom and returns this

    returns

    this object but with the metadata from o

    Definition Classes
    Term
  17. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def getMetaDataNode: NodeSeq
    Definition Classes
    HasMetaData
  19. def governingPath: Option[ContentPath]

    the governing path required by Content is the head, if any

    the governing path required by Content is the head, if any

    Definition Classes
    Obj
  20. lazy val hash: Int

    the hash code

    the hash code

    Definition Classes
    HashEquality
  21. def hashCode(): Int

    hash code depends only on synType and valueString

    hash code depends only on synType and valueString

    Definition Classes
    OMLITTrait → AnyRef → Any
  22. def hasheq(that: HashEquality[Obj]): Boolean

    this hasheq that is the same as this == that, but fails immediately if false

    this hasheq that is the same as this == that, but fails immediately if false

    Definition Classes
    HashEquality
  23. def hashneq(that: HashEquality[Obj]): Boolean

    this hasheq that is the same as this == that, but fails immediately if false

    this hasheq that is the same as this == that, but fails immediately if false

    Definition Classes
    HashEquality
  24. def head: None.type
    Definition Classes
    OMLITTraitObj
  25. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  26. def mdNode: Seq[Node] with AbstractSeq[Node] with Serializable
    Attributes
    protected
    Definition Classes
    Obj
  27. val metadata: MetaData
    Definition Classes
    HasMetaData
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. val rt: RealizedType
  32. def strip: Term
    Definition Classes
    Term
  33. def subobject(pos: Position): (Context, Obj)

    returns the subobject at a given position and its context

    returns the subobject at a given position and its context

    Definition Classes
    Obj
  34. def subobjects: Nil.type

    all direct subobjects of this object with their context (excluding any outer context of this object)

    all direct subobjects of this object with their context (excluding any outer context of this object)

    Definition Classes
    OMLITTraitObj
  35. def subobjectsNoContext(os: List[Obj]): List[(Context, Obj)]

    auxiliary function for subobjects in the absence of binding

    auxiliary function for subobjects in the absence of binding

    Attributes
    protected
    Definition Classes
    Obj
  36. def substitute(sub: Substitution)(implicit sa: SubstitutionApplier): OMLITTrait

    generic version of substitution that does one step and recurses according to a SubstitutionApplier

    generic version of substitution that does one step and recurses according to a SubstitutionApplier

    capture is avoided by renaming bound variables that are free in sub

    Individual SubstitutionAppliers can default to this method in order to recurse one level.

    Definition Classes
    OMLITTraitObj
  37. def synType: Term
    Definition Classes
    OMLITOMLITTrait
  38. def synTypeXML: Union[String, Node]
    Definition Classes
    OMLITTrait
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toCML: Node
    Definition Classes
    Obj
  41. def toCMLQVars(implicit qvars: Context): Elem
    Definition Classes
    OMLITTraitObj
  42. def toMPath: MPath

    the syntactically computed MPath of the term.

    the syntactically computed MPath of the term. If the term is module level, this is guaranteed to be correct.

    Definition Classes
    Term
  43. def toNode: Elem

    prints to OpenMath

    prints to OpenMath

    Definition Classes
    OMLITTraitObjContent
  44. 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
  45. def toOBJNode: Elem

    prints to OpenMath (with OMOBJ wrapper)

    prints to OpenMath (with OMOBJ wrapper)

    Definition Classes
    Obj
  46. def toStr(implicit shortURIs: Boolean): String

    configurable string representation

    configurable string representation

    shortURIs

    print OMS without namespace, theory

    Definition Classes
    OMLITShortURIPrinter
  47. def toString(): String

    defaults to toStr(false)

    defaults to toStr(false)

    Definition Classes
    ShortURIPrinter → AnyRef → Any
  48. val value: Any
  49. def valueString: String

    canonical string representation of this literal

    canonical string representation of this literal

    Definition Classes
    OMLITOMLITTrait
  50. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  51. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from OMLITTrait

Inherited from Term

Inherited from ThisTypeTrait

Inherited from Obj

Inherited from HashEquality[Obj]

Inherited from ShortURIPrinter

Inherited from BaseType

Inherited from Content

Inherited from ClientProperties

Inherited from HasMetaData

Inherited from AnyRef

Inherited from Any

Ungrouped