ox.cads.testing

UndoConfig

class UndoConfig[S <: Undoable] extends AnyRef

A configuration, with undoing. Used in the JITLinUndoTester.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. UndoConfig
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UndoConfig(seqObj: S, p: Int)

Type Members

  1. case class Pending[S, A](msg: String, op: (S) ⇒ A, result: A) extends ThreadState with Product with Serializable

    A thread has invoked an operation described by msg, corresponding to operation op on the sequential object; this operation has not yet been linearized.

  2. case class Ret(res: Any) extends ThreadState with Product with Serializable

    A thread has had an operation linearized, producing res, but this has not yet returned.

  3. abstract class ThreadState extends AnyRef

    The type of states of threads.

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object Out extends ThreadState with Product with Serializable

    A thread is not currently in any operation call

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  8. def canReturn(t: Int): Boolean

    Can t's operation return?

  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  10. def doReturn(t: Int): ThreadState

    Record t's operation as returned, returning previous state.

  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  14. def fire(t: Int): Either[ThreadState, Any]

    Fire t's operation if it produces the expected value.

    Fire t's operation if it produces the expected value. Pre: t has a pending operation.

    returns

    Either t's previous state (if successful) or the result produced (otherwise).

  15. def fireRet(t: Int): Either[ThreadState, Any]

    Try to return t's operation, firing it if it hasn't already been fired and produces the expected value.

    Try to return t's operation, firing it if it hasn't already been fired and produces the expected value.

    returns

    Either t's previous state (if successful) or the result produced (otherwise).

  16. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  17. def hasPending(t: Int): Boolean

    Does t have a pending operation?

  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  19. def invoke[A](t: Int, msg: String, op: (S) ⇒ A, result: A): Unit

    Add that op is invoked by t.

  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  21. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  25. def toString(): String

    Definition Classes
    AnyRef → Any

  26. def undo(t: Int, prev: ThreadState): Unit

    Undo the last event, resetting t's state to prev.

  27. def uninvoke[A](t: Int, msg: String, op: (S) ⇒ A, result: A): Unit

    Undo invocation of op by t.

  28. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  29. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  30. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any

Ungrouped