|
|||||||||
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()
JacobRunnable
Note that JACOB operations are performed in parallel, so the sequencing of JACOB operations is irrelevant
run
in class JacobRunnable
public java.lang.String toString()
toString
in class JacobRunnable
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |