case classInvokeEvent[S, A, B](t: Int, msg: String, op: (S) ⇒ B) extends Event with Product with Serializable
Events used for logging invocations of operations.
S
the type of the sequential specification object
A
the type of the return value
B
the type of the return of the operation on the sequential
object; this will be A for testers based on undoable sequential objects,
and (A,S) for testers based on immutable objects.
t
the identity of the thread.
msg
a message describing the operation.
op
the corresponding operation on the sequential datatype.
Linear Supertypes
Serializable, Serializable, Product, Equals, Event, AnyRef, Any
Events used for logging invocations of operations.
the type of the sequential specification object
the type of the return value
the type of the return of the operation on the sequential object; this will be A for testers based on undoable sequential objects, and (A,S) for testers based on immutable objects.
the identity of the thread.
a message describing the operation.
the corresponding operation on the sequential datatype.