blob: e976404e6151bcfc61f270d4c0451bed8d2bcea1 (
plain) (
tree)
|
|
class Order[t](less:(t,t) => Boolean,equal:(t,t) => Boolean) {}
trait Map[A, B] extends scala.collection.Map[A, B] {
val factory:MapFactory[A]
}
abstract class MapFactory[A] {
def Empty[B]:Map[A,B];
}
class TreeMapFactory[KEY](newOrder:Order[KEY]) extends MapFactory[KEY] {
val order = newOrder;
def Empty[V] = new TreeMap[KEY,V](new TreeMapFactory[KEY](order));
}
class Tree[KEY,Entry](order:Order[KEY]) {
def size =0;
}
class TreeMap[KEY,VALUE](_factory:TreeMapFactory[KEY]) extends Tree[KEY,Pair[KEY,VALUE]](_factory.order) with scala.collection.DefaultMap[KEY, VALUE] with Map[KEY, VALUE] {
val factory = _factory
val order = _factory.order;
def this(newOrder:Order[KEY]) = this(new TreeMapFactory[KEY](newOrder));
def get(key:KEY) = null;
def iterator:Iterator[Pair[KEY,VALUE]] = null;
override def size = super[Tree].size
}
|