c

info.kwarc.mmt.odk.SCSCP.Protocol

SCSCPTerminated

case class SCSCPTerminated(error: OMError, attributes: OMAttributionPairs) extends SCSCPResult with Product with Serializable

A Result that indicates that the computation has been aborted prematurely

error

OMError object describing the error in more detail

attributes

Attributes representing this result

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

    error

    OMError object describing the error in more detail

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

    The OpenMath body of this SCSCPResult

    The OpenMath body of this SCSCPResult

    Attributes
    protected
    Definition Classes
    SCSCPTerminatedSCSCPResult
  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
    SCSCPTerminatedSCSCPResult
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. val error: OMError
  12. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. def get: OMExpression

    Gets the expression representing this SCSCPResult

    Gets the expression representing this SCSCPResult

    Definition Classes
    SCSCPResult
  14. 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
  15. 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
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  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