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
           
 
Field Summary
(package private)  java.lang.String classNameForErrors
           
(package private)  java.util.ArrayList<OpProxy> opsList
           
(package private)  java.util.ArrayList<Quantifiers> quantsList
           
 
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()
           
private  void commonCheck()
           
(package private)  java.util.ArrayList<OpProxy> getArrayListFromArray(OpImpl[] ops)
           
(package private)  java.util.ArrayList<OpProxy> getArrayListFromArrayList(java.util.ArrayList<OpImpl> opsList)
           
(package private)  java.util.ArrayList<OpProxy> getOpsList()
           
(package private)  java.util.ArrayList<Quantifiers> getQuantifiersList()
           
private  java.util.ArrayList<Quantifiers> safeNewArrayList(java.util.ArrayList<Quantifiers> quantsList)
           
private  java.util.ArrayList<Quantifiers> safeNewArrayList(Quantifiers[] quantsArray)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

quantsList

java.util.ArrayList<Quantifiers> quantsList

opsList

java.util.ArrayList<OpProxy> opsList

classNameForErrors

java.lang.String classNameForErrors
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

getArrayListFromArray

java.util.ArrayList<OpProxy> getArrayListFromArray(OpImpl[] ops)

getArrayListFromArrayList

java.util.ArrayList<OpProxy> getArrayListFromArrayList(java.util.ArrayList<OpImpl> opsList)

commonCheck

private void commonCheck()

safeNewArrayList

private java.util.ArrayList<Quantifiers> safeNewArrayList(java.util.ArrayList<Quantifiers> quantsList)

safeNewArrayList

private java.util.ArrayList<Quantifiers> safeNewArrayList(Quantifiers[] quantsArray)

getOpsList

java.util.ArrayList<OpProxy> getOpsList()

getQuantifiersList

java.util.ArrayList<Quantifiers> getQuantifiersList()

checkQuantifiers

protected void checkQuantifiers()

checkOps

protected void checkOps()