|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
InvocationEnumeration | |
Op | Basic operation abstraction. |
OpInniIterator | |
OpInniIteratorRemote | |
OpRemote | Adds 'remoteness' to Op. |
Class Summary | |
---|---|
ArmCode | |
BaseArmCode | |
Co | //////////////////////////////////////////////////// An Co services on invocation from a specified group of CoOps. |
CoArm | |
CoArm.OpArray | An array of operations for this CoArm and (typically) the associated quantifier values. |
Common | |
Common.Largest | |
Common.Smallest | |
Inni | An Inni services on invocation from a specified group of InniOps. |
InniArm | |
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 | |
InniArmElseafter | |
InniArmElseCode | |
Invocation | Basic invocation abstraction. |
OpImpl | Basic operation abstraction. |
OpInni | An operation that's to be serviced via inni. |
OpInniIteratorImpl | |
OpInniIteratorRemoteImpl | |
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. |
Quantifiers | |
Timestamp |
Enum Summary | |
---|---|
BaseArmCode.Control | Represents control flow to occur after executing ArmCode's codeBlock. |
CoArm.CoKind | Represents the kind of concurrent invocation. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |