|
|||||||||
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.
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 | |
---|---|
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 |
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 |
---|
public BaseArmCode.Control service()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |