Packages

  • package root
    Definition Classes
    root
  • package o1

    O1Library is a toolkit designed for the course Programming 1 (a.k.a. O1) at Aalto University.

    O1Library is a toolkit designed for the course Programming 1 (a.k.a. O1) at Aalto University. It contains an assortment of tools; most prominently, it provides a framework for simple graphical programming and utilities for playing sound.

    This is the front page of O1Library’s documentation. However, this is probably not the best place to start learning about O1Library as a student. That’s because the relevant content of this library is introduced bit by bit in the chapters of O1’s custom ebook alongside the associated programming concepts and assignments.

    You may still find this documentation useful as a reference. You can also find some optional content here that you may wish to try.

    This front page lists the content available in the top-level package called simply o1. These tools are available with the simple command import o1._ in your Scala programs. Some of them you’ll use a lot; some of them you won’t necessarily need at all.

    The tools listed here are actually implemented in a number of subpackages (o1.gui, o1.sound, etc.); what you see here are just “shortcut aliases” to those actual implementations. The aliases are here to make that convenient import command work and to provide you with this list of links to some of the more commonly used tools in O1Library. The subpackages also contain additional content not listed here.

    O1Library has been developed by Aleksi Lukkarinen and Juha Sorva. Several of the key components in o1.gui and o1.world are built upon Aleksi’s Scala Media Computation Library. Some parts of O1Library draw inspiration from the “teachpacks” of the Racket programming language.

    We are grateful to Riku Autio, Joonatan Honkamaa, Juhani Numminen, Leo Varis, Veera Kahva, and anonymous students for bug reports and fixes. We thank Otto Seppälä for helpful discussions.

    Definition Classes
    root
  • package gui

    This package contains tools for building simple GUIs.

    This package contains tools for building simple GUIs. The toolkit is particularly well suited to constructing GUIs that display information as 2D images and/or geometric shapes. It is not designed for demanding graphical needs that call for high efficiency. Some of the tools in this package are built on the Swing GUI library, and the two libraries can be used in combination.

    Some of the types in this package have aliases in the top-level package o1, so they are accessible to students simply via import o1._. Some of the package contents are not available in the top-level package or included in this documentation.

    Please note: One of this package’s key components (views) comes in multiple varieties, which which are defined in the subpackages o1.gui.mutable and o1.gui.immutable and not listed below. The View that is most commonly used in O1 (and aliased as o1.View in the top-level package) is o1.gui.mutable.ViewFrame.

    Definition Classes
    o1
  • object immutable

    This package contains a version of Views that is not much used in O1: views to immutable domain models.

    This package contains a version of Views that is not much used in O1: views to immutable domain models. In O1, the other implementation in o1.gui.mutable is more relevant.

    Definition Classes
    gui
  • abstract class ViewComponent[Model] extends ViewImpl.ViewComponent[Model] with ControlDefaults[Model]

    A Swing-embeddable view (complete with a picture, a ticking clock, event handlers, etc.).

    A Swing-embeddable view (complete with a picture, a ticking clock, event handlers, etc.). It works like a ViewFrame except that it’s a Swing component, not a standalone GUI frame. See ViewFrame for an overview.

    Model

    the type of the states of the model

    Definition Classes
    immutable
  • SuperMixin
  • Traced
  • keys
  • mouse

final class Traced[TraceData] extends ViewComponent[Model] with TraceGeneratingDefaults[Model, TraceData]

A view that wraps around another, collecting a log or trace of events while delegating its actual event-handling to the wrapped view. Provides additional methods for accessing such traces: trace, simulateAndGet, and startAndGet. A few examples of using these methods are given below.

simulate 500 clock ticks on the trace-collecing view and print the trace of clock ticks accompanied by descriptions of the view’äs model.

for((traceItem, traceEvent) <- myTracedView.simulateAndGet(500)) {
  println(traceEvent + ": " + traceItem)
}

Or, equivalently:

myTracedView.simulate(500)
for((traceItem, traceEvent) <- myTracedView.trace) {
  println(traceEvent + ": " + traceItem)
}

Alternatively, start the trace-collecting view and run it interactively until it is done or a tick limit is reached. Then print the trace of ticks and GUI events accompanied with descriptions of the view’s model.

