edu.ucdavis.rj.Ops
Class CoArm

java.lang.Object
  extended by edu.ucdavis.rj.Ops.CoArm

public class CoArm
extends java.lang.Object


Nested Class Summary
static class CoArm.CoKind
          Represents the kind of concurrent invocation.
static class CoArm.OpArray
          An array of operations for this CoArm and (typically) the associated quantifier values.
 
Field Summary
(package private)  ArmCode code
           
(package private)  CoArm.CoKind coKind
           
(package private)  Invocation inv
           
(package private)  CoArm.OpArray oa
           
(package private)  OpProxy op
           
(package private)  Quantifiers quants
           
(package private)  OpInni replyOp
           
 
Constructor Summary
CoArm(CoArm.OpArray oa)
           
CoArm(CoArm.OpArray oa, ArmCode code)
           
CoArm(CoArm.OpArray oa, ArmCode code, CoArm.CoKind coKind)
           
CoArm(CoArm.OpArray oa, CoArm.CoKind coKind)
           
CoArm(OpImpl op, Invocation inv)
           
CoArm(OpImpl op, Invocation inv, ArmCode code)
           
CoArm(OpImpl op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
           
CoArm(OpImpl op, Invocation inv, CoArm.CoKind coKind)
           
CoArm(OpProxy op, Invocation inv)
           
CoArm(OpProxy op, Invocation inv, ArmCode code)
           
CoArm(OpProxy op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
           
CoArm(OpProxy op, Invocation inv, CoArm.CoKind coKind)
           
CoArm(Quantifiers quant, OpProxy op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
           
 
Method Summary
private  void commonArrayCheck()
           
(package private)  ArmCode getCode()
           
(package private)  CoArm.CoKind getCoKind()
           
(package private)  Invocation getInvocation()
           
(package private)  OpProxy getOp()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

quants

Quantifiers quants

op

OpProxy op

inv

Invocation inv

code

ArmCode code

replyOp

OpInni replyOp

oa

CoArm.OpArray oa

coKind

CoArm.CoKind coKind
Constructor Detail

CoArm

CoArm(Quantifiers quant,
      OpProxy op,
      Invocation inv,
      ArmCode code,
      CoArm.CoKind coKind)

CoArm

public CoArm(OpProxy op,
             Invocation inv,
             ArmCode code,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpProxy op,
             Invocation inv,
             ArmCode code)

CoArm

public CoArm(OpProxy op,
             Invocation inv,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpProxy op,
             Invocation inv)

CoArm

public CoArm(OpImpl op,
             Invocation inv,
             ArmCode code,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpImpl op,
             Invocation inv,
             ArmCode code)

CoArm

public CoArm(OpImpl op,
             Invocation inv,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpImpl op,
             Invocation inv)

CoArm

public CoArm(CoArm.OpArray oa,
             ArmCode code,
             CoArm.CoKind coKind)

CoArm

public CoArm(CoArm.OpArray oa,
             ArmCode code)

CoArm

public CoArm(CoArm.OpArray oa,
             CoArm.CoKind coKind)

CoArm

public CoArm(CoArm.OpArray oa)
Method Detail

commonArrayCheck

private void commonArrayCheck()

getOp

OpProxy getOp()

getInvocation

Invocation getInvocation()

getCode

ArmCode getCode()

getCoKind

CoArm.CoKind getCoKind()