Mercurial > projects > ddmd

annotate dmd/TemplateValueParameter.d @ 113:3482c73a991b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More cleanup for arrays
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Tue, 31 Aug 2010 23:57:32 +0100
parents 3a0b150c9841
children e28b18c23469
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
1 module dmd.TemplateValueParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
2
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
3 import dmd.TemplateParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
4 import dmd.Scope;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
5 import dmd.Declaration;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
6 import dmd.ArrayTypes;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
7 import dmd.Type;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
8 import dmd.Expression;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
9 import dmd.Loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
10 import dmd.Identifier;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
11 import dmd.OutBuffer;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
12 import dmd.HdrGenState;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13 import dmd.MATCH;
7
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents: 0
diff changeset
14 import dmd.VarDeclaration;
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
15 import dmd.Initializer;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
16 import dmd.ExpInitializer;
44
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
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
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
24 import dmd.Dsymbol : isExpression;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
25
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 class TemplateValueParameter : TemplateParameter
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28 /* Syntax:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29 * valType ident : specValue = defaultValue
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 */
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
32 Type valType;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 Expression specValue;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34 Expression defaultValue;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36 static Expression edummy;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38 this(Loc loc, Identifier ident, Type valType, Expression specValue, Expression defaultValue)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
39 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
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
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
45 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
47 override TemplateValueParameter isTemplateValueParameter()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
48 {
7
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents: 0
diff changeset
49 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
50 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
51
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
52 override TemplateParameter syntaxCopy()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
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
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
61 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
62
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
63 override void declareParameter(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
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
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
70 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
71
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
72 override void semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
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
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
105 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
106
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
107 override void print(Object oarg, Object oded)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
108 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
109 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
110 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
111
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
112 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
113 {
50
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
114 valType.toCBuffer(buf, ident, hgs);
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
115 if (specValue)
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
116 {
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
117 buf.writestring(" : ");
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
118 specValue.toCBuffer(buf, hgs);
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
119 }
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
120 if (defaultValue)
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
121 {
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
122 buf.writestring(" = ");
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
123 defaultValue.toCBuffer(buf, hgs);
adf6f7f216ea CondExp.toCBuffer
korDen
parents: 44
diff changeset
124 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
125 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
126
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
127 override Object specialization()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
128 {
39
d4825905adc2 TemplateValueParameter.specialization implemented
korDen
parents: 7
diff changeset
129 return specValue;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
130 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
131
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
132 override Object defaultArg(Loc loc, Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
133 {
44
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
134 Expression e = defaultValue;
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
135 if (e)
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
136 {
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
137 e = e.syntaxCopy();
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
138 e = e.semantic(sc);
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
139 version (DMDV2) {
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
140 if (e.op == TOKdefault)
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
141 {
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
142 DefaultInitExp de = cast(DefaultInitExp)e;
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
143 e = de.resolve(loc, sc);
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
144 }
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
145 }
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
146 }
ea4769860460 TemplateValueParameter.defaultArg
korDen
parents: 40
diff changeset
147 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
148 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
149
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
150 override bool overloadMatch(TemplateParameter tp)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
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
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
169 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
170
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
171 override MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration* psparam, int flags)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
172 {
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
173 //printf("TemplateValueParameter.matchArg()\n");
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
174
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
175 Initializer init;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
176 Declaration sparam;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
177 MATCH m = MATCHexact;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
178 Expression ei;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
179 Object oarg;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
180
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
181 if (i < tiargs.dim)
113
3482c73a991b More cleanup for arrays
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 94
diff changeset
182 oarg = tiargs[i];
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
183 else
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
184 {
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
185 // Get default argument instead
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
186 oarg = defaultArg(loc, sc);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
187 if (!oarg)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
188 {
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
189 assert(i < dedtypes.dim);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
190 // It might have already been deduced
113
3482c73a991b More cleanup for arrays
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 94
diff changeset
191 oarg = dedtypes[i];
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
192 if (!oarg)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
193 goto Lnomatch;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
194 }
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
195 }
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
196
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
197 ei = isExpression(oarg);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
198 Type vt;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
199
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
200 if (!ei && oarg)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
201 goto Lnomatch;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
202
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
203 if (ei && ei.op == TOKvar)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
204 {
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
205 // Resolve const variables that we had skipped earlier
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
206 ei = ei.optimize(WANTvalue | WANTinterpret);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
207 }
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
208
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
209 if (specValue)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
210 {
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
211 if (!ei || ei == edummy)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
212 goto Lnomatch;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
213
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
214 Expression e = specValue;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
215
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
216 e = e.semantic(sc);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
217 e = e.implicitCastTo(sc, valType);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
218 e = e.optimize(WANTvalue | WANTinterpret);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
219 //e.type = e.type.toHeadMutable();
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
220
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
221 ei = ei.syntaxCopy();
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
222 ei = ei.semantic(sc);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
223 ei = ei.optimize(WANTvalue | WANTinterpret);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
224 //ei.type = ei.type.toHeadMutable();
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
225 //printf("\tei: %s, %s\n", ei.toChars(), ei.type.toChars());
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
226 //printf("\te : %s, %s\n", e.toChars(), e.type.toChars());
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
227 if (!ei.equals(e))
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
228 goto Lnomatch;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
229 }
113
3482c73a991b More cleanup for arrays
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 94
diff changeset
230 else if (dedtypes[i])
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
231 { // Must match already deduced value
113
3482c73a991b More cleanup for arrays
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 94
diff changeset
232 auto e = cast(Expression)dedtypes[i];
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
233
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
234 if (!ei || !ei.equals(e))
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
235 goto Lnomatch;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
236 }
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
237 Lmatch:
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
238 //printf("\tvalType: %s, ty = %d\n", valType.toChars(), valType.ty);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
239 vt = valType.semantic(Loc(0), sc);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
240 //printf("ei: %s, ei.type: %s\n", ei.toChars(), ei.type.toChars());
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
241 //printf("vt = %s\n", vt.toChars());
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
242 if (ei.type)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
243 {
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
244 m = cast(MATCH)ei.implicitConvTo(vt);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
245 //printf("m: %d\n", m);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
246 if (!m)
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
247 goto Lnomatch;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
248 }
94
3a0b150c9841 Objects -> Vector!Object iteration 1
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 72
diff changeset
249 dedtypes[i] = ei;
40
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
250
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
251 init = new ExpInitializer(loc, ei);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
252 sparam = new VarDeclaration(loc, vt, ident, init);
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
253 sparam.storage_class = STCmanifest;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
254 *psparam = sparam;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
255 return m;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
256
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
257 Lnomatch:
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
258 //printf("\tno match\n");
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
259 *psparam = null;
caa9bdb08ae6 TemplateValueParameter.matchArg implemented
korDen
parents: 39
diff changeset
260 return MATCHnomatch;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
261 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
262
94
3a0b150c9841 Objects -> Vector!Object iteration 1
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 72
diff changeset
263 override Object dummyArg()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
264 {
64
4290d870944a More fixes
korDen
parents: 50
diff changeset
265 Expression e;
4290d870944a More fixes
korDen
parents: 50
diff changeset
266
4290d870944a More fixes
korDen
parents: 50
diff changeset
267 e = specValue;
4290d870944a More fixes
korDen
parents: 50
diff changeset
268 if (!e)
4290d870944a More fixes
korDen
parents: 50
diff changeset
269 {
4290d870944a More fixes
korDen
parents: 50
diff changeset
270 // Create a dummy value
4290d870944a More fixes
korDen
parents: 50
diff changeset
271 if (!edummy)
4290d870944a More fixes
korDen
parents: 50
diff changeset
272 edummy = valType.defaultInit(Loc(0));
4290d870944a More fixes
korDen
parents: 50
diff changeset
273 e = edummy;
4290d870944a More fixes
korDen
parents: 50
diff changeset
274 }
94
3a0b150c9841 Objects -> Vector!Object iteration 1
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 72
diff changeset
275 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
276 }
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
277 }