Packages

case class OMFOREIGN(node: Node) extends Term with Product with Serializable

An OMFOREIGN represents an OpenMath foreign object.

node

the XML element holding the foreign object

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

Instance Constructors

  1. new OMFOREIGN(node: Node)

    node

    the XML element holding the foreign object

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 finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. 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
  15. def from(o: Term): OMFOREIGN.this.type

    applies copyFrom and returns this

    applies copyFrom and returns this

    returns

    this object but with the metadata from o

    Definition Classes
    Term
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def getMetaDataNode: NodeSeq
    Definition Classes
    HasMetaData
  18. 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
  19. lazy val hash: Int

    the hash code

    the hash code

    Definition Classes
    HashEquality
  20. 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
  21. 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
  22. def head: None.type
    Definition Classes
    OMFOREIGNObj
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. def mdNode: Seq[Node] with AbstractSeq[Node] with Serializable
    Attributes
    protected
    Definition Classes
    Obj
  25. val metadata: MetaData
    Definition Classes
    HasMetaData
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. val node: Node
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. def strip: Term
    Definition Classes
    Term
  31. 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
  32. 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
    OMFOREIGNObj
  33. 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
  34. def substitute(sub: Substitution)(implicit sa: SubstitutionApplier): OMFOREIGN

    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
    OMFOREIGNObj
  35. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  36. def toCML: Node
    Definition Classes
    Obj
  37. def toCMLQVars(implicit qvars: Context): Elem
    Definition Classes
    OMFOREIGNObj
  38. 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
  39. def toNode: Elem

    prints to OpenMath

    prints to OpenMath

    Definition Classes
    OMFOREIGNObjContent
  40. 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
  41. def toOBJNode: Elem

    prints to OpenMath (with OMOBJ wrapper)

    prints to OpenMath (with OMOBJ wrapper)

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

    configurable string representation

    configurable string representation

    shortURIs

    print OMS without namespace, theory

    Definition Classes
    OMFOREIGNShortURIPrinter
  43. def toString(): String

    defaults to toStr(false)

    defaults to toStr(false)

    Definition Classes
    ShortURIPrinter → AnyRef → Any
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. 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 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