|
Trull | ||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| Packages that use Suspendable | |
|---|---|
| edu.luc.cs.trull | Contains all the classes for building systems in Trull, a framework for concurrent programming with objects, threads, and events in Java. |
| edu.luc.cs.trull.demo | Contains common classes used in the Triveni demos. |
| edu.luc.cs.trull.demo.battleship | Provides a simple battleship demo (run this demo). |
| edu.luc.cs.trull.demo.counter | Demonstrates how bounded counters, control buttons, and clocks can be composed (run demo 1 run demo 1a run demo 2 run demo 3 run demo 4 run demo 5 run demo 6). |
| edu.luc.cs.trull.demo.microwave | Provides a microwave oven demo (run this demo). |
| edu.luc.cs.trull.demo.office | Demonstrates an environmental control system for an office building (run this demo). |
| edu.luc.cs.trull.demo.rmi | Provides a small distributed demo based on a simple RMI peer-to-peer architecture. |
| edu.luc.cs.trull.demo.stopwatch | Provides a simple stopwatch demo (run this demo). |
| edu.luc.cs.trull.demo.task | Demonstrates some capabilities of the Trull Task framework (run timer demo run simple task demo run complex task demo). |
| edu.luc.cs.trull.demo.test | Provides some useful classes for manual unit testing of Trull components (run this demo). |
| edu.luc.cs.trull.demo.wristwatch | Demonstrates a simple wristwatch (run this demo). |
| edu.luc.cs.trull.swing | Provides various classes for the seamless integration of Trull with Swing. |
| edu.luc.cs.trull.task | Provides support for representing ongoing, autonomous activities as Trull components. |
| edu.luc.cs.trull.tl | Provides an implementation of temporal logic expressions in Java. |
| Uses of Suspendable in edu.luc.cs.trull |
|---|
| Subinterfaces of Suspendable in edu.luc.cs.trull | |
|---|---|
interface |
Combinator
A building block for building complex components from existing components. |
interface |
Component
A building block for a concurrent software system. |
| Classes in edu.luc.cs.trull that implement Suspendable | |
|---|---|
class |
AbstractCombinator
An abstract superclass for combinators with the ability to manage a list of Trull components. |
class |
AbstractComponent
An abstract superclass for components. |
class |
ActionComponent
An adapter for using a simple PropertyChangeListener as a Trull component. |
class |
AwaitAll
A conjunctive await. |
class |
AwaitOne
A disjunctive await. |
class |
Composite
The composition of zero or more concurrent components that communicate through PropertyChangeEvents. |
class |
Control
A combinator that maps sets of events to a component's lifecycle methods start and stop. |
class |
Cycle
A combinator that cycles round-robin among several components on any event from a given set of triggering events. |
class |
Done
A basic component that does nothing and terminates immediately. |
class |
Emit
A basic component for unconditional event emission. |
class |
EmitComponent
A superclass or delegation support class for components that require preemptable and suspendable event emission. |
class |
EmptyComponent
An empty Trull component implementation. |
class |
If
A data-driven selection mechanism that evaluates its predicate and immediately chooses and starts the corresponding branch. |
class |
Local
A combinator for hiding events within a component. |
class |
Loop
A combinator that provides looping. |
(package private) class |
MethodForwardingSupport
Method forwarding support for implementing Composite. |
class |
Nil
A basic component does nothing but never terminates. |
class |
Rename
A combinator for event renaming and event hiding. |
class |
Sequence
A combinator for executing zero or more components in sequence. |
class |
SingleChildCombinator
An abstract superclass for Trull combinators with a single child. |
class |
Suspend
A combinator for mapping sets of events to a component's lifecycle methods suspend and resume. |
class |
Switch
A data-driven selection mechanism that immediately evaluates its valuator (criterium) and chooses the corresponding branch. |
class |
TerminatingComponent
An abstract superclass for components that signal termination to their parents in the component tree. |
class |
Watching
A combinator for event-based preemption. |
| Uses of Suspendable in edu.luc.cs.trull.demo |
|---|
| Classes in edu.luc.cs.trull.demo that implement Suspendable | |
|---|---|
class |
Clock
A continuous one-tick-per-second activity. |
| Uses of Suspendable in edu.luc.cs.trull.demo.battleship |
|---|
| Classes in edu.luc.cs.trull.demo.battleship that implement Suspendable | |
|---|---|
(package private) class |
Ship
A ship of a given length and witdh. |
(package private) class |
WindowShip
User interface for entering Place and Shot events. |
| Uses of Suspendable in edu.luc.cs.trull.demo.counter |
|---|
| Classes in edu.luc.cs.trull.demo.counter that implement Suspendable | |
|---|---|
class |
ButtonComponent
A component that emits an event each time the button is pressed. |
(package private) class |
ButtonReactor
An adapter that causes a button to emit a Trull event. |
class |
CarryCounter
A carry counter suitable for building a multi-digit counter. |
class |
CompositeCounter
A composite counter suitable for building a multi-digit counter from two existing carry counters. |
class |
Counter
A bounded counter implemented as a JavaBean with Trull support only for event emission. |
class |
CounterComponent
A bounded counter implemented fully in Trull as a complex component. |
class |
Haltable
A preemption wrapper around a component. |
class |
Pauseable
A suspend/resume wrapper around a component. |
| Uses of Suspendable in edu.luc.cs.trull.demo.microwave |
|---|
| Classes in edu.luc.cs.trull.demo.microwave that implement Suspendable | |
|---|---|
class |
ControlPanel
The control panel consists of buttons for setting the time, for starting and stopping the device, for setting timer-only mode, and for changing the power setting. |
(package private) class |
HeatController
|
(package private) class |
Heater
|
(package private) class |
Light
|
(package private) class |
LightController
|
class |
Microwave
The control logic for a microwave oven. |
(package private) class |
Platter
|
(package private) class |
Safety
|
(package private) class |
SetMode
|
(package private) class |
SetPower
|
(package private) class |
TimerController
|
(package private) class |
TimerController.CountDown
|
(package private) class |
TimerController.SetTime
|
| Uses of Suspendable in edu.luc.cs.trull.demo.office |
|---|
| Classes in edu.luc.cs.trull.demo.office that implement Suspendable | |
|---|---|
class |
Building
An office building. |
class |
ControlPanelUI
The central control panel for an office building. |
class |
EconomyControl
The economy control logic for an office. |
(package private) class |
EconomyControl.EmitAwake
|
(package private) class |
EconomyControl.EmitSleep
|
(package private) class |
EconomyControl.SetLastTemp
|
class |
OccupantControl
The occupant control logic for an office. |
class |
Office
An office in an office building. |
class |
OfficeControl
An office control logic that switches between occupant control and economy control. |
(package private) static class |
OfficeControl.EmitSetTemp
A component that emits a SETTEMP event with the requested temperature. |
class |
OfficeUI
The occupant control panel for an office. |
class |
TemperatureStableOffice
A temperature-stabilized office. |
class |
Thermostat
A simple thermostat. |
| Uses of Suspendable in edu.luc.cs.trull.demo.rmi |
|---|
| Classes in edu.luc.cs.trull.demo.rmi that implement Suspendable | |
|---|---|
(package private) class |
TestComponent
The main logic of the demo component. |
(package private) class |
UserInterface
A button (-> PRESS) and a checkbox (<- CHECK) in a frame. |
| Uses of Suspendable in edu.luc.cs.trull.demo.stopwatch |
|---|
| Classes in edu.luc.cs.trull.demo.stopwatch that implement Suspendable | |
|---|---|
class |
Translation
The controller logic of the stopwatch. |
| Uses of Suspendable in edu.luc.cs.trull.demo.task |
|---|
| Classes in edu.luc.cs.trull.demo.task that implement Suspendable | |
|---|---|
class |
TimerDemo
This example demonstrates how a Swing timer can be placed under the control of a suitable Trull component. |
| Uses of Suspendable in edu.luc.cs.trull.demo.test |
|---|
| Classes in edu.luc.cs.trull.demo.test that implement Suspendable | |
|---|---|
class |
ConsoleTester
A tester for Trull components, which reads event labels from the console and passes it to the component. |
class |
SwingTester
A GUI-based component used to test a Trull component manually. |
| Uses of Suspendable in edu.luc.cs.trull.demo.wristwatch |
|---|
| Classes in edu.luc.cs.trull.demo.wristwatch that implement Suspendable | |
|---|---|
class |
DateMode
datemode = emit DATE ; emit NOW(60 * month + day) ; loop UPDATE -> emit NOW(60 * month + day) |
(package private) class |
SetDay
( emit DAY ; emit NOW(60 * month + day) ; loop START -> emit NOW(60 * month + (day = ...)) ) |
(package private) class |
SetHour
( emit HOUR ; emit NOW(time / 60) ; loop START -> emit NOW(time = (time + 3600) % ...) ) |
(package private) class |
SetMinute
( emit MIN ; emit NOW(time / 60) ; loop START -> emit NOW(time = time / 3600 * 3600 + (time + 60) % ...) ) |
(package private) class |
SetMonth
( emit MONTH ; emit NOW(60 * month + day) ; loop START -> emit NOW(60 * (month = ...) + day) ) |
class |
TimeMode
timemode = emit TIME ; emit NOW(time / 60) ; loop UPDATE -> emit NOW(time / 60) |
class |
Update
update = loop TICK -> { time ++; } emit UPDATE |
class |
WristWatch
The top-level control logic for the wristwatch. |
| Uses of Suspendable in edu.luc.cs.trull.swing |
|---|
| Subinterfaces of Suspendable in edu.luc.cs.trull.swing | |
|---|---|
interface |
VisualComponent
A visual component is a Trull component with an associated view in the form of a Swing component. |
| Classes in edu.luc.cs.trull.swing that implement Suspendable | |
|---|---|
class |
ActionEventAdapter
A converter that listens to a Swing component and converts ActionEvents events to PropertyChangeEvents. |
class |
InputPanel
A visual component that provides a user interface consisting of a button panel. |
| Uses of Suspendable in edu.luc.cs.trull.task |
|---|
| Classes in edu.luc.cs.trull.task that implement Suspendable | |
|---|---|
(package private) class |
AbstractTaskWorker
A Worker for the step-by-step execution of a Task using an Executor. |
class |
DefaultTaskWorker
A Worker for the step-by-step execution of a Task using Trull's default scheduling mechanism. |
class |
PooledTaskWorker
A Worker that uses a multi-threaded PooledExecutor to perform its Task. |
class |
QueuedTaskWorker
A Worker that uses a single-threaded QueuedExecutor to perform its Task. |
| Uses of Suspendable in edu.luc.cs.trull.tl |
|---|
| Classes in edu.luc.cs.trull.tl that implement Suspendable | |
|---|---|
class |
Assert
An item-selectable component that wraps around a temporal logic assertion. |
|
Trull | ||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||