Package edu.ucdavis.rj.Ops

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.