edu.ucdavis.rj.Ops
Class CoArm
java.lang.Object
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. |
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
quants
Quantifiers quants
op
OpProxy op
inv
Invocation inv
code
ArmCode code
replyOp
OpInni replyOp
oa
CoArm.OpArray oa
coKind
CoArm.CoKind coKind
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)
commonArrayCheck
private void commonArrayCheck()
getOp
OpProxy getOp()
getInvocation
Invocation getInvocation()
getCode
ArmCode getCode()
getCoKind
CoArm.CoKind getCoKind()