|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.apache.ode.jacob.JacobObject
org.apache.ode.jacob.JacobRunnable
org.apache.ode.jacob.examples.cell.CELL_<T>
public class CELL_<T>
Cell process template Java representation. This class is equivalent to the
following process calculus expression:
Cell(self, val) = self ? [ read(r) = { Cell(self, val) | r ! val(val) } & write(newVal) = { Cell(self, newVal) } ]
| Constructor Summary | |
|---|---|
CELL_(CellChannel self,
T val)
|
|
| Method Summary | |
|---|---|
void |
run()
Peform the template reduction, i.e. |
java.lang.String |
toString()
|
| Methods inherited from class org.apache.ode.jacob.JacobRunnable |
|---|
getImplementedMethods |
| Methods inherited from class org.apache.ode.jacob.JacobObject |
|---|
getClassName, getExtension, getMethod, importChannel, instance, newChannel, newChannel, object, object, object, object, replication, replication |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public CELL_(CellChannel self,
T val)
| Method Detail |
|---|
public void run()
JacobRunnableNote that JACOB operations are performed in parallel, so the sequencing of JACOB operations is irrelevant
run in class JacobRunnablepublic java.lang.String toString()
toString in class JacobRunnable
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||