Changeset c5cb943d in mainline for uspace/dist/src/sysel/lib/map.sy

Timestamp:

2010-06-09T19:01:08Z (14 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

1113c9e

Parents:

051bc69a

Message:

Update SBI to rev. 291.

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