val futureTrace = myTracedView.startAndGet(tickLimit=100) recover {
  case Aborted(message, partialTrace) => partialTrace
}
for(trace <- futureTrace; (traceItem, traceEvent) <- trace) {
  println(traceEvent + ": " + traceItem)
}
TraceData

the type of the model-state descriptions in the trace

Linear Supertypes
TraceGeneratingDefaults[Model, TraceData], GeneratesTrace[Model, TraceData], ViewComponent[Model], ControlDefaults[Model], TooltipDefaults, ViewImpl.ViewComponent[Model], View.Controls[Model], Component, UIElement, LazyPublisher, Publisher, Reactor, Proxy, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Traced
  2. TraceGeneratingDefaults
  3. GeneratesTrace
  4. ViewComponent
  5. ControlDefaults
  6. TooltipDefaults
  7. ViewComponent
  8. Controls
  9. Component
  10. UIElement
  11. LazyPublisher
  12. Publisher
  13. Reactor
  14. Proxy
  15. AnyRef
  16. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Traced(extractTrace: (Model) => TraceData)

    extractTrace

    a function that determines how to describe a model state in the generated trace

Type Members

  1. final class Traced[TraceData] extends ViewComponent[Model] with TraceGeneratingDefaults[Model, TraceData]

    A view that wraps around another, collecting a log or trace of events while delegating its actual event-handling to the wrapped view.

    A view that wraps around another, collecting a log or trace of events while delegating its actual event-handling to the wrapped view. Provides additional methods for accessing such traces: trace, simulateAndGet, and startAndGet. A few examples of using these methods are given below.

    simulate 500 clock ticks on the trace-collecing view and print the trace of clock ticks accompanied by descriptions of the view’äs model.

    for((traceItem, traceEvent) <- myTracedView.simulateAndGet(500)) {
      println(traceEvent + ": " + traceItem)
    }

    Or, equivalently:

    myTracedView.simulate(500)
    for((traceItem, traceEvent) <- myTracedView.trace) {
      println(traceEvent + ": " + traceItem)
    }

    Alternatively, start the trace-collecting view and run it interactively until it is done or a tick limit is reached. Then print the trace of ticks and GUI events accompanied with descriptions of the view’s model.

    val futureTrace = myTracedView.startAndGet(tickLimit=100) recover {
      case Aborted(message, partialTrace) => partialTrace
    }
    for(trace <- futureTrace; (traceItem, traceEvent) <- trace) {
      println(traceEvent + ": " + traceItem)
    }
    TraceData

    the type of the model-state descriptions in the trace

    Definition Classes
    ViewComponent
  2. trait SuperMixin extends JComponent
    Attributes
    protected
    Definition Classes
    Component

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def adjustSpeed(newTickRate: Double): Unit

    Sets a new tick rate for the view, replacing any previously set by the constructor or this method.

    Sets a new tick rate for the view, replacing any previously set by the constructor or this method.

    Definition Classes
    ViewComponent
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def background: scala.swing.Color
    Definition Classes
    UIElement
  7. def background_=(c: scala.swing.Color): Unit
    Definition Classes
    UIElement
  8. def border: Border
    Definition Classes
    Component
  9. def border_=(b: Border): Unit
    Definition Classes
    Component
  10. def bounds: Rectangle
    Definition Classes
    UIElement
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  12. def componentOrientation: ComponentOrientation
    Definition Classes
    UIElement
  13. def componentOrientation_=(x: ComponentOrientation): Unit
    Definition Classes
    UIElement
  14. def cursor: Cursor
    Definition Classes
    UIElement
  15. def cursor_=(c: Cursor): Unit
    Definition Classes
    UIElement
  16. def deafTo(ps: Publisher*): Unit
    Definition Classes
    Reactor
  17. def displayable: Boolean
    Definition Classes
    UIElement
  18. def enabled: Boolean
    Definition Classes
    Component
  19. def enabled_=(b: Boolean): Unit
    Definition Classes
    Component
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(that: Any): Boolean
    Definition Classes
    Proxy → Any
  22. def focusable: Boolean
    Definition Classes
    Component
  23. def focusable_=(b: Boolean): Unit
    Definition Classes
    Component
  24. def font: Font
    Definition Classes
    UIElement
  25. def font_=(f: Font): Unit
    Definition Classes
    UIElement
  26. def foreground: scala.swing.Color
    Definition Classes
    UIElement
  27. def foreground_=(c: scala.swing.Color): Unit
    Definition Classes
    UIElement
  28. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  29. def hasFocus: Boolean
    Definition Classes
    Component
  30. def hashCode(): Int
    Definition Classes
    Proxy → Any
  31. def ignoreRepaint: Boolean
    Definition Classes
    UIElement
  32. def ignoreRepaint_=(b: Boolean): Unit
    Definition Classes
    UIElement
  33. def inputVerifier: (Component) => Boolean
    Definition Classes
    Component
  34. def inputVerifier_=(v: (Component) => Boolean): Unit
    Definition Classes
    Component
  35. def isDone(state: Model): Boolean

    Determines if the given state is a “done state” for the view.

    Determines if the given state is a “done state” for the view. This implementation delegates to the underlying View that is being traced.

    state

    a state of the model (possibly a done state)

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. final def isPaused: Boolean

    Indicates whether the view is paused.

    Indicates whether the view is paused. This implementation delegates to the underlying View that is being traced.

    Definition Classes
    GeneratesTrace → Controls
  38. def listenTo(ps: Publisher*): Unit
    Definition Classes
    Reactor
  39. val listeners: RefSet[Reaction]
    Attributes
    protected
    Definition Classes
    Publisher
  40. def locale: Locale
    Definition Classes
    UIElement
  41. def location: Point
    Definition Classes
    UIElement
  42. def locationOnScreen: Point
    Definition Classes
    UIElement
  43. def makePic(state: Model): Pic

    Returns a Pic that graphically represents the current state of the view’s model object.

    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.

    state

    a state of the model to be displayed

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  44. def maximumSize: Dimension
    Definition Classes
    UIElement
  45. def maximumSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  46. def minimumSize: Dimension
    Definition Classes
    UIElement
  47. def minimumSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  48. def name: String
    Definition Classes
    Component
  49. def name_=(s: String): Unit
    Definition Classes
    Component
  50. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  51. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  52. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  53. def onClick(state: Model, event: event.MouseClicked): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the click event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  54. def onClick(state: Model, position: Pos): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the click event

    position

    the position of the mouse cursor relative to the view’s top left-hand corner

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  55. def onFirstSubscribe(): Unit
    Attributes
    protected
    Definition Classes
    Component → UIElement → LazyPublisher
  56. def onKeyDown(state: Model, event: event.KeyPressed): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the keyboard event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  57. def onKeyDown(state: Model, key: Key): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the keyboard event

    key

    the key that was pressed down

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  58. def onKeyUp(state: Model, event: event.KeyReleased): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the keyboard event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  59. def onKeyUp(state: Model, key: Key): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the keyboard event

    key

    the key that was released

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  60. def onLastUnsubscribe(): Unit
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  61. def onMouseDown(state: Model, event: event.MousePressed): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the mouse event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  62. def onMouseDown(state: Model, position: Pos): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the mouse event

    position

    the position of the mouse cursor relative to the view’s top left-hand corner

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  63. def onMouseDrag(state: Model, event: event.MouseDragged): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the drag event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  64. def onMouseDrag(state: Model, position: Pos): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the drag event

    position

    the position of the mouse cursor relative to the view’s top left-hand corner

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  65. def onMouseEnter(state: Model, event: event.MouseEntered): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the mouse event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  66. def onMouseExit(state: Model, event: event.MouseExited): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the mouse event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  67. def onMouseMove(state: Model, event: event.MouseMoved): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the move event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  68. def onMouseMove(state: Model, position: Pos): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the move event

    position

    the position of the mouse cursor relative to the view’s top left-hand corner

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  69. def onMouseUp(state: Model, event: event.MouseReleased): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the mouse event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  70. def onMouseUp(state: Model, position: Pos): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the mouse event

    position

    the position of the mouse cursor relative to the view’s top left-hand corner

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  71. final def onStop(): Unit

    Causes an additional effect when the view is stopped (with stop()).

    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
    GeneratesTrace → Controls
  72. def onTick(previousState: Model, time: Long): Model

    Handles a clock tick and adds it to the view’s trace.

    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.

    previousState

    the state of the model before the clock tick

    time

    the running number of the clock tick (the first tick being number 1, the second 2, etc.)

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  73. def onTick(previousState: Model): Model

    Handles a clock tick and adds it to the view’s trace.

    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.

    previousState

    the state of the model before the clock tick

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  74. def onType(state: Model, event: event.KeyTyped): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the keyboard event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  75. def onType(state: Model, character: Char): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the keyboard event

    character

    the key that was typed

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  76. def onWheel(state: Model, event: event.MouseWheelMoved): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the wheel event

    event

    the GUI event that caused this handler to be called

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  77. def onWheel(state: Model, rotation: Int): Model

    Handles a GUI event and adds it to the view’s trace.

    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.

    state

    the state of the model at the time of the wheel event

    rotation

    the number of steps the wheel rotated (negative means up, positive down)

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  78. def opaque: Boolean
    Definition Classes
    Component
  79. def opaque_=(b: Boolean): Unit
    Definition Classes
    Component
  80. def paint(g: Graphics2D): Unit
    Definition Classes
    Component
  81. def paintBorder(g: Graphics2D): Unit
    Attributes
    protected
    Definition Classes
    Component
  82. def paintChildren(g: Graphics2D): Unit
    Attributes
    protected
    Definition Classes
    Component
  83. final def paintComponent(myGraphics: Graphics2D): Unit

    Renders the view as a Java AWT BufferedImage onto the component.

    Renders the view as a Java AWT BufferedImage onto the component.

    Definition Classes
    ViewComponent → Component
  84. lazy val peer: JComponent
    Definition Classes
    Component → UIElement
  85. def preferredSize: Dimension
    Definition Classes
    UIElement
  86. def preferredSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  87. def publish(e: Event): Unit
    Definition Classes
    Publisher
  88. val reactions: Reactions
    Definition Classes
    Reactor
  89. final def refresh(): Unit

    Programmatically requests an update to the graphics of the view (even though no clock tick or triggering GUI event occurred).

    Programmatically requests an update to the graphics of the view (even though no clock tick or triggering GUI event occurred).

    Definition Classes
    ViewComponent
  90. val refreshPolicy: RefreshPolicy
    Definition Classes
    ViewComponent
  91. def repaint(rect: Rectangle): Unit
    Definition Classes
    UIElement
  92. def repaint(): Unit
    Definition Classes
    UIElement
  93. def requestFocus(): Unit
    Definition Classes
    Component
  94. def requestFocusInWindow(): Boolean
    Definition Classes
    Component
  95. def revalidate(): Unit
    Definition Classes
    Component
  96. def self: Any
    Definition Classes
    UIElement → Proxy
  97. def showing: Boolean
    Definition Classes
    UIElement
  98. final def simulate(tickLimit: Int = Int.MaxValue): Unit

    Runs the view as if by calling start except that it runs “headless”, without expectation of being visible in a GUI and independently of a real-time clock.

    Runs the view as if by calling start except that it runs “headless”, without expectation of being visible in a GUI and independently of a real-time clock. A number of simulated clock ticks are immediately sent to the view; this continues until either the view determines it is done or a predetermined maximum number of ticks has been reached.

    tickLimit

    the maximum number of ticks to simulate; Int.MaxValue (which is the default) means there is no such limit

    Definition Classes
    ViewComponent → Controls
  99. final def simulateAndGet(tickLimit: Int = Int.MaxValue): Seq[(TraceData, TraceEvent)]

    Simulates this trace-generating view with simulate and returns the resulting trace.

    Simulates this trace-generating view with simulate and returns the resulting trace. This is equivalent to calling first simulate, then trace. See also startAndGet.

    tickLimit

    the maximum number of ticks to simulate; Int.MaxValue (which is the default) means there is no such limit

    Definition Classes
    GeneratesTrace
  100. def size: Dimension
    Definition Classes
    UIElement
  101. def sound(state: Model): Option[sound.sampled.Sound]

    Determines whether the view should play a sound, given a state of its model.

    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.

    state

    a state of the model

    returns

    a Sound that the view should play; None if no sound is appropriate for the given state

    Definition Classes
    TraceGeneratingDefaults → ControlDefaults → Controls
  102. final def start(): Unit

    Starts the view: loads the model into the component and starts the clock.

    Starts the view: loads the model into the component and starts the clock. Cf. simulate.

    Definition Classes
    ViewComponent → Controls
  103. final def startAndGet(tickLimit: Long = Long.MaxValue): Future[Seq[(TraceData, TraceEvent)]]

    Starts this trace-generating view with start and returns a Future that evaluates to the resulting trace.

    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 Aborted, producing a partial trace. See also simulateAndGet.

    tickLimit

    the maximum number of ticks to process before the future completes with a failure

    Definition Classes
    GeneratesTrace
  104. final def stop(): Unit

    Stops the view: stops the clock and stops listening to events.

    Stops the view: stops the clock and stops listening to events. A stopped view cannot be restarted.

    Definition Classes
    ViewComponent
  105. def subscribe(listener: Reaction): Unit
    Definition Classes
    LazyPublisher → Publisher
  106. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  107. final def toString: String

    Returns a brief textual description of the view.

    Returns a brief textual description of the view.

    Definition Classes
    GeneratesTrace → AnyRef → Any
  108. def toolkit: Toolkit
    Definition Classes
    UIElement
  109. def tooltip: String
    Definition Classes
    Component
  110. def tooltip_=(t: String): Unit
    Definition Classes
    Component
  111. final def trace: Seq[(TraceData, TraceEvent)]

    Returns a trace of the events processed by this view.

    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.

    Definition Classes
    GeneratesTrace
  112. final def traced: Traced[Model]

    Returns a View that stores a trace of the ticks and GUI events that its event handlers process.

    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.

    Definition Classes
    ControlDefaults
  113. final def tracedPics: Traced[Pic]

    Returns a View that stores a pictorial trace of the ticks and GUI events that the View’s event handlers process.

    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.

    Definition Classes
    ControlDefaults
  114. final def tracedWith[TraceData](extractTrace: (Model) => TraceData): Traced[TraceData]

    Returns a view that collects of the ticks and GUI events that the View’s event handlers process, using the given function to generate that trace.

    Returns a view that collects of the ticks and GUI events that the View’s event handlers process, using the given function to generate that trace. That trace-collecting view, which an instance of the Traced subclass, delegates the actual event handling to this original view but provides an additional interface for tracing.

    TraceData

    the type of the model-state descriptions in the trace

    extractTrace

    a function that determines how to describe a model state in the generated trace

    Definition Classes
    ViewComponent → ControlDefaults
    See also

    traced, tracedPics

  115. def unsubscribe(listener: Reaction): Unit
    Definition Classes
    LazyPublisher → Publisher
  116. def validate(): Unit
    Definition Classes
    UIElement
  117. def visible: Boolean
    Definition Classes
    UIElement
  118. def visible_=(b: Boolean): Unit
    Definition Classes
    UIElement
  119. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  120. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  121. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  122. def xLayoutAlignment: Double
    Definition Classes
    Component
  123. def xLayoutAlignment_=(x: Double): Unit
    Definition Classes
    Component
  124. def yLayoutAlignment: Double
    Definition Classes
    Component
  125. def yLayoutAlignment_=(y: Double): Unit
    Definition Classes
    Component
  126. object keys extends Publisher
    Definition Classes
    Component
  127. object mouse
    Definition Classes
    Component

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from TraceGeneratingDefaults[Model, TraceData]

Inherited from GeneratesTrace[Model, TraceData]

Inherited from ViewComponent[Model]

Inherited from ControlDefaults[Model]

Inherited from TooltipDefaults

Inherited from ViewImpl.ViewComponent[Model]

Inherited from View.Controls[Model]

Inherited from Component

Inherited from UIElement

Inherited from LazyPublisher

Inherited from Publisher

Inherited from Reactor

Inherited from Proxy

Inherited from AnyRef

Inherited from Any

Ungrouped