edu.ucdavis.rj.Ops
Class InniArm
java.lang.Object
edu.ucdavis.rj.Ops.InniArm
public class InniArm
- extends java.lang.Object
Nested Class Summary |
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. |
Constructor Summary |
InniArm(InniArm.OpArray oa)
|
InniArm(InniArm.OpArray oa,
ArmCode code)
|
InniArm(InniArm.OpArray oa,
InniArm.By by)
|
InniArm(InniArm.OpArray oa,
InniArm.By by,
ArmCode code)
|
InniArm(InniArm.OpArray oa,
InniArm.SuchThat st)
|
InniArm(InniArm.OpArray oa,
InniArm.SuchThat st,
ArmCode code)
|
InniArm(InniArm.OpArray oa,
InniArm.SuchThat st,
InniArm.By by)
|
InniArm(InniArm.OpArray oa,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
|
InniArm(OpInni op)
|
InniArm(OpInni op,
ArmCode code)
|
InniArm(OpInni op,
InniArm.By by)
|
InniArm(OpInni op,
InniArm.By by,
ArmCode code)
|
InniArm(OpInni op,
InniArm.SuchThat st)
|
InniArm(OpInni op,
InniArm.SuchThat st,
ArmCode code)
|
InniArm(OpInni op,
InniArm.SuchThat st,
InniArm.By by)
|
InniArm(OpInni op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
|
InniArm(OpProxy op)
|
InniArm(OpProxy op,
ArmCode code)
|
InniArm(OpProxy op,
InniArm.By by)
|
InniArm(OpProxy op,
InniArm.By by,
ArmCode code)
|
InniArm(OpProxy op,
InniArm.SuchThat st)
|
InniArm(OpProxy op,
InniArm.SuchThat st,
ArmCode code)
|
InniArm(OpProxy op,
InniArm.SuchThat st,
InniArm.By by)
|
InniArm(OpProxy op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
|
InniArm(Quantifiers quant,
OpProxy op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
quants
Quantifiers quants
op
OpProxy op
st
InniArm.SuchThat st
by
InniArm.By by
code
ArmCode code
oa
InniArm.OpArray oa
InniArm
InniArm(Quantifiers quant,
OpProxy op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
InniArm
public InniArm(OpInni op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
InniArm
public InniArm(OpInni op,
InniArm.SuchThat st,
InniArm.By by)
InniArm
public InniArm(OpInni op,
InniArm.SuchThat st,
ArmCode code)
InniArm
public InniArm(OpInni op,
InniArm.SuchThat st)
InniArm
public InniArm(OpInni op,
InniArm.By by,
ArmCode code)
InniArm
public InniArm(OpInni op,
InniArm.By by)
InniArm
public InniArm(OpInni op,
ArmCode code)
InniArm
public InniArm(OpInni op)
InniArm
public InniArm(OpProxy op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
InniArm
public InniArm(OpProxy op,
InniArm.SuchThat st,
InniArm.By by)
InniArm
public InniArm(OpProxy op,
InniArm.SuchThat st,
ArmCode code)
InniArm
public InniArm(OpProxy op,
InniArm.SuchThat st)
InniArm
public InniArm(OpProxy op,
InniArm.By by,
ArmCode code)
InniArm
public InniArm(OpProxy op,
InniArm.By by)
InniArm
public InniArm(OpProxy op,
ArmCode code)
InniArm
public InniArm(OpProxy op)
InniArm
public InniArm(InniArm.OpArray oa,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
InniArm
public InniArm(InniArm.OpArray oa,
InniArm.SuchThat st,
InniArm.By by)
InniArm
public InniArm(InniArm.OpArray oa,
InniArm.SuchThat st,
ArmCode code)
InniArm
public InniArm(InniArm.OpArray oa,
InniArm.SuchThat st)
InniArm
public InniArm(InniArm.OpArray oa,
InniArm.By by,
ArmCode code)
InniArm
public InniArm(InniArm.OpArray oa,
InniArm.By by)
InniArm
public InniArm(InniArm.OpArray oa,
ArmCode code)
InniArm
public InniArm(InniArm.OpArray oa)
commonSingle
void commonSingle(Quantifiers quant,
OpProxy op,
InniArm.SuchThat st,
InniArm.By by,
ArmCode code)
checkArray
private void checkArray()
checkOpProxyIsForOpInni
void checkOpProxyIsForOpInni(OpProxy op,
int index)
getOpProxy
public OpProxy getOpProxy()
getCode
ArmCode getCode()
selectInvocation
public Invocation selectInvocation()