|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.ucdavis.rj.Ops.Co
public class Co
//////////////////////////////////////////////////// An Co services on invocation from a specified group of CoOps. 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 Co also allows an elseArm, which is executed if no invocation is selected for servicing.
Constructor Summary | |
---|---|
Co(CoArm firstArm,
CoArm... restArms)
Create a new instance of an Co. |
Method Summary | |
---|---|
BaseArmCode.Control |
go()
///////////////////////// do all invocations and PPC Service one invocation as specified by this Co'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 Co(CoArm firstArm, CoArm... restArms)
firstArm
- The first arm.restArms
- Any other arms.Method Detail |
---|
public BaseArmCode.Control go()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |