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 | Method and Description |
---|---|
OpProxy |
getOpProxy() |
Invocation |
selectInvocation() |
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)
public OpProxy getOpProxy()
public Invocation selectInvocation()