edu.ucdavis.rj.Ops
Class InniArm

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

Constructor Detail

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)
Method Detail

getOpProxy

public OpProxy getOpProxy()

selectInvocation

public Invocation selectInvocation()