annotate dmd/templates/Util.d @ 13:427f8aa74d28

On the road to make Phobos compilable
author korDen
date Mon, 12 Apr 2010 16:29:33 +0400
parents 89cc05dbdae1
children e28b18c23469
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
1 module dmd.templates.Util;
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
2
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
3 import dmd.Dsymbol;
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
4 import dmd.Type;
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
5 import dmd.Expression;
13
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
6 import dmd.Loc;
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
7 import dmd.Scope;
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
8 import dmd.WANT;
7
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
9
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
10 version (DMDV2) {
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
11 Object objectSyntaxCopy(Object o)
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
12 {
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
13 if (!o)
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
14 return null;
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
15
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
16 Type t = isType(o);
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
17 if (t)
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
18 return t.syntaxCopy();
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
19
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
20 Expression e = isExpression(o);
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
21 if (e)
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
22 return e.syntaxCopy();
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
23
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
24 return o;
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
25 }
13
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
26 }
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
27
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
28 Object aliasParameterSemantic(Loc loc, Scope sc, Object o)
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
29 {
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
30 if (o)
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
31 {
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
32 Expression ea = isExpression(o);
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
33 Type ta = isType(o);
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
34 if (ta)
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
35 {
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
36 Dsymbol s = ta.toDsymbol(sc);
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
37 if (s)
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
38 o = s;
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
39 else
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
40 o = ta.semantic(loc, sc);
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
41 }
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
42 else if (ea)
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
43 {
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
44 ea = ea.semantic(sc);
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
45 o = ea.optimize(WANTvalue | WANTinterpret);
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
46 }
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
47 }
427f8aa74d28 On the road to make Phobos compilable
korDen
parents: 7
diff changeset
48 return o;
7
89cc05dbdae1 Implementing TemplateAliasParameter and TemplateValueParameter
dkoroskin <>
parents:
diff changeset
49 }