diff --git a/testdata/parser/positive/6.pdl b/testdata/parser/positive/6.pdl index 77e1fc1425fa1f815789da3388fb394cdfe017a2..a9bdfc9f55bac1624572a645d06796ea3adc37fb 100644 --- a/testdata/parser/positive/6.pdl +++ b/testdata/parser/positive/6.pdl @@ -14,7 +14,7 @@ composite replicator(in a, out[] b) { if (b.length == 0) { new blocking(a); } else if (b.length == 1) { - new sync(a, b[0]); + new sync_component(a, b[0]); } else { channel xo -> xi; new binary_replicator(a, b[0], xo); @@ -23,7 +23,7 @@ composite replicator(in a, out[] b) { } primitive binary_replicator(in a, out b, out c) { while (true) { - synchronous { + sync { if (fires(a) && fires(b) && fires(c)) { msg x = get(a); put(b, x); @@ -35,7 +35,7 @@ primitive binary_replicator(in a, out b, out c) { } } primitive blocking(in a) { - while (true) synchronous { + while (true) sync { assert !fires(a); } } @@ -52,12 +52,12 @@ composite merger(in[] a, out b) { prev = yi; i++; } - new sync(prev, b); + new sync_component(prev, b); } } primitive binary_merger(in a, in b, out c) { while (true) { - synchronous { + sync { if (fires(a) && fires(c)) { assert !fires(b); put(c, get(a)); @@ -71,14 +71,14 @@ primitive binary_merger(in a, in b, out c) { } } primitive silent(out a) { - while (true) synchronous { + while (true) sync { assert !fires(a); } } primitive sync(in a, out b) { while (true) { - synchronous { + sync { if (fires(a) && fires(b)) { put(b, get(a)); } else {