TSThreadLog

Instance Constructors

new TSThreadLog(t: Int, iters: Int, concObj: C, mkInvoke: (Int, String, (S) ⇒ Any) ⇒ InvokeEvent[S, Any, Any], mkReturn: (Int, Any) ⇒ ReturnEvent[Any])

t
the identity of the thread.
iters
the number of operations performed by this worker.
concObj
the concurrent object shared between workers.
mkInvoke
function to create an InvokeEvent.
mkReturn
function to create a new ReturnEvent.

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def apply[A, B](concOp: (C) ⇒ A, msg: String, seqOp: (S) ⇒ B): Unit

Log that the thread performs an operation.
Log that the thread performs an operation.
A
the type of the result of the operation.
B
the type of the return of the operation on the sequential object; this will be A for a tester based on an undoable sequential object, and (A,S) for a tester based on an immutable sequential object.
concOp
the operation on the concurrent datatype.
msg
a string describing the operation, used in debugging output; semantically different operations should use different strings.
seqOp
the corresponding operation on the sequential datatype.

Definition Classes
GenericThreadLog
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
def get: Array[TS[Event]]

Get the log.
Get the log.

Attributes
protected[ox.cads.testing]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def log[A, B](concOp: (C) ⇒ A, msg: String, seqOp: (S) ⇒ B): Unit

Log that thread t performs operation described by msg.
Log that thread t performs operation described by msg.
A
the type of the result of the operation.
B
the type of the return of the operation on the sequential object; this will be A for a tester based on an undoable sequential object, and (A,S) for a tester based on an immutable sequential object.
concOp
the operation on the concurrent datatype.
msg
a string describing the operation, used in debugging output; semantically different operations should use different strings.
seqOp
the corresponding operation on the sequential datatype.

Definition Classes
TSThreadLog → GenericThreadLog
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

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

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

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

Definition Classes
AnyRef
Annotations
@throws()

class TSThreadLog[S, C] extends GenericThreadLog[S, C]

Instance Constructors

new TSThreadLog(t: Int, iters: Int, concObj: C, mkInvoke: (Int, String, (S) ⇒ Any) ⇒ InvokeEvent[S, Any, Any], mkReturn: (Int, Any) ⇒ ReturnEvent[Any])

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def apply[A, B](concOp: (C) ⇒ A, msg: String, seqOp: (S) ⇒ B): Unit

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def get: Array[TS[Event]]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def log[A, B](concOp: (C) ⇒ A, msg: String, seqOp: (S) ⇒ B): Unit

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from GenericThreadLog[S, C]

Inherited from AnyRef

Inherited from Any

Ungrouped