Mercurial > projects > ddmd
annotate dmd/Scope.d @ 131:206db751bd4c
dmdfe 2.037 compiles now
| author | Eldar Insafutdinov <e.insafutdinov@gmail.com> |
|---|---|
| date | Fri, 10 Sep 2010 00:27:37 +0100 |
| parents | 010eb8f0e18d |
| children | af1bebfd96a4 |
| rev | line source |
|---|---|
| 0 | 1 module dmd.Scope; |
| 2 | |
| 114 | 3 import dmd.common; |
| 0 | 4 import dmd.Module; |
| 5 import dmd.ScopeDsymbol; | |
| 6 import dmd.FuncDeclaration; | |
| 7 import dmd.Id; | |
| 8 import dmd.Dsymbol; | |
| 9 import dmd.LabelStatement; | |
| 10 import dmd.SwitchStatement; | |
| 11 import dmd.TryFinallyStatement; | |
| 12 import dmd.TemplateInstance; | |
| 13 import dmd.Statement; | |
| 14 import dmd.ForeachStatement; | |
| 15 import dmd.LINK; | |
| 16 import dmd.PROT; | |
| 17 import dmd.STC; | |
| 18 import dmd.AnonymousAggregateDeclaration; | |
| 19 import dmd.AggregateDeclaration; | |
| 20 import dmd.ClassDeclaration; | |
| 21 import dmd.Identifier; | |
| 22 import dmd.Loc; | |
| 23 import dmd.OutBuffer; | |
| 24 import dmd.DocComment; | |
| 25 import dmd.DsymbolTable; | |
| 26 import dmd.Global; | |
| 27 import dmd.CSX; | |
| 28 import dmd.Util; | |
| 29 | |
|
83
ee670dd808a8
malloc -> GC.malloc change, plus compilation issues fixed (always check before commiting stuff!!!)
korDen
parents:
82
diff
changeset
|
30 import core.memory; |
|
ee670dd808a8
malloc -> GC.malloc change, plus compilation issues fixed (always check before commiting stuff!!!)
korDen
parents:
82
diff
changeset
|
31 |
| 0 | 32 enum SCOPE |
| 33 { | |
| 34 SCOPEctor = 1, // constructor type | |
| 35 SCOPEstaticif = 2, // inside static if | |
| 36 SCOPEfree = 4, // is on free list | |
| 37 } | |
| 38 | |
| 39 class Scope | |
| 40 { | |
| 41 Scope enclosing; // enclosing Scope | |
| 42 | |
| 43 Module module_; // Root module | |
| 44 ScopeDsymbol scopesym; // current symbol | |
| 45 ScopeDsymbol sd; // if in static if, and declaring new symbols, | |
| 46 // sd gets the addMember() | |
| 47 FuncDeclaration func; // function we are in | |
| 48 Dsymbol parent; // parent to use | |
| 49 LabelStatement slabel; // enclosing labelled statement | |
| 50 SwitchStatement sw; // enclosing switch statement | |
| 51 TryFinallyStatement tf; // enclosing try finally statement | |
| 52 TemplateInstance tinst; // enclosing template instance | |
| 53 Statement sbreak; // enclosing statement that supports "break" | |
| 54 Statement scontinue; // enclosing statement that supports "continue" | |
| 55 ForeachStatement fes; // if nested function for ForeachStatement, this is it | |
| 56 uint offset; // next offset to use in aggregate | |
| 57 int inunion; // we're processing members of a union | |
| 58 int incontract; // we're inside contract code | |
| 59 int nofree; // set if shouldn't free it | |
| 60 int noctor; // set if constructor calls aren't allowed | |
| 61 int intypeof; // in typeof(exp) | |
| 62 int parameterSpecialization; // if in template parameter specialization | |
| 63 int noaccesscheck; // don't do access checks | |
| 64 int mustsemantic; // cannot defer semantic() | |
| 65 | |
| 66 uint callSuper; // primitive flow analysis for constructors | |
| 67 ///#define CSXthis_ctor 1 // called this() | |
| 68 ///#define CSXsuper_ctor 2 // called super() | |
| 69 ///#define CSXthis 4 // referenced this | |
| 70 ///#define CSXsuper 8 // referenced super | |
| 71 ///#define CSXlabel 0x10 // seen a label | |
| 72 ///#define CSXreturn 0x20 // seen a return statement | |
| 73 ///#define CSXany_ctor 0x40 // either this() or super() was called | |
| 74 | |
| 75 uint structalign; // alignment for struct members | |
| 76 LINK linkage = LINK.LINKd; // linkage for external functions | |
| 77 | |
| 78 PROT protection = PROT.PROTpublic; // protection for class members | |
| 79 int explicitProtection; // set if in an explicit protection attribute | |
| 80 | |
|
131
206db751bd4c
dmdfe 2.037 compiles now
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents:
129
diff
changeset
|
81 StorageClass stc; // storage class |
| 0 | 82 |
| 83 SCOPE flags; | |
| 84 | |
| 85 AnonymousAggregateDeclaration anonAgg; // for temporary analysis | |
| 86 | |
| 87 DocComment lastdc; // documentation comment for last symbol at this scope | |
| 88 uint lastoffset; // offset in docbuf of where to insert next dec | |
| 89 OutBuffer docbuf; // buffer for documentation output | |
| 90 | |
| 91 static Scope freelist; | |
| 92 /// static void *operator new(size_t sz); | |
| 93 static Scope createGlobal(Module module_) | |
| 94 { | |
| 95 Scope sc = new Scope(); | |
| 96 sc.module_ = module_; | |
| 97 sc.scopesym = new ScopeDsymbol(); | |
| 98 sc.scopesym.symtab = new DsymbolTable(); | |
| 99 | |
| 100 // Add top level package as member of this global scope | |
| 101 Dsymbol m = module_; | |
| 102 while (m.parent !is null) | |
| 103 m = m.parent; | |
| 104 | |
| 13 | 105 m.addMember(null, sc.scopesym, true); |
| 0 | 106 m.parent = null; // got changed by addMember() |
| 107 | |
| 108 // Create the module scope underneath the global scope | |
| 109 sc = sc.push(module_); | |
| 110 sc.parent = module_; | |
| 111 return sc; | |
| 112 } | |
| 113 | |
| 114 this() | |
| 115 { | |
| 116 // Create root scope | |
| 117 | |
| 118 //printf("Scope.Scope() %p\n", this); | |
|
21
26b9f97f6162
Added in some = new OutBuffer();'s to be on the safe side, been getting some issues with null OutBuffers.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
119 this.docbuf = new OutBuffer; |
| 0 | 120 this.structalign = global.structalign; |
| 121 } | |
| 122 | |
| 123 this(Module module_) | |
| 124 { | |
| 125 assert(false); | |
|
21
26b9f97f6162
Added in some = new OutBuffer();'s to be on the safe side, been getting some issues with null OutBuffers.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
126 this.docbuf = new OutBuffer; |
| 0 | 127 } |
| 128 | |
| 129 this(Scope enclosing) | |
| 130 { | |
| 131 //printf("Scope.Scope(enclosing = %p) %p\n", enclosing, this); | |
| 132 assert(!(enclosing.flags & SCOPE.SCOPEfree)); | |
| 133 this.module_ = enclosing.module_; | |
| 134 this.func = enclosing.func; | |
| 135 this.parent = enclosing.parent; | |
| 79 | 136 this.scopesym = null; |
| 137 this.sd = null; | |
| 0 | 138 this.sw = enclosing.sw; |
| 139 this.tf = enclosing.tf; | |
| 140 this.tinst = enclosing.tinst; | |
| 141 this.sbreak = enclosing.sbreak; | |
| 142 this.scontinue = enclosing.scontinue; | |
| 143 this.fes = enclosing.fes; | |
| 144 this.structalign = enclosing.structalign; | |
| 145 this.enclosing = enclosing; | |
| 146 debug { | |
| 147 if (enclosing.enclosing) | |
| 148 assert(!(enclosing.enclosing.flags & SCOPE.SCOPEfree)); | |
| 149 | |
| 150 if (this is enclosing.enclosing) /// huh? | |
| 151 { | |
| 152 writef("this = %p, enclosing = %p, enclosing.enclosing = %p\n", this, enclosing, enclosing.enclosing); | |
| 153 } | |
| 154 assert(this !is enclosing.enclosing); | |
| 155 } | |
| 156 this.linkage = enclosing.linkage; | |
| 157 this.protection = enclosing.protection; | |
| 158 this.explicitProtection = enclosing.explicitProtection; | |
| 159 this.stc = enclosing.stc; | |
| 160 this.inunion = enclosing.inunion; | |
| 161 this.incontract = enclosing.incontract; | |
| 162 this.noctor = enclosing.noctor; | |
| 163 this.noaccesscheck = enclosing.noaccesscheck; | |
| 164 this.mustsemantic = enclosing.mustsemantic; | |
| 165 this.intypeof = enclosing.intypeof; | |
| 166 this.parameterSpecialization = enclosing.parameterSpecialization; | |
| 167 this.callSuper = enclosing.callSuper; | |
| 168 this.docbuf = enclosing.docbuf; | |
| 169 assert(this !is enclosing); /// huh? | |
| 170 } | |
| 82 | 171 |
| 172 Scope clone() | |
| 173 { | |
| 129 | 174 return cloneThis(this); |
| 82 | 175 } |
| 0 | 176 |
| 177 Scope push() | |
| 178 { | |
| 179 //printf("Scope.push()\n"); | |
| 180 Scope s = new Scope(this); | |
| 181 assert(this !is s); /// huh? | |
| 182 return s; | |
| 183 } | |
| 184 | |
| 185 Scope push(ScopeDsymbol ss) | |
| 186 { | |
| 187 //printf("Scope.push(%s)\n", ss.toChars()); | |
| 188 Scope s = push(); | |
| 189 s.scopesym = ss; | |
| 190 return s; | |
| 191 } | |
| 192 | |
| 193 Scope pop() | |
| 194 { | |
| 195 //printf("Scope.pop() %p nofree = %d\n", this, nofree); | |
| 196 Scope enc = enclosing; | |
| 197 | |
| 198 if (enclosing) | |
| 199 enclosing.callSuper |= callSuper; | |
| 200 | |
| 201 if (!nofree) | |
| 202 { | |
| 203 enclosing = freelist; | |
| 204 freelist = this; | |
| 205 flags |= SCOPE.SCOPEfree; | |
| 206 } | |
| 207 | |
| 208 return enc; | |
| 209 } | |
| 210 | |
| 211 void mergeCallSuper(Loc loc, uint cs) | |
| 212 { | |
| 213 // This does a primitive flow analysis to support the restrictions | |
| 214 // regarding when and how constructors can appear. | |
| 215 // It merges the results of two paths. | |
| 216 // The two paths are callSuper and cs; the result is merged into callSuper. | |
| 217 | |
| 218 if (cs != callSuper) | |
| 219 { | |
| 220 int a; | |
| 221 int b; | |
| 222 | |
| 223 callSuper |= cs & (CSX.CSXany_ctor | CSX.CSXlabel); | |
| 224 if (cs & CSX.CSXreturn) | |
| 225 { | |
| 226 ; | |
| 227 } | |
| 228 else if (callSuper & CSX.CSXreturn) | |
| 229 { | |
| 230 callSuper = cs | (callSuper & (CSX.CSXany_ctor | CSX.CSXlabel)); | |
| 231 } | |
| 232 else | |
| 233 { | |
| 234 a = (cs & (CSX.CSXthis_ctor | CSX.CSXsuper_ctor)) != 0; | |
| 235 b = (callSuper & (CSX.CSXthis_ctor | CSX.CSXsuper_ctor)) != 0; | |
| 236 | |
| 237 if (a != b) | |
| 238 error(loc, "one path skips constructor"); | |
| 239 callSuper |= cs; | |
| 240 } | |
| 241 } | |
| 242 } | |
| 243 | |
| 244 Dsymbol search(Loc loc, Identifier ident, Dsymbol* pscopesym) | |
| 245 { | |
| 246 Dsymbol s; | |
| 247 Scope sc; | |
| 248 | |
| 249 //printf("Scope.search(%p, '%s')\n", this, ident.toChars()); | |
| 250 if (ident is Id.empty) | |
| 251 { | |
| 252 // Look for module scope | |
| 253 for (sc = this; sc; sc = sc.enclosing) | |
| 254 { | |
| 255 assert(sc != sc.enclosing); | |
| 256 if (sc.scopesym) | |
| 257 { | |
| 258 s = sc.scopesym.isModule(); | |
| 259 if (s) | |
| 260 { | |
| 261 //printf("\tfound %s.%s\n", s.parent ? s.parent.toChars() : "", s.toChars()); | |
| 262 if (pscopesym) | |
| 263 *pscopesym = sc.scopesym; | |
| 264 return s; | |
| 265 } | |
| 266 } | |
| 267 } | |
| 268 return null; | |
| 269 } | |
| 270 | |
| 271 for (sc = this; sc; sc = sc.enclosing) | |
| 272 { | |
| 273 assert(sc != sc.enclosing); | |
| 274 if (sc.scopesym) | |
| 275 { | |
| 276 //printf("\tlooking in scopesym '%s', kind = '%s'\n", sc.scopesym.toChars(), sc.scopesym.kind()); | |
| 277 s = sc.scopesym.search(loc, ident, 0); | |
| 278 if (s) | |
| 279 { | |
| 280 if ((global.params.warnings || | |
| 281 global.params.Dversion > 1) && | |
| 282 ident == Id.length && | |
| 283 sc.scopesym.isArrayScopeSymbol() && | |
| 284 sc.enclosing && | |
| 285 sc.enclosing.search(loc, ident, null)) | |
| 286 { | |
| 287 warning(s.loc, "array 'length' hides other 'length' name in outer scope"); | |
| 288 } | |
| 289 | |
| 290 //printf("\tfound %s.%s, kind = '%s'\n", s.parent ? s.parent.toChars() : "", s.toChars(), s.kind()); | |
| 291 if (pscopesym) | |
| 292 *pscopesym = sc.scopesym; | |
| 293 return s; | |
| 294 } | |
| 295 } | |
| 296 } | |
| 297 | |
| 298 return null; | |
| 299 } | |
| 300 | |
| 301 Dsymbol insert(Dsymbol s) | |
| 302 { | |
| 303 for (Scope sc = this; sc; sc = sc.enclosing) | |
| 304 { | |
| 305 //printf("\tsc = %p\n", sc); | |
| 306 if (sc.scopesym) | |
| 307 { | |
| 308 //printf("\t\tsc.scopesym = %p\n", sc.scopesym); | |
| 309 if (!sc.scopesym.symtab) | |
| 310 sc.scopesym.symtab = new DsymbolTable(); | |
| 311 | |
| 79 | 312 return sc.scopesym.symtabInsert(s); |
| 0 | 313 } |
| 314 } | |
| 315 | |
| 316 assert(false); | |
| 317 } | |
| 318 | |
| 319 ClassDeclaration getClassScope() | |
| 320 { | |
| 321 assert(false); | |
| 322 } | |
| 323 | |
| 324 /******************************************** | |
| 325 * Search enclosing scopes for ClassDeclaration. | |
| 326 */ | |
| 327 AggregateDeclaration getStructClassScope() | |
| 328 { | |
| 329 for (Scope sc = this; sc; sc = sc.enclosing) | |
| 330 { | |
| 331 AggregateDeclaration ad; | |
| 332 | |
| 333 if (sc.scopesym) | |
| 334 { | |
| 335 ad = sc.scopesym.isClassDeclaration(); | |
| 336 if (ad) | |
| 337 return ad; | |
| 338 else | |
| 339 { | |
| 340 ad = sc.scopesym.isStructDeclaration(); | |
| 341 if (ad) | |
| 342 return ad; | |
| 343 } | |
| 344 } | |
| 345 } | |
| 346 | |
| 347 return null; | |
| 348 } | |
| 349 | |
| 350 void setNoFree() | |
| 351 { | |
| 352 //int i = 0; | |
| 353 | |
| 354 //printf("Scope.setNoFree(this = %p)\n", this); | |
| 355 for (Scope sc = this; sc; sc = sc.enclosing) | |
| 356 { | |
| 357 //printf("\tsc = %p\n", sc); | |
| 358 sc.nofree = 1; | |
| 359 | |
| 360 assert(!(flags & SCOPE.SCOPEfree)); | |
| 361 //assert(sc != sc.enclosing); | |
| 362 //assert(!sc.enclosing || sc != sc.enclosing.enclosing); | |
| 363 //if (++i == 10) | |
| 364 //assert(0); | |
| 365 } | |
| 366 } | |
|
21
26b9f97f6162
Added in some = new OutBuffer();'s to be on the safe side, been getting some issues with null OutBuffers.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
367 } |