# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1221238233 -7200
# Node ID 21c77bcb78873fb3a81c0624c60b64bff1033b85
# Parent  ed80c5c2b55001cb301cb7f8eb2737cfce8e62a1
add impl

diff -r ed80c5c2b550 -r 21c77bcb7887 dwtx/dwtxhelper/Collection.d
--- a/dwtx/dwtxhelper/Collection.d	Fri Sep 12 11:25:56 2008 +0200
+++ b/dwtx/dwtxhelper/Collection.d	Fri Sep 12 18:50:33 2008 +0200
@@ -1221,8 +1221,7 @@
         return null;
     }
     public bool    isEmpty(){
-        implMissing( __FILE__, __LINE__ );
-        return false;
+        return set.isEmpty();
     }
     public Iterator   iterator(){
         implMissing( __FILE__, __LINE__ );
@@ -1247,8 +1246,7 @@
         return false;
     }
     public int    size(){
-        implMissing( __FILE__, __LINE__ );
-        return 0;
+        return set.size();
     }
     public SortedSet      subSet(Object fromElement, Object toElement){
         implMissing( __FILE__, __LINE__ );
@@ -2292,4 +2290,4 @@
     this(){
         implMissing( __FILE__, __LINE__ );
     }
-}
\ No newline at end of file
+}