gcc/testsuite/gdc.test/runnable/e7804.d

   1 /* REQUIRED_ARGS: -unittest
   2 */
   3 module e7804;
   4
   5 struct Bar {static struct B{}}
   6 alias BarB = __traits(getMember, Bar, "B");
   7 static assert(is(BarB == Bar.B));
   8 static assert(is(const(__traits(getMember, Bar, "B")) == const(Bar.B)));
   9
  10 alias BarBParent = __traits(parent, BarB);
  11 static assert(is(BarBParent == Bar));
  12
  13 struct Foo {alias MyInt = int;}
  14 alias FooInt = __traits(getMember, Foo, "MyInt");
  15 static immutable FooInt fi = 42;
  16 static assert(fi == 42);
  17 void declVsStatementSupport()
  18 {
  19     __traits(getMember, Foo, "MyInt") i1 = 1;
  20     const(__traits(getMember, Foo, "MyInt")) i2 = 1;
  21     assert(i1 == i2);
  22     __traits(getMember, Foo, "MyInt") i3 = __traits(getMember, Foo, "MyInt").max;
  23     assert(i3 == int.max);
  24 }
  25
  26
  27 enum __traits(getMember, Foo, "MyInt") a0 = 12;
  28 static assert(is(typeof(a0) == int));
  29 static assert(a0 == 12);
  30
  31
  32 const __traits(getMember, Foo, "MyInt") a1 = 46;
  33
  34
  35 __traits(getMember, Foo, "MyInt") a2 = 78;
  36
  37
  38 const(__traits(getMember, Foo, "MyInt")) a3 = 63;
  39
  40
  41 struct WithSym {static int foo; static int bar(){return 42;}}
  42 alias m1 = __traits(getMember, WithSym, "foo");
  43 alias m2 = WithSym.foo;
  44 static assert(__traits(isSame, m1, m2));
  45 alias f1 = __traits(getMember, WithSym, "bar");
  46 alias f2 = WithSym.bar;
  47 static assert(__traits(isSame, f1, f2));
  48
  49
  50 auto ovld(const(char)[] s){return s;}
  51 auto ovld(int i){return i;}
  52 alias ovlds = __traits(getOverloads, e7804, "ovld");
  53
  54
  55 struct TmpPrm(T)
  56 if (is(T == int)){T t;}
  57 TmpPrm!(__traits(getMember, Foo, "MyInt")) tpt = TmpPrm!(__traits(getMember, Foo, "MyInt"))(42);
  58
  59
  60 @Foo @(1) class Class
  61 {
  62     final void virtual(){}
  63     int virtual(int p){return p;}
  64     void test(this T)()
  65     {
  66         alias vf = __traits(getVirtualFunctions, Class, "virtual");
  67         assert(vf.length == 2);
  68         alias vm = __traits(getVirtualMethods, Class, "virtual");
  69         assert(vm.length == 1);
  70         assert(vm[0](42) == 42);
  71         alias attribs = __traits(getAttributes, Class);
  72         assert(attribs.length == 2);
  73         assert(is(typeof(attribs[0]()) == Foo));
  74         assert(attribs[1] == 1);
  75
  76         alias objectAll = __traits(allMembers, Object);
  77         alias classDerived = __traits(derivedMembers, Class);
  78         alias classAll = __traits(allMembers, Class);
  79         enum Seq(T...) = T;
  80         static assert (classAll == Seq!(classDerived, objectAll));
  81     }
  82 }
  83
  84
  85 struct UnitTests
  86 {
  87     static int count;
  88     unittest { count++; }
  89     unittest {++++count;}
  90     static void test()
  91     {
  92         alias tests = __traits(getUnitTests, UnitTests);
  93         static assert(tests.length == 2);
  94         foreach(t; tests) t();
  95         assert(count == 6); // not 3 because executed automatically (DRT) then manually
  96     }
  97 }
  98
  99
 100 class One
 101 {
 102     void foo(){}
 103     void foo(int){}
 104 }
 105
 106 class Two : One
 107 {
 108     void test()
 109     {
 110         alias Seq(T...) = T;
 111         alias p1 = Seq!(__traits(getMember, super, "foo"))[0];
 112         alias p2 = __traits(getMember, super, "foo");
 113         static assert(__traits(isSame, p1, p2));
 114     }
 115 }
 116
 117
 118 class SingleSymTuple
 119 {
 120     int foo(){return 42;}
 121     void test()
 122     {
 123         alias f = __traits(getMember, this, "foo");
 124         assert(f() == 42);
 125     }
 126 }
 127
 128
 129 struct WithAliasThis
 130 {
 131     auto getter(){return 42;}
 132     alias getter this;
 133     void test()
 134     {
 135         alias getterCall = __traits(getAliasThis, typeof(this));
 136         assert(mixin(getterCall[0]) == 42);
 137     }
 138 }
 139
 140 void main()
 141 {
 142     declVsStatementSupport();
 143     assert(a1 == 46);
 144     assert(a2 == 78);
 145     assert(a3 == 63);
 146     assert(f1() == f2());
 147     Foo.MyInt fmi = cast(__traits(getMember, Foo, "MyInt")) 0;
 148     auto c = __traits(getMember, Foo, "MyInt").max;
 149     assert(c == int.max);
 150     assert(ovlds[0]("farfelu") == "farfelu");
 151     assert(ovlds[1](42) == 42);
 152     (new Class).test();
 153     UnitTests.test();
 154     (new WithAliasThis).test();
 155     (new Two).test();
 156     (new SingleSymTuple).test();
 157 }
 158
 159 /* https://issues.dlang.org/show_bug.cgi?id=19708 */
 160 struct Foo19708 {}
 161 struct Bar19708 {}
 162 template Baz19708(T) { struct Baz19708{T t;} }
 163 int symbol19708;
 164
 165 @Foo19708 @Bar19708 @Baz19708 @symbol19708 int bar19708;
 166
 167 alias TR19708 = __traits(getAttributes, bar19708);
 168 alias TRT = __traits(getAttributes, bar19708)[2];
 169
 170 TR19708[0] a119708;
 171 TR19708[1] a219708;
 172 alias A3 = TRT!int;
 173
 174 alias C19708 = TR19708[0];
 175 alias D19708 = TR19708[1];
 176 C19708 c1;
 177 D19708 d1;
 178
 179 static assert(__traits(isSame, TR19708[3], symbol19708));