| Interface | Description |
|---|---|
| InLock | |
| InvocationEnumeration |
Corresponds to JR's inter-entry selection.
|
| Op |
Basic operation abstraction.
|
| OpInniIterator | |
| OpInniIteratorRemote | |
| OpRemote |
Adds 'remoteness' to Op.
|
| Quantifiable |
Mechanism by which quantifiers get set.
|
| RemoteInputStream | |
| RemoteLoader | |
| RemoteOutputStream | |
| rjvm_intf | |
| RJX |
| Class | Description |
|---|---|
| ArmCode |
Base class incorporating quantifiers
for all `arms' of code, i.e., blocks for inni and co.
|
| AtomicPrintlnPrintStream | |
| BaseArmCode |
Base class for all `arms' of code, i.e., blocks for inni and co.
|
| CLock | |
| CLock.DupSorter | |
| Co |
Like JR's co statement.
|
| CoArm |
Represents a possibly quantified arm on a co.
|
| CoArm.OpArray |
An array of operations for this CoArm
and (typically) the associated quantifier values.
|
| Common |
Contains common, useful classes for use with inni's by clause.
|
| Common.Largest |
Do invocation selection on the
exprPos'th parameter
in largest order first. |
| Common.Smallest |
Do invocation selection on the
exprPos'th parameter
in smallest order first. |
| Create |
Methods for creating RJ virtual machines and RJ remote objects.
|
| Debug | |
| InLock_impl |
This class represents a lock for multiple processes trying to access
an InOp's message queue.
|
| Inni |
An Inni services on invocation from a specified group of InniOps.
|
| Inni.TimeNode |
/////////////////// will be sorted by time...
|
| InniArm |
Represents a possibly quantified arm on an inni.
|
| InniArm.By |
A `by clause' specifies the order in which invocations are serviced.
|
| InniArm.OpArray |
An array of operations for this InniArm
and (typically) the associated quantifier values.
|
| InniArm.SuchThat |
A `such that clause' specifies which invocations
are eligible to be serviced.
|
| InniArmElse |
Represents the else arm on an inni.
|
| InniArmElseafter |
Represents the elseafter arm on an inni.
|
| InniArmElseCode |
Represents the code on an inni's else arm.
|
| InniLocker | |
| Invocation |
Basic invocation abstraction.
|
| LockId | |
| ModBoolean | |
| OpImpl |
Basic operation abstraction.
|
| OpInni |
An operation that's to be serviced via inni.
|
| OpInniIteratorImpl | |
| OpInniIteratorRemoteImpl | |
| OpInniNonNoop |
An operation that's to be serviced via inni.
|
| OpInniNoop |
An operation that's to be serviced via inni.
|
| OpMethod |
An operation that's to be serviced via a method.
|
| OpProxy |
An OpProxy acts like a capability in JR or SR terms.
|
| OpRemote.Helper |
Useful method(s) for
OpRemote objects. |
| PairBoolean | |
| PLIterator | |
| PNode | |
| PrintThread | |
| PriorityList | |
| ProxyInputStream | |
| ProxyOutputStream | |
| Quantifiable.Helper |
Useful method(s) for
Quantifiable objects. |
| Quantifiers |
Used with inni and co to represent an instance of a quantifier.
|
| RemoteInputStream_impl | |
| RemoteInputStream.readResult | |
| RemoteLoader_impl | |
| RemoteOutputStream_impl | |
| RemoteRefs |
Class representing a remote object.
|
| RJ |
The
RJ class contains several useful methods. |
| rjLoader | |
| rjvm | |
| rjvm_wrap | |
| RJX_impl | |
| RJX_impl.VMElement | |
| Semaphore | |
| Sorter | |
| Sorter.SortCompare | |
| TerminationData | |
| ThreadLocalReplyOp | |
| Timestamp | |
| Version |
Provides version number, date, and other info.
|
| VM |
Class representing a virtual machine.
|
| VMRegInfo |
| Enum | Description |
|---|---|
| BaseArmCode.Control |
Represents control flow to occur after executing ArmCode's codeBlock.
|
| CoArm.CoKind |
Represents the kind of concurrent invocation.
|
| Exception | Description |
|---|---|
| QuiescenceRegistrationException |
Used to indicate that a problem has occurred in
registering the quiescence operation.
|
| rjCommunicationException |
Indicates that an exception occured during an RMI call.
|
| Error | Description |
|---|---|
| rjRuntimeError |
Used to indicate that a runtime error has occurred due to
bad user code or an internal RJ error.
|