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

Files @ 9f8f7a65f90d

Branch filter:

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

9f8f7a65f90d 421 B text/plain Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

simplified setup procedure's reconnection business. got rid of the finicky waker and waker token, instead relying on simple arithmetic for the timeout. more doc comments in setup and endpoint modules

#version

import std.reo;

composite main(out c) {
	channel ao -> ai;
	channel bo -> bi;
	channel axo -> axi;
	channel zo -> zi;
	new sync(ai, bo);
	new replicator(bi, {axo, c});
	new consensus({axi, zi}, ao);
	new generator(zo);
}

primitive generator(out z) {
	while (true) {
		synchronous (msg x) {
			if (x == null) {
				put(z, x);
				assert !fires(x);
			} else {
				put(z, x);
				assert fires(x);
			}
		}
	}
}