Changes in uspace/dist/src/sysel/lib/map.sy [051bc69a:c5cb943d] in mainline

File:

• uspace/dist/src/sysel/lib/map.sy (modified) (2 diffs)

uspace/dist/src/sysel/lib/map.sy

@@ -91 +91 @@
                 end
         end
+
+        fun GetEnumerator() : IEnumerator/tkey is
+                return new MapEnumerator/tkey/tvalue(data.get_first());
+        end
 end
 
@@ -97 +101 @@
         var Value : tvalue;
 end
+
+class MapEnumerator/tkey/tvalue : IEnumerator/tkey is
+        var first : ListNode/(MapPair/tkey/tvalue);
+        var current : ListNode/(MapPair/tkey/tvalue);
+        var started : bool;
+
+        new(first_node : ListNode/(MapPair/tkey/tvalue)) is
+                first = first_node;
+                current = nil;
+                started = false;
+        end
+
+        fun MoveNext() : bool is
+                if started then
+                        current = current.Next;
+                else
+                        current = first;
+                        started = true;
+                end
+
+                return current != nil;
+        end
+
+        prop Data : tkey is
+                get is
+                        return current.Data.Key;
+                end
+        end
+end