Mercurial > projects > ddmd
annotate dmd/TemplateValueParameter.d @ 114:e28b18c23469
added a module dmd.common for commonly used stuff
it currently holds code for consistency checking of predefined versions
also added a VisualD project file
| author | Trass3r |
|---|---|
| date | Wed, 01 Sep 2010 18:21:58 +0200 |
| parents | 3482c73a991b |
| children | 60bb0fe4563e |
| 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 | |
| 0 | 27 class TemplateValueParameter : TemplateParameter |
| 28 { | |
| 29 /* Syntax: | |
| 30 * valType ident : specValue = defaultValue | |
| 31 */ | |
| 32 | |
| 33 Type valType; | |
| 34 Expression specValue; | |
| 35 Expression defaultValue; | |
| 36 | |
| 37 static Expression edummy; | |
| 38 | |
| 39 this(Loc loc, Identifier ident, Type valType, Expression specValue, Expression defaultValue) | |
| 40 { | |
| 41 super(loc, ident); | |
|
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
42 |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
43 this.valType = valType; |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
44 this.specValue = specValue; |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
45 this.defaultValue = defaultValue; |
| 0 | 46 } |
| 47 | |
| 72 | 48 override TemplateValueParameter isTemplateValueParameter() |
| 0 | 49 { |
|
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
50 return this; |
| 0 | 51 } |
| 52 | |
| 72 | 53 override TemplateParameter syntaxCopy() |
| 0 | 54 { |
|
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
55 TemplateValueParameter tp = new TemplateValueParameter(loc, ident, valType, specValue, defaultValue); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
56 tp.valType = valType.syntaxCopy(); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
57 if (specValue) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
58 tp.specValue = specValue.syntaxCopy(); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
59 if (defaultValue) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
60 tp.defaultValue = defaultValue.syntaxCopy(); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
61 return tp; |
| 0 | 62 } |
| 63 | |
| 72 | 64 override void declareParameter(Scope sc) |
| 0 | 65 { |
|
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
66 VarDeclaration v = new VarDeclaration(loc, valType, ident, null); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
67 v.storage_class = STC.STCtemplateparameter; |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
68 if (!sc.insert(v)) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
69 error(loc, "parameter '%s' multiply defined", ident.toChars()); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
70 sparam = v; |
| 0 | 71 } |
| 72 | |
| 72 | 73 override void semantic(Scope sc) |
| 0 | 74 { |
|
7
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
75 sparam.semantic(sc); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
76 valType = valType.semantic(loc, sc); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
77 if (!(valType.isintegral() || valType.isfloating() || valType.isString()) && valType.ty != TY.Tident) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
78 error(loc, "arithmetic/string type expected for value-parameter, not %s", valType.toChars()); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
79 |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
80 if (specValue) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
81 { |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
82 Expression e = specValue; |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
83 |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
84 e = e.semantic(sc); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
85 e = e.implicitCastTo(sc, valType); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
86 e = e.optimize(WANTvalue | WANTinterpret); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
87 if (e.op == TOKint64 || e.op == TOKfloat64 || |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
88 e.op == TOKcomplex80 || e.op == TOKnull || e.op == TOKstring) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
89 specValue = e; |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
90 //e.toInteger(); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
91 } |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
92 |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
93 static if (false) { // defer semantic analysis to arg match |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
94 if (defaultValue) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
95 { |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
96 Expression e = defaultValue; |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
97 |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
98 e = e.semantic(sc); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
99 e = e.implicitCastTo(sc, valType); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
100 e = e.optimize(WANTvalue | WANTinterpret); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
101 if (e.op == TOKint64) |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
102 defaultValue = e; |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
103 //e.toInteger(); |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
104 } |
|
89cc05dbdae1
Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
0
diff
changeset
|
105 } |
| 0 | 106 } |
| 107 | |
| 72 | 108 override void print(Object oarg, Object oded) |
| 0 | 109 { |
| 110 assert(false); | |
| 111 } | |
| 112 | |
| 72 | 113 override void toCBuffer(OutBuffer buf, HdrGenState* hgs) |
| 0 | 114 { |
| 50 | 115 valType.toCBuffer(buf, ident, hgs); |
| 116 if (specValue) | |
| 117 { | |
| 118 buf.writestring(" : "); | |
| 119 specValue.toCBuffer(buf, hgs); | |
| 120 } | |
| 121 if (defaultValue) | |
| 122 { | |
| 123 buf.writestring(" = "); | |
| 124 defaultValue.toCBuffer(buf, hgs); | |
| 125 } | |
| 0 | 126 } |
| 127 | |
| 72 | 128 override Object specialization() |
| 0 | 129 { |
| 39 | 130 return specValue; |
| 0 | 131 } |
| 132 | |
| 72 | 133 override Object defaultArg(Loc loc, Scope sc) |
| 0 | 134 { |
| 44 | 135 Expression e = defaultValue; |
| 136 if (e) | |
| 137 { | |
| 138 e = e.syntaxCopy(); | |
| 139 e = e.semantic(sc); | |
| 140 version (DMDV2) { | |
| 141 if (e.op == TOKdefault) | |
| 142 { | |
| 143 DefaultInitExp de = cast(DefaultInitExp)e; | |
| 144 e = de.resolve(loc, sc); | |
| 145 } | |
| 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 { | |
| 212 if (!ei || ei == edummy) | |
| 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 { |
| 64 | 266 Expression e; |
| 267 | |
| 268 e = specValue; | |
| 269 if (!e) | |
| 270 { | |
| 271 // Create a dummy value | |
| 272 if (!edummy) | |
| 273 edummy = valType.defaultInit(Loc(0)); | |
| 274 e = edummy; | |
| 275 } | |
|
94
3a0b150c9841
Objects -> Vector!Object iteration 1
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
72
diff
changeset
|
276 return e; |
| 0 | 277 } |
| 72 | 278 } |