using reflection

Author: jll63

dev/run-everything

@@ -18,7 +18,15 @@ then
     errors=1
 fi
 
-for dir in tests examples
+echo test openmethods:tests...
+
+if ! dub test --compiler $DC -q openmethods:tests $*;
+then
+    echo "ERROR"
+    errors=1
+fi
+
+for dir in examples
 do
     echo "$dir..."
 

dub.sdl

@@ -12,6 +12,10 @@ buildType "x" {
 	buildOptions "debugMode" "debugInfo" "unittests"
 }
 dependency "bolts" version="~>1.7.0"
+configuration "unittest" {
+    dflags "-mixin=mixins.txt"
+    dependency "fluent-asserts" version="~>0.13.3"
+}
 targetType "library"
 subPackage "./examples/acceptnovisitors"
 subPackage "./examples/adventure"
@@ -24,3 +28,4 @@ subPackage "./tests/errors"
 subPackage "./tests/mptrhash"
 subPackage "./tests/misc"
 subPackage "./benchmarks/runtimemetrics"
+subPackage "./tests"

examples/dl/run

@@ -14,7 +14,8 @@ DFLAGS="-g -I../../source -I$BOLT_SOURCE $DFLAGS"
 SOFLAGS="-L-fPIC -shared"
 
 $DC $DFLAGS $SOFLAGS -i -c ../../source/openmethods.d
-$DC $DFLAGS $SOFLAGS openmethods.o -oflibopenmethods.so
+$DC $DFLAGS $SOFLAGS -i -c ../../source/bolts/reflection/*.d
+$DC $DFLAGS $SOFLAGS openmethods.o meta*.o -oflibopenmethods.so
 
 $DC $DFLAGS $SOFLAGS -c animals.d
 $DC $DFLAGS $SOFLAGS animals.o -oflibanimals.so

examples/rolex/source/app.d

@@ -44,42 +44,42 @@ class Plane : Expense
 {
 }
 
-bool approve(virtual!Role, virtual!Expense) @safe @nogc nothrow;
+bool approve(virtual!Role, virtual!Expense) @trusted @nogc nothrow;
 
 @method
-bool _approve(Role r, Expense e) @safe @nogc nothrow
+bool _approve(Role r, Expense e) @trusted @nogc nothrow
 {
   return false;
 }
 
 @method
-bool _approve(Employee r, Public e) @safe @nogc nothrow
+bool _approve(Employee r, Public e) @trusted @nogc nothrow
 {
   return true;
 }
 
 @method
-bool _approve(Executive r, Taxi e) @safe @nogc nothrow
+bool _approve(Executive r, Taxi e) @trusted @nogc nothrow
 {
   return true;
 }
 
 @method
-bool _approve(Owner r, Expense e) @safe @nogc nothrow
+bool _approve(Owner r, Expense e) @trusted @nogc nothrow
 {
   return true;
 }
 
-string pay(virtual!Employee) @safe;
+string pay(virtual!Employee) @trusted;
 
 @method
-string _pay(Employee m) @safe
+string _pay(Employee m) @trusted
 {
   return "salary";
 }
 
 @method
-string _pay(Executive e) @safe
+string _pay(Executive e) @trusted
 {
   return next!pay(e) ~ " + bonus";
 }

source/bolts/reflection/metaaggregate.d

@@ -0,0 +1,70 @@
+module bolts.reflection.metaaggregate;
+
+import bolts.reflection.metafunction;
+
+static mixin template ModuleAggregateCommonCode()
+{
+  import std.meta : staticMap, AliasSeq;
+  import bolts.reflection.metafunction;
+
+  alias functions = staticMap!(collectMembers, __traits(allMembers, origin));
+
+  private alias collectMembers(string name) = collectOverloads!(
+    name, 0, __traits(getOverloads, origin, name));
+
+  private alias collectOverloads(string name, int index, Fun...) =
+    AliasSeq!(
+      Function!(Fun[0], source, name, index),
+      collectOverloads!(name, index + 1, Fun[1..$]));
+
+  private alias collectOverloads(string name, int index) = AliasSeq!();
+}
+
+template Aggregate(alias Aggregate_, string Source = __traits(identifier, Aggregate_))
+{
+  alias origin = Aggregate_;
+  alias source = Source;
+  mixin ModuleAggregateCommonCode;
+}
+
+unittest
+{
+  import std.format;
+  import bolts.reflection.metafunction;
+  import std.traits; // needed by expansion or Function.returnType
+
+  interface TheFullMonty
+  {
+    pure int foo() immutable;
+    @nogc @trusted nothrow ref int foo(out real, return ref int, lazy int) const;
+    @safe shared scope void foo(scope Object);
+  }
+
+  template Mocker(alias F)
+  {
+    static if (is(F.returnType.origin == void)) {
+      enum Mocker = F.setBody!("").mixture;
+    } else static if (F.isRef) {
+      enum Mocker = F.setBody!(q{
+          static %s rv;
+          return rv;
+        }.format(F.returnType.mixture)).mixture;
+    } else {
+      enum Mocker = F.setBody!(q{
+          return %s.init;
+        }.format(F.returnType.mixture)).mixture;
+    }
+  }
+
+  class Mock(Interface) : Interface
+  {
+    mixin(staticMap!(Mocker, Aggregate!Interface.functions));
+  }
+
+  TheFullMonty mock = new Mock!TheFullMonty;
+  real x;
+  int i, l;
+  mock.foo(x, i, l++) = 1;
+  assert(mock.foo(x, i, l++) == 1);
+  assert(l == 0);
+}