inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 23 insertions, 0 deletions

diff --git a/module/hash.m b/module/hash.m
new file mode 100644
index 0000000..270dd9c
--- /dev/null
+++ b/module/hash.m
@@ -0,0 +1,23 @@
+Hash: module{
+	PATH: con "/dis/lib/hash.dis";
+	fun1, fun2: fn(s:string,n:int):int;
+
+	HashVal: adt{
+		i: int;
+		r: real;
+		s: string;
+	};
+	HashNode: adt{
+		key:string;
+		val:ref HashVal;  # insert() can update contents
+	};
+	HashTable: adt{
+		a:	array of list of HashNode;
+		find:	fn(h:self ref HashTable, key:string):ref HashVal;
+		insert:	fn(h:self ref HashTable, key:string, val:HashVal);
+		delete:	fn(h:self ref HashTable, key:string);
+		all:	fn(h:self ref HashTable): list of HashNode;
+	};
+	new: fn(size:int):ref HashTable;
+};
+