edu.ucdavis.rj.Ops
Class InniArm.OpArray
java.lang.Object
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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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)
checkQuantifiers
protected void checkQuantifiers()
checkOps
protected void checkOps()