annotate dmd/DotIdExp.d @ 109:ceda59b4d255

expression.c changes, now only ddoc should be left
author Trass3r
date Tue, 31 Aug 2010 22:08:52 +0200
parents 39648eb578f6
children e28b18c23469
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
1 module dmd.DotIdExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
2
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
3 import dmd.Expression;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
4 import dmd.Identifier;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
5 import dmd.IntegerExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
6 import dmd.Type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
7 import dmd.TY;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
8 import dmd.ScopeExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
9 import dmd.StringExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
10 import dmd.PtrExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
11 import dmd.TypePointer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
12 import dmd.Dsymbol;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
13 import dmd.EnumMember;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
14 import dmd.VarDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
15 import dmd.ThisExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
16 import dmd.DotVarExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
17 import dmd.VarExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
18 import dmd.CommaExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
19 import dmd.FuncDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
20 import dmd.OverloadSet;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
21 import dmd.OverExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
22 import dmd.TypeExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
23 import dmd.TupleDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
24 import dmd.ScopeDsymbol;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
25 import dmd.Import;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
26 import dmd.Id;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
27 import dmd.TupleExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
28 import dmd.ArrayTypes;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
29 import dmd.UnaExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
30 import dmd.OutBuffer;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
31 import dmd.Loc;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
32 import dmd.Scope;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
33 import dmd.TOK;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
34 import dmd.HdrGenState;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
35 import dmd.ClassDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
36 import dmd.StructDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
37 import dmd.AggregateDeclaration;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
38 import dmd.DotExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
39 import dmd.Global;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
40 import dmd.IdentifierExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
41 import dmd.CallExp;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
42 import dmd.PREC;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
43
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
44 import dmd.expression.Util;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
45
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46 class DotIdExp : UnaExp
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
47 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
48 Identifier ident;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
49
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
50 this(Loc loc, Expression e, Identifier ident)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
51 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
52 super(loc, TOK.TOKdot, DotIdExp.sizeof, e);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
53 this.ident = ident;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
54 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
55
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
56 override Expression semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
57 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
58 Expression e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
59 Expression eleft;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
60 Expression eright;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
61
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
62 version (LOGSEMANTIC) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
63 printf("DotIdExp.semantic(this = %p, '%s')\n", this, toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
64 //printf("e1.op = %d, '%s'\n", e1.op, Token.toChars(e1.op));
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
65 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
66
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
67 //{ static int z; fflush(stdout); if (++z == 10) *(char*)0=0; }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
68
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
69 static if (false) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
70 /* Don't do semantic analysis if we'll be converting
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
71 * it to a string.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
72 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
73 if (ident == Id.stringof)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
74 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
75 char *s = e1.toChars();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
76 e = new StringExp(loc, s, strlen(s), 'c');
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
77 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
78 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
79 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
80 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
81
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
82 /* Special case: rewrite this.id and super.id
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
83 * to be classtype.id and baseclasstype.id
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
84 * if we have no this pointer.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
85 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
86 if ((e1.op == TOK.TOKthis || e1.op == TOK.TOKsuper) && !hasThis(sc))
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
87 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
88 ClassDeclaration cd;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
89 StructDeclaration sd;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
90 AggregateDeclaration ad;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
91
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
92 ad = sc.getStructClassScope();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
93 if (ad)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
94 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
95 cd = ad.isClassDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
96 if (cd)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
97 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
98 if (e1.op == TOK.TOKthis)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
99 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
100 e = typeDotIdExp(loc, cd.type, ident);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
101 return e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
102 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
103 else if (cd.baseClass && e1.op == TOK.TOKsuper)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
104 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
105 e = typeDotIdExp(loc, cd.baseClass.type, ident);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
106 return e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
107 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
108 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
109 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
110 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
111 sd = ad.isStructDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
112 if (sd)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
113 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
114 if (e1.op == TOK.TOKthis)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
115 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
116 e = typeDotIdExp(loc, sd.type, ident);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
117 return e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
118 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
119 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
120 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
121 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
122 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
123
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
124 UnaExp.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
125
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
126 if (e1.op == TOK.TOKdotexp)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
127 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
128 DotExp de = cast(DotExp)e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
129 eleft = de.e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
130 eright = de.e2;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
131 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
132 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
133 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
134 e1 = resolveProperties(sc, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
135 eleft = null;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
136 eright = e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
137 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
138
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
139 version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
140 if (e1.op == TOK.TOKtuple && ident == Id.offsetof)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
141 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
142 /* 'distribute' the .offsetof to each of the tuple elements.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
143 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
144 TupleExp te = cast(TupleExp)e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
145 Expressions exps = new Expressions();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
146 exps.setDim(te.exps.dim);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
147 for (int i = 0; i < exps.dim; i++)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
148 {
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
149 auto ee = te.exps[i];
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
150 ee = ee.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
151 ee = new DotIdExp(e.loc, ee, Id.offsetof);
90
39648eb578f6 more Expressions work
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 84
diff changeset
152 exps[i] = ee;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
153 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
154 e = new TupleExp(loc, exps);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
155 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
156 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
157 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
158 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
159
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
160 if (e1.op == TOK.TOKtuple && ident == Id.length)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
161 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
162 TupleExp te = cast(TupleExp)e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
163 e = new IntegerExp(loc, te.exps.dim, Type.tsize_t);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
164 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
165 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
166
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
167 if (e1.op == TOK.TOKdottd)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
168 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
169 error("template %s does not have property %s", e1.toChars(), ident.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
170 return e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
171 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
172
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
173 if (!e1.type)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
174 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
175 error("expression %s does not have property %s", e1.toChars(), ident.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
176 return e1;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
177 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
178
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
179 Type t1b = e1.type.toBasetype();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
180
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
181 if (eright.op == TOK.TOKimport) // also used for template alias's
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
182 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
183 ScopeExp ie = cast(ScopeExp)eright;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
184
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
185 /* Disable access to another module's private imports.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
186 * The check for 'is sds our current module' is because
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
187 * the current module should have access to its own imports.
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
188 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
189 Dsymbol s = ie.sds.search(loc, ident,
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
190 (ie.sds.isModule() && ie.sds != sc.module_) ? 1 : 0);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
191 if (s)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
192 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
193 s = s.toAlias();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
194 checkDeprecated(sc, s);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
195
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
196 EnumMember em = s.isEnumMember();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
197 if (em)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
198 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
199 e = em.value;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
200 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
201 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
202 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
203
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
204 VarDeclaration v = s.isVarDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
205 if (v)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
206 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
207 //printf("DotIdExp. Identifier '%s' is a variable, type '%s'\n", toChars(), v.type.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
208 if (v.inuse)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
209 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
210 error("circular reference to '%s'", v.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
211 type = Type.tint32;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
212 return this;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
213 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
214 type = v.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
215 if (v.needThis())
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
216 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
217 if (!eleft)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
218 eleft = new ThisExp(loc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
219 e = new DotVarExp(loc, eleft, v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
220 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
221 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
222 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
223 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
224 e = new VarExp(loc, v);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
225 if (eleft)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
226 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
227 e = new CommaExp(loc, eleft, e);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
228 e.type = v.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
229 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
230 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
231 return e.deref();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
232 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
233
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
234 FuncDeclaration f = s.isFuncDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
235 if (f)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
236 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
237 //printf("it's a function\n");
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
238 if (f.needThis())
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
239 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
240 if (!eleft)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
241 eleft = new ThisExp(loc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
242 e = new DotVarExp(loc, eleft, f);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
243 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
244 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
245 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
246 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
247 e = new VarExp(loc, f, 1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
248 if (eleft)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
249 { e = new CommaExp(loc, eleft, e);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
250 e.type = f.type;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
251 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
252 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
253 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
254 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
255 version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
256 OverloadSet o = s.isOverloadSet();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
257 if (o)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
258 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
259 //printf("'%s' is an overload set\n", o.toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
260 return new OverExp(o);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
261 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
262 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
263
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
264 Type t = s.getType();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
265 if (t)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
266 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
267 return new TypeExp(loc, t);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
268 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
269
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
270 TupleDeclaration tup = s.isTupleDeclaration();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
271 if (tup)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
272 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
273 if (eleft)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
274 error("cannot have e.tuple");
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
275 e = new TupleExp(loc, tup);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
276 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
277 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
278 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
279
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
280 ScopeDsymbol sds = s.isScopeDsymbol();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
281 if (sds)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
282 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
283 //printf("it's a ScopeDsymbol\n");
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
284 e = new ScopeExp(loc, sds);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
285 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
286 if (eleft)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
287 e = new DotExp(loc, eleft, e);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
288 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
289 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
290
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
291 Import imp = s.isImport();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
292 if (imp)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
293 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
294 ScopeExp iee = new ScopeExp(loc, imp.pkg);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
295 return iee.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
296 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
297
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
298 // BUG: handle other cases like in IdentifierExp.semantic()
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
299 version (DEBUG) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
300 printf("s = '%s', kind = '%s'\n", s.toChars(), s.kind());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
301 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
302 assert(0);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
303 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
304 else if (ident is Id.stringof_)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
305 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
306 string ss = ie.toChars();
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
307 e = new StringExp(loc, ss, 'c');
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
308 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
309 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
310 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
311 error("undefined identifier %s", toChars());
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
312 type = Type.tvoid;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
313 return this;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
314 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
315 else if (t1b.ty == TY.Tpointer &&
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
316 ident !is Id.init_ && ident !is Id.__sizeof &&
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
317 ident !is Id.alignof_ && ident !is Id.offsetof &&
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
318 ident !is Id.mangleof_ && ident !is Id.stringof_)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
319 { /* Rewrite:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
320 * p.ident
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
321 * as:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
322 * (*p).ident
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
323 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
324 e = new PtrExp(loc, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
325 e.type = (cast(TypePointer)t1b).next;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
326 return e.type.dotExp(sc, e, ident);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
327 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
328 ///version (DMDV2) {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
329 else if (t1b.ty == TY.Tarray ||
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
330 t1b.ty == TY.Tsarray ||
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
331 t1b.ty == TY.Taarray)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
332 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
333 /* If ident is not a valid property, rewrite:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
334 * e1.ident
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
335 * as:
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
336 * .ident(e1)
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
337 */
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
338 uint errors = global.errors;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
339 global.gag++;
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
340 Type t1 = e1.type;
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
341 e = e1.type.dotExp(sc, e1, ident);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
342 global.gag--;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
343 if (errors != global.errors) // if failed to find the property
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
344 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
345 global.errors = errors;
109
ceda59b4d255 expression.c changes, now only ddoc should be left
Trass3r
parents: 90
diff changeset
346 e1.type = t1; // kludge to restore type
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
347 e = new DotIdExp(loc, new IdentifierExp(loc, Id.empty), ident);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
348 e = new CallExp(loc, e, e1);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
349 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
350 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
351 return e;
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
352 }
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
353 ///}
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
354 else
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
355 {
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
356 e = e1.type.dotExp(sc, e1, ident);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
357 e = e.semantic(sc);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
358 return e;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
359 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
360 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
361
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
362 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
363 {
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
364 //printf("DotIdExp.toCBuffer()\n");
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
365 expToCBuffer(buf, hgs, e1, PREC.PREC_primary);
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
366 buf.writeByte('.');
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
367 buf.writestring(ident.toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
368 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
369
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 0
diff changeset
370 override void dump(int i)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
371 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
372 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
373 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
374 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
375