Ambient-Oriented Programming

User Tools

Site Tools

Trace:
uf:totam

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
uf:totam [2010/10/20 17:54] – elisaguf:totam [2012/03/27 11:01] – jorge
Line 75: Line 75:
     def decideStore(ts) {true};     def decideStore(ts) {true};
     //sender-side protocol     //sender-side protocol
-    def inScope(descriptor){ true };+    def inScope(senderDescriptor,receiverDescriptor){ true };
     def decideDie(ts){false};     def decideDie(ts){false};
   };   };
Line 86: Line 86:
 //define a new propagation protocol //define a new propagation protocol
 def blueProtocol := propagationProtocol: { def blueProtocol := propagationProtocol: {
-  def inScope(descriptor) { descriptor.team == "blue" };+  def inScope(senderDescriptor,receiverDescriptor) {  
 +    receiverDescriptor.team == "blue" };
 }; };
 // attach the protocol to a tuple // attach the protocol to a tuple
uf/totam.txt · Last modified: 2021/09/24 10:49 by elisag