|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.ucdavis.rj.Ops.Inni
public class Inni
An Inni services on invocation from a specified group of InniOps. It consists of one or more possibly quantified arms; each arm specifies an operation or quantified group of operations and corresponding code to service the invocation. An Inni also allows an elseArm, which is executed if no invocation is selected for servicing.
Nested Class Summary | |
---|---|
(package private) static class |
Inni.TimeNode
/////////////////// will be sorted by time... |
Field Summary | |
---|---|
(package private) java.util.ArrayList<InniArm> |
arms
|
(package private) InniArmElseafter |
elseafterArm
|
private static OpMethod |
elseafterTimer
This OpMethod is used by Inni's implementation to provide a timer for the elseafter arm. |
(package private) InniArmElse |
elseArm
|
Constructor Summary | |
---|---|
Inni(InniArmElseafter elseafterArm,
InniArm firstArm,
InniArm... restArms)
Create a new instance of an Inni. |
|
Inni(InniArmElse elseArm,
InniArm firstArm,
InniArm... restArms)
Create a new instance of an Inni. |
|
Inni(InniArm firstArm,
InniArm... restArms)
Create a new instance of an Inni. |
Method Summary | |
---|---|
private void |
createInni(InniArmElse elseArm,
InniArmElseafter elseafterArm,
InniArm firstArm,
InniArm... restArms)
Common code called from constructors to create a new instance of an Inni. |
private java.util.ArrayList<Inni.TimeNode> |
gatherAndSortTimes(java.util.ArrayList<InniArm> arms)
|
private void |
oneInniArm(java.util.ArrayList<InniArm> arms,
InniArm a,
int armCount)
Handle one abstract arm for this Inni. |
BaseArmCode.Control |
service()
Service one invocation as specified by this Inni's arms by executing the codeBlock in the associated arm. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
java.util.ArrayList<InniArm> arms
InniArmElse elseArm
InniArmElseafter elseafterArm
private static OpMethod elseafterTimer
Constructor Detail |
---|
public Inni(InniArmElse elseArm, InniArm firstArm, InniArm... restArms)
elseArm
- The elseArm.firstArm
- The first arm.restArms
- Any other arms.public Inni(InniArmElseafter elseafterArm, InniArm firstArm, InniArm... restArms)
elseafterArm
- The elseafterArm.firstArm
- The first arm.restArms
- Any other arms.public Inni(InniArm firstArm, InniArm... restArms)
firstArm
- The first arm.restArms
- Any other arms.Method Detail |
---|
private void createInni(InniArmElse elseArm, InniArmElseafter elseafterArm, InniArm firstArm, InniArm... restArms)
elseArm
- The elseArm.elseafterArm
- The elseafterArm.firstArm
- The first arm.restArms
- Any other arms.private void oneInniArm(java.util.ArrayList<InniArm> arms, InniArm a, int armCount)
arms
- The list of arms to which to add this arm.a
- The arm.armCount
- The arm's number (0-based).public BaseArmCode.Control service()
private java.util.ArrayList<Inni.TimeNode> gatherAndSortTimes(java.util.ArrayList<InniArm> arms)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |