ox.cads.testing

ThreadStates

class ThreadStates[S] extends AnyRef

Each object of this class records the states of each thread within a configuration

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

Instance Constructors

  1. new ThreadStates(states: Array[ThreadState])

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. def allowsReturn(t: Int): Boolean

    Can thread t return

  7. def allowsReturn(t: Int, result: Any): Boolean

    Can thread t return result?

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  11. def equals(other: Any): Boolean

    Definition Classes
    ThreadStates → AnyRef → Any
  12. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  13. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  14. def getOp[A](t: Int): (String, (S) ⇒ (Any, S), Any)

    Get pending operation.

  15. def hasPending(t: Int): Boolean

    Does t have an operation pending?

  16. def hashCode(): Int

    Definition Classes
    ThreadStates → AnyRef → Any
  17. def invoke[A](t: Int, msg: String, op: (S) ⇒ (A, S), result: A): Unit

    Add that op is invoked by t (destructive).

  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  19. val length: Int

    The number of states.

  20. def logFire[A](t: Int, res: A): ThreadStates[S]

    Give new ThreadStates object corresponding to t doing op producing res (non-destructive).

  21. def logFireReturn(t: Int): Unit

    Log that t fired op and returned (destructive).

  22. def logFireReturn1(t: Int): ThreadStates[S]

    Log that t fired op and returned (non-destructive).

  23. def logInvoke[A](t: Int, msg: String, op: (S) ⇒ (A, S), result: A): ThreadStates[S]

    Create new ThreadStates corresponding to op being invoked by t.

    Create new ThreadStates corresponding to op being invoked by t. (Non-destructive.)

  24. def logReturn(t: Int): ThreadStates[S]

    Give new ThreadStates object corresponding to t having returned (non-destructive).

  25. def logReturn(t: Int, result: Any): ThreadStates[S]

    Give new ThreadStates object corresponding to t having returned result (non-destructive).

  26. def logReturn1(t: Int, result: Any): Unit

    Log that t returns result (destructive).

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

    Definition Classes
    AnyRef
  28. final def notify(): Unit

    Definition Classes
    AnyRef
  29. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  30. def numPending: Int

    Number of pending operations.

  31. val states: Array[ThreadState]

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

    Definition Classes
    AnyRef
  33. def toString(): String

    Definition Classes
    ThreadStates → AnyRef → Any
  34. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  35. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  36. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any

Ungrouped