diff options
Diffstat (limited to 'module/strinttab.m')
| -rw-r--r-- | module/strinttab.m | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/module/strinttab.m b/module/strinttab.m new file mode 100644 index 00000000..936dcb3b --- /dev/null +++ b/module/strinttab.m @@ -0,0 +1,17 @@ +StringIntTab: module +{ + PATH: con "/dis/lib/strinttab.dis"; + + StringInt: adt{ + key: string; + val: int; + }; + + # Binary search of t (which must be sorted) for key. + # Returns (found, val). + lookup: fn(t: array of StringInt, key: string) : (int, int); + + # Linear search of t for first pair with given val. + # Returns key (nil if no match). + revlookup: fn(t: array of StringInt, val: int) : string; +}; |
