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