Mercurial > projects > ldc
annotate dmd/declaration.h @ 732:6aeaef263289
Fixed tuple fields, thanx downs
| author | Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> |
|---|---|
| date | Mon, 27 Oct 2008 01:11:41 +0100 |
| parents | 06576ece1a1b |
| children | 041c1596d217 |
| rev | line source |
|---|---|
| 159 | 1 |
| 2 // Compiler implementation of the D programming language | |
| 3 // Copyright (c) 1999-2008 by Digital Mars | |
| 4 // All Rights Reserved | |
| 5 // written by Walter Bright | |
| 6 // http://www.digitalmars.com | |
| 7 // License for redistribution is by either the Artistic License | |
| 8 // in artistic.txt, or the GNU General Public License in gnu.txt. | |
| 9 // See the included readme.txt for details. | |
| 10 | |
| 11 #ifndef DMD_DECLARATION_H | |
| 12 #define DMD_DECLARATION_H | |
| 13 | |
| 14 #ifdef __DMC__ | |
| 15 #pragma once | |
| 16 #endif /* __DMC__ */ | |
| 17 | |
| 18 #include <set> | |
|
305
2b72433d5c8c
[svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support.
lindquist
parents:
159
diff
changeset
|
19 #include <map> |
|
443
44f08170f4ef
Removed tango from the repository and instead added a runtime dir with the files needed to patch and build tango from svn.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
378
diff
changeset
|
20 #include <string> |
| 159 | 21 |
| 22 #include "dsymbol.h" | |
| 23 #include "lexer.h" | |
| 24 #include "mtype.h" | |
| 25 | |
| 26 struct Expression; | |
| 27 struct Statement; | |
| 28 struct LabelDsymbol; | |
|
305
2b72433d5c8c
[svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support.
lindquist
parents:
159
diff
changeset
|
29 struct LabelStatement; |
| 159 | 30 struct Initializer; |
| 31 struct Module; | |
| 32 struct InlineScanState; | |
| 33 struct ForeachStatement; | |
| 34 struct FuncDeclaration; | |
| 35 struct ExpInitializer; | |
| 36 struct StructDeclaration; | |
| 37 struct TupleType; | |
| 38 struct InterState; | |
| 39 struct IRState; | |
| 40 | |
| 41 enum PROT; | |
| 42 enum LINK; | |
| 43 enum TOK; | |
| 44 enum MATCH; | |
| 45 | |
| 46 enum STC | |
| 47 { | |
| 48 STCundefined = 0, | |
| 49 STCstatic = 1, | |
| 50 STCextern = 2, | |
| 51 STCconst = 4, | |
| 52 STCfinal = 8, | |
| 53 STCabstract = 0x10, | |
| 54 STCparameter = 0x20, | |
| 55 STCfield = 0x40, | |
| 56 STCoverride = 0x80, | |
| 57 STCauto = 0x100, | |
| 58 STCsynchronized = 0x200, | |
| 59 STCdeprecated = 0x400, | |
| 60 STCin = 0x800, // in parameter | |
| 61 STCout = 0x1000, // out parameter | |
| 62 STClazy = 0x2000, // lazy parameter | |
| 63 STCforeach = 0x4000, // variable for foreach loop | |
| 64 STCcomdat = 0x8000, // should go into COMDAT record | |
| 65 STCvariadic = 0x10000, // variadic function argument | |
| 66 STCctorinit = 0x20000, // can only be set inside constructor | |
| 67 STCtemplateparameter = 0x40000, // template parameter | |
| 68 STCscope = 0x80000, // template parameter | |
| 69 STCinvariant = 0x100000, | |
| 70 STCref = 0x200000, | |
| 71 STCinit = 0x400000, // has explicit initializer | |
| 72 STCmanifest = 0x800000, // manifest constant | |
| 73 STCnodtor = 0x1000000, // don't run destructor | |
| 74 STCnothrow = 0x2000000, // never throws exceptions | |
| 75 STCpure = 0x4000000, // pure function | |
| 76 STCtls = 0x8000000, // thread local | |
| 336 | 77 STCalias = 0x10000000, // alias parameter |
| 159 | 78 }; |
| 79 | |
| 80 struct Match | |
| 81 { | |
| 82 int count; // number of matches found | |
| 83 MATCH last; // match level of lastf | |
| 84 FuncDeclaration *lastf; // last matching function we found | |
| 85 FuncDeclaration *nextf; // current matching function | |
| 86 FuncDeclaration *anyf; // pick a func, any func, to use for error recovery | |
| 87 }; | |
| 88 | |
| 89 void overloadResolveX(Match *m, FuncDeclaration *f, Expressions *arguments); | |
| 90 int overloadApply(FuncDeclaration *fstart, | |
| 91 int (*fp)(void *, FuncDeclaration *), | |
| 92 void *param); | |
| 93 | |
| 94 /**************************************************************/ | |
| 95 | |
| 96 struct Declaration : Dsymbol | |
| 97 { | |
| 98 Type *type; | |
| 99 Type *originalType; // before semantic analysis | |
| 100 unsigned storage_class; | |
| 101 enum PROT protection; | |
| 102 enum LINK linkage; | |
| 103 | |
| 104 Declaration(Identifier *id); | |
| 105 void semantic(Scope *sc); | |
| 336 | 106 const char *kind(); |
| 159 | 107 unsigned size(Loc loc); |
| 108 void checkModify(Loc loc, Scope *sc, Type *t); | |
| 109 | |
| 110 void emitComment(Scope *sc); | |
| 111 void toDocBuffer(OutBuffer *buf); | |
| 112 | |
| 113 char *mangle(); | |
| 114 int isStatic() { return storage_class & STCstatic; } | |
| 115 virtual int isStaticConstructor(); | |
| 116 virtual int isStaticDestructor(); | |
| 117 virtual int isDelete(); | |
| 118 virtual int isDataseg(); | |
| 119 virtual int isCodeseg(); | |
| 120 int isCtorinit() { return storage_class & STCctorinit; } | |
| 121 int isFinal() { return storage_class & STCfinal; } | |
| 122 int isAbstract() { return storage_class & STCabstract; } | |
| 123 int isConst() { return storage_class & STCconst; } | |
| 124 int isInvariant() { return 0; } | |
| 125 int isAuto() { return storage_class & STCauto; } | |
| 126 int isScope() { return storage_class & (STCscope | STCauto); } | |
| 127 int isSynchronized() { return storage_class & STCsynchronized; } | |
| 128 int isParameter() { return storage_class & STCparameter; } | |
| 129 int isDeprecated() { return storage_class & STCdeprecated; } | |
| 130 int isOverride() { return storage_class & STCoverride; } | |
| 131 | |
| 132 int isIn() { return storage_class & STCin; } | |
| 133 int isOut() { return storage_class & STCout; } | |
| 134 int isRef() { return storage_class & STCref; } | |
| 135 | |
| 136 enum PROT prot(); | |
| 137 | |
| 138 Declaration *isDeclaration() { return this; } | |
| 139 | |
| 140 // llvm | |
| 141 virtual void toObjFile(); // compile to .obj file | |
| 142 }; | |
| 143 | |
| 144 /**************************************************************/ | |
| 145 | |
| 146 struct TupleDeclaration : Declaration | |
| 147 { | |
| 148 Objects *objects; | |
| 149 int isexp; // 1: expression tuple | |
| 150 | |
| 151 TypeTuple *tupletype; // !=NULL if this is a type tuple | |
| 152 | |
| 153 TupleDeclaration(Loc loc, Identifier *ident, Objects *objects); | |
| 154 Dsymbol *syntaxCopy(Dsymbol *); | |
| 336 | 155 const char *kind(); |
| 159 | 156 Type *getType(); |
| 157 int needThis(); | |
| 158 | |
| 159 TupleDeclaration *isTupleDeclaration() { return this; } | |
|
732
6aeaef263289
Fixed tuple fields, thanx downs
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
703
diff
changeset
|
160 |
|
6aeaef263289
Fixed tuple fields, thanx downs
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
703
diff
changeset
|
161 // LDC we need this |
|
6aeaef263289
Fixed tuple fields, thanx downs
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
703
diff
changeset
|
162 void toObjFile(int multiobj); // compile to .obj file |
| 159 | 163 }; |
| 164 | |
| 165 /**************************************************************/ | |
| 166 | |
| 167 struct TypedefDeclaration : Declaration | |
| 168 { | |
| 169 Type *basetype; | |
| 170 Initializer *init; | |
| 171 int sem; // 0: semantic() has not been run | |
| 172 // 1: semantic() is in progress | |
| 173 // 2: semantic() has been run | |
| 174 // 3: semantic2() has been run | |
| 175 int inuse; // used to detect typedef cycles | |
| 176 | |
| 177 TypedefDeclaration(Loc loc, Identifier *ident, Type *basetype, Initializer *init); | |
| 178 Dsymbol *syntaxCopy(Dsymbol *); | |
| 179 void semantic(Scope *sc); | |
| 180 void semantic2(Scope *sc); | |
| 181 char *mangle(); | |
| 336 | 182 const char *kind(); |
| 159 | 183 Type *getType(); |
| 184 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 185 #ifdef _DH | |
| 186 Type *htype; | |
| 187 Type *hbasetype; | |
| 188 #endif | |
| 189 | |
| 190 void toDocBuffer(OutBuffer *buf); | |
| 191 | |
| 336 | 192 void toObjFile(int multiobj); // compile to .obj file |
| 159 | 193 void toDebug(); |
| 194 int cvMember(unsigned char *p); | |
| 195 | |
| 196 TypedefDeclaration *isTypedefDeclaration() { return this; } | |
| 197 | |
| 198 Symbol *sinit; | |
| 199 Symbol *toInitializer(); | |
| 200 }; | |
| 201 | |
| 202 /**************************************************************/ | |
| 203 | |
| 204 struct AliasDeclaration : Declaration | |
| 205 { | |
| 206 Dsymbol *aliassym; | |
| 207 Dsymbol *overnext; // next in overload list | |
| 208 int inSemantic; | |
| 209 | |
| 210 AliasDeclaration(Loc loc, Identifier *ident, Type *type); | |
| 211 AliasDeclaration(Loc loc, Identifier *ident, Dsymbol *s); | |
| 212 Dsymbol *syntaxCopy(Dsymbol *); | |
| 213 void semantic(Scope *sc); | |
| 214 int overloadInsert(Dsymbol *s); | |
| 336 | 215 const char *kind(); |
| 159 | 216 Type *getType(); |
| 217 Dsymbol *toAlias(); | |
| 218 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 219 #ifdef _DH | |
| 220 Type *htype; | |
| 221 Dsymbol *haliassym; | |
| 222 #endif | |
| 223 | |
| 224 void toDocBuffer(OutBuffer *buf); | |
| 225 | |
| 226 AliasDeclaration *isAliasDeclaration() { return this; } | |
| 227 }; | |
| 228 | |
| 229 /**************************************************************/ | |
| 230 | |
| 231 struct VarDeclaration : Declaration | |
| 232 { | |
| 233 Initializer *init; | |
| 234 unsigned offset; | |
| 235 int noauto; // no auto semantics | |
| 236 int nestedref; // referenced by a lexically nested function | |
| 237 int inuse; | |
| 238 int ctorinit; // it has been initialized in a ctor | |
| 239 int onstack; // 1: it has been allocated on the stack | |
| 240 // 2: on stack, run destructor anyway | |
| 241 int canassign; // it can be assigned to | |
| 242 Dsymbol *aliassym; // if redone as alias to another symbol | |
| 243 Expression *value; // when interpreting, this is the value | |
| 244 // (NULL if value not determinable) | |
| 245 | |
| 246 VarDeclaration(Loc loc, Type *t, Identifier *id, Initializer *init); | |
| 247 Dsymbol *syntaxCopy(Dsymbol *); | |
| 248 void semantic(Scope *sc); | |
| 249 void semantic2(Scope *sc); | |
| 336 | 250 const char *kind(); |
| 159 | 251 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); |
| 252 #ifdef _DH | |
| 253 Type *htype; | |
| 254 Initializer *hinit; | |
| 255 #endif | |
| 256 int needThis(); | |
| 257 int isImportedSymbol(); | |
| 258 int isDataseg(); | |
| 259 int hasPointers(); | |
| 260 Expression *callAutoDtor(); | |
| 261 ExpInitializer *getExpInitializer(); | |
| 262 void checkCtorConstInit(); | |
| 263 void checkNestedReference(Scope *sc, Loc loc); | |
| 264 Dsymbol *toAlias(); | |
| 265 | |
| 266 Symbol *toSymbol(); | |
| 336 | 267 void toObjFile(int multiobj); // compile to .obj file |
| 159 | 268 int cvMember(unsigned char *p); |
| 269 | |
| 270 // Eliminate need for dynamic_cast | |
| 271 VarDeclaration *isVarDeclaration() { return (VarDeclaration *)this; } | |
| 272 }; | |
| 273 | |
| 274 /**************************************************************/ | |
| 275 | |
| 276 // This is a shell around a back end symbol | |
| 277 | |
| 278 struct SymbolDeclaration : Declaration | |
| 279 { | |
| 280 Symbol *sym; | |
| 281 StructDeclaration *dsym; | |
| 282 | |
| 283 SymbolDeclaration(Loc loc, Symbol *s, StructDeclaration *dsym); | |
| 284 | |
| 285 Symbol *toSymbol(); | |
| 286 | |
| 287 // Eliminate need for dynamic_cast | |
| 288 SymbolDeclaration *isSymbolDeclaration() { return (SymbolDeclaration *)this; } | |
| 289 }; | |
| 290 | |
| 291 struct ClassInfoDeclaration : VarDeclaration | |
| 292 { | |
| 293 ClassDeclaration *cd; | |
| 294 | |
| 295 ClassInfoDeclaration(ClassDeclaration *cd); | |
| 296 Dsymbol *syntaxCopy(Dsymbol *); | |
| 297 void semantic(Scope *sc); | |
| 298 | |
| 299 void emitComment(Scope *sc); | |
| 300 | |
| 301 Symbol *toSymbol(); | |
| 302 | |
| 303 ClassInfoDeclaration* isClassInfoDeclaration() { return this; } | |
| 304 }; | |
| 305 | |
| 306 struct ModuleInfoDeclaration : VarDeclaration | |
| 307 { | |
| 308 Module *mod; | |
| 309 | |
| 310 ModuleInfoDeclaration(Module *mod); | |
| 311 Dsymbol *syntaxCopy(Dsymbol *); | |
| 312 void semantic(Scope *sc); | |
| 313 | |
| 314 void emitComment(Scope *sc); | |
| 315 | |
| 316 Symbol *toSymbol(); | |
| 317 }; | |
| 318 | |
| 319 struct TypeInfoDeclaration : VarDeclaration | |
| 320 { | |
| 321 Type *tinfo; | |
| 322 | |
| 323 TypeInfoDeclaration(Type *tinfo, int internal); | |
| 324 Dsymbol *syntaxCopy(Dsymbol *); | |
| 325 void semantic(Scope *sc); | |
| 326 | |
| 327 void emitComment(Scope *sc); | |
| 328 | |
| 329 Symbol *toSymbol(); | |
| 336 | 330 void toObjFile(int multiobj); // compile to .obj file |
| 159 | 331 virtual void toDt(dt_t **pdt); |
| 332 | |
| 333 virtual TypeInfoDeclaration* isTypeInfoDeclaration() { return this; } | |
| 334 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
335 // LDC |
| 159 | 336 virtual void llvmDeclare(); |
| 337 virtual void llvmDefine(); | |
| 338 }; | |
| 339 | |
| 340 struct TypeInfoStructDeclaration : TypeInfoDeclaration | |
| 341 { | |
| 342 TypeInfoStructDeclaration(Type *tinfo); | |
| 343 | |
| 344 void toDt(dt_t **pdt); | |
| 345 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
346 // LDC |
| 159 | 347 void llvmDeclare(); |
| 348 void llvmDefine(); | |
| 349 }; | |
| 350 | |
| 351 struct TypeInfoClassDeclaration : TypeInfoDeclaration | |
| 352 { | |
| 353 TypeInfoClassDeclaration(Type *tinfo); | |
| 354 | |
| 355 void toDt(dt_t **pdt); | |
| 356 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
357 // LDC |
| 159 | 358 void llvmDeclare(); |
| 359 void llvmDefine(); | |
| 360 }; | |
| 361 | |
| 362 struct TypeInfoInterfaceDeclaration : TypeInfoDeclaration | |
| 363 { | |
| 364 TypeInfoInterfaceDeclaration(Type *tinfo); | |
| 365 | |
| 366 void toDt(dt_t **pdt); | |
| 367 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
368 // LDC |
| 159 | 369 void llvmDeclare(); |
| 370 void llvmDefine(); | |
| 371 }; | |
| 372 | |
| 373 struct TypeInfoTypedefDeclaration : TypeInfoDeclaration | |
| 374 { | |
| 375 TypeInfoTypedefDeclaration(Type *tinfo); | |
| 376 | |
| 377 void toDt(dt_t **pdt); | |
| 378 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
379 // LDC |
| 159 | 380 void llvmDeclare(); |
| 381 void llvmDefine(); | |
| 382 }; | |
| 383 | |
| 384 struct TypeInfoPointerDeclaration : TypeInfoDeclaration | |
| 385 { | |
| 386 TypeInfoPointerDeclaration(Type *tinfo); | |
| 387 | |
| 388 void toDt(dt_t **pdt); | |
| 389 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
390 // LDC |
| 159 | 391 void llvmDeclare(); |
| 392 void llvmDefine(); | |
| 393 }; | |
| 394 | |
| 395 struct TypeInfoArrayDeclaration : TypeInfoDeclaration | |
| 396 { | |
| 397 TypeInfoArrayDeclaration(Type *tinfo); | |
| 398 | |
| 399 void toDt(dt_t **pdt); | |
| 400 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
401 // LDC |
| 159 | 402 void llvmDeclare(); |
| 403 void llvmDefine(); | |
| 404 }; | |
| 405 | |
| 406 struct TypeInfoStaticArrayDeclaration : TypeInfoDeclaration | |
| 407 { | |
| 408 TypeInfoStaticArrayDeclaration(Type *tinfo); | |
| 409 | |
| 410 void toDt(dt_t **pdt); | |
| 411 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
412 // LDC |
| 159 | 413 void llvmDeclare(); |
| 414 void llvmDefine(); | |
| 415 }; | |
| 416 | |
| 417 struct TypeInfoAssociativeArrayDeclaration : TypeInfoDeclaration | |
| 418 { | |
| 419 TypeInfoAssociativeArrayDeclaration(Type *tinfo); | |
| 420 | |
| 421 void toDt(dt_t **pdt); | |
| 422 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
423 // LDC |
| 159 | 424 void llvmDeclare(); |
| 425 void llvmDefine(); | |
| 426 }; | |
| 427 | |
| 428 struct TypeInfoEnumDeclaration : TypeInfoDeclaration | |
| 429 { | |
| 430 TypeInfoEnumDeclaration(Type *tinfo); | |
| 431 | |
| 432 void toDt(dt_t **pdt); | |
| 433 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
434 // LDC |
| 159 | 435 void llvmDeclare(); |
| 436 void llvmDefine(); | |
| 437 }; | |
| 438 | |
| 439 struct TypeInfoFunctionDeclaration : TypeInfoDeclaration | |
| 440 { | |
| 441 TypeInfoFunctionDeclaration(Type *tinfo); | |
| 442 | |
| 443 void toDt(dt_t **pdt); | |
| 444 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
445 // LDC |
| 159 | 446 void llvmDeclare(); |
| 447 void llvmDefine(); | |
| 448 }; | |
| 449 | |
| 450 struct TypeInfoDelegateDeclaration : TypeInfoDeclaration | |
| 451 { | |
| 452 TypeInfoDelegateDeclaration(Type *tinfo); | |
| 453 | |
| 454 void toDt(dt_t **pdt); | |
| 455 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
456 // LDC |
| 159 | 457 void llvmDeclare(); |
| 458 void llvmDefine(); | |
| 459 }; | |
| 460 | |
| 461 struct TypeInfoTupleDeclaration : TypeInfoDeclaration | |
| 462 { | |
| 463 TypeInfoTupleDeclaration(Type *tinfo); | |
| 464 | |
| 465 void toDt(dt_t **pdt); | |
| 466 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
467 // LDC |
| 159 | 468 void llvmDeclare(); |
| 469 void llvmDefine(); | |
| 470 }; | |
| 471 | |
| 336 | 472 #if DMDV2 |
| 473 struct TypeInfoConstDeclaration : TypeInfoDeclaration | |
| 474 { | |
| 475 TypeInfoConstDeclaration(Type *tinfo); | |
| 476 | |
| 477 void toDt(dt_t **pdt); | |
| 478 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
479 // LDC |
| 336 | 480 void llvmDeclare(); |
| 481 void llvmDefine(); | |
| 482 }; | |
| 483 | |
| 484 struct TypeInfoInvariantDeclaration : TypeInfoDeclaration | |
| 485 { | |
| 486 TypeInfoInvariantDeclaration(Type *tinfo); | |
| 487 | |
| 488 void toDt(dt_t **pdt); | |
| 489 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
490 // LDC |
| 336 | 491 void llvmDeclare(); |
| 492 void llvmDefine(); | |
| 493 }; | |
| 494 #endif | |
| 495 | |
| 496 /**************************************************************/ | |
| 497 | |
| 159 | 498 struct ThisDeclaration : VarDeclaration |
| 499 { | |
| 500 ThisDeclaration(Type *t); | |
| 501 Dsymbol *syntaxCopy(Dsymbol *); | |
| 502 }; | |
| 503 | |
| 504 enum ILS | |
| 505 { | |
| 506 ILSuninitialized, // not computed yet | |
| 507 ILSno, // cannot inline | |
| 508 ILSyes, // can inline | |
| 509 }; | |
| 510 | |
| 511 /**************************************************************/ | |
| 336 | 512 #if DMDV2 |
| 159 | 513 |
| 514 enum BUILTIN | |
| 515 { | |
| 516 BUILTINunknown = -1, // not known if this is a builtin | |
| 517 BUILTINnot, // this is not a builtin | |
| 518 BUILTINsin, // std.math.sin | |
| 519 BUILTINcos, // std.math.cos | |
| 520 BUILTINtan, // std.math.tan | |
| 521 BUILTINsqrt, // std.math.sqrt | |
| 522 BUILTINfabs, // std.math.fabs | |
| 523 }; | |
| 524 | |
| 525 Expression *eval_builtin(enum BUILTIN builtin, Expressions *arguments); | |
| 526 | |
| 527 #endif | |
| 528 | |
| 529 struct FuncDeclaration : Declaration | |
| 530 { | |
| 531 Array *fthrows; // Array of Type's of exceptions (not used) | |
| 532 Statement *frequire; | |
| 533 Statement *fensure; | |
| 534 Statement *fbody; | |
| 535 | |
| 536 Identifier *outId; // identifier for out statement | |
| 537 VarDeclaration *vresult; // variable corresponding to outId | |
| 538 LabelDsymbol *returnLabel; // where the return goes | |
| 539 | |
| 540 DsymbolTable *localsymtab; // used to prevent symbols in different | |
| 541 // scopes from having the same name | |
| 542 VarDeclaration *vthis; // 'this' parameter (member and nested) | |
| 543 VarDeclaration *v_arguments; // '_arguments' parameter | |
| 544 #if IN_GCC | |
| 545 VarDeclaration *v_argptr; // '_argptr' variable | |
| 546 #endif | |
| 547 Dsymbols *parameters; // Array of VarDeclaration's for parameters | |
| 548 DsymbolTable *labtab; // statement label symbol table | |
| 549 Declaration *overnext; // next in overload list | |
| 550 Loc endloc; // location of closing curly bracket | |
| 551 int vtblIndex; // for member functions, index into vtbl[] | |
| 552 int naked; // !=0 if naked | |
| 553 int inlineAsm; // !=0 if has inline assembler | |
| 554 ILS inlineStatus; | |
| 555 int inlineNest; // !=0 if nested inline | |
| 556 int cantInterpret; // !=0 if cannot interpret function | |
| 557 int semanticRun; // !=0 if semantic3() had been run | |
| 558 // this function's frame ptr | |
| 559 ForeachStatement *fes; // if foreach body, this is the foreach | |
| 560 int introducing; // !=0 if 'introducing' function | |
| 561 Type *tintro; // if !=NULL, then this is the type | |
| 562 // of the 'introducing' function | |
| 563 // this one is overriding | |
| 564 int inferRetType; // !=0 if return type is to be inferred | |
| 565 Scope *scope; // !=NULL means context to use | |
| 566 | |
| 567 // Things that should really go into Scope | |
| 568 int hasReturnExp; // 1 if there's a return exp; statement | |
| 569 // 2 if there's a throw statement | |
| 570 // 4 if there's an assert(0) | |
| 571 // 8 if there's inline asm | |
| 572 | |
| 573 // Support for NRVO (named return value optimization) | |
| 574 int nrvo_can; // !=0 means we can do it | |
| 575 VarDeclaration *nrvo_var; // variable to replace with shidden | |
| 576 Symbol *shidden; // hidden pointer passed to function | |
| 577 | |
| 336 | 578 #if DMDV2 |
| 159 | 579 enum BUILTIN builtin; // set if this is a known, builtin |
| 580 // function we can evaluate at compile | |
| 581 // time | |
| 582 | |
| 583 int tookAddressOf; // set if someone took the address of | |
| 584 // this function | |
| 585 Dsymbols closureVars; // local variables in this function | |
| 586 // which are referenced by nested | |
| 587 // functions | |
| 588 #else | |
| 589 int nestedFrameRef; // !=0 if nested variables referenced | |
| 590 #endif | |
| 591 | |
| 592 FuncDeclaration(Loc loc, Loc endloc, Identifier *id, enum STC storage_class, Type *type); | |
| 593 Dsymbol *syntaxCopy(Dsymbol *); | |
| 594 void semantic(Scope *sc); | |
| 595 void semantic2(Scope *sc); | |
| 596 void semantic3(Scope *sc); | |
| 597 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 598 void bodyToCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 599 int overrides(FuncDeclaration *fd); | |
| 600 int findVtblIndex(Array *vtbl, int dim); | |
| 601 int overloadInsert(Dsymbol *s); | |
| 602 FuncDeclaration *overloadExactMatch(Type *t); | |
| 603 FuncDeclaration *overloadResolve(Loc loc, Expressions *arguments); | |
| 604 LabelDsymbol *searchLabel(Identifier *ident); | |
| 605 AggregateDeclaration *isThis(); | |
| 606 AggregateDeclaration *isMember2(); | |
| 607 int getLevel(Loc loc, FuncDeclaration *fd); // lexical nesting level difference | |
| 608 void appendExp(Expression *e); | |
| 609 void appendState(Statement *s); | |
| 610 char *mangle(); | |
| 611 int isMain(); | |
| 612 int isWinMain(); | |
| 613 int isDllMain(); | |
| 614 int isExport(); | |
| 615 int isImportedSymbol(); | |
| 616 int isAbstract(); | |
| 617 int isCodeseg(); | |
| 618 virtual int isNested(); | |
| 619 int needThis(); | |
| 620 virtual int isVirtual(); | |
| 621 virtual int addPreInvariant(); | |
| 622 virtual int addPostInvariant(); | |
| 623 Expression *interpret(InterState *istate, Expressions *arguments); | |
| 624 void inlineScan(); | |
| 625 int canInline(int hasthis, int hdrscan = 0); | |
| 626 Expression *doInline(InlineScanState *iss, Expression *ethis, Array *arguments); | |
| 336 | 627 const char *kind(); |
| 159 | 628 void toDocBuffer(OutBuffer *buf); |
| 629 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
630 // LDC: give argument types to runtime functions |
|
378
d8234836b40f
Get rid of runTimeHack and instead add proper argument info to the frontend
Christian Kamm <kamm incasoftware de>
parents:
336
diff
changeset
|
631 static FuncDeclaration *genCfunc(Arguments *args, Type *treturn, char *name); |
|
d8234836b40f
Get rid of runTimeHack and instead add proper argument info to the frontend
Christian Kamm <kamm incasoftware de>
parents:
336
diff
changeset
|
632 static FuncDeclaration *genCfunc(Arguments *args, Type *treturn, Identifier *id); |
| 159 | 633 |
| 634 Symbol *toSymbol(); | |
| 635 Symbol *toThunkSymbol(int offset); // thunk version | |
| 336 | 636 void toObjFile(int multiobj); // compile to .obj file |
| 159 | 637 int cvMember(unsigned char *p); |
| 638 | |
| 639 FuncDeclaration *isFuncDeclaration() { return this; } | |
| 640 | |
|
663
6aaa3d3c1183
First part of rename to LDC.
Christian Kamm <kamm incasoftware de>
parents:
639
diff
changeset
|
641 // LDC stuff |
|
639
8aebdf56c455
Move check for access of context for nested class from backend into frontend.
Christian Kamm <kamm incasoftware de>
parents:
468
diff
changeset
|
642 |
|
8aebdf56c455
Move check for access of context for nested class from backend into frontend.
Christian Kamm <kamm incasoftware de>
parents:
468
diff
changeset
|
643 // vars declared in this function that nested funcs reference |
|
8aebdf56c455
Move check for access of context for nested class from backend into frontend.
Christian Kamm <kamm incasoftware de>
parents:
468
diff
changeset
|
644 // is this is not empty, nestedFrameRef is set and these VarDecls |
|
8aebdf56c455
Move check for access of context for nested class from backend into frontend.
Christian Kamm <kamm incasoftware de>
parents:
468
diff
changeset
|
645 // probably have nestedref set too, see VarDeclaration::checkNestedReference |
| 159 | 646 std::set<VarDeclaration*> nestedVars; |
|
639
8aebdf56c455
Move check for access of context for nested class from backend into frontend.
Christian Kamm <kamm incasoftware de>
parents:
468
diff
changeset
|
647 |
|
443
44f08170f4ef
Removed tango from the repository and instead added a runtime dir with the files needed to patch and build tango from svn.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
378
diff
changeset
|
648 std::string intrinsicName; |
|
305
2b72433d5c8c
[svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support.
lindquist
parents:
159
diff
changeset
|
649 |
|
445
cc40db549aea
Changed the handling of variadic intrinsics a bit.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
443
diff
changeset
|
650 bool isIntrinsic(); |
|
cc40db549aea
Changed the handling of variadic intrinsics a bit.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
443
diff
changeset
|
651 bool isVaIntrinsic(); |
|
cc40db549aea
Changed the handling of variadic intrinsics a bit.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
443
diff
changeset
|
652 |
|
305
2b72433d5c8c
[svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support.
lindquist
parents:
159
diff
changeset
|
653 // we keep our own table of label statements as LabelDsymbolS |
|
2b72433d5c8c
[svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support.
lindquist
parents:
159
diff
changeset
|
654 // don't always carry their corresponding statement along ... |
|
2b72433d5c8c
[svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support.
lindquist
parents:
159
diff
changeset
|
655 typedef std::map<const char*, LabelStatement*> LabelMap; |
|
2b72433d5c8c
[svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support.
lindquist
parents:
159
diff
changeset
|
656 LabelMap labmap; |
|
703
06576ece1a1b
Changed premake.lua to work with mingw.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
663
diff
changeset
|
657 |
|
06576ece1a1b
Changed premake.lua to work with mingw.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
663
diff
changeset
|
658 // if this is an array operation it gets a little special attention |
|
06576ece1a1b
Changed premake.lua to work with mingw.
Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
parents:
663
diff
changeset
|
659 bool isArrayOp; |
| 159 | 660 }; |
| 661 | |
| 662 struct FuncAliasDeclaration : FuncDeclaration | |
| 663 { | |
| 664 FuncDeclaration *funcalias; | |
| 665 | |
| 666 FuncAliasDeclaration(FuncDeclaration *funcalias); | |
| 667 | |
| 668 FuncAliasDeclaration *isFuncAliasDeclaration() { return this; } | |
| 336 | 669 const char *kind(); |
| 159 | 670 Symbol *toSymbol(); |
| 671 }; | |
| 672 | |
| 673 struct FuncLiteralDeclaration : FuncDeclaration | |
| 674 { | |
| 675 enum TOK tok; // TOKfunction or TOKdelegate | |
| 676 | |
| 677 FuncLiteralDeclaration(Loc loc, Loc endloc, Type *type, enum TOK tok, | |
| 678 ForeachStatement *fes); | |
| 679 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 680 Dsymbol *syntaxCopy(Dsymbol *); | |
| 681 int isNested(); | |
| 336 | 682 int isVirtual(); |
| 159 | 683 |
| 684 FuncLiteralDeclaration *isFuncLiteralDeclaration() { return this; } | |
| 336 | 685 const char *kind(); |
| 159 | 686 }; |
| 687 | |
| 688 struct CtorDeclaration : FuncDeclaration | |
| 689 { Arguments *arguments; | |
| 690 int varargs; | |
| 691 | |
| 692 CtorDeclaration(Loc loc, Loc endloc, Arguments *arguments, int varargs); | |
| 693 Dsymbol *syntaxCopy(Dsymbol *); | |
| 694 void semantic(Scope *sc); | |
| 695 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 336 | 696 const char *kind(); |
| 159 | 697 char *toChars(); |
| 698 int isVirtual(); | |
| 699 int addPreInvariant(); | |
| 700 int addPostInvariant(); | |
| 701 void toDocBuffer(OutBuffer *buf); | |
| 702 | |
| 703 CtorDeclaration *isCtorDeclaration() { return this; } | |
| 704 }; | |
| 705 | |
| 336 | 706 #if DMDV2 |
| 707 struct PostBlitDeclaration : FuncDeclaration | |
| 708 { | |
| 709 PostBlitDeclaration(Loc loc, Loc endloc); | |
| 710 PostBlitDeclaration(Loc loc, Loc endloc, Identifier *id); | |
| 711 Dsymbol *syntaxCopy(Dsymbol *); | |
| 712 void semantic(Scope *sc); | |
| 713 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 714 int isVirtual(); | |
| 715 int addPreInvariant(); | |
| 716 int addPostInvariant(); | |
| 717 int overloadInsert(Dsymbol *s); | |
| 718 void emitComment(Scope *sc); | |
| 719 | |
| 720 PostBlitDeclaration *isPostBlitDeclaration() { return this; } | |
| 721 }; | |
| 722 #endif | |
| 723 | |
| 159 | 724 struct DtorDeclaration : FuncDeclaration |
| 725 { | |
| 726 DtorDeclaration(Loc loc, Loc endloc); | |
| 727 DtorDeclaration(Loc loc, Loc endloc, Identifier *id); | |
| 728 Dsymbol *syntaxCopy(Dsymbol *); | |
| 729 void semantic(Scope *sc); | |
| 730 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 731 int isVirtual(); | |
| 732 int addPreInvariant(); | |
| 733 int addPostInvariant(); | |
| 734 int overloadInsert(Dsymbol *s); | |
| 735 void emitComment(Scope *sc); | |
| 736 | |
| 737 DtorDeclaration *isDtorDeclaration() { return this; } | |
| 738 }; | |
| 739 | |
| 740 struct StaticCtorDeclaration : FuncDeclaration | |
| 741 { | |
| 742 StaticCtorDeclaration(Loc loc, Loc endloc); | |
| 743 Dsymbol *syntaxCopy(Dsymbol *); | |
| 744 void semantic(Scope *sc); | |
| 745 AggregateDeclaration *isThis(); | |
| 746 int isStaticConstructor(); | |
| 747 int isVirtual(); | |
| 748 int addPreInvariant(); | |
| 749 int addPostInvariant(); | |
| 750 void emitComment(Scope *sc); | |
| 751 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 752 | |
| 753 StaticCtorDeclaration *isStaticCtorDeclaration() { return this; } | |
| 754 }; | |
| 755 | |
| 756 struct StaticDtorDeclaration : FuncDeclaration | |
| 336 | 757 { VarDeclaration *vgate; // 'gate' variable |
| 758 | |
| 159 | 759 StaticDtorDeclaration(Loc loc, Loc endloc); |
| 760 Dsymbol *syntaxCopy(Dsymbol *); | |
| 761 void semantic(Scope *sc); | |
| 762 AggregateDeclaration *isThis(); | |
| 763 int isStaticDestructor(); | |
| 764 int isVirtual(); | |
| 765 int addPreInvariant(); | |
| 766 int addPostInvariant(); | |
| 767 void emitComment(Scope *sc); | |
| 768 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 769 | |
| 770 StaticDtorDeclaration *isStaticDtorDeclaration() { return this; } | |
| 771 }; | |
| 772 | |
| 773 struct InvariantDeclaration : FuncDeclaration | |
| 774 { | |
| 775 InvariantDeclaration(Loc loc, Loc endloc); | |
| 776 Dsymbol *syntaxCopy(Dsymbol *); | |
| 777 void semantic(Scope *sc); | |
| 778 int isVirtual(); | |
| 779 int addPreInvariant(); | |
| 780 int addPostInvariant(); | |
| 781 void emitComment(Scope *sc); | |
| 782 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 783 | |
| 784 InvariantDeclaration *isInvariantDeclaration() { return this; } | |
| 785 }; | |
| 786 | |
| 787 | |
| 788 struct UnitTestDeclaration : FuncDeclaration | |
| 789 { | |
| 790 UnitTestDeclaration(Loc loc, Loc endloc); | |
| 791 Dsymbol *syntaxCopy(Dsymbol *); | |
| 792 void semantic(Scope *sc); | |
| 793 AggregateDeclaration *isThis(); | |
| 794 int isVirtual(); | |
| 795 int addPreInvariant(); | |
| 796 int addPostInvariant(); | |
| 797 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 798 | |
| 799 UnitTestDeclaration *isUnitTestDeclaration() { return this; } | |
| 800 }; | |
| 801 | |
| 802 struct NewDeclaration : FuncDeclaration | |
| 803 { Arguments *arguments; | |
| 804 int varargs; | |
| 805 | |
| 806 NewDeclaration(Loc loc, Loc endloc, Arguments *arguments, int varargs); | |
| 807 Dsymbol *syntaxCopy(Dsymbol *); | |
| 808 void semantic(Scope *sc); | |
| 809 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 336 | 810 const char *kind(); |
| 159 | 811 int isVirtual(); |
| 812 int addPreInvariant(); | |
| 813 int addPostInvariant(); | |
| 814 | |
| 815 NewDeclaration *isNewDeclaration() { return this; } | |
| 816 }; | |
| 817 | |
| 818 | |
| 819 struct DeleteDeclaration : FuncDeclaration | |
| 820 { Arguments *arguments; | |
| 821 | |
| 822 DeleteDeclaration(Loc loc, Loc endloc, Arguments *arguments); | |
| 823 Dsymbol *syntaxCopy(Dsymbol *); | |
| 824 void semantic(Scope *sc); | |
| 825 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 336 | 826 const char *kind(); |
| 159 | 827 int isDelete(); |
| 828 int isVirtual(); | |
| 829 int addPreInvariant(); | |
| 830 int addPostInvariant(); | |
| 831 #ifdef _DH | |
| 832 DeleteDeclaration *isDeleteDeclaration() { return this; } | |
| 833 #endif | |
| 834 }; | |
| 835 | |
| 836 #endif /* DMD_DECLARATION_H */ |