TraceGeneratingView
Attributes
- Graph
-
- Supertypes
- Known subtypes
Members list
Value members
Concrete methods
Determines if the given state is a “done state” for the view. This implementation delegates to the underlying View
that is being traced.
Returns a Pic that graphically represents the current state of the view’s model
object. This implementation delegates to the underlying View
that is being traced.
Returns a Pic that graphically represents the current state of the view’s model
object. This implementation delegates to the underlying View
that is being traced.
Parameters
- state
-
a state of the model to be displayed
Attributes
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a clock tick and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a clock tick and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Handles a GUI event and adds it to the view’s trace. Delegates the actual event-handling to the corresponding method on the underlying View
that is being traced.
Determines whether the view should play a sound, given a state of its model. This implementation delegates to the underlying underlying View
that is being traced.
Inherited 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.
Attributes
- Definition Classes
- Inherited from:
- GeneratesTrace
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.
Attributes
- Definition Classes
- Inherited from:
- GeneratesTrace
Attributes
- Inherited from:
- Controls (hidden)
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.
Parameters
- tickLimit
-
the maximum number of ticks to simulate;
Int.MaxValue
(which is the default) means there is no such limit
Attributes
- Inherited from:
- GeneratesTrace
Attributes
- Inherited from:
- Controls (hidden)
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.
Parameters
- tickLimit
-
the maximum number of ticks to process before the future completes with a failure; defaults to
Long.MaxValue
Attributes
- Inherited from:
- GeneratesTrace
Returns a brief textual description of the view.
Returns a brief textual description of the view.
Attributes
- Definition Classes
- Inherited from:
- GeneratesTrace
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.
Attributes
- Inherited from:
- GeneratesTrace
Returns a View
that stores a trace of the ticks and GUI events that its event handlers process. This parameterless method stores, at each event, the (immutable) state of the View
’s model. This is equivalent to calling tracedWith and passing in identity
.
Returns a View
that stores a trace of the ticks and GUI events that its event handlers process. This parameterless method stores, at each event, the (immutable) state of the View
’s model. This is equivalent to calling tracedWith and passing in identity
.
Attributes
- Inherited from:
- Controls
Returns a View
that stores a pictorial trace of the ticks and GUI events that the View
’s event handlers process. This is equivalent to calling tracedWith and passing in the View
’s makePic
method.
Returns a View
that stores a pictorial trace of the ticks and GUI events that the View
’s event handlers process. This is equivalent to calling tracedWith and passing in the View
’s makePic
method.
Attributes
- Inherited from:
- Controls