public class CoArm
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
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.
|
Modifier and Type | Field and Description |
---|---|
(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 and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
private void |
commonArrayCheck() |
(package private) ArmCode |
getCode() |
(package private) CoArm.CoKind |
getCoKind() |
(package private) Invocation |
getInvocation() |
(package private) OpProxy |
getOp() |
Quantifiers quants
OpProxy op
Invocation inv
ArmCode code
OpInni replyOp
CoArm.OpArray oa
CoArm.CoKind coKind
CoArm(Quantifiers quant, OpProxy op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
public CoArm(OpProxy op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
public CoArm(OpProxy op, Invocation inv, ArmCode code)
public CoArm(OpProxy op, Invocation inv, CoArm.CoKind coKind)
public CoArm(OpProxy op, Invocation inv)
public CoArm(OpImpl op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
public CoArm(OpImpl op, Invocation inv, ArmCode code)
public CoArm(OpImpl op, Invocation inv, CoArm.CoKind coKind)
public CoArm(OpImpl op, Invocation inv)
public CoArm(CoArm.OpArray oa, ArmCode code, CoArm.CoKind coKind)
public CoArm(CoArm.OpArray oa, ArmCode code)
public CoArm(CoArm.OpArray oa, CoArm.CoKind coKind)
public CoArm(CoArm.OpArray oa)
private void commonArrayCheck()
OpProxy getOp()
Invocation getInvocation()
ArmCode getCode()
CoArm.CoKind getCoKind()