c

info.kwarc.mmt.odk.SCSCP.Protocol

SCSCPObjectReturned

case class SCSCPObjectReturned(result: OMExpression, attributes: OMAttributionPairs) extends SCSCPResult with Product with Serializable

A Result that returns the object computed

result

Expression that has been returned

attributes

Attributes representing this result

Source
SCSCPResult.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, SCSCPResult, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SCSCPObjectReturned
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. SCSCPResult
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SCSCPObjectReturned(result: OMExpression, attributes: OMAttributionPairs)

    result

    Expression that has been returned

    attributes

    Attributes representing this result

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val attributes: OMAttributionPairs
    Definition Classes
    SCSCPObjectReturned → SCSCPResult
  6. val body: OMApplication

    The OpenMath body of this SCSCPResult

    The OpenMath body of this SCSCPResult

    Attributes
    protected
    Definition Classes
    SCSCPObjectReturned → SCSCPResult
  7. val call_id: String

    The call id of this SCSCPResult

    The call id of this SCSCPResult

    Definition Classes
    SCSCPResult
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  9. def data: Option[OMExpression]

    The data contained in this SCSCPResult (if any)

    The data contained in this SCSCPResult (if any)

    Definition Classes
    SCSCPObjectReturned → SCSCPResult
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def get: OMExpression

    Gets the expression representing this SCSCPResult

    Gets the expression representing this SCSCPResult

    Definition Classes
    SCSCPResult
  13. def getAttribute(name: String): OMAnyVal

    Gets an attribute within the content dictionary or None

    Gets an attribute within the content dictionary or None

    name

    Name of the Symbol within the scscp1CD to get

    Definition Classes
    SCSCPResult
  14. def getAttribute(attribute: OMSymbol): OMAnyVal

    Gets an attribute of the attribution object or null

    Gets an attribute of the attribution object or null

    attribute

    OMSymbol referencing attribute to get

    Definition Classes
    SCSCPResult
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. val result: OMExpression
  21. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  22. def toObject: OMObject

    Turns this SCSCPResult into an OpenMath object

    Turns this SCSCPResult into an OpenMath object

    Definition Classes
    SCSCPResult
  23. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. 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 SCSCPResult

Inherited from AnyRef

Inherited from Any

Ungrouped