From 21b147f7caf8b558b00044f493cf9da392c7e30e Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Fri, 14 Feb 2003 14:39:24 +0000
Subject: Initial version.

---
 test/files/pos/IntSet.scala | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 test/files/pos/IntSet.scala

(limited to 'test/files/pos/IntSet.scala')

diff --git a/test/files/pos/IntSet.scala b/test/files/pos/IntSet.scala
new file mode 100644
index 0000000000..850a5cb923
--- /dev/null
+++ b/test/files/pos/IntSet.scala
@@ -0,0 +1,36 @@
+trait IntSet {
+  def incl(x: Int): IntSet;
+  def contains(x: Int): Boolean;
+  def foreach(f: Int => Unit): Unit;
+  def union(that: IntSet): IntSet;
+}
+module Empty extends IntSet {
+  def contains(x: Int): Boolean = Boolean.False;
+  def incl(x: Int): IntSet = new NonEmpty(x, Empty, Empty);
+  def foreach(f: Int => Unit): Unit = ();
+  def union(that: IntSet): IntSet = that;
+}
+class NonEmpty(elem: Int, left: IntSet, right: IntSet) extends IntSet {
+  def contains(x: Int): Boolean =
+    if (x < elem) left contains x
+    else if (x > elem) right contains x
+    else True;
+  def incl(x: Int): IntSet =
+    if (x < elem) new NonEmpty(elem, left incl x, right)
+    else if (x > elem) new NonEmpty(elem, left, right incl x)
+    else this;
+  def foreach(f: Int => Unit): Unit = {
+    left foreach f;
+    f(elem);
+    right foreach f;
+  }
+  def union(that: IntSet): IntSet = (left union (right union that)) incl elem;
+}
+module test {
+  def main = {
+    val x = Empty incl 1 incl 2;
+    val y = Empty incl 2 incl 3;
+    x foreach java.lang.System.out.println;
+    y foreach java.lang.System.out.println;
+  }
+}
\ No newline at end of file
-- 
cgit v1.2.3