Mercurial > projects > ddmd
annotate dmd/InterfaceDeclaration.d @ 64:4290d870944a
More fixes
| author | korDen |
|---|---|
| date | Mon, 23 Aug 2010 20:29:15 +0400 |
| parents | 460959608115 |
| children | 2e2a5c3f943a |
| rev | line source |
|---|---|
| 0 | 1 module dmd.InterfaceDeclaration; |
| 2 | |
| 3 import dmd.ClassDeclaration; | |
| 4 import dmd.Loc; | |
| 5 import dmd.DsymbolTable; | |
| 6 import dmd.STC; | |
| 7 import dmd.Type; | |
| 8 import dmd.TY; | |
| 9 import dmd.LINK; | |
| 10 import dmd.Argument; | |
| 11 import dmd.Util; | |
| 12 import dmd.TypeTuple; | |
| 13 import dmd.PROT; | |
| 14 import dmd.TypeClass; | |
| 15 import dmd.Identifier; | |
| 16 import dmd.ArrayTypes; | |
| 17 import dmd.Dsymbol; | |
| 18 import dmd.Scope; | |
| 19 import dmd.Global; | |
|
22
fd4acc376c45
Implemented object file output and linking on linux.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
20 import dmd.Module; |
| 0 | 21 import dmd.BaseClass; |
| 22 import dmd.Id; | |
| 23 | |
| 24 import dmd.backend.Symbol; | |
| 25 import dmd.backend.TYM; | |
| 26 import dmd.backend.dt_t; | |
| 27 import dmd.backend.Util; | |
| 28 import dmd.codegen.Util; | |
| 29 import dmd.backend.SC; | |
| 30 import dmd.backend.FL; | |
| 31 import dmd.backend.LIST; | |
| 32 import dmd.backend.SFL; | |
| 33 | |
| 34 class InterfaceDeclaration : ClassDeclaration | |
| 35 { | |
| 36 version (DMDV2) { | |
| 37 bool cpp; // true if this is a C++ interface | |
| 38 } | |
| 39 this(Loc loc, Identifier id, BaseClasses baseclasses) | |
| 40 { | |
| 41 super(loc, id, baseclasses); | |
| 42 | |
| 43 if (id is Id.IUnknown) // IUnknown is the root of all COM interfaces | |
| 44 { | |
| 45 com = true; | |
| 46 cpp = true; // IUnknown is also a C++ interface | |
| 47 } | |
| 48 } | |
| 49 | |
| 50 Dsymbol syntaxCopy(Dsymbol s) | |
| 51 { | |
| 52 assert(false); | |
| 53 } | |
| 54 | |
| 55 void semantic(Scope sc) | |
| 56 { | |
| 57 int i; | |
| 58 | |
| 59 //printf("InterfaceDeclaration.semantic(%s), type = %p\n", toChars(), type); | |
| 60 if (inuse) | |
| 61 return; | |
| 62 | |
| 63 if (!sc) | |
| 64 sc = scope_; | |
| 65 if (!parent && sc.parent && !sc.parent.isModule()) | |
| 66 parent = sc.parent; | |
| 67 | |
| 68 type = type.semantic(loc, sc); | |
| 69 handle = type; | |
| 70 | |
| 71 if (!members) // if forward reference | |
| 72 { | |
| 73 //printf("\tinterface '%s' is forward referenced\n", toChars()); | |
| 74 return; | |
| 75 } | |
| 76 if (symtab) // if already done | |
| 77 { | |
| 78 if (!scope_) | |
| 79 return; | |
| 80 } | |
| 81 else | |
| 82 symtab = new DsymbolTable(); | |
| 83 | |
| 84 Scope scx = null; | |
| 85 if (scope_) | |
| 86 { | |
| 87 sc = scope_; | |
| 88 scx = scope_; // save so we don't make redundant copies | |
| 89 scope_ = null; | |
| 90 } | |
| 91 | |
| 92 if (sc.stc & STC.STCdeprecated) | |
| 93 { | |
| 94 isdeprecated = true; | |
| 95 } | |
| 96 | |
| 97 // Expand any tuples in baseclasses[] | |
| 98 for (i = 0; i < baseclasses.dim; ) | |
| 99 { | |
| 100 BaseClass b = cast(BaseClass)baseclasses.data[0]; | |
| 101 b.type = b.type.semantic(loc, sc); | |
| 102 Type tb = b.type.toBasetype(); | |
| 103 | |
| 104 if (tb.ty == TY.Ttuple) | |
| 105 { TypeTuple tup = cast(TypeTuple)tb; | |
| 106 PROT protection = b.protection; | |
| 107 baseclasses.remove(i); | |
| 108 size_t dim = Argument.dim(tup.arguments); | |
| 109 for (size_t j = 0; j < dim; j++) | |
| 110 { Argument arg = Argument.getNth(tup.arguments, j); | |
| 111 b = new BaseClass(arg.type, protection); | |
| 112 baseclasses.insert(i + j, cast(void*)b); | |
| 113 } | |
| 114 } | |
| 115 else | |
| 116 i++; | |
| 117 } | |
| 118 | |
| 119 if (!baseclasses.dim && sc.linkage == LINK.LINKcpp) | |
| 120 cpp = 1; | |
| 121 | |
| 122 // Check for errors, handle forward references | |
| 123 for (i = 0; i < baseclasses.dim; ) | |
| 124 { | |
| 125 TypeClass tc; | |
| 126 BaseClass b; | |
| 127 Type tb; | |
| 128 | |
| 129 b = cast(BaseClass)baseclasses.data[i]; | |
| 130 b.type = b.type.semantic(loc, sc); | |
| 131 tb = b.type.toBasetype(); | |
| 132 if (tb.ty == TY.Tclass) | |
| 133 tc = cast(TypeClass)tb; | |
| 134 else | |
| 135 tc = null; | |
| 136 if (!tc || !tc.sym.isInterfaceDeclaration()) | |
| 137 { | |
| 138 error("base type must be interface, not %s", b.type.toChars()); | |
| 139 baseclasses.remove(i); | |
| 140 continue; | |
| 141 } | |
| 142 else | |
| 143 { | |
| 144 // Check for duplicate interfaces | |
| 145 for (size_t j = 0; j < i; j++) | |
| 146 { | |
| 147 BaseClass b2 = cast(BaseClass)baseclasses.data[j]; | |
| 148 if (b2.base is tc.sym) | |
| 149 error("inherits from duplicate interface %s", b2.base.toChars()); | |
| 150 } | |
| 151 | |
| 152 b.base = tc.sym; | |
| 153 if (b.base == this || isBaseOf2(b.base)) | |
| 154 { | |
| 155 error("circular inheritance of interface"); | |
| 156 baseclasses.remove(i); | |
| 157 continue; | |
| 158 } | |
| 159 if (!b.base.symtab) | |
| 160 { | |
| 161 // Try to resolve forward reference | |
| 162 if (sc.mustsemantic && b.base.scope_) | |
| 163 b.base.semantic(null); | |
| 164 } | |
| 165 if (!b.base.symtab || b.base.scope_ || b.base.inuse) | |
| 166 { | |
| 167 //error("forward reference of base class %s", baseClass.toChars()); | |
| 168 // Forward reference of base, try again later | |
| 169 //printf("\ttry later, forward reference of base %s\n", b.base.toChars()); | |
| 170 scope_ = scx ? scx : new Scope(sc); | |
| 171 scope_.setNoFree(); | |
| 172 scope_.module_.addDeferredSemantic(this); | |
| 173 return; | |
| 174 } | |
| 175 } | |
| 176 static if (false) { | |
| 177 // Inherit const/invariant from base class | |
| 178 storage_class |= b.base.storage_class & STC.STC_TYPECTOR; | |
| 179 } | |
| 180 i++; | |
| 181 } | |
| 182 | |
| 183 interfaces_dim = baseclasses.dim; | |
| 184 interfaces = cast(BaseClass*)baseclasses.data; | |
| 185 | |
| 186 interfaceSemantic(sc); | |
| 187 | |
| 188 if (vtblOffset()) | |
| 189 vtbl.push(cast(void*)this); // leave room at vtbl[0] for classinfo | |
| 190 | |
| 191 // Cat together the vtbl[]'s from base interfaces | |
| 192 for (i = 0; i < interfaces_dim; i++) | |
| 193 { | |
| 194 BaseClass b = interfaces[i]; | |
| 195 | |
| 196 // Skip if b has already appeared | |
| 197 for (int k = 0; k < i; k++) | |
| 198 { | |
| 199 if (b == interfaces[i]) | |
| 200 goto Lcontinue; | |
| 201 } | |
| 202 | |
| 203 // Copy vtbl[] from base class | |
| 204 if (b.base.vtblOffset()) | |
| 205 { int d = b.base.vtbl.dim; | |
| 206 if (d > 1) | |
| 207 { | |
| 208 vtbl.reserve(d - 1); | |
| 209 for (int j = 1; j < d; j++) | |
| 210 vtbl.push(b.base.vtbl.data[j]); | |
| 211 } | |
| 212 } | |
| 213 else | |
| 214 { | |
| 215 vtbl.append(b.base.vtbl); | |
| 216 } | |
| 217 | |
| 218 Lcontinue: | |
| 219 ; | |
| 220 } | |
| 221 | |
| 222 protection = sc.protection; | |
| 223 storage_class |= sc.stc & STC.STC_TYPECTOR; | |
| 224 | |
| 225 for (i = 0; i < members.dim; i++) | |
| 226 { | |
| 227 Dsymbol s = cast(Dsymbol)members.data[i]; | |
| 13 | 228 s.addMember(sc, this, true); |
| 0 | 229 } |
| 230 | |
| 231 sc = sc.push(this); | |
| 232 sc.stc &= ~(STC.STCfinal | STC.STCauto | STC.STCscope | STC.STCstatic | | |
| 233 STC.STCabstract | STC.STCdeprecated | STC.STC_TYPECTOR | STC.STCtls | STC.STCgshared); | |
| 234 sc.stc |= storage_class & STC.STC_TYPECTOR; | |
| 235 sc.parent = this; | |
| 236 if (isCOMinterface()) | |
| 237 sc.linkage = LINK.LINKwindows; | |
| 238 else if (isCPPinterface()) | |
| 239 sc.linkage = LINK.LINKcpp; | |
| 240 sc.structalign = 8; | |
| 241 structalign = sc.structalign; | |
| 242 sc.offset = PTRSIZE * 2; | |
| 243 inuse++; | |
| 244 for (i = 0; i < members.dim; i++) | |
| 245 { | |
| 246 Dsymbol s = cast(Dsymbol)members.data[i]; | |
| 247 s.semantic(sc); | |
| 248 } | |
| 249 inuse--; | |
| 250 //members.print(); | |
| 251 sc.pop(); | |
| 252 //printf("-InterfaceDeclaration.semantic(%s), type = %p\n", toChars(), type); | |
| 253 } | |
| 254 | |
| 255 bool isBaseOf(ClassDeclaration cd, int* poffset) | |
| 256 { | |
| 257 uint j; | |
| 258 | |
| 259 //printf("%s.InterfaceDeclaration.isBaseOf(cd = '%s')\n", toChars(), cd.toChars()); | |
| 260 assert(!baseClass); | |
| 261 for (j = 0; j < cd.interfaces_dim; j++) | |
| 262 { | |
| 263 BaseClass b = cd.interfaces[j]; | |
| 264 | |
| 265 //printf("\tbase %s\n", b.base.toChars()); | |
| 266 if (this == b.base) | |
| 267 { | |
| 268 //printf("\tfound at offset %d\n", b.offset); | |
| 269 if (poffset) | |
| 270 { | |
| 271 *poffset = b.offset; | |
| 272 if (j && cd.isInterfaceDeclaration()) | |
| 273 *poffset = OFFSET_RUNTIME; | |
| 274 } | |
| 275 return true; | |
| 276 } | |
| 277 if (isBaseOf(b, poffset)) | |
| 278 { | |
| 279 if (j && poffset && cd.isInterfaceDeclaration()) | |
| 280 *poffset = OFFSET_RUNTIME; | |
| 281 return true; | |
| 282 } | |
| 283 } | |
| 284 | |
| 285 if (cd.baseClass && isBaseOf(cd.baseClass, poffset)) | |
| 286 return true; | |
| 287 | |
| 288 if (poffset) | |
| 289 *poffset = 0; | |
| 290 return false; | |
| 291 } | |
| 292 | |
| 293 bool isBaseOf(BaseClass bc, int* poffset) | |
| 294 { | |
| 64 | 295 //printf("%s.InterfaceDeclaration.isBaseOf(bc = '%s')\n", toChars(), bc.base.toChars()); |
| 296 for (uint j = 0; j < bc.baseInterfaces.length; j++) | |
| 297 { | |
| 298 BaseClass b = bc.baseInterfaces[j]; | |
| 299 | |
| 300 if (this == b.base) | |
| 301 { | |
| 302 if (poffset) | |
| 303 { | |
| 304 *poffset = b.offset; | |
| 305 if (j && bc.base.isInterfaceDeclaration()) | |
| 306 *poffset = OFFSET_RUNTIME; | |
| 307 } | |
| 308 return 1; | |
| 309 } | |
| 310 if (isBaseOf(b, poffset)) | |
| 311 { | |
| 312 if (j && poffset && bc.base.isInterfaceDeclaration()) | |
| 313 *poffset = OFFSET_RUNTIME; | |
| 314 return 1; | |
| 315 } | |
| 316 } | |
| 317 if (poffset) | |
| 318 *poffset = 0; | |
| 319 return 0; | |
| 0 | 320 } |
| 321 | |
| 322 string kind() | |
| 323 { | |
| 324 assert(false); | |
| 325 } | |
| 326 | |
| 327 /**************************************** | |
| 328 * Determine if slot 0 of the vtbl[] is reserved for something else. | |
| 329 * For class objects, yes, this is where the ClassInfo ptr goes. | |
| 330 * For COM interfaces, no. | |
| 331 * For non-COM interfaces, yes, this is where the Interface ptr goes. | |
| 332 */ | |
| 333 int vtblOffset() | |
| 334 { | |
| 335 if (isCOMinterface() || isCPPinterface()) | |
| 336 return 0; | |
| 337 return 1; | |
| 338 } | |
| 339 | |
| 340 version (DMDV2) { | |
| 341 bool isCPPinterface() | |
| 342 { | |
| 343 return cpp; | |
| 344 } | |
| 345 } | |
| 346 bool isCOMinterface() | |
| 347 { | |
| 348 return com; | |
| 349 } | |
| 350 | |
| 351 void toObjFile(int multiobj) // compile to .obj file | |
| 352 { | |
| 353 uint i; | |
| 354 uint offset; | |
| 355 Symbol* sinit; | |
| 356 SC scclass; | |
| 357 | |
| 358 //printf("InterfaceDeclaration.toObjFile('%s')\n", toChars()); | |
| 359 | |
| 360 if (!members) | |
| 361 return; | |
| 362 | |
| 363 if (global.params.symdebug) | |
| 364 toDebug(); | |
| 365 | |
| 366 scclass = SCglobal; | |
| 367 if (inTemplateInstance()) | |
| 368 scclass = SCcomdat; | |
| 369 | |
| 370 // Put out the members | |
| 371 for (i = 0; i < members.dim; i++) | |
| 372 { | |
| 373 Dsymbol member; | |
| 374 | |
| 375 member = cast(Dsymbol)members.data[i]; | |
| 376 if (!member.isFuncDeclaration()) | |
| 377 member.toObjFile(0); | |
| 378 } | |
| 379 | |
| 380 // Generate C symbols | |
| 381 toSymbol(); | |
| 382 | |
| 383 ////////////////////////////////////////////// | |
| 384 | |
| 385 // Put out the TypeInfo | |
| 386 type.getTypeInfo(null); | |
| 387 type.vtinfo.toObjFile(multiobj); | |
| 388 | |
| 389 ////////////////////////////////////////////// | |
| 390 | |
| 391 // Put out the ClassInfo | |
| 392 csym.Sclass = scclass; | |
| 393 csym.Sfl = FLdata; | |
| 394 | |
| 395 /* The layout is: | |
| 396 { | |
| 397 void **vptr; | |
| 398 monitor_t monitor; | |
| 399 byte[] initializer; // static initialization data | |
| 400 char[] name; // class name | |
| 401 void *[] vtbl; | |
| 402 Interface[] interfaces; | |
| 403 Object *base; // base class | |
| 404 void *destructor; | |
| 405 void *invariant; // class invariant | |
| 406 uint flags; | |
| 407 void *deallocator; | |
| 408 OffsetTypeInfo[] offTi; | |
| 409 void *defaultConstructor; | |
| 410 #if DMDV2 | |
| 411 const(MemberInfo[]) function(string) xgetMembers; // module getMembers() function | |
| 412 #endif | |
| 413 TypeInfo typeinfo; | |
| 414 } | |
| 415 */ | |
| 416 dt_t *dt = null; | |
| 417 | |
| 418 if (classinfo) | |
| 419 dtxoff(&dt, classinfo.toVtblSymbol(), 0, TYnptr); // vtbl for ClassInfo | |
| 420 else | |
| 421 dtdword(&dt, 0); // BUG: should be an assert() | |
| 422 dtdword(&dt, 0); // monitor | |
| 423 | |
| 424 // initializer[] | |
| 425 dtdword(&dt, 0); // size | |
| 426 dtdword(&dt, 0); // initializer | |
| 427 | |
| 428 // name[] | |
| 429 string name = toPrettyChars(); | |
| 430 size_t namelen = name.length; | |
| 431 dtdword(&dt, namelen); | |
| 432 dtabytes(&dt, TYnptr, 0, namelen + 1, toStringz(name)); | |
| 433 | |
| 434 // vtbl[] | |
| 435 dtdword(&dt, 0); | |
| 436 dtdword(&dt, 0); | |
| 437 | |
| 438 // vtblInterfaces.data[] | |
| 439 dtdword(&dt, vtblInterfaces.dim); | |
| 440 if (vtblInterfaces.dim) | |
| 441 { | |
| 442 if (classinfo) | |
| 443 assert(classinfo.structsize == CLASSINFO_SIZE); | |
| 444 offset = CLASSINFO_SIZE; | |
| 445 dtxoff(&dt, csym, offset, TYnptr); // (*) | |
| 446 } | |
| 447 else | |
| 448 dtdword(&dt, 0); | |
| 449 | |
| 450 // base | |
| 451 assert(!baseClass); | |
| 452 dtdword(&dt, 0); | |
| 453 | |
| 454 // dtor | |
| 455 dtdword(&dt, 0); | |
| 456 | |
| 457 // invariant | |
| 458 dtdword(&dt, 0); | |
| 459 | |
| 460 // flags | |
| 461 dtdword(&dt, 4 | isCOMinterface() | 32); | |
| 462 | |
| 463 // deallocator | |
| 464 dtdword(&dt, 0); | |
| 465 | |
| 466 // offTi[] | |
| 467 dtdword(&dt, 0); | |
| 468 dtdword(&dt, 0); // null for now, fix later | |
| 469 | |
| 470 // defaultConstructor | |
| 471 dtdword(&dt, 0); | |
| 472 | |
| 473 version (DMDV2) { | |
| 474 // xgetMembers | |
| 475 dtdword(&dt, 0); | |
| 476 } | |
| 477 | |
| 478 dtxoff(&dt, type.vtinfo.toSymbol(), 0, TYnptr); // typeinfo | |
| 479 | |
| 480 ////////////////////////////////////////////// | |
| 481 | |
| 482 // Put out vtblInterfaces.data[]. Must immediately follow csym, because | |
| 483 // of the fixup (*) | |
| 484 | |
| 485 offset += vtblInterfaces.dim * (4 * PTRSIZE); | |
| 486 for (i = 0; i < vtblInterfaces.dim; i++) | |
| 487 { | |
| 488 BaseClass b = cast(BaseClass)vtblInterfaces.data[i]; | |
| 489 ClassDeclaration id = b.base; | |
| 490 | |
| 491 // ClassInfo | |
| 492 dtxoff(&dt, id.toSymbol(), 0, TYnptr); | |
| 493 | |
| 494 // vtbl[] | |
| 495 dtdword(&dt, 0); | |
| 496 dtdword(&dt, 0); | |
| 497 | |
| 498 // this offset | |
| 499 dtdword(&dt, b.offset); | |
| 500 } | |
| 501 | |
| 502 csym.Sdt = dt; | |
| 503 version (ELFOBJ) { | |
|
22
fd4acc376c45
Implemented object file output and linking on linux.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
504 csym.Sseg = Segment.CDATA; |
| 0 | 505 } |
| 506 version (MACHOBJ) { | |
|
22
fd4acc376c45
Implemented object file output and linking on linux.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
507 csym.Sseg = Segment.DATA; |
| 0 | 508 } |
| 509 outdata(csym); | |
| 510 if (isExport()) | |
| 511 obj_export(csym,0); | |
| 512 } | |
| 513 | |
| 514 /************************************* | |
| 515 * Create the "InterfaceInfo" symbol | |
| 516 */ | |
| 517 Symbol* toSymbol() | |
| 518 { | |
| 519 if (!csym) | |
| 520 { | |
| 521 Symbol *s; | |
| 522 | |
| 523 if (!scc) | |
| 524 scc = fake_classsym(Id.ClassInfo); | |
| 525 | |
| 526 s = toSymbolX("__Interface", SCextern, scc.Stype, "Z"); | |
| 527 s.Sfl = FLextern; | |
| 528 s.Sflags |= SFLnodebug; | |
| 529 csym = s; | |
| 530 slist_add(s); | |
| 531 } | |
| 532 return csym; | |
| 533 } | |
| 534 | |
| 535 InterfaceDeclaration isInterfaceDeclaration() { return this; } | |
|
22
fd4acc376c45
Implemented object file output and linking on linux.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
536 } |