GeneratesTrace
Value members
Concrete methods
Indicates whether the view is paused. This implementation delegates
to the underlying View that is being traced.
Indicates whether the view is paused. This implementation delegates
to the underlying View that is being traced.
- Definition Classes
Causes an additional effect when the view is stopped (with stop()).
This implementation delegates to the underlying View that is being traced.
In addition, if the traced view had been started with startAndGet and reaches
its tick limit before being done, this method causes the returned future to
complete with a failure.
Causes an additional effect when the view is stopped (with stop()).
This implementation delegates to the underlying View that is being traced.
In addition, if the traced view had been started with startAndGet and reaches
its tick limit before being done, this method causes the returned future to
complete with a failure.
- Definition Classes
Simulates this trace-generating view with simulate and returns the resulting trace. This is equivalent to calling first simulate, then trace. See also startAndGet.
Simulates this trace-generating view with simulate and returns the resulting trace. This is equivalent to calling first simulate, then trace. See also startAndGet.
- Value parameters:
- tickLimit
the maximum number of ticks to simulate;
Int.MaxValue(which is the default) means there is no such limit
Starts this trace-generating view with start and returns a Future
that evaluates to the resulting trace. The Future succeeds when the view is done;
if the view isn’t done after a given number of clock ticks, the Future fails with
TraceAborted, producing a partial trace. See also simulateAndGet.
Starts this trace-generating view with start and returns a Future
that evaluates to the resulting trace. The Future succeeds when the view is done;
if the view isn’t done after a given number of clock ticks, the Future fails with
TraceAborted, producing a partial trace. See also simulateAndGet.
- Value parameters:
- tickLimit
the maximum number of ticks to process before the future completes with a failure; defaults to
Long.MaxValue
Returns a brief textual description of the view.
Returns a brief textual description of the view.
- Definition Classes
Returns a trace of the events processed by this view. The trace comes in a collection
of pairs, each of which is composed of a TraceData value that describes at the
time of the event and a TraceEvent value that describes the event itself.
Returns a trace of the events processed by this view. The trace comes in a collection
of pairs, each of which is composed of a TraceData value that describes at the
time of the event and a TraceEvent value that describes the event itself.