From 46439007cf417cbd9ac8049bb4122c890097a0fa Mon Sep 17 00:00:00 2001 From: "Charles.Forsyth" Date: Fri, 22 Dec 2006 20:52:35 +0000 Subject: 20060303-partial --- module/watchvars.m | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 module/watchvars.m (limited to 'module/watchvars.m') diff --git a/module/watchvars.m b/module/watchvars.m new file mode 100644 index 00000000..1b80e6be --- /dev/null +++ b/module/watchvars.m @@ -0,0 +1,13 @@ +Watchvars: module { + PATH: con "/dis/lib/watchvars.dis"; + Watchvar: adt[T] { + c: chan of (T, chan of T); + + new: fn(v: T): Watchvar[T]; + get: fn(e: self Watchvar[T]): T; + set: fn(e: self Watchvar[T], v: T); + wait: fn(e: self Watchvar[T]): T; + waitc: fn(e: self Watchvar[T]): (T, chan of T); + waited: fn(e: self Watchvar[T], ic: chan of T, v: T); + }; +}; -- cgit v1.2.3