Mercurial > projects > ddmd
annotate dmd/TemplateValueParameter.d @ 50:adf6f7f216ea
CondExp.toCBuffer
IsExp.toCBuffer
TemplateValueParameter.toCBuffer
Dsymbol.search
TemplateDeclaration.overloadInsert bug fixed
author | korDen |
---|---|
date | Sat, 21 Aug 2010 10:38:26 +0400 |
parents | ea4769860460 |
children | 4290d870944a |
rev | line source |
---|---|
0 | 1 module dmd.TemplateValueParameter; |
2 | |
3 import dmd.TemplateParameter; | |
4 import dmd.Scope; | |
5 import dmd.Declaration; | |
6 import dmd.ArrayTypes; | |
7 import dmd.Type; | |
8 import dmd.Expression; | |
9 import dmd.Loc; | |
10 import dmd.Identifier; | |
11 import dmd.OutBuffer; | |
12 import dmd.HdrGenState; | |
13 import dmd.MATCH; | |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
14 import dmd.VarDeclaration; |
40 | 15 import dmd.Initializer; |
16 import dmd.ExpInitializer; | |
44 | 17 import dmd.DefaultInitExp; |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
18 import dmd.STC; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
19 import dmd.Util; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
20 import dmd.TY; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
21 import dmd.WANT; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
22 import dmd.TOK; |
0 | 23 |
40 | 24 import dmd.Dsymbol : isExpression; |
25 | |
0 | 26 class TemplateValueParameter : TemplateParameter |
27 { | |
28 /* Syntax: | |
29 * valType ident : specValue = defaultValue | |
30 */ | |
31 | |
32 Type valType; | |
33 Expression specValue; | |
34 Expression defaultValue; | |
35 | |
36 static Expression edummy; | |
37 | |
38 this(Loc loc, Identifier ident, Type valType, Expression specValue, Expression defaultValue) | |
39 { | |
40 super(loc, ident); | |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
41 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
42 this.valType = valType; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
43 this.specValue = specValue; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
44 this.defaultValue = defaultValue; |
0 | 45 } |
46 | |
47 TemplateValueParameter isTemplateValueParameter() | |
48 { | |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
49 return this; |
0 | 50 } |
51 | |
52 TemplateParameter syntaxCopy() | |
53 { | |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
54 TemplateValueParameter tp = new TemplateValueParameter(loc, ident, valType, specValue, defaultValue); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
55 tp.valType = valType.syntaxCopy(); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
56 if (specValue) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
57 tp.specValue = specValue.syntaxCopy(); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
58 if (defaultValue) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
59 tp.defaultValue = defaultValue.syntaxCopy(); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
60 return tp; |
0 | 61 } |
62 | |
63 void declareParameter(Scope sc) | |
64 { | |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
65 VarDeclaration v = new VarDeclaration(loc, valType, ident, null); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
66 v.storage_class = STC.STCtemplateparameter; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
67 if (!sc.insert(v)) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
68 error(loc, "parameter '%s' multiply defined", ident.toChars()); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
69 sparam = v; |
0 | 70 } |
71 | |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
72 void semantic(Scope sc) |
0 | 73 { |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
74 sparam.semantic(sc); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
75 valType = valType.semantic(loc, sc); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
76 if (!(valType.isintegral() || valType.isfloating() || valType.isString()) && valType.ty != TY.Tident) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
77 error(loc, "arithmetic/string type expected for value-parameter, not %s", valType.toChars()); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
78 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
79 if (specValue) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
80 { |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
81 Expression e = specValue; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
82 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
83 e = e.semantic(sc); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
84 e = e.implicitCastTo(sc, valType); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
85 e = e.optimize(WANTvalue | WANTinterpret); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
86 if (e.op == TOKint64 || e.op == TOKfloat64 || |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
87 e.op == TOKcomplex80 || e.op == TOKnull || e.op == TOKstring) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
88 specValue = e; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
89 //e.toInteger(); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
90 } |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
91 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
92 static if (false) { // defer semantic analysis to arg match |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
93 if (defaultValue) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
94 { |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
95 Expression e = defaultValue; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
96 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
97 e = e.semantic(sc); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
98 e = e.implicitCastTo(sc, valType); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
99 e = e.optimize(WANTvalue | WANTinterpret); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
100 if (e.op == TOKint64) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
101 defaultValue = e; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
102 //e.toInteger(); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
103 } |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
104 } |
0 | 105 } |
106 | |
107 void print(Object oarg, Object oded) | |
108 { | |
109 assert(false); | |
110 } | |
111 | |
112 void toCBuffer(OutBuffer buf, HdrGenState* hgs) | |
113 { | |
50 | 114 valType.toCBuffer(buf, ident, hgs); |
115 if (specValue) | |
116 { | |
117 buf.writestring(" : "); | |
118 specValue.toCBuffer(buf, hgs); | |
119 } | |
120 if (defaultValue) | |
121 { | |
122 buf.writestring(" = "); | |
123 defaultValue.toCBuffer(buf, hgs); | |
124 } | |
0 | 125 } |
126 | |
127 Object specialization() | |
128 { | |
39 | 129 return specValue; |
0 | 130 } |
131 | |
132 Object defaultArg(Loc loc, Scope sc) | |
133 { | |
44 | 134 Expression e = defaultValue; |
135 if (e) | |
136 { | |
137 e = e.syntaxCopy(); | |
138 e = e.semantic(sc); | |
139 version (DMDV2) { | |
140 if (e.op == TOKdefault) | |
141 { | |
142 DefaultInitExp de = cast(DefaultInitExp)e; | |
143 e = de.resolve(loc, sc); | |
144 } | |
145 } | |
146 } | |
147 return e; | |
0 | 148 } |
149 | |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
150 bool overloadMatch(TemplateParameter tp) |
0 | 151 { |
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
152 TemplateValueParameter tvp = tp.isTemplateValueParameter(); |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
153 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
154 if (tvp) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
155 { |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
156 if (valType != tvp.valType) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
157 return false; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
158 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
159 if (valType && !valType.equals(tvp.valType)) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
160 return false; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
161 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
162 if (specValue != tvp.specValue) |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
163 return false; |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
164 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
165 return true; // match |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
166 } |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
167 |
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
168 return false; |
0 | 169 } |
170 | |
171 MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration* psparam, int flags) | |
172 { | |
40 | 173 //printf("TemplateValueParameter.matchArg()\n"); |
174 | |
175 Initializer init; | |
176 Declaration sparam; | |
177 MATCH m = MATCHexact; | |
178 Expression ei; | |
179 Object oarg; | |
180 | |
181 if (i < tiargs.dim) | |
182 oarg = cast(Object)tiargs.data[i]; | |
183 else | |
184 { | |
185 // Get default argument instead | |
186 oarg = defaultArg(loc, sc); | |
187 if (!oarg) | |
188 { | |
189 assert(i < dedtypes.dim); | |
190 // It might have already been deduced | |
191 oarg = cast(Object)dedtypes.data[i]; | |
192 if (!oarg) | |
193 goto Lnomatch; | |
194 } | |
195 } | |
196 | |
197 ei = isExpression(oarg); | |
198 Type vt; | |
199 | |
200 if (!ei && oarg) | |
201 goto Lnomatch; | |
202 | |
203 if (ei && ei.op == TOKvar) | |
204 { | |
205 // Resolve const variables that we had skipped earlier | |
206 ei = ei.optimize(WANTvalue | WANTinterpret); | |
207 } | |
208 | |
209 if (specValue) | |
210 { | |
211 if (!ei || ei == edummy) | |
212 goto Lnomatch; | |
213 | |
214 Expression e = specValue; | |
215 | |
216 e = e.semantic(sc); | |
217 e = e.implicitCastTo(sc, valType); | |
218 e = e.optimize(WANTvalue | WANTinterpret); | |
219 //e.type = e.type.toHeadMutable(); | |
220 | |
221 ei = ei.syntaxCopy(); | |
222 ei = ei.semantic(sc); | |
223 ei = ei.optimize(WANTvalue | WANTinterpret); | |
224 //ei.type = ei.type.toHeadMutable(); | |
225 //printf("\tei: %s, %s\n", ei.toChars(), ei.type.toChars()); | |
226 //printf("\te : %s, %s\n", e.toChars(), e.type.toChars()); | |
227 if (!ei.equals(e)) | |
228 goto Lnomatch; | |
229 } | |
230 else if (dedtypes.data[i]) | |
231 { // Must match already deduced value | |
232 Expression e = cast(Expression)dedtypes.data[i]; | |
233 | |
234 if (!ei || !ei.equals(e)) | |
235 goto Lnomatch; | |
236 } | |
237 Lmatch: | |
238 //printf("\tvalType: %s, ty = %d\n", valType.toChars(), valType.ty); | |
239 vt = valType.semantic(Loc(0), sc); | |
240 //printf("ei: %s, ei.type: %s\n", ei.toChars(), ei.type.toChars()); | |
241 //printf("vt = %s\n", vt.toChars()); | |
242 if (ei.type) | |
243 { | |
244 m = cast(MATCH)ei.implicitConvTo(vt); | |
245 //printf("m: %d\n", m); | |
246 if (!m) | |
247 goto Lnomatch; | |
248 } | |
249 dedtypes.data[i] = cast(void*)ei; | |
250 | |
251 init = new ExpInitializer(loc, ei); | |
252 sparam = new VarDeclaration(loc, vt, ident, init); | |
253 sparam.storage_class = STCmanifest; | |
254 *psparam = sparam; | |
255 return m; | |
256 | |
257 Lnomatch: | |
258 //printf("\tno match\n"); | |
259 *psparam = null; | |
260 return MATCHnomatch; | |
0 | 261 } |
262 | |
263 void* dummyArg() | |
264 { | |
265 assert(false); | |
266 } | |
267 } |