annotate dmd/TypeNext.d @ 178:e3afd1303184

Many small bugs fixed Made all classes derive from TObject to detect memory leaks (functionality is disabled for now) Began work on overriding backend memory allocations (to avoid memory leaks)
author korDen
date Sun, 17 Oct 2010 07:42:00 +0400
parents 14feb7ae01a6
children b0d41ff5e0df
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
1 module dmd.TypeNext;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
2
114
e28b18c23469 added a module dmd.common for commonly used stuff
Trass3r
parents: 96
diff changeset
3 import dmd.common;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
4 import dmd.Type;
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
5 import dmd.TypeAArray;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
6 import dmd.TY;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
7 import dmd.OutBuffer;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
8 import dmd.Loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
9 import dmd.Scope;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
10 import dmd.MATCH;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
11 import dmd.MOD;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
12
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13 class TypeNext : Type
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
14 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
15 Type next;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
16
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
17 this(TY ty, Type next)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
18 {
178
e3afd1303184 Many small bugs fixed
korDen
parents: 154
diff changeset
19 register();
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
20 super(ty);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
21 this.next = next;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
22 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
24 override void toDecoBuffer(OutBuffer buf, int flag)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 super.toDecoBuffer(buf, flag);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 assert(next !is this);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28 //printf("this = %p, ty = %d, next = %p, ty = %d\n", this, this.ty, next, next.ty);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29 next.toDecoBuffer(buf, (flag & 0x100) ? 0 : mod);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
32 override void checkDeprecated(Loc loc, Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34 Type.checkDeprecated(loc, sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35 if (next) // next can be null if TypeFunction and auto return type
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36 next.checkDeprecated(loc, sc);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
39 override Type reliesOnTident()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
40 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41 return next.reliesOnTident();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
43
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
44 override int hasWild()
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
45 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
46 return mod == MOD.MODwild || next.hasWild();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
47 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
48
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
49 /***************************************
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
50 * Return MOD bits matching argument type (targ) to wild parameter type (this).
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
51 */
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
52
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
53 override uint wildMatch(Type targ)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
54 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
55 uint mod;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
56
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
57 Type tb = targ.nextOf();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
58 if (!tb)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
59 return 0;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
60 tb = tb.toBasetype();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
61 if (tb.isMutable())
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
62 mod = MOD.MODmutable;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
63 else if (tb.isConst() || tb.isWild())
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
64 return MOD.MODconst;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
65 else if (tb.isImmutable())
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
66 mod = MOD.MODimmutable;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
67 else
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
68 assert(0);
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
69 mod |= next.wildMatch(tb);
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
70 return mod;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
71 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
72
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
73 override Type nextOf()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
74 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
75 return next;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
76 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
77
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
78 override Type makeConst()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
79 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
80 //printf("TypeNext::makeConst() %p, %s\n", this, toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
81 if (cto)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
82 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
83 assert(cto.mod == MOD.MODconst);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
84 return cto;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
85 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
86
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
87 TypeNext t = cast(TypeNext)super.makeConst();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
88 if (ty != TY.Tfunction && ty != TY.Tdelegate &&
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
89 (next.deco || next.ty == TY.Tfunction) &&
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
90 !next.isImmutable() && !next.isConst())
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
91 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
92 if (next.isShared())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
93 t.next = next.sharedConstOf();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
94 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
95 t.next = next.constOf();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
96 }
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
97 if (ty == Taarray)
acd69f84627e further work
Trass3r
parents: 72
diff changeset
98 {
acd69f84627e further work
Trass3r
parents: 72
diff changeset
99 (cast(TypeAArray)t).impl = null; // lazily recompute it
acd69f84627e further work
Trass3r
parents: 72
diff changeset
100 }
acd69f84627e further work
Trass3r
parents: 72
diff changeset
101 //writef("TypeNext::makeConst() returns %p, %s\n", t, t.toChars());
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
102 return t;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
103 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
104
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
105 override Type makeInvariant()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
106 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
107 //printf("TypeNext::makeInvariant() %s\n", toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
108 if (ito)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
109 {
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
110 assert(ito.isImmutable());
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
111 return ito;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
112 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
113 TypeNext t = cast(TypeNext)Type.makeInvariant();
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
114 if (ty != TY.Tfunction && ty != TY.Tdelegate && (next.deco || next.ty == TY.Tfunction) && !next.isImmutable())
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
115 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
116 t.next = next.invariantOf();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
117 }
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
118 if (ty == Taarray)
acd69f84627e further work
Trass3r
parents: 72
diff changeset
119 {
acd69f84627e further work
Trass3r
parents: 72
diff changeset
120 (cast(TypeAArray)t).impl = null; // lazily recompute it
acd69f84627e further work
Trass3r
parents: 72
diff changeset
121 }
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
122 return t;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
123 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
124
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
125 override Type makeShared()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
126 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
127 //printf("TypeNext::makeShared() %s\n", toChars());
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
128 if (sto)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
129 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
130 assert(sto.mod == MODshared);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
131 return sto;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
132 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
133 TypeNext t = cast(TypeNext)Type.makeShared();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
134 if (ty != Tfunction && ty != Tdelegate &&
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
135 (next.deco || next.ty == Tfunction) &&
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
136 !next.isImmutable() && !next.isShared())
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
137 {
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
138 if (next.isConst() || next.isWild())
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
139 t.next = next.sharedConstOf();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
140 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
141 t.next = next.sharedOf();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
142 }
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
143 if (ty == Taarray)
acd69f84627e further work
Trass3r
parents: 72
diff changeset
144 {
acd69f84627e further work
Trass3r
parents: 72
diff changeset
145 (cast(TypeAArray)t).impl = null; // lazily recompute it
acd69f84627e further work
Trass3r
parents: 72
diff changeset
146 }
acd69f84627e further work
Trass3r
parents: 72
diff changeset
147 //writef("TypeNext::makeShared() returns %p, %s\n", t, t.toChars());
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
148 return t;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
149 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
150
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
151 override Type makeSharedConst()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
152 {
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
153 //printf("TypeNext::makeSharedConst() %s\n", toChars());
acd69f84627e further work
Trass3r
parents: 72
diff changeset
154 if (scto)
acd69f84627e further work
Trass3r
parents: 72
diff changeset
155 {
acd69f84627e further work
Trass3r
parents: 72
diff changeset
156 assert(scto.mod == (MODshared | MODconst));
acd69f84627e further work
Trass3r
parents: 72
diff changeset
157 return scto;
acd69f84627e further work
Trass3r
parents: 72
diff changeset
158 }
acd69f84627e further work
Trass3r
parents: 72
diff changeset
159 TypeNext t = cast(TypeNext) Type.makeSharedConst();
acd69f84627e further work
Trass3r
parents: 72
diff changeset
160 if (ty != Tfunction && ty != Tdelegate &&
acd69f84627e further work
Trass3r
parents: 72
diff changeset
161 (next.deco || next.ty == Tfunction) &&
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
162 !next.isImmutable() && !next.isSharedConst())
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
163 {
acd69f84627e further work
Trass3r
parents: 72
diff changeset
164 t.next = next.sharedConstOf();
acd69f84627e further work
Trass3r
parents: 72
diff changeset
165 }
acd69f84627e further work
Trass3r
parents: 72
diff changeset
166 if (ty == Taarray)
acd69f84627e further work
Trass3r
parents: 72
diff changeset
167 {
acd69f84627e further work
Trass3r
parents: 72
diff changeset
168 (cast(TypeAArray)t).impl = null; // lazily recompute it
acd69f84627e further work
Trass3r
parents: 72
diff changeset
169 }
acd69f84627e further work
Trass3r
parents: 72
diff changeset
170 // writef("TypeNext::makeSharedConst() returns %p, %s\n", t, t.toChars());
acd69f84627e further work
Trass3r
parents: 72
diff changeset
171 return t;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
172 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
173
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
174 override Type makeWild()
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
175 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
176 //printf("TypeNext::makeWild() %s\n", toChars());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
177 if (wto)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
178 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
179 assert(wto.mod == MODwild);
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
180 return wto;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
181 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
182 auto t = cast(TypeNext)Type.makeWild();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
183 if (ty != TY.Tfunction && ty != TY.Tdelegate &&
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
184 (next.deco || next.ty == TY.Tfunction) &&
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
185 !next.isImmutable() && !next.isConst() && !next.isWild())
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
186 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
187 if (next.isShared())
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
188 t.next = next.sharedWildOf();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
189 else
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
190 t.next = next.wildOf();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
191 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
192 if (ty == TY.Taarray)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
193 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
194 (cast(TypeAArray)t).impl = null; // lazily recompute it
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
195 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
196 //printf("TypeNext::makeWild() returns %p, %s\n", t, t->toChars());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
197 return t;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
198 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
199
154
14feb7ae01a6 * changed the build system to build a release version if the debug one compiles
trass3r
parents: 135
diff changeset
200 override Type makeSharedWild()
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
201 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
202 //printf("TypeNext::makeSharedWild() %s\n", toChars());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
203 if (swto)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
204 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
205 assert(swto.isSharedWild());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
206 return swto;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
207 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
208 auto t = cast(TypeNext)Type.makeSharedWild();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
209 if (ty != TY.Tfunction && ty != TY.Tdelegate &&
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
210 (next.deco || next.ty == TY.Tfunction) &&
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
211 !next.isImmutable() && !next.isSharedConst())
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
212 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
213 t.next = next.sharedWildOf();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
214 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
215 if (ty == Taarray)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
216 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
217 (cast(TypeAArray)t).impl = null; // lazily recompute it
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
218 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
219 //printf("TypeNext::makeSharedWild() returns %p, %s\n", t, t->toChars());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
220 return t;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
221 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
222
154
14feb7ae01a6 * changed the build system to build a release version if the debug one compiles
trass3r
parents: 135
diff changeset
223 override Type makeMutable()
135
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
224 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
225 //printf("TypeNext::makeMutable() %p, %s\n", this, toChars());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
226 auto t = cast(TypeNext)Type.makeMutable();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
227 if (ty != TY.Tfunction && ty != TY.Tdelegate &&
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
228 (next.deco || next.ty == TY.Tfunction) &&
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
229 next.isWild())
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
230 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
231 t.next = next.mutableOf();
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
232 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
233 if (ty == Taarray)
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
234 {
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
235 (cast(TypeAArray)t).impl = null; // lazily recompute it
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
236 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
237 //printf("TypeNext::makeMutable() returns %p, %s\n", t, t->toChars());
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
238 return t;
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
239 }
af1bebfd96a4 dmd 2.038
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
240
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
241 override MATCH constConv(Type to)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
242 {
56
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
243 MATCH m = Type.constConv(to);
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
244
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
245 if (m == MATCHconst && next.constConv((cast(TypeNext)to).next) == MATCHnomatch)
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
246 m = MATCHnomatch;
51605de93870 TupleExp.optimize
korDen
parents: 0
diff changeset
247 return m;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
248 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
249
96
acd69f84627e further work
Trass3r
parents: 72
diff changeset
250 void transitive()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
251 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
252 /* Invoke transitivity of type attributes
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
253 */
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
254 next = next.addMod(mod);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
255 }
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 56
diff changeset
256 }