edu.ucdavis.rj.Ops
Class CoArm.OpArray

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

public static class CoArm.OpArray
extends InniArm.OpArray

An array of operations for this CoArm and (typically) the associated quantifier values.


Nested Class Summary
protected  class CoArm.OpArray.Dummy
           
 
Field Summary
(package private)  java.util.ArrayList<Invocation> invsList
           
 
Fields inherited from class edu.ucdavis.rj.Ops.InniArm.OpArray
classNameForErrors, opsList, quantsList
 
Constructor Summary
CoArm.OpArray(java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invs, CoArm.OpArray.Dummy... dummy)
           
CoArm.OpArray(java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
           
CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invsList, CoArm.OpArray.Dummy... dummy)
           
CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
           
CoArm.OpArray(OpImpl[] ops, Invocation[] invs)
           
CoArm.OpArray(OpProxy[] ops, Invocation[] invs)
           
CoArm.OpArray(Quantifiers[] quantsArray, OpImpl[] ops, Invocation[] invs)
           
CoArm.OpArray(Quantifiers[] quantsArray, OpProxy[] ops, Invocation[] invs)
           
 
Method Summary
private  void commonCheck()
           
(package private)  java.util.ArrayList<Invocation> getInvocationsList()
           
 
Methods inherited from class edu.ucdavis.rj.Ops.InniArm.OpArray
checkOps, checkQuantifiers, getArrayListFromArray, getArrayListFromArrayList, getOpsList, getQuantifiersList
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

invsList

java.util.ArrayList<Invocation> invsList
Constructor Detail

CoArm.OpArray

public CoArm.OpArray(Quantifiers[] quantsArray,
                     OpProxy[] ops,
                     Invocation[] invs)

CoArm.OpArray

public CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
                     java.util.ArrayList<OpProxy> opsList,
                     java.util.ArrayList<Invocation> invs)

CoArm.OpArray

public CoArm.OpArray(Quantifiers[] quantsArray,
                     OpImpl[] ops,
                     Invocation[] invs)

CoArm.OpArray

public CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
                     java.util.ArrayList<OpImpl> opsList,
                     java.util.ArrayList<Invocation> invsList,
                     CoArm.OpArray.Dummy... dummy)

CoArm.OpArray

public CoArm.OpArray(OpProxy[] ops,
                     Invocation[] invs)

CoArm.OpArray

public CoArm.OpArray(java.util.ArrayList<OpProxy> opsList,
                     java.util.ArrayList<Invocation> invs)

CoArm.OpArray

public CoArm.OpArray(OpImpl[] ops,
                     Invocation[] invs)

CoArm.OpArray

public CoArm.OpArray(java.util.ArrayList<OpImpl> opsList,
                     java.util.ArrayList<Invocation> invs,
                     CoArm.OpArray.Dummy... dummy)
Method Detail

commonCheck

private void commonCheck()

getInvocationsList

java.util.ArrayList<Invocation> getInvocationsList()