Changeset 1563

Timestamp:

05/27/10 20:43:04 (15 years ago)

Author:

rsinfu

Message:

typecons doc: made reference to the Class::BlackHole? and Class::WhiteHole? perl modules.
Plus made WhiteHole? to throw NotImplementedError? if possible.

Files:

• trunk/phobos/std/typecons.d (modified) (3 diffs)

trunk/phobos/std/typecons.d

@@ -1412 +1412 @@
-
-+/
-
-
-/**
-$(D BlackHole!Base) is a subclass of $(D Base) which automatically implements
-all abstract member functions in $(D Base) as do-nothing functions.  Each
-auto-implemented function just returns the default value of the return type
-without doing anything.
-
+The name came from
+$(WEB search.cpan.org/~sburke/Class-_BlackHole-0.04/lib/Class/_BlackHole.pm, Class::_BlackHole)
+Perl module by Sean M. Burke.
+
-Example:
---------------------
-abstract class C
-{
-    int m_value;
-    this(int v) { m_value = v; }
-    int value() @property { return m_value; }
-
-    abstract real realValue() @property;
-    abstract void doSomething();
@@ -1476 +1480 @@
-
-        assert(c.realValue !<>= 0); // NaN
-        c.doSomething();
-    }
-}
-
-
-/**
-$(D WhiteHole!Base) is a subclass of $(D Base) which automatically implements
-all abstract member functions as throw-always functions.  Each auto-implemented
-
-
+
+
+
+
+
+
-
-Example:
---------------------
-class C
-{
-    abstract void notYetImplemented();
-}
-
-void main()
-{
-    auto c = new WhiteHole!C;
-Assert
+an 
-}
---------------------
+
+BUGS:
+  Nothrow functions cause program to abort in release mode because the trap is
+  implemented with $(D assert(0)) for nothrow functions.
-
-See_Also:
-  AutoImplement, generateAssertTrap
- */
-template WhiteHole(Base)
-{
-    alias AutoImplement!(Base, generateAssertTrap, isAbstractFunction)
-            WhiteHole;
-}
-
+// / ditto
+class NotImplementedError : Error
+{
+    this(string method)
+    {
+        super(method ~ " is not implemented");
+    }
+}
+
-unittest
-{
+    // nothrow
+    debug // see the BUGS above
+    {
+        interface I_1
+        {
+            void foo();
+            void bar() nothrow;
+        }
+        auto o = new WhiteHole!I_1;
+        uint trap;
+        try { o.foo(); } catch (Error e) { ++trap; }
+        assert(trap == 1);
+        try { o.bar(); } catch (Error e) { ++trap; }
+        assert(trap == 2);
+    }
-    // doc example
-    {
-        static class C
-        {
-            abstract void notYetImplemented();
-        }
-
-        auto c = new WhiteHole!C;
-        try
-        {
@@ -2227 +2263 @@
-        };
-    else
-        enum string generateEmptyFunction = q{
-            return typeof(return).init;
-        };
-}
-
-/// ditto
-template generateAssertTrap(C, func.../+[BUG 4217]+/)
-{
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+