summaryrefslogtreecommitdiff
path: root/module/alphabet/extvalues.m
diff options
context:
space:
mode:
authorCharles.Forsyth <devnull@localhost>2006-12-22 20:52:35 +0000
committerCharles.Forsyth <devnull@localhost>2006-12-22 20:52:35 +0000
commit46439007cf417cbd9ac8049bb4122c890097a0fa (patch)
tree6fdb25e5f3a2b6d5657eb23b35774b631d4d97e4 /module/alphabet/extvalues.m
parent37da2899f40661e3e9631e497da8dc59b971cbd0 (diff)
20060303-partial
Diffstat (limited to 'module/alphabet/extvalues.m')
-rw-r--r--module/alphabet/extvalues.m12
1 files changed, 12 insertions, 0 deletions
diff --git a/module/alphabet/extvalues.m b/module/alphabet/extvalues.m
new file mode 100644
index 00000000..ffc867ce
--- /dev/null
+++ b/module/alphabet/extvalues.m
@@ -0,0 +1,12 @@
+Extvalues: module {
+ PATH: con "/dis/alphabet/extvalues.dis";
+ Values: adt[V] {
+ lock: chan of int;
+ v: array of (int, V);
+ freeids: list of int;
+ new: fn(): ref Values[V];
+ add: fn(vals: self ref Values, v: V): int;
+ inc: fn(vals: self ref Values, id: int);
+ del: fn(vals: self ref Values, id: int);
+ };
+};