public class InniArm
extends java.lang.Object
OpInni
or OpProxy
).Modifier and Type | Class and Description |
---|---|
static class |
InniArm.By
A `by clause' specifies the order in which invocations are serviced.
|
static class |
InniArm.OpArray
An array of operations for this InniArm
and (typically) the associated quantifier values.
|
static class |
InniArm.SuchThat
A `such that clause' specifies which invocations
are eligible to be serviced.
|
Modifier and Type | Field and Description |
---|---|
(package private) InniArm.By |
by |
(package private) ArmCode |
code |
(package private) InniArm.OpArray |
oa |
(package private) OpProxy |
op |
(package private) Quantifiers |
quants |
(package private) InniArm.SuchThat |
st |
Modifier and Type | Method and Description |
---|---|
private void |
checkArray() |
(package private) void |
checkOpProxyIsForOpInni(OpProxy op,
int index) |
(package private) void |
commonSingle(Quantifiers quant,
OpProxy op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code) |
(package private) ArmCode |
getCode() |
OpProxy |
getOpProxy() |
Invocation |
selectInvocation() |
Quantifiers quants
OpProxy op
InniArm.SuchThat st
InniArm.By by
ArmCode code
InniArm.OpArray oa
InniArm(Quantifiers quant, OpProxy op, InniArm.SuchThat st, InniArm.By by, ArmCode code)
public InniArm(OpInni op, InniArm.SuchThat st, InniArm.By by, ArmCode code)
public InniArm(OpInni op, InniArm.SuchThat st, InniArm.By by)
public InniArm(OpInni op, InniArm.SuchThat st, ArmCode code)
public InniArm(OpInni op, InniArm.SuchThat st)
public InniArm(OpInni op, InniArm.By by, ArmCode code)
public InniArm(OpInni op, InniArm.By by)
public InniArm(OpInni op)
public InniArm(OpProxy op, InniArm.SuchThat st, InniArm.By by, ArmCode code)
public InniArm(OpProxy op, InniArm.SuchThat st, InniArm.By by)
public InniArm(OpProxy op, InniArm.SuchThat st, ArmCode code)
public InniArm(OpProxy op, InniArm.SuchThat st)
public InniArm(OpProxy op, InniArm.By by, ArmCode code)
public InniArm(OpProxy op, InniArm.By by)
public InniArm(OpProxy op)
public InniArm(InniArm.OpArray oa, InniArm.SuchThat st, InniArm.By by, ArmCode code)
public InniArm(InniArm.OpArray oa, InniArm.SuchThat st, InniArm.By by)
public InniArm(InniArm.OpArray oa, InniArm.SuchThat st, ArmCode code)
public InniArm(InniArm.OpArray oa, InniArm.SuchThat st)
public InniArm(InniArm.OpArray oa, InniArm.By by, ArmCode code)
public InniArm(InniArm.OpArray oa, InniArm.By by)
public InniArm(InniArm.OpArray oa, ArmCode code)
public InniArm(InniArm.OpArray oa)
void commonSingle(Quantifiers quant, OpProxy op, InniArm.SuchThat st, InniArm.By by, ArmCode code)
private void checkArray()
void checkOpProxyIsForOpInni(OpProxy op, int index)
public OpProxy getOpProxy()
ArmCode getCode()
public Invocation selectInvocation()