Uses of Package
Rainbow

Packages that use Rainbow

Rainbow

Entry points, RMI service classes and application-level wrappers.

Classes in Rainbow used by Rainbow

AuthorizedSession
A session (over RMI) with a Rainbow server which can carry out "dangerous" operations.

ChannelEvent
An event on a channel.

DeadlockResult
Used to report results of deadlock checking.

ExecHandler
Back-execution callback.

ModelcheckResult
Used to report results of model checking.

ModelcheckResult.AutomataState
An automata state on the path to a failed model-check.

ProgressWatcher
Model- and deadlock-checking progress observation callback.

Server
The Rainbow server as viewed from RMI.

Session
A session (over RMI) with a Rainbow server.

SessionHandler
Implementation of a Rainbow server session.

Status
Used to report what happened in a simulation step.