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.