class OMMMTCoding extends OMCoding[Term]
Decode / Encode MMT Terms as OpenMath objects.
- Source
- OMMMTCoding.scala
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- OMMMTCoding
- OMCoding
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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
-
def
actencode(om: OMAny)(implicit toplevel: OMAny): Term
acts on an absolutized OpenMath term
acts on an absolutized OpenMath term
- Attributes
- protected
-
def
apply[S <: OMAny](t: Term): S
- Definition Classes
- OMCoding
-
def
apply(om: OMAny): Term
- Definition Classes
- OMCoding
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
decode(t: Term): OMAny
Decodes an OpenMath Object
-
def
decodeAnyVal(t: Term): OMAnyVal
decodes an OMNode object *
decodes an OMNode object *
- Definition Classes
- OMMMTCoding → OMCoding
-
def
decodeApplication(t: Term): OMApplication
- Definition Classes
- OMCoding
-
def
decodeAttribution(t: Term): OMAttribution
- Definition Classes
- OMCoding
-
def
decodeBinding(t: Term): OMBinding
- Definition Classes
- OMCoding
-
def
decodeBytes(t: Term): OMBytes
- Definition Classes
- OMCoding
-
def
decodeCompound(t: Term): OMCompoundElement
- Definition Classes
- OMCoding
-
def
decodeDerived(t: Term): OMDerivedElement
- Definition Classes
- OMCoding
-
def
decodeError(t: Term): OMError
- Definition Classes
- OMCoding
-
def
decodeExpression(t: Term): OMExpression
- Definition Classes
- OMCoding
-
def
decodeFloat(t: Term): OMFloat
- Definition Classes
- OMCoding
-
def
decodeForeign(t: Term): OMForeign
- Definition Classes
- OMCoding
-
def
decodeInteger(t: Term): OMInteger
- Definition Classes
- OMCoding
-
def
decodeReference(t: Term): OMReference
- Definition Classes
- OMCoding
-
def
decodeString(t: Term): OMString
- Definition Classes
- OMCoding
-
def
decodeSymbol(t: Term): OMSymbol
- Definition Classes
- OMCoding
-
def
decodeVariable(t: Term): OMVariable
- Definition Classes
- OMCoding
-
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
- OMMMTCoding → OMCoding
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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()
-
def
relativize(om: OMExpression): OMExpression
- Attributes
- protected
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- 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()
- object BindingBody