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

Field Detail

quants

Quantifiers quants

op

OpProxy op

st

InniArm.SuchThat st

by

InniArm.By by

code

ArmCode code

oa

InniArm.OpArray oa
Constructor Detail

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

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()