case class OMBinding(B: OMExpression, vars: OMBindVariables, C: OMExpression, id: Option[String], cdbase: Option[URI]) extends OMCompoundElement with CompoundAttributes with Product with Serializable
An OpenMath Binding
- B
Binding object
- vars
variables to bind
- C
Bound Term
- id
Identifier
- cdbase
CD Base URI
- Source
- OMAny.scala
- Alphabetic
- By Inheritance
- OMBinding
- Serializable
- Serializable
- Product
- Equals
- CompoundAttributes
- CDBaseAttribute
- CommonAttributes
- OMCompoundElement
- OMExpression
- OMAnyVal
- OMAny
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
OMBinding(B: OMExpression, vars: OMBindVariables, C: OMExpression, id: Option[String], cdbase: Option[URI])
- B
Binding object
- vars
variables to bind
- C
Bound Term
- id
Identifier
- cdbase
CD Base URI
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
- val B: OMExpression
- val C: OMExpression
-
def
absolutize(uri: URI): OMBinding
Resolves all CDBase attributes relative to a URI.
Resolves all CDBase attributes relative to a URI.
- uri
URI to resolve relative to
- Definition Classes
- OMBinding → OMCompoundElement → OMExpression → OMAnyVal → OMAny
-
def
apply(arguments: OMExpression*): OMApplication
- Definition Classes
- OMExpression
-
def
apply(id: Option[String], arguments: OMExpression*): OMApplication
- Definition Classes
- OMExpression
-
def
apply(id: Option[String], cdbase: Option[URI], arguments: OMExpression*): OMApplication
Applies this OpenMath Expression to a list of other expressions
Applies this OpenMath Expression to a list of other expressions
- id
Optional. Identifier,
- cdbase
Optional. CD Base URI.
- arguments
Arguments to pass to the application
- Definition Classes
- OMExpression
-
def
asApplication: OMApplication
- Definition Classes
- OMAnyVal
-
def
asAttribution: OMAttribution
- Definition Classes
- OMAnyVal
-
def
asBinding: OMBinding
- Definition Classes
- OMAnyVal
-
def
asBytes: OMBytes
- Definition Classes
- OMAnyVal
-
def
asCompound: OMCompoundElement
- Definition Classes
- OMAnyVal
-
def
asDerived: OMDerivedElement
- Definition Classes
- OMAnyVal
-
def
asError: OMError
- Definition Classes
- OMAnyVal
-
def
asExpression: OMExpression
- Definition Classes
- OMAnyVal
-
def
asFloat: OMFloat
- Definition Classes
- OMAnyVal
-
def
asForeign: OMForeign
- Definition Classes
- OMAnyVal
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
asInteger: OMInteger
- Definition Classes
- OMAnyVal
-
def
asReference: OMReference
- Definition Classes
- OMAnyVal
-
def
asString: OMString
- Definition Classes
- OMAnyVal
-
def
asSymbol: OMSymbol
- Definition Classes
- OMAnyVal
-
def
asVariable: OMVariable
- Definition Classes
- OMAnyVal
-
val
cdbase: Option[URI]
The base CD of this object
The base CD of this object
- Definition Classes
- OMBinding → CDBaseAttribute
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
components: List[OMAny]
Extracts all components from this OpenMath object
Extracts all components from this OpenMath object
- Definition Classes
- OMAny
-
def
deReference(f: (OMReference) ⇒ OMExpression): OMAny
De-reference OMRefs
-
def
deReferenceLocals(): OMAny
De-reference OMRefs that point into the local element.
De-reference OMRefs that point into the local element.
- Definition Classes
- OMAny
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
foreachComponent[A](f: (OMAny) ⇒ A): GenTraversableOnce[A]
Applies a function to each component and returns a list of components.
Applies a function to each component and returns a list of components.
- A
return type of the function.
- f
Function to apply
- Definition Classes
- OMAny
-
def
getAnyById(id: String): Option[CommonAttributes]
Gets an OpenMath Element by an identifier.
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
val
id: Option[String]
the id of this object
the id of this object
- Definition Classes
- OMBinding → CommonAttributes
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
mapComponents(f: (OMAny) ⇒ OMAny): OMExpression
Maps all structural components of this OpenMath object.
Maps all structural components of this OpenMath object.
- f
Function to apply. Is expected to main subtypes OMAnyVal, OMObject, OMExpression, OMAttributionPairs, OMSymbol within OMAttributionPairs and OMError, OMVar, OMBindVariables
- Definition Classes
- OMBinding → OMCompoundElement → OMExpression → OMAnyVal → OMAny
-
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()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val vars: OMBindVariables
-
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()