edu.ucdavis.rj.Ops
Class InniArm.OpArray

java.lang.Object
  extended by edu.ucdavis.rj.Ops.InniArm.OpArray
Direct Known Subclasses:
CoArm.OpArray
Enclosing class:
InniArm

public static class InniArm.OpArray
extends java.lang.Object

An array of operations for this InniArm and (typically) the associated quantifier values. The arm will service one of the operations. Chose not to define object that contains Quantifiers and an Op since typical programs declare an array of Ops anyway. So constructing an array of such objects would be slightly annoying (vs. constructing an array of Quantifiers). Used to have constructors take OpInni, but changed that to OpImpl because: CoArm (which extends this class) uses OpImpl (and want to keep this simple) Need to check OpProxy to see whether they are OpInni anyway, so this is consistent with that.


Nested Class Summary
protected  class InniArm.OpArray.Dummy
           
 
Constructor Summary
InniArm.OpArray(java.util.ArrayList<OpImpl> opsList, InniArm.OpArray.Dummy... dummy)
           
InniArm.OpArray(java.util.ArrayList<OpProxy> opsList)
           
InniArm.OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpImpl> opsList)
           
InniArm.OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpProxy> opsList, InniArm.OpArray.Dummy... dummy)
           
InniArm.OpArray(OpImpl[] ops)
           
InniArm.OpArray(OpProxy[] ops)
           
InniArm.OpArray(Quantifiers[] quantsArray, OpImpl[] ops)
          ////////////////////////Expression applied to an invocation to determine whether it is eligible to be serviced.
InniArm.OpArray(Quantifiers[] quantsArray, OpProxy[] ops)
           
 
Method Summary
protected  void checkOps()
           
protected  void checkQuantifiers()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InniArm.OpArray

public InniArm.OpArray(Quantifiers[] quantsArray,
                       OpImpl[] ops)
////////////////////////Expression applied to an invocation to determine whether it is eligible to be serviced.

Parameters:
inv - The invocation.

InniArm.OpArray

public InniArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
                       java.util.ArrayList<OpImpl> opsList)

InniArm.OpArray

public InniArm.OpArray(OpImpl[] ops)

InniArm.OpArray

public InniArm.OpArray(java.util.ArrayList<OpImpl> opsList,
                       InniArm.OpArray.Dummy... dummy)

InniArm.OpArray

public InniArm.OpArray(Quantifiers[] quantsArray,
                       OpProxy[] ops)

InniArm.OpArray

public InniArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
                       java.util.ArrayList<OpProxy> opsList,
                       InniArm.OpArray.Dummy... dummy)

InniArm.OpArray

public InniArm.OpArray(OpProxy[] ops)

InniArm.OpArray

public InniArm.OpArray(java.util.ArrayList<OpProxy> opsList)
Method Detail

checkQuantifiers

protected void checkQuantifiers()

checkOps

protected void checkOps()