annotate d2/qtd/Attribute.d @ 347:970332a88b72

lowered the marshall in rank
author maxter <spambox@d-coding.com>
date Sat, 15 May 2010 00:22:47 +0300
parents 2691dd58d7e1
children 29ea6511681f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
345
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
1 /*********************************************************
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
2 Copyright: QtD Team, 2010
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
3 Authors: Max Samukha
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
4 License: Boost Software License 1.0
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
5 *********************************************************/
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
6 module qtd.Attribute;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
7
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
8 import
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
9 lds.meta.compiletime,
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
10 std.traits,
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
11 std.conv,
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
12 std.typetuple;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
13
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
14 enum standardNamespace = "qtd";
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
15
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
16 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
17 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
18 enum AttributeOptions
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
19 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
20 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
21 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
22 none,
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
23
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
24 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
25 Allows multiple attributes of the same category to be associated with the symbol.
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
26 */
346
2691dd58d7e1 fixed QSlitter.getRange
Max Samukha <maxter@spambox.com>
parents: 345
diff changeset
27 allowMultiple = 0x0000_0001,
2691dd58d7e1 fixed QSlitter.getRange
Max Samukha <maxter@spambox.com>
parents: 345
diff changeset
28
347
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
29 /* internal */ inner = 0x0000_0002,
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
30
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
31 /**
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
32 Attribute data are in key-value form.
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
33 */
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
34 named = 0x0000_0004
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
35 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
36
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
37 /**
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
38 When mixed in an aggregate, converts a compile-time tuple to
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
39 members of that aggregate.
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
40 */
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
41 mixin template tupleToMembers!(string nameSpace, size_t index, A...)
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
42 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
43 static if (index < A.length)
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
44 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
45 enum indexStr = to!string(index);
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
46
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
47 static if (is(__traits(compiles, { struct { typeof(A[index]) x; } }() })))
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
48 mixin("typeof(A[" ~ indexStr ~ "]) " ~ nameSpace ~ ~ " = A[" ~ indexStr ~"];\n" ~ next;
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
49 else
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
50 mixin("alias A[" ~ indexStr ~ "] " ~ nameSpace ~ indexStr ~ ";\n" ~ next;
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
51
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
52 mixin tupleToFields!(nameSpace, index + 1, A);
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
53 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
54 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
55
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
56 /**
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
57 When mixed in an aggregate, converts a compile-time tuple of name-value pairs to
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
58 members of that aggregate.
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
59 */
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
60 struct NamedValueTupleToFields(A...)
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
61 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
62
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
63 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
64
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
65 version (QtdUnittest)
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
66 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
67 unittest
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
68 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
69 static int foo()
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
70 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
71 return 42;
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
72 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
73
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
74 static struct S
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
75 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
76 mixin TupleToFields!("field", 0,
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
77 int,
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
78 "a",
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
79 22,
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
80 foo);
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
81 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
82
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
83 static assert(is(S.field0 == int));
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
84 S s;
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
85 assert(s.field1 == "a");
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
86 assert(s.field2 == "22");
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
87 assert(S.foo() == 42);
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
88 }
345
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
89 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
90
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
91 private template attributeId(alias symbol, uint index = 0)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
92 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
93 enum attributeId = standardNamespace ~ "_attr_" ~ uniqueId!symbol ~ "_" ~ to!string(index);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
94 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
95
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
96 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
97 Attributes allow to associate arbitrary compile-time data
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
98 with a declaration and optionaly make that data available at run-time.
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
99
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
100 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
101 class A
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
102 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
103 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
104 mixin Attribute!(C, "someAttribute", "B");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
105 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
106
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
107 The example above associates the string "B" with class A under the attribute category "someAttribute".
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
108 Multiple data can be associated with an attribute category for a single declaration:
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
109
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
110 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
111 class A
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
112 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
113 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
114 mixin Attribute!(C, "someAttribute", "B");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
115 mixin Attribute!(C, "someAttribute", AttributeOptions.allowMultiple, "C");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
116 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
117
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
118 Attributes of an attribute category can be accessed at compile-time:
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
119
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
120 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
121 alias GetAttributes!(C, "someAttribute") attrs;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
122 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
123
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
124 GetAttribute returns a compile time tuple, which contains "someAttribute" category attributes in the form
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
125 of TypeTupleWrapper instances. The first element of the tuple wrapped in the TypeTupleWrapper
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
126 contains the attribute category name, other elements contain the attrubute data.
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
127
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
128 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
129 alias attrs[0] attr0;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
130 alias attrs[1] attr1;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
131
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
132 static assert(attrs0.tuple[0] == "someAttribute" && attrs0.tuple[1] == "B");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
133 static assert(attrs1.tuple[0] == "someAttribute" && attrs1.tuple[1] == "C");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
134 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
135
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
136 Attributes can be inserted inside the body of a declaration.
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
137 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
138 class A
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
139 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
140 mixin Attribute!("someAttribute", "B");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
141 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
142 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
143
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
144 Attributes can be made available at run time by means of the declaration's meta-object
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
145 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
146 // prints category names of all attributes associated with class A
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
147 auto a = new A;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
148 foreach (attr; a.metaObject.attributes)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
149 writeln(attr.name);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
150 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
151
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
152 Attributes can be specialized
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
153
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
154 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
155 mixin template DbFieldAttribute(alias prop, string columnName)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
156 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
157 mixin Attribute!(prop, "DbFieldAttribute", columnName);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
158 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
159
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
160 class A
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
161 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
162 int value;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
163 mixin DbFieldAttribute!(value, "Value");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
164
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
165 int anotherValue;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
166 mixin DbFieldAttribute!(anotherValue, "Value2");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
167 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
168
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
169 assert(GetAttributes!(A.value, "DbFieldAttribute")[0].tuple[1] == "Value");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
170 assert(GetAttributes!(A.anotherValue, "DbFieldAttribute")[0].tuple[1] == "Value2");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
171 ----
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
172
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
173 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
174 mixin template Attribute(alias symbol, string attrClass, A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
175 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
176 mixin Attribute!(symbol, attrClass, AttributeOptions.none, A);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
177 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
178
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
179 /// ditto
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
180 mixin template Attribute(alias symbol, string attrClass, AttributeOptions opts, A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
181 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
182 mixin AttributeImpl!(symbol, attrClass, opts, 0, A);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
183 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
184
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
185
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
186 /// ditto
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
187 // TODO: probably make this an overload of Attribute
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
188 mixin template InnerAttribute(string attrClass, AttributeOptions opts, A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
189 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
190 // BUG: needs to be generalized to accept any parent
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
191 mixin Attribute!(typeof(this), attrClass, opts | AttributeOptions.inner, A);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
192 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
193
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
194 // ditto
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
195 mixin template InnerAttribute(string attrClass, A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
196 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
197 // BUG: needs to be generalized to accept any parent
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
198 mixin InnerAttribute!(attrClass, AttributeOptions.none, A);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
199 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
200
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
201 private mixin template AttributeImpl(alias symbol, string attrClass, AttributeOptions opts, size_t index, A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
202 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
203 private enum attrId = attributeId!(symbol, index) ~ (opts & AttributeOptions.inner ? "_inner" : "");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
204
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
205 static if (is(typeof(mixin(attrId))))
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
206 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
207 mixin ("alias " ~ attrId ~ " attr;");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
208 static if (!(opts & AttributeOptions.allowMultiple))
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
209 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
210 static assert (attr[0] != attrClass, "Multiple " ~ attrClass ~ " attributes are not allowed for "
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
211 ~ __traits(parent, symbol).stringof ~ "." ~ stringOf!symbol);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
212 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
213
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
214 mixin AttributeImpl!(symbol, attrClass, opts, index + 1, A);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
215 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
216 else
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
217 mixin ("alias TypeTuple!(attrClass, A) " ~ attrId ~ ";");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
218 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
219
347
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
220 /**
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
221 Base class for run time attributes
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
222 */
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
223 abstract class MetaAttribute
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
224 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
225 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
226
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
227 /**
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
228 Default implementation of run time attributes
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
229 */
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
230 final class MetaAttributeVariant : MetaAttribute
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
231 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
232 private:
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
233 Variant[] values_;
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
234
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
235 public:
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
236 Variant values()
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
237 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
238 return values_;
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
239 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
240
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
241 static MetaAttributeVariant create(string category, AttributeOptions opts, A...)()
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
242 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
243 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
244 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
245
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
246 class MetaAttributeTypedImpl(A...)
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
247 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
248 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
249
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
250
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
251 abstract class MetaAtributeTyped : MetaAttribute
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
252 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
253 void construct(A...)()
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
254 {
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
255 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
256 }
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
257
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
258
970332a88b72 lowered the marshall in rank
maxter <spambox@d-coding.com>
parents: 346
diff changeset
259
345
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
260 private string stringOfFunction(alias symbol)()
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
261 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
262 auto ptrType = typeof(&symbol).stringof;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
263 auto paramList = ParameterTypeTuple!(symbol).stringof;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
264
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
265 string result = ReturnType!(symbol).stringof ~ " " ~ __traits(identifier, symbol) ~ paramList;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
266
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
267 if (ptrType[$ - 1] != ')')
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
268 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
269 for (size_t i = ptrType.length - 2;; --i)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
270 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
271 if (ptrType[i] == ')')
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
272 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
273 result ~= ptrType[i + 1..$];
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
274 break;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
275 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
276 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
277 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
278
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
279 return result;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
280 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
281
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
282 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
283 String of any symbol, including functions
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
284 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
285 template stringOf(alias symbol)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
286 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
287 static if (isFunction!symbol)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
288 enum stringOf = stringOfFunction!symbol;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
289 else
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
290 enum stringOf = symbol.stringof;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
291 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
292
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
293 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
294 Returns the string uniquely identifying the
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
295 symbol in its container.
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
296 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
297 template uniqueName(alias symbol)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
298 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
299 enum uniqueName = stringOf!symbol;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
300 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
301
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
302 // TODO: works only for simple types. implement
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
303 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
304 *
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
305 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
306 string uniqueIdImpl(string symbol)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
307 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
308 char[] r = symbol.dup;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
309 foreach (i, c; symbol)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
310 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
311 if (c == '(' || c == ')' || c == ' ')
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
312 r[i] = '_';
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
313 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
314
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
315 return cast(immutable)r;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
316 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
317
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
318 template uniqueId(alias symbol)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
319 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
320 enum uniqueId = uniqueIdImpl(stringOf!symbol);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
321 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
322
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
323 version (QtdUnittest)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
324 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
325 unittest
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
326 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
327 static class C
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
328 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
329 void foo() const {};
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
330 bool bar(int) { return true; };
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
331 int x;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
332 static assert (stringOf!foo == "void foo() const");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
333 static assert (uniqueName!foo == "void foo() const");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
334 static assert (stringOf!bar == "bool bar(int)");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
335 static assert (uniqueName!bar == "bool bar(int)");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
336 static assert (stringOf!x == "x");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
337 static assert (uniqueName!x == "x");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
338 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
339
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
340 static assert (stringOf!(C.foo) == "void foo() const");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
341 static assert (uniqueName!(C.foo) == "void foo() const");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
342 static assert (stringOf!(C.bar) == "bool bar(int)");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
343 static assert (uniqueName!(C.bar) == "bool bar(int)");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
344
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
345 static assert (stringOf!(C.x) == "x");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
346 static assert (uniqueName!(C.x) == "x");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
347 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
348 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
349
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
350 template truePred(A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
351 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
352 enum truePred = true;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
353 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
354
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
355 template attrCategoryPred(string name)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
356 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
357 template attrCategoryPred(A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
358 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
359 enum attrCategoryPred = A[0] == name;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
360 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
361 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
362
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
363 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
364 Returns a compile-time tuple of attributes that
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
365 match pred.
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
366 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
367 template GetAttributes(alias symbol, alias pred = truePred)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
368 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
369 alias GetAttributesImpl!(symbol, 0, pred).result GetAttributes;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
370 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
371
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
372 /**
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
373 Returns a compile-time tuple of attributes
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
374 matching the specified attribute category.
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
375 */
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
376 template GetAttributes(alias symbol, string attrCategory)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
377 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
378 alias GetAttributes!(symbol, attrCategoryPred!attrCategory) GetAttributes;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
379 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
380
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
381
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
382 template GetAttributesImpl(alias symbol, size_t index, alias pred)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
383 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
384 //pragma(msg, mixin("symbol." ~ attributeId!(symbol, index) ~ "_inner").stringof);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
385 static if (is(typeof(mixin("__traits(parent, symbol)." ~ attributeId!(symbol, index)))))
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
386 mixin ("alias lds.meta.compiletime.Alias!(__traits(parent, symbol))." ~ attributeId!(symbol, index) ~ " attr;");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
387 else static if (is(typeof(mixin("symbol." ~ attributeId!(symbol, index) ~ "_inner"))))
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
388 mixin ("alias symbol." ~ attributeId!(symbol, index) ~ "_inner attr;");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
389
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
390 static if (is(typeof(attr)))
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
391 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
392 alias GetAttributesImpl!(symbol, index + 1, pred).result next;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
393
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
394 static if (pred!attr)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
395 alias TypeTuple!(TypeTupleWrapper!attr, next) result;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
396 else
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
397 alias next result;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
398 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
399 else
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
400 alias TypeTuple!() result;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
401 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
402
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
403 version (QtdUnittest)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
404 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
405 mixin template MyAttribute(alias symbol, A...)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
406 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
407 mixin Attribute!(symbol, "MyAttribute", AttributeOptions.allowMultiple, A);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
408 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
409
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
410 mixin template ClassInfo(string name, alias value)
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
411 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
412 mixin InnerAttribute!("ClassInfo", AttributeOptions.allowMultiple, name, value);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
413 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
414
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
415 unittest
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
416 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
417 static class C
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
418 {
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
419 // inner C attributes
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
420 mixin InnerAttribute!("Inner", 33); // generic
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
421 mixin ClassInfo!("version", 123);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
422 mixin ClassInfo!("author", "James Bond");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
423
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
424
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
425 void foo() {};
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
426 // foo attributes
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
427 mixin Attribute!(foo, "SomeAttribute", 42);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
428 mixin MyAttribute!(foo, 1, 2);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
429 mixin MyAttribute!(foo, 3, 4);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
430
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
431 alias GetAttributes!(typeof(this), "Inner") innerAttrs;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
432 static assert(innerAttrs[0].tuple[0] == "Inner");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
433 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
434 // outer C attribute
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
435 mixin MyAttribute!(C, 24);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
436
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
437 alias GetAttributes!(C, "Inner") innerAttrs;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
438 static assert(innerAttrs[0].tuple[0] == "Inner" && innerAttrs[0].tuple[1] == 33);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
439
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
440 alias GetAttributes!(C, "ClassInfo") ciAttrs;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
441 static assert(ciAttrs[0].tuple[1] == "version" && ciAttrs[0].tuple[2] == 123);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
442
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
443 alias GetAttributes!(C.foo, "SomeAttribute") someAttr;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
444 static assert(someAttr.length == 1);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
445 static assert(someAttr[0].tuple[0] == "SomeAttribute");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
446
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
447 alias GetAttributes!(C.foo, "MyAttribute") myAttrs;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
448
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
449 //COMPILER BUG: cannot 'alias myAttrs[0].tuple myAttrs_0';
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
450 static assert(myAttrs[0].tuple[0] == "MyAttribute");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
451 static assert(myAttrs[0].tuple[1] == 1 && myAttrs[0].tuple[2] == 2);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
452
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
453 static assert(myAttrs[1].tuple[0] == "MyAttribute");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
454 static assert(myAttrs[1].tuple[1] == 3 && myAttrs[1].tuple[2] == 4);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
455
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
456 /+ BUG: Fails: local declarations cannot be accessed as parent.localDecl
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
457 alias GetAttributes!(C, "MyAttribute") myAttrs2;
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
458 static assert(myAttrs2[0].tuple[0] == "MyAttribute");
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
459 static assert(myAttrs2[0].tuple[1] == 24);
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
460 +/
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
461 }
719604a71da0 added attribute exercise
Max Samukha <maxter@spambox.com>
parents:
diff changeset
462 }