c

info.kwarc.mmt.odk.SCSCP.Protocol

SCSCPObjectStored

case class SCSCPObjectStored(omr: OMReference, attributes: OMAttributionPairs) extends SCSCPResult with Product with Serializable

A Result that stores the result object on the server

omr

Reference to the object on the server

attributes

Attributes representing this result

Source
SCSCPResult.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SCSCPObjectStored
  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 SCSCPObjectStored(omr: OMReference, attributes: OMAttributionPairs)

    omr

    Reference to the object on the server

    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
    SCSCPObjectStoredSCSCPResult
  6. val body: OMApplication

    The OpenMath body of this SCSCPResult

    The OpenMath body of this SCSCPResult

    Attributes
    protected
    Definition Classes
    SCSCPObjectStoredSCSCPResult
  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
    SCSCPObjectStoredSCSCPResult
  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 omr: OMReference
  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