Packages

class OMMMTCoding extends OMCoding[Term]

Decode / Encode MMT Terms as OpenMath objects.

Source
OMMMTCoding.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OMMMTCoding
  2. OMCoding
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OMMMTCoding(default: ⇒ URI)

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 actencode(om: OMAny)(implicit toplevel: OMAny): Term

    acts on an absolutized OpenMath term

    acts on an absolutized OpenMath term

    Attributes
    protected
  5. def apply[S <: OMAny](t: Term): S
    Definition Classes
    OMCoding
  6. def apply(om: OMAny): Term
    Definition Classes
    OMCoding
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  9. def decode(t: Term): OMAny

    Decodes an OpenMath Object

    Decodes an OpenMath Object

    t

    object to decode

    Definition Classes
    OMMMTCodingOMCoding
  10. def decodeAnyVal(t: Term): OMAnyVal

    decodes an OMNode object *

    decodes an OMNode object *

    Definition Classes
    OMMMTCodingOMCoding
  11. def decodeApplication(t: Term): OMApplication
    Definition Classes
    OMCoding
  12. def decodeAttribution(t: Term): OMAttribution
    Definition Classes
    OMCoding
  13. def decodeBinding(t: Term): OMBinding
    Definition Classes
    OMCoding
  14. def decodeBytes(t: Term): OMBytes
    Definition Classes
    OMCoding
  15. def decodeCompound(t: Term): OMCompoundElement
    Definition Classes
    OMCoding
  16. def decodeDerived(t: Term): OMDerivedElement
    Definition Classes
    OMCoding
  17. def decodeError(t: Term): OMError
    Definition Classes
    OMCoding
  18. def decodeExpression(t: Term): OMExpression
    Definition Classes
    OMCoding
  19. def decodeFloat(t: Term): OMFloat
    Definition Classes
    OMCoding
  20. def decodeForeign(t: Term): OMForeign
    Definition Classes
    OMCoding
  21. def decodeInteger(t: Term): OMInteger
    Definition Classes
    OMCoding
  22. def decodeReference(t: Term): OMReference
    Definition Classes
    OMCoding
  23. def decodeString(t: Term): OMString
    Definition Classes
    OMCoding
  24. def decodeSymbol(t: Term): OMSymbol
    Definition Classes
    OMCoding
  25. def decodeVariable(t: Term): OMVariable
    Definition Classes
    OMCoding
  26. def encode(om: OMAny): Term

    encode an arbitrary OpenMath term as an MMT Term

    encode an arbitrary OpenMath term as an MMT Term

    om

    OpenMath Object to encode

    Definition Classes
    OMMMTCodingOMCoding
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  29. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  30. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  31. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  32. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  33. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  34. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  35. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  36. def relativize(om: OMExpression): OMExpression
    Attributes
    protected
  37. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  38. def toString(): String
    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  42. object BindingBody

Inherited from OMCoding[Term]

Inherited from AnyRef

Inherited from Any

Ungrouped