annotate dmd/TemplateParameter.d @ 121:347de076ad34

TemplateParameters -> Vector
author Eldar Insafutdinov <e.insafutdinov@gmail.com>
date Thu, 02 Sep 2010 22:41:12 +0100
parents e28b18c23469
children e3afd1303184
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
1 module dmd.TemplateParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
2
114
e28b18c23469 added a module dmd.common for commonly used stuff
Trass3r
parents: 94
diff changeset
3 import dmd.common;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
4 import dmd.Loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
5 import dmd.Identifier;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
6 import dmd.Declaration;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
7 import dmd.TemplateTypeParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
8 import dmd.TemplateValueParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
9 import dmd.TemplateAliasParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
10 import dmd.TemplateThisParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
11 import dmd.TemplateTupleParameter;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
12 import dmd.Scope;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13 import dmd.OutBuffer;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
14 import dmd.HdrGenState;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
15 import dmd.MATCH;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
16 import dmd.ArrayTypes;
121
347de076ad34 TemplateParameters -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
17 import dmd.Array;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
18
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
19 class TemplateParameter
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
20 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
21 /* For type-parameter:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
22 * template Foo(ident) // specType is set to NULL
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23 * template Foo(ident : specType)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
24 * For value-parameter:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 * template Foo(valType ident) // specValue is set to NULL
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 * template Foo(valType ident : specValue)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 * For alias-parameter:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28 * template Foo(alias ident)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29 * For this-parameter:
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 * template Foo(this ident)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31 */
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
32
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 Loc loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34 Identifier ident;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36 Declaration sparam;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38 this(Loc loc, Identifier ident)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
39 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
40 this.loc = loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41 this.ident = ident;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
43
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
44 TemplateTypeParameter isTemplateTypeParameter()
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
45 {
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
46 return null;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
47 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
48
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
49 TemplateValueParameter isTemplateValueParameter()
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
50 {
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
51 return null;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
52 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
53
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
54 TemplateAliasParameter isTemplateAliasParameter()
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
55 {
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
56 return null;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
57 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
58
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
59 version (DMDV2) {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
60 TemplateThisParameter isTemplateThisParameter()
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
61 {
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
62 return null;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
63 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
64 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
65 TemplateTupleParameter isTemplateTupleParameter()
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
66 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
67 return null;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
68 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
69
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
70 abstract TemplateParameter syntaxCopy();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
71 abstract void declareParameter(Scope sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
72 abstract void semantic(Scope);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
73 abstract void print(Object oarg, Object oded);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
74 abstract void toCBuffer(OutBuffer buf, HdrGenState* hgs);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
75 abstract Object specialization();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
76 abstract Object defaultArg(Loc loc, Scope sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
77
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
78 /* If TemplateParameter's match as far as overloading goes.
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
79 */
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
80 abstract bool overloadMatch(TemplateParameter);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
81
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
82 /* Match actual argument against parameter.
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
83 */
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
84 abstract MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration* psparam, int flags = 0);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
85
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
86 /* Create dummy argument based on parameter.
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
87 */
94
3a0b150c9841 Objects -> Vector!Object iteration 1
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 56
diff changeset
88 abstract Object dummyArg();
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
89 }