Changeset 86fb8f2 for doc/papers/concurrency/examples/Pingpong.cfa

Timestamp:

Mar 27, 2019, 11:09:23 AM (3 years ago)

Author:

tdelisle <tdelisle@…>

Branches:

arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr

Children:

a45fc7b

Parents:

2b10f95 (diff), 1e5d0f0c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/papers/concurrency/examples/Pingpong.cfa (modified) (3 diffs)

doc/papers/concurrency/examples/Pingpong.cfa

@@ -4 +4 @@
 coroutine PingPong {
         const char * name;
-        /* const */ unsigned int N;
-        PingPong * part;
+        unsigned int N;
+        PingPong & part;
 };
 
 void ?{}( PingPong & this, const char * name, unsigned int N, PingPong & part ) {
-        (this.__cor){name};
-        this.name = name;
-        this.N = N;
-        this.part = ∂
+        this.[name, N] = [name, N];  &this.part = ∂
 }
 void ?{}( PingPong & this, const char * name, unsigned int N ) {
-        this{ name, N, *(PingPong *)0 };
+        this{ name, N, *0p };                                                           // call first constructor
 }
 void cycle( PingPong & pingpong ) {
@@ -21 +18 @@
 }
 void partner( PingPong & this, PingPong & part ) {
-        this.part = ∂
+        &this.part = ∂
         resume( this );
 }
-void main( PingPong & pingpong ) {                                              // ping's starter ::main, pong's starter ping
-        for ( pingpong.N ) {                                                            // N ping-pongs
-                sout | pingpong.name;
-                cycle( *pingpong.part );
+void main( PingPong & pingpong ) with(pingpong) {               // ping's starter ::main, pong's starter ping
+        for ( N ) {                                                                                     // N ping-pongs
+                sout | name;
+                cycle( part );
         } // for
 }
 int main() {
-        enum { N = 20 };
+        enum { N = 5 };
         PingPong ping = { "ping", N }, pong = { "pong", N, ping };
         partner( ping, pong );
@@ -38 +35 @@
 // Local Variables: //
 // tab-width: 4 //
-// compile-command: "cfa pingpong.cfa" //
+// compile-command: "cfa Pingpong.cfa" //
 // End: //