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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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)
getOpProxy
public OpProxy getOpProxy()
selectInvocation
public Invocation selectInvocation()