CSY/reowolf Files · testdata/parser/positive/9.pdl · Centrum Wiskunde & Informatica (CWI)

Files @ ef64fd0cdb07

Branch filter:

Location: CSY/reowolf/testdata/parser/positive/9.pdl

ef64fd0cdb07 292 B text/plain Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

correctly merging protocol component branches: forks that create existing predicates MERGE the results, combining their inboxes s.t. there is no race condition on the order of received messages

#version 100

import std.reo;

composite main(in A, in B, out C) {
	channel xo -> xi;
	channel yo -> yi;
	channel zo -> zi;
	channel do -> di;
	channel eo -> ei;
	new replicator(A, {xo, yo});
	new replicator(B, {zo, do});
	new syncdrain(xi, zi);
	new fifo(di, eo);
	new merger({yi, ei}, C);
}