public static class CoArm.OpArray extends InniArm.OpArray
Modifier and Type | Class and Description |
---|---|
class |
CoArm.OpArray.Dummy |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.ArrayList<Invocation> |
invsList |
classNameForErrors, opsList, quantsList
Constructor and Description |
---|
OpArray(java.util.ArrayList<OpImpl> opsList,
java.util.ArrayList<Invocation> invs,
CoArm.OpArray.Dummy... dummy) |
OpArray(java.util.ArrayList<OpProxy> opsList,
java.util.ArrayList<Invocation> invs) |
OpArray(java.util.ArrayList<Quantifiers> quantsList,
java.util.ArrayList<OpImpl> opsList,
java.util.ArrayList<Invocation> invsList,
CoArm.OpArray.Dummy... dummy) |
OpArray(java.util.ArrayList<Quantifiers> quantsList,
java.util.ArrayList<OpProxy> opsList,
java.util.ArrayList<Invocation> invs) |
OpArray(OpImpl[] ops,
Invocation[] invs) |
OpArray(OpProxy[] ops,
Invocation[] invs) |
OpArray(Quantifiers[] quantsArray,
OpImpl[] ops,
Invocation[] invs) |
OpArray(Quantifiers[] quantsArray,
OpProxy[] ops,
Invocation[] invs) |
Modifier and Type | Method and Description |
---|---|
private void |
commonCheck() |
(package private) java.util.ArrayList<Invocation> |
getInvocationsList() |
checkOps, checkQuantifiers, getArrayListFromArray, getArrayListFromArrayList, getOpsList, getQuantifiersList
java.util.ArrayList<Invocation> invsList
public OpArray(Quantifiers[] quantsArray, OpProxy[] ops, Invocation[] invs)
public OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
public OpArray(Quantifiers[] quantsArray, OpImpl[] ops, Invocation[] invs)
public OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invsList, CoArm.OpArray.Dummy... dummy)
public OpArray(OpProxy[] ops, Invocation[] invs)
public OpArray(java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
public OpArray(OpImpl[] ops, Invocation[] invs)
public OpArray(java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invs, CoArm.OpArray.Dummy... dummy)
private void commonCheck()
java.util.ArrayList<Invocation> getInvocationsList()