projects/ldc: dmd/declaration.c annotate

annotate dmd/declaration.c @ 1578:1dee66f6ec0b

Removed a chunk of code in favour of a shorter and more portable method

author	Robert Clipsham <robert@octarineparrot.com>
date	Tue, 08 Sep 2009 11:21:30 +0100
parents	e4ff2e15cf5f
children	def7a1d494fd

rev	line source
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	2 // Compiler implementation of the D programming language
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	4 // All Rights Reserved
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	5 // written by Walter Bright
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	6 // http://www.digitalmars.com
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	7 // License for redistribution is by either the Artistic License
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	9 // See the included readme.txt for details.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	10
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	11 #include <stdio.h>
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	12 #include <assert.h>
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	13
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	14 #include "init.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	15 #include "declaration.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	16 #include "attrib.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	17 #include "mtype.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	18 #include "template.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	19 #include "scope.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	20 #include "aggregate.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	21 #include "module.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	22 #include "id.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	23 #include "expression.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	24 #include "hdrgen.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	25
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	26 /******************************* Declaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	27
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	28 Declaration::Declaration(Identifier *id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	29 : Dsymbol(id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	30 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	31 type = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	32 originalType = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	33 storage_class = STCundefined;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	34 protection = PROTundefined;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	35 linkage = LINKdefault;
1367 8026319762be Merged DMD 1.045 !!! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1362 diff changeset	36 inuse = 0;
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	37 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	38
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	39 void Declaration::semantic(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	40 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	41 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	42
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	43 const char *Declaration::kind()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	44 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	45 return "declaration";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	46 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	47
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	48 unsigned Declaration::size(Loc loc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	49 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	50 assert(type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	51 return type->size();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	52 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	53
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	54 int Declaration::isStaticConstructor()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	55 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	56 return FALSE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	57 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	58
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	59 int Declaration::isStaticDestructor()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	60 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	61 return FALSE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	62 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	63
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	64 int Declaration::isDelete()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	65 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	66 return FALSE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	67 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	68
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	69 int Declaration::isDataseg()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	70 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	71 return FALSE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	72 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	73
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	74 int Declaration::isCodeseg()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	75 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	76 return FALSE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	77 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	78
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	79 enum PROT Declaration::prot()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	80 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	81 return protection;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	82 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	83
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	84 /*************************************
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	85 * Check to see if declaration can be modified in this context (sc).
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	86 * Issue error if not.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	87 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	88
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	89 #if DMDV2
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	90 void Declaration::checkModify(Loc loc, Scope sc, Type t)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	91 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	92 if (sc->incontract && isParameter())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	93 error(loc, "cannot modify parameter '%s' in contract", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	94
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	95 if (isCtorinit())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	96 { // It's only modifiable if inside the right constructor
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	97 Dsymbol *s = sc->func;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	98 while (1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	99 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	100 FuncDeclaration *fd = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	101 if (s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	102 fd = s->isFuncDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	103 if (fd &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	104 ((fd->isCtorDeclaration() && storage_class & STCfield) \|\|
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	105 (fd->isStaticCtorDeclaration() && !(storage_class & STCfield))) &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	106 fd->toParent() == toParent()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	107 )
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	108 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	109 VarDeclaration *v = isVarDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	110 assert(v);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	111 v->ctorinit = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	112 //printf("setting ctorinit\n");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	113 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	114 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	115 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	116 if (s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	117 { s = s->toParent2();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	118 continue;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	119 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	120 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	121 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	122 const char *p = isStatic() ? "static " : "";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	123 error(loc, "can only initialize %sconst %s inside %sconstructor",
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	124 p, toChars(), p);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	125 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	126 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	127 break;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	128 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	129 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	130 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	131 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	132 VarDeclaration *v = isVarDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	133 if (v && v->canassign == 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	134 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	135 char *p = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	136 if (isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	137 p = "const";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	138 else if (isInvariant())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	139 p = "invariant";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	140 else if (storage_class & STCmanifest)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	141 p = "manifest constant";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	142 else if (!t->isAssignable())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	143 p = "struct with immutable members";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	144 if (p)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	145 { error(loc, "cannot modify %s", p);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	146 halt();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	147 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	148 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	149 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	150 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	151 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	152
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	153
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	154 /******************************* TupleDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	155
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	156 TupleDeclaration::TupleDeclaration(Loc loc, Identifier id, Objects objects)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	157 : Declaration(id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	158 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	159 this->type = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	160 this->objects = objects;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	161 this->isexp = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	162 this->tupletype = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	163 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	164
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	165 Dsymbol TupleDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	166 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	167 assert(0);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	168 return NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	169 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	170
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	171 const char *TupleDeclaration::kind()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	172 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	173 return "tuple";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	174 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	175
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	176 Type *TupleDeclaration::getType()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	177 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	178 /* If this tuple represents a type, return that type
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	179 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	180
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	181 //printf("TupleDeclaration::getType() %s\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	182 if (isexp)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	183 return NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	184 if (!tupletype)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	185 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	186 /* It's only a type tuple if all the Object's are types
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	187 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	188 for (size_t i = 0; i < objects->dim; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	189 { Object o = (Object )objects->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	190
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	191 if (o->dyncast() != DYNCAST_TYPE)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	192 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	193 //printf("\tnot[%d], %p, %d\n", i, o, o->dyncast());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	194 return NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	195 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	196 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	197
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	198 /* We know it's a type tuple, so build the TypeTuple
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	199 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	200 Arguments *args = new Arguments();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	201 args->setDim(objects->dim);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	202 OutBuffer buf;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	203 for (size_t i = 0; i < objects->dim; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	204 { Type t = (Type )objects->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	205
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	206 //printf("type = %s\n", t->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	207 #if 0
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	208 buf.printf("_%s_%d", ident->toChars(), i);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	209 char name = (char )buf.extractData();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	210 Identifier *id = new Identifier(name, TOKidentifier);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	211 Argument *arg = new Argument(STCin, t, id, NULL);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	212 #else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	213 Argument *arg = new Argument(STCin, t, NULL, NULL);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	214 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	215 args->data[i] = (void *)arg;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	216 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	217
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	218 tupletype = new TypeTuple(args);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	219 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	220
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	221 return tupletype;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	222 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	223
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	224 int TupleDeclaration::needThis()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	225 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	226 //printf("TupleDeclaration::needThis(%s)\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	227 for (size_t i = 0; i < objects->dim; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	228 { Object o = (Object )objects->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	229 if (o->dyncast() == DYNCAST_EXPRESSION)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	230 { Expression e = (Expression )o;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	231 if (e->op == TOKdsymbol)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	232 { DsymbolExp ve = (DsymbolExp )e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	233 Declaration *d = ve->s->isDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	234 if (d && d->needThis())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	235 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	236 return 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	237 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	238 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	239 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	240 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	241 return 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	242 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	243
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	244 /******************************* TypedefDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	245
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	246 TypedefDeclaration::TypedefDeclaration(Loc loc, Identifier id, Type basetype, Initializer *init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	247 : Declaration(id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	248 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	249 this->type = new TypeTypedef(this);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	250 this->basetype = basetype->toBasetype();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	251 this->init = init;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	252 #ifdef _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	253 this->htype = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	254 this->hbasetype = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	255 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	256 this->sem = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	257 this->loc = loc;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	258 #if IN_DMD
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	259 this->sinit = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	260 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	261 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	262
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	263 Dsymbol TypedefDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	264 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	265 Type *basetype = this->basetype->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	266
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	267 Initializer *init = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	268 if (this->init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	269 init = this->init->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	270
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	271 assert(!s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	272 TypedefDeclaration *st;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	273 st = new TypedefDeclaration(loc, ident, basetype, init);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	274 #ifdef _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	275 // Syntax copy for header file
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	276 if (!htype) // Don't overwrite original
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	277 { if (type) // Make copy for both old and new instances
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	278 { htype = type->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	279 st->htype = type->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	280 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	281 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	282 else // Make copy of original for new instance
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	283 st->htype = htype->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	284 if (!hbasetype)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	285 { if (basetype)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	286 { hbasetype = basetype->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	287 st->hbasetype = basetype->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	288 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	289 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	290 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	291 st->hbasetype = hbasetype->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	292 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	293 return st;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	294 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	295
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	296 void TypedefDeclaration::semantic(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	297 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	298 //printf("TypedefDeclaration::semantic(%s) sem = %d\n", toChars(), sem);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	299 if (sem == 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	300 { sem = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	301 basetype = basetype->semantic(loc, sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	302 sem = 2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	303 type = type->semantic(loc, sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	304 if (sc->parent->isFuncDeclaration() && init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	305 semantic2(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	306 storage_class \|= sc->stc & STCdeprecated;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	307 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	308 else if (sem == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	309 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	310 error("circular definition");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	311 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	312 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	313
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	314 void TypedefDeclaration::semantic2(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	315 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	316 //printf("TypedefDeclaration::semantic2(%s) sem = %d\n", toChars(), sem);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	317 if (sem == 2)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	318 { sem = 3;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	319 if (init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	320 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	321 init = init->semantic(sc, basetype);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	322
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	323 ExpInitializer *ie = init->isExpInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	324 if (ie)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	325 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	326 if (ie->exp->type == basetype)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	327 ie->exp->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	328 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	329 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	330 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	331 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	332
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	333 const char *TypedefDeclaration::kind()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	334 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	335 return "typedef";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	336 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	337
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	338 Type *TypedefDeclaration::getType()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	339 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	340 return type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	341 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	342
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	343 void TypedefDeclaration::toCBuffer(OutBuffer buf, HdrGenState hgs)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	344 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	345 buf->writestring("typedef ");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	346 basetype->toCBuffer(buf, ident, hgs);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	347 if (init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	348 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	349 buf->writestring(" = ");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	350 init->toCBuffer(buf, hgs);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	351 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	352 buf->writeByte(';');
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	353 buf->writenl();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	354 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	355
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	356 /******************************* AliasDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	357
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	358 AliasDeclaration::AliasDeclaration(Loc loc, Identifier id, Type type)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	359 : Declaration(id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	360 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	361 //printf("AliasDeclaration(id = '%s', type = %p)\n", id->toChars(), type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	362 //printf("type = '%s'\n", type->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	363 this->loc = loc;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	364 this->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	365 this->aliassym = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	366 #ifdef _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	367 this->htype = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	368 this->haliassym = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	369 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	370 this->overnext = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	371 this->inSemantic = 0;
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1309 diff changeset	372 this->importprot = PROTundefined;
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	373 assert(type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	374 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	375
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	376 AliasDeclaration::AliasDeclaration(Loc loc, Identifier id, Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	377 : Declaration(id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	378 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	379 //printf("AliasDeclaration(id = '%s', s = %p)\n", id->toChars(), s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	380 assert(s != this);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	381 this->loc = loc;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	382 this->type = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	383 this->aliassym = s;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	384 #ifdef _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	385 this->htype = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	386 this->haliassym = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	387 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	388 this->overnext = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	389 this->inSemantic = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	390 assert(s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	391 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	392
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	393 Dsymbol AliasDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	394 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	395 //printf("AliasDeclaration::syntaxCopy()\n");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	396 assert(!s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	397 AliasDeclaration *sa;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	398 if (type)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	399 sa = new AliasDeclaration(loc, ident, type->syntaxCopy());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	400 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	401 sa = new AliasDeclaration(loc, ident, aliassym->syntaxCopy(NULL));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	402 #ifdef _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	403 // Syntax copy for header file
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	404 if (!htype) // Don't overwrite original
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	405 { if (type) // Make copy for both old and new instances
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	406 { htype = type->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	407 sa->htype = type->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	408 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	409 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	410 else // Make copy of original for new instance
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	411 sa->htype = htype->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	412 if (!haliassym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	413 { if (aliassym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	414 { haliassym = aliassym->syntaxCopy(s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	415 sa->haliassym = aliassym->syntaxCopy(s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	416 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	417 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	418 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	419 sa->haliassym = haliassym->syntaxCopy(s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	420 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	421 return sa;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	422 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	423
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	424 void AliasDeclaration::semantic(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	425 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	426 //printf("AliasDeclaration::semantic() %s\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	427 if (aliassym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	428 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	429 if (aliassym->isTemplateInstance())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	430 aliassym->semantic(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	431 return;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	432 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	433 this->inSemantic = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	434
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	435 if (storage_class & STCconst)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	436 error("cannot be const");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	437
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	438 storage_class \|= sc->stc & STCdeprecated;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	439
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	440 // Given:
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	441 // alias foo.bar.abc def;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	442 // it is not knowable from the syntax whether this is an alias
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	443 // for a type or an alias for a symbol. It is up to the semantic()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	444 // pass to distinguish.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	445 // If it is a type, then type is set and getType() will return that
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	446 // type. If it is a symbol, then aliassym is set and type is NULL -
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	447 // toAlias() will return aliasssym.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	448
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	449 Dsymbol *s;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	450 Type *t;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	451 Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	452
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	453 /* This section is needed because resolve() will:
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	454 * const x = 3;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	455 * alias x y;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	456 * try to alias y to 3.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	457 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	458 s = type->toDsymbol(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	459 if (s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	460 goto L2; // it's a symbolic alias
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	461
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	462 //printf("alias type is %s\n", type->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	463 type->resolve(loc, sc, &e, &t, &s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	464 if (s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	465 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	466 goto L2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	467 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	468 else if (e)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	469 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	470 // Try to convert Expression to Dsymbol
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	471 if (e->op == TOKvar)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	472 { s = ((VarExp *)e)->var;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	473 goto L2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	474 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	475 else if (e->op == TOKfunction)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	476 { s = ((FuncExp *)e)->fd;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	477 goto L2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	478 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	479 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	480 { error("cannot alias an expression %s", e->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	481 t = e->type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	482 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	483 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	484 else if (t)
1367 8026319762be Merged DMD 1.045 !!! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1362 diff changeset	485 {
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	486 type = t;
1367 8026319762be Merged DMD 1.045 !!! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1362 diff changeset	487 }
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	488 if (overnext)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	489 ScopeDsymbol::multiplyDefined(0, this, overnext);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	490 this->inSemantic = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	491 return;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	492
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	493 L2:
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	494 //printf("alias is a symbol %s %s\n", s->kind(), s->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	495 type = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	496 VarDeclaration *v = s->isVarDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	497 if (v && v->linkage == LINKdefault)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	498 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	499 error("forward reference of %s", v->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	500 s = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	501 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	502 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	503 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	504 FuncDeclaration *f = s->toAlias()->isFuncDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	505 if (f)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	506 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	507 if (overnext)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	508 {
1362 194852badf8c Don't always expand aliases to FuncDecls to FuncAliasDecls - breaks for single Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	509 FuncAliasDeclaration *fa = new FuncAliasDeclaration(f);
194852badf8c Don't always expand aliases to FuncDecls to FuncAliasDecls - breaks for single Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	510 fa->importprot = importprot;
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	511 if (!fa->overloadInsert(overnext))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	512 ScopeDsymbol::multiplyDefined(0, f, overnext);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	513 overnext = NULL;
1362 194852badf8c Don't always expand aliases to FuncDecls to FuncAliasDecls - breaks for single Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	514 s = fa;
194852badf8c Don't always expand aliases to FuncDecls to FuncAliasDecls - breaks for single Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	515 s->parent = sc->parent;
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	516 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	517 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	518 if (overnext)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	519 ScopeDsymbol::multiplyDefined(0, s, overnext);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	520 if (s == this)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	521 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	522 assert(global.errors);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	523 s = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	524 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	525 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	526 aliassym = s;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	527 this->inSemantic = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	528 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	529
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	530 int AliasDeclaration::overloadInsert(Dsymbol *s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	531 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	532 /* Don't know yet what the aliased symbol is, so assume it can
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	533 * be overloaded and check later for correctness.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	534 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	535
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	536 //printf("AliasDeclaration::overloadInsert('%s')\n", s->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	537 if (overnext == NULL)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	538 { overnext = s;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	539 return TRUE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	540 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	541 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	542 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	543 return overnext->overloadInsert(s);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	544 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	545 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	546
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	547 const char *AliasDeclaration::kind()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	548 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	549 return "alias";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	550 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	551
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	552 Type *AliasDeclaration::getType()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	553 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	554 return type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	555 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	556
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	557 Dsymbol *AliasDeclaration::toAlias()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	558 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	559 //printf("AliasDeclaration::toAlias('%s', this = %p, aliassym = %p, kind = '%s')\n", toChars(), this, aliassym, aliassym ? aliassym->kind() : "");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	560 assert(this != aliassym);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	561 //static int count; if (++count == 10) (char)0=0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	562 if (inSemantic)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	563 { error("recursive alias declaration");
1367 8026319762be Merged DMD 1.045 !!! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1362 diff changeset	564 aliassym = new TypedefDeclaration(loc, ident, Type::terror, NULL);
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	565 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	566 Dsymbol *s = aliassym ? aliassym->toAlias() : this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	567 return s;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	568 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	569
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	570 void AliasDeclaration::toCBuffer(OutBuffer buf, HdrGenState hgs)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	571 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	572 buf->writestring("alias ");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	573 #if 0 && _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	574 if (hgs->hdrgen)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	575 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	576 if (haliassym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	577 {
1401 e2cf1f67ca33 Don't print the entire declaration of the alliassee when `->toChars()` is Frits van Bommel <fvbommel wxs.nl> parents: 1367 diff changeset	578 buf->writestring(haliassym->toChars());
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	579 buf->writeByte(' ');
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	580 buf->writestring(ident->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	581 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	582 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	583 htype->toCBuffer(buf, ident, hgs);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	584 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	585 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	586 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	587 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	588 if (aliassym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	589 {
1401 e2cf1f67ca33 Don't print the entire declaration of the alliassee when `->toChars()` is Frits van Bommel <fvbommel wxs.nl> parents: 1367 diff changeset	590 buf->writestring(aliassym->toChars());
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	591 buf->writeByte(' ');
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	592 buf->writestring(ident->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	593 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	594 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	595 type->toCBuffer(buf, ident, hgs);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	596 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	597 buf->writeByte(';');
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	598 buf->writenl();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	599 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	600
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	601 /******************************* VarDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	602
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	603 VarDeclaration::VarDeclaration(Loc loc, Type type, Identifier id, Initializer *init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	604 : Declaration(id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	605 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	606 //printf("VarDeclaration('%s')\n", id->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	607 #ifdef DEBUG
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	608 if (!type && !init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	609 { printf("VarDeclaration('%s')\n", id->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	610 //(char)0=0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	611 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	612 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	613 assert(type \|\| init);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	614 this->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	615 this->init = init;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	616 #ifdef _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	617 this->htype = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	618 this->hinit = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	619 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	620 this->loc = loc;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	621 offset = 0;
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	622 noscope = 0;
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	623 nestedref = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	624 ctorinit = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	625 aliassym = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	626 onstack = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	627 canassign = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	628 value = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	629
1309 0c03ba6f7c24 Fixed deal breaker bug for more-at-once compilation when any module contained aggregates. Fixes ticket #272 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1195 diff changeset	630 #if IN_LLVM
0c03ba6f7c24 Fixed deal breaker bug for more-at-once compilation when any module contained aggregates. Fixes ticket #272 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1195 diff changeset	631 aggrIndex = 0;
0c03ba6f7c24 Fixed deal breaker bug for more-at-once compilation when any module contained aggregates. Fixes ticket #272 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1195 diff changeset	632
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	633 // LDC
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	634 anonDecl = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	635 offset2 = 0;
1309 0c03ba6f7c24 Fixed deal breaker bug for more-at-once compilation when any module contained aggregates. Fixes ticket #272 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1195 diff changeset	636
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	637 nakedUse = false;
1482 d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	638
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	639 availableExternally = true; // assume this unless proven otherwise
1309 0c03ba6f7c24 Fixed deal breaker bug for more-at-once compilation when any module contained aggregates. Fixes ticket #272 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1195 diff changeset	640 #endif
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	641 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	642
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	643 Dsymbol VarDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	644 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	645 //printf("VarDeclaration::syntaxCopy(%s)\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	646
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	647 VarDeclaration *sv;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	648 if (s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	649 { sv = (VarDeclaration *)s;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	650 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	651 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	652 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	653 Initializer *init = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	654 if (this->init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	655 { init = this->init->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	656 //init->isExpInitializer()->exp->print();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	657 //init->isExpInitializer()->exp->dump(0);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	658 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	659
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	660 sv = new VarDeclaration(loc, type ? type->syntaxCopy() : NULL, ident, init);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	661 sv->storage_class = storage_class;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	662 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	663 #ifdef _DH
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	664 // Syntax copy for header file
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	665 if (!htype) // Don't overwrite original
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	666 { if (type) // Make copy for both old and new instances
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	667 { htype = type->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	668 sv->htype = type->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	669 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	670 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	671 else // Make copy of original for new instance
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	672 sv->htype = htype->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	673 if (!hinit)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	674 { if (init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	675 { hinit = init->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	676 sv->hinit = init->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	677 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	678 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	679 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	680 sv->hinit = hinit->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	681 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	682 return sv;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	683 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	684
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	685 void VarDeclaration::semantic(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	686 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	687 //printf("VarDeclaration::semantic('%s', parent = '%s')\n", toChars(), sc->parent->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	688 //printf(" type = %s\n", type ? type->toChars() : "null");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	689 //printf(" stc = x%x\n", sc->stc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	690 //printf(" storage_class = x%x\n", storage_class);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	691 //printf("linkage = %d\n", sc->linkage);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	692 //if (strcmp(toChars(), "mul") == 0) halt();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	693
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	694 storage_class \|= sc->stc;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	695 if (storage_class & STCextern && init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	696 error("extern symbols cannot have initializers");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	697
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	698 /* If auto type inference, do the inference
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	699 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	700 int inferred = 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	701 if (!type)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	702 { inuse++;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	703 type = init->inferType(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	704 inuse--;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	705 inferred = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	706
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	707 /* This is a kludge to support the existing syntax for RAII
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	708 * declarations.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	709 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	710 storage_class &= ~STCauto;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	711 originalType = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	712 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	713 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	714 { if (!originalType)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	715 originalType = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	716 type = type->semantic(loc, sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	717 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	718 //printf(" semantic type = %s\n", type ? type->toChars() : "null");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	719
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	720 type->checkDeprecated(loc, sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	721 linkage = sc->linkage;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	722 this->parent = sc->parent;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	723 //printf("this = %p, parent = %p, '%s'\n", this, parent, parent->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	724 protection = sc->protection;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	725 //printf("sc->stc = %x\n", sc->stc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	726 //printf("storage_class = x%x\n", storage_class);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	727
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	728 Dsymbol *parent = toParent();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	729 FuncDeclaration *fd = parent->isFuncDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	730
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	731 Type *tb = type->toBasetype();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	732 if (tb->ty == Tvoid && !(storage_class & STClazy))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	733 { error("voids have no value");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	734 type = Type::terror;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	735 tb = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	736 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	737 if (tb->ty == Tfunction)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	738 { error("cannot be declared to be a function");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	739 type = Type::terror;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	740 tb = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	741 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	742 if (tb->ty == Tstruct)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	743 { TypeStruct ts = (TypeStruct )tb;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	744
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	745 if (!ts->sym->members)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	746 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	747 error("no definition of struct %s", ts->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	748 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	749 }
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	750 if ((storage_class & STCauto) && !inferred)
1538 e4ff2e15cf5f Improve error message when using auto declarations with explicit type. Christian Kamm <kamm incasoftware de> parents: 1530 diff changeset	751 error("both auto and explicit type given");
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	752
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	753 if (tb->ty == Ttuple)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	754 { /* Instead, declare variables for each of the tuple elements
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	755 * and add those.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	756 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	757 TypeTuple tt = (TypeTuple )tb;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	758 size_t nelems = Argument::dim(tt->arguments);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	759 Objects *exps = new Objects();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	760 exps->setDim(nelems);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	761 Expression *ie = init ? init->toExpression() : NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	762
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	763 for (size_t i = 0; i < nelems; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	764 { Argument *arg = Argument::getNth(tt->arguments, i);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	765
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	766 OutBuffer buf;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	767 buf.printf("_%s_field_%zu", ident->toChars(), i);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	768 buf.writeByte(0);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	769 char name = (char )buf.extractData();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	770 Identifier *id = new Identifier(name, TOKidentifier);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	771
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	772 Expression *einit = ie;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	773 if (ie && ie->op == TOKtuple)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	774 { einit = (Expression )((TupleExp )ie)->exps->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	775 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	776 Initializer *ti = init;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	777 if (einit)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	778 { ti = new ExpInitializer(einit->loc, einit);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	779 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	780
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	781 VarDeclaration *v = new VarDeclaration(loc, arg->type, id, ti);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	782 //printf("declaring field %s of type %s\n", v->toChars(), v->type->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	783 v->semantic(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	784
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	785 /*
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	786 // removed for LDC since TupleDeclaration::toObj already creates the fields;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	787 // adding them to the scope again leads to duplicates
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	788 if (sc->scopesym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	789 { //printf("adding %s to %s\n", v->toChars(), sc->scopesym->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	790 if (sc->scopesym->members)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	791 sc->scopesym->members->push(v);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	792 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	793 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	794 Expression *e = new DsymbolExp(loc, v);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	795 exps->data[i] = e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	796 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	797 TupleDeclaration *v2 = new TupleDeclaration(loc, ident, exps);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	798 v2->isexp = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	799 aliassym = v2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	800 return;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	801 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	802
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	803 if (storage_class & STCconst && !init && !fd)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	804 // Initialize by constructor only
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	805 storage_class = (storage_class & ~STCconst) \| STCctorinit;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	806
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	807 if (isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	808 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	809 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	810 else if (isStatic())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	811 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	812 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	813 else if (isSynchronized())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	814 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	815 error("variable %s cannot be synchronized", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	816 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	817 else if (isOverride())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	818 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	819 error("override cannot be applied to variable");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	820 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	821 else if (isAbstract())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	822 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	823 error("abstract cannot be applied to variable");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	824 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	825 else if (storage_class & STCtemplateparameter)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	826 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	827 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	828 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	829 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	830 AggregateDeclaration *aad = sc->anonAgg;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	831 if (!aad)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	832 aad = parent->isAggregateDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	833 if (aad)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	834 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	835 aad->addField(sc, this);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	836 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	837
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	838 InterfaceDeclaration *id = parent->isInterfaceDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	839 if (id)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	840 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	841 error("field not allowed in interface");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	842 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	843
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	844 /* Templates cannot add fields to aggregates
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	845 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	846 TemplateInstance *ti = parent->isTemplateInstance();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	847 if (ti)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	848 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	849 // Take care of nested templates
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	850 while (1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	851 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	852 TemplateInstance *ti2 = ti->tempdecl->parent->isTemplateInstance();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	853 if (!ti2)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	854 break;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	855 ti = ti2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	856 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	857
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	858 // If it's a member template
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	859 AggregateDeclaration *ad = ti->tempdecl->isMember();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	860 if (ad && storage_class != STCundefined)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	861 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	862 error("cannot use template to add field to aggregate '%s'", ad->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	863 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	864 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	865 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	866
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	867 if (type->isscope() && !noscope)
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	868 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	869 if (storage_class & (STCfield \| STCout \| STCref \| STCstatic) \|\| !fd)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	870 {
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	871 error("globals, statics, fields, ref and out parameters cannot be scope");
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	872 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	873
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	874 if (!(storage_class & STCscope))
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	875 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	876 if (!(storage_class & STCparameter) && ident != Id::withSym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	877 error("reference to scope class must be scope");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	878 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	879 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	880
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	881 if (!init && !sc->inunion && !isStatic() && !isConst() && fd &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	882 !(storage_class & (STCfield \| STCin \| STCforeach)) &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	883 type->size() != 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	884 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	885 // Provide a default initializer
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	886 //printf("Providing default initializer for '%s'\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	887 if (type->ty == Tstruct &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	888 ((TypeStruct *)type)->sym->zeroInit == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	889 { /* If a struct is all zeros, as a special case
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	890 * set it's initializer to the integer 0.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	891 * In AssignExp::toElem(), we check for this and issue
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	892 * a memset() to initialize the struct.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	893 * Must do same check in interpreter.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	894 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	895 Expression *e = new IntegerExp(loc, 0, Type::tint32);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	896 Expression *e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	897 e1 = new VarExp(loc, this);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	898 e = new AssignExp(loc, e1, e);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	899 e->type = e1->type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	900 init = new ExpInitializer(loc, e/->type->defaultInit()/);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	901 return;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	902 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	903 else if (type->ty == Ttypedef)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	904 { TypeTypedef td = (TypeTypedef )type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	905 if (td->sym->init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	906 { init = td->sym->init;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	907 ExpInitializer *ie = init->isExpInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	908 if (ie)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	909 // Make copy so we can modify it
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	910 init = new ExpInitializer(ie->loc, ie->exp);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	911 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	912 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	913 init = getExpInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	914 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	915 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	916 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	917 init = getExpInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	918 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	919 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	920
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	921 if (init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	922 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	923 sc = sc->push();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	924 sc->stc &= ~(STCconst \| STCinvariant \| STCpure);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	925
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	926 ArrayInitializer *ai = init->isArrayInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	927 if (ai && tb->ty == Taarray)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	928 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	929 init = ai->toAssocArrayInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	930 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	931
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	932 StructInitializer *si = init->isStructInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	933 ExpInitializer *ei = init->isExpInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	934
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	935 // See if we can allocate on the stack
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	936 if (ei && isScope() && ei->exp->op == TOKnew)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	937 { NewExp ne = (NewExp )ei->exp;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	938 if (!(ne->newargs && ne->newargs->dim))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	939 { ne->onstack = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	940 onstack = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	941 if (type->isBaseOf(ne->newtype->semantic(loc, sc), NULL))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	942 onstack = 2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	943 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	944 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	945
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	946 // If inside function, there is no semantic3() call
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	947 if (sc->func)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	948 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	949 // If local variable, use AssignExp to handle all the various
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	950 // possibilities.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	951 if (fd && !isStatic() && !isConst() && !init->isVoidInitializer())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	952 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	953 //printf("fd = '%s', var = '%s'\n", fd->toChars(), toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	954 if (!ei)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	955 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	956 Expression *e = init->toExpression();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	957 if (!e)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	958 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	959 init = init->semantic(sc, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	960 e = init->toExpression();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	961 if (!e)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	962 { error("is not a static and cannot have static initializer");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	963 return;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	964 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	965 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	966 ei = new ExpInitializer(init->loc, e);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	967 init = ei;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	968 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	969
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	970 Expression *e1 = new VarExp(loc, this);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	971
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	972 Type *t = type->toBasetype();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	973 if (t->ty == Tsarray)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	974 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	975 ei->exp = ei->exp->semantic(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	976 if (!ei->exp->implicitConvTo(type))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	977 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	978 int dim = ((TypeSArray *)t)->dim->toInteger();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	979 // If multidimensional static array, treat as one large array
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	980 while (1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	981 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	982 t = t->nextOf()->toBasetype();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	983 if (t->ty != Tsarray)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	984 break;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	985 dim = ((TypeSArray )t)->dim->toInteger();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	986 e1->type = new TypeSArray(t->nextOf(), new IntegerExp(0, dim, Type::tindex));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	987 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	988 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	989 e1 = new SliceExp(loc, e1, NULL, NULL);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	990 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	991 else if (t->ty == Tstruct)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	992 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	993 ei->exp = ei->exp->semantic(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	994 if (!ei->exp->implicitConvTo(type))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	995 ei->exp = new CastExp(loc, ei->exp, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	996 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	997 ei->exp = new AssignExp(loc, e1, ei->exp);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	998 ei->exp->op = TOKconstruct;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	999 canassign++;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1000 ei->exp = ei->exp->semantic(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1001 canassign--;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1002 ei->exp->optimize(WANTvalue);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1003 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1004 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1005 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1006 init = init->semantic(sc, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1007 if (fd && isConst() && !isStatic())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1008 { // Make it static
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1009 storage_class \|= STCstatic;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1010 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1011 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1012 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1013 else if (isConst() \|\| isFinal())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1014 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1015 /* Because we may need the results of a const declaration in a
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1016 * subsequent type, such as an array dimension, before semantic2()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1017 * gets ordinarily run, try to run semantic2() now.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1018 * Ignore failure.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1019 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1020
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1021 if (!global.errors && !inferred)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1022 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1023 unsigned errors = global.errors;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1024 global.gag++;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1025 //printf("+gag\n");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1026 Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1027 Initializer *i2 = init;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1028 inuse++;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1029 if (ei)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1030 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1031 e = ei->exp->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1032 e = e->semantic(sc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1033 e = e->implicitCastTo(sc, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1034 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1035 else if (si \|\| ai)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1036 { i2 = init->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1037 i2 = i2->semantic(sc, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1038 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1039 inuse--;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1040 global.gag--;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1041 //printf("-gag\n");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1042 if (errors != global.errors) // if errors happened
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1043 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1044 if (global.gag == 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1045 global.errors = errors; // act as if nothing happened
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1046 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1047 else if (ei)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1048 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1049 e = e->optimize(WANTvalue \| WANTinterpret);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1050 if (e->op == TOKint64 \|\| e->op == TOKstring)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1051 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1052 ei->exp = e; // no errors, keep result
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1053 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1054 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1055 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1056 init = i2; // no errors, keep result
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1057 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1058 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1059 sc = sc->pop();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1060 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1061 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1062
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1063 ExpInitializer *VarDeclaration::getExpInitializer()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1064 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1065 ExpInitializer *ei;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1066
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1067 if (init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1068 ei = init->isExpInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1069 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1070 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1071 Expression *e = type->defaultInit(loc);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1072 if (e)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1073 ei = new ExpInitializer(loc, e);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1074 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1075 ei = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1076 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1077 return ei;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1078 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1079
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1080 void VarDeclaration::semantic2(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1081 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1082 //printf("VarDeclaration::semantic2('%s')\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1083 if (init && !toParent()->isFuncDeclaration())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1084 { inuse++;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1085 #if 0
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1086 ExpInitializer *ei = init->isExpInitializer();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1087 if (ei)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1088 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1089 ei->exp->dump(0);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1090 printf("type = %p\n", ei->exp->type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1091 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1092 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1093 init = init->semantic(sc, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1094 inuse--;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1095 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1096 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1097
1482 d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1098 void VarDeclaration::semantic3(Scope *sc)
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1099 {
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1100 // LDC
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1101 if (!global.params.useAvailableExternally)
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1102 availableExternally = false;
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1103
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1104 // Preserve call chain
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1105 Declaration::semantic3(sc);
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1106 }
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1107
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1108 const char *VarDeclaration::kind()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1109 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1110 return "variable";
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1111 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1112
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1113 Dsymbol *VarDeclaration::toAlias()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1114 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1115 //printf("VarDeclaration::toAlias('%s', this = %p, aliassym = %p)\n", toChars(), this, aliassym);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1116 assert(this != aliassym);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1117 Dsymbol *s = aliassym ? aliassym->toAlias() : this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1118 return s;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1119 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1120
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1121 void VarDeclaration::toCBuffer(OutBuffer buf, HdrGenState hgs)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1122 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1123 StorageClassDeclaration::stcToCBuffer(buf, storage_class);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1124
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1125 /* If changing, be sure and fix CompoundDeclarationStatement::toCBuffer()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1126 * too.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1127 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1128 if (type)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1129 type->toCBuffer(buf, ident, hgs);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1130 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1131 buf->writestring(ident->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1132 if (init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1133 { buf->writestring(" = ");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1134 init->toCBuffer(buf, hgs);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1135 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1136 buf->writeByte(';');
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1137 buf->writenl();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1138 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1139
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1140 int VarDeclaration::needThis()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1141 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1142 //printf("VarDeclaration::needThis(%s, x%x)\n", toChars(), storage_class);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1143 return storage_class & STCfield;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1144 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1145
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1146 int VarDeclaration::isImportedSymbol()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1147 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1148 if (protection == PROTexport && !init && (isStatic() \|\| isConst() \|\| parent->isModule()))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1149 return TRUE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1150 return FALSE;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1151 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1152
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1153 void VarDeclaration::checkCtorConstInit()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1154 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1155 if (ctorinit == 0 && isCtorinit() && !(storage_class & STCfield))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1156 error("missing initializer in static constructor for const variable");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1157 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1158
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1159 /************************************
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1160 * Check to see if this variable is actually in an enclosing function
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1161 * rather than the current one.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1162 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1163
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1164 void VarDeclaration::checkNestedReference(Scope *sc, Loc loc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1165 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1166 //printf("VarDeclaration::checkNestedReference() %s\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1167 if (parent && !isDataseg() && parent != sc->parent)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1168 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1169 // The function that this variable is in
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1170 FuncDeclaration *fdv = toParent()->isFuncDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1171 // The current function
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1172 FuncDeclaration *fdthis = sc->parent->isFuncDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1173
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1174 if (fdv && fdthis)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1175 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1176 if (loc.filename)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1177 fdthis->getLevel(loc, fdv);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1178 nestedref = 1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1179 fdv->nestedFrameRef = 1;
1464 93644700a0b3 Some minor changes to handling of variables referenced from nested functions in D2 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1401 diff changeset	1180 #if IN_LLVM
93644700a0b3 Some minor changes to handling of variables referenced from nested functions in D2 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1401 diff changeset	1181 #if DMDV1
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1182 fdv->nestedVars.insert(this);
1464 93644700a0b3 Some minor changes to handling of variables referenced from nested functions in D2 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1401 diff changeset	1183 #endif
93644700a0b3 Some minor changes to handling of variables referenced from nested functions in D2 . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1401 diff changeset	1184 #endif
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1185 //printf("var %s in function %s is nested ref\n", toChars(), fdv->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1186 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1187 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1188 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1189
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1190 /*******************************
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1191 * Does symbol go into data segment?
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1192 * Includes extern variables.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1193 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1194
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1195 int VarDeclaration::isDataseg()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1196 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1197 #if 0
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1198 printf("VarDeclaration::isDataseg(%p, '%s')\n", this, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1199 printf("%x, %p, %p\n", storage_class & (STCstatic \| STCconst), parent->isModule(), parent->isTemplateInstance());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1200 printf("parent = '%s'\n", parent->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1201 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1202 Dsymbol *parent = this->toParent();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1203 if (!parent && !(storage_class & (STCstatic \| STCconst)))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1204 { error("forward referenced");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1205 type = Type::terror;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1206 return 0;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1207 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1208 return (storage_class & (STCstatic \| STCconst) \|\|
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1209 parent->isModule() \|\|
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1210 parent->isTemplateInstance());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1211 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1212
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1213 int VarDeclaration::hasPointers()
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1214 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1215 return (!isDataseg() && type->hasPointers());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1216 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1217
1499 df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1218 int VarDeclaration::isSameAsInitializer()
df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1219 {
df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1220 if (init && init->isExpInitializer() &&
df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1221 init->isExpInitializer()->exp->op == TOKstructliteral)
df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1222 return 0;
df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1223 return isConst();
df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1224 }
df11cdec45a2 Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. Christian Kamm <kamm incasoftware de> parents: 1482 diff changeset	1225
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1226 /******************************************
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	1227 * If a variable has an scope destructor call, return call for it.
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1228 * Otherwise, return NULL.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1229 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1230
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	1231 Expression *VarDeclaration::callScopeDtor()
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1232 { Expression *e = NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1233
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	1234 //printf("VarDeclaration::callScopeDtor() %s\n", toChars());
05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	1235 if (storage_class & STCscope && !noscope)
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1236 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1237 for (ClassDeclaration *cd = type->isClassHandle();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1238 cd;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1239 cd = cd->baseClass)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1240 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1241 /* We can do better if there's a way with onstack
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1242 * classes to determine if there's no way the monitor
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1243 * could be set.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1244 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1245 //if (cd->isInterfaceDeclaration())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1246 //error("interface %s cannot be scope", cd->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1247 if (1 \|\| onstack \|\| cd->dtors.dim) // if any destructors
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1248 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1249 // delete this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1250 Expression *ec;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1251
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1252 ec = new VarExp(loc, this);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1253 e = new DeleteExp(loc, ec);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1254 e->type = Type::tvoid;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1255 break;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1256 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1257 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1258 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1259 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1260 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1261
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1262
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1263 /******************************* ClassInfoDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1264
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1265 ClassInfoDeclaration::ClassInfoDeclaration(ClassDeclaration *cd)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1266 : VarDeclaration(0, ClassDeclaration::classinfo->type, cd->ident, NULL)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1267 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1268 this->cd = cd;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1269 storage_class = STCstatic;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1270 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1271
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1272 Dsymbol ClassInfoDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1273 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1274 assert(0); // should never be produced by syntax
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1275 return NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1276 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1277
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1278 void ClassInfoDeclaration::semantic(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1279 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1280 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1281
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1282 /******************************* ModuleInfoDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1283
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1284 ModuleInfoDeclaration::ModuleInfoDeclaration(Module *mod)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1285 : VarDeclaration(0, Module::moduleinfo->type, mod->ident, NULL)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1286 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1287 this->mod = mod;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1288 storage_class = STCstatic;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1289 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1290
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1291 Dsymbol ModuleInfoDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1292 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1293 assert(0); // should never be produced by syntax
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1294 return NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1295 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1296
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1297 void ModuleInfoDeclaration::semantic(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1298 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1299 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1300
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1301 /******************************* TypeInfoDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1302
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1303 TypeInfoDeclaration::TypeInfoDeclaration(Type *tinfo, int internal)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1304 : VarDeclaration(0, Type::typeinfo->type, tinfo->getTypeInfoIdent(internal), NULL)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1305 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1306 this->tinfo = tinfo;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1307 storage_class = STCstatic;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1308 protection = PROTpublic;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1309 linkage = LINKc;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1310 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1311
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1312 Dsymbol TypeInfoDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1313 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1314 assert(0); // should never be produced by syntax
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1315 return NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1316 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1317
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1318 void TypeInfoDeclaration::semantic(Scope *sc)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1319 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1320 assert(linkage == LINKc);
1482 d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1321 // LDC
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1322 if (!global.params.useAvailableExternally)
d9c5f5a43403 Run `semantic3` on imported modules, and emit new symbols with Frits van Bommel <fvbommel wxs.nl> parents: 1464 diff changeset	1323 availableExternally = false;
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1324 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1325
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1326 /*************************** TypeInfoConstDeclaration ********************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1327
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1328 #if DMDV2
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1329 TypeInfoConstDeclaration::TypeInfoConstDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1330 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1331 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1332 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1333 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1334
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1335 /*************************** TypeInfoInvariantDeclaration ********************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1336
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1337 #if DMDV2
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1338 TypeInfoInvariantDeclaration::TypeInfoInvariantDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1339 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1340 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1341 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1342 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1343
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1344 /*************************** TypeInfoStructDeclaration ********************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1345
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1346 TypeInfoStructDeclaration::TypeInfoStructDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1347 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1348 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1349 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1350
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1351 /*************************** TypeInfoClassDeclaration *********************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1352
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1353 TypeInfoClassDeclaration::TypeInfoClassDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1354 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1355 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1356 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1357
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1358 /*************************** TypeInfoInterfaceDeclaration *****************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1359
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1360 TypeInfoInterfaceDeclaration::TypeInfoInterfaceDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1361 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1362 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1363 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1364
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1365 /*************************** TypeInfoTypedefDeclaration *******************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1366
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1367 TypeInfoTypedefDeclaration::TypeInfoTypedefDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1368 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1369 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1370 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1371
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1372 /*************************** TypeInfoPointerDeclaration *******************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1373
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1374 TypeInfoPointerDeclaration::TypeInfoPointerDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1375 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1376 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1377 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1378
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1379 /*************************** TypeInfoArrayDeclaration *********************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1380
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1381 TypeInfoArrayDeclaration::TypeInfoArrayDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1382 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1383 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1384 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1385
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1386 /*************************** TypeInfoStaticArrayDeclaration ***************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1387
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1388 TypeInfoStaticArrayDeclaration::TypeInfoStaticArrayDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1389 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1390 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1391 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1392
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1393 /*************************** TypeInfoAssociativeArrayDeclaration **********/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1394
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1395 TypeInfoAssociativeArrayDeclaration::TypeInfoAssociativeArrayDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1396 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1397 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1398 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1399
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1400 /*************************** TypeInfoEnumDeclaration *********************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1401
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1402 TypeInfoEnumDeclaration::TypeInfoEnumDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1403 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1404 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1405 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1406
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1407 /*************************** TypeInfoFunctionDeclaration ******************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1408
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1409 TypeInfoFunctionDeclaration::TypeInfoFunctionDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1410 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1411 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1412 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1413
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1414 /*************************** TypeInfoDelegateDeclaration ******************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1415
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1416 TypeInfoDelegateDeclaration::TypeInfoDelegateDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1417 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1418 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1419 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1420
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1421 /*************************** TypeInfoTupleDeclaration ********************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1422
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1423 TypeInfoTupleDeclaration::TypeInfoTupleDeclaration(Type *tinfo)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1424 : TypeInfoDeclaration(tinfo, 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1425 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1426 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1427
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1428 /******************************* ThisDeclaration **************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1429
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1430 // For the "this" parameter to member functions
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1431
1367 8026319762be Merged DMD 1.045 !!! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1362 diff changeset	1432 ThisDeclaration::ThisDeclaration(Loc loc, Type *t)
8026319762be Merged DMD 1.045 !!! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1362 diff changeset	1433 : VarDeclaration(loc, t, Id::This, NULL)
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1434 {
1530 05c235309d6f Make the auto storage class never have the same meaning as scope. Christian Kamm <kamm incasoftware de> parents: 1499 diff changeset	1435 noscope = 1;
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1436 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1437
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1438 Dsymbol ThisDeclaration::syntaxCopy(Dsymbol s)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1439 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1440 assert(0); // should never be produced by syntax
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1441 return NULL;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1442 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1443
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1444 /******************** StaticStructInitDeclaration *************************/
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1445
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1446 StaticStructInitDeclaration::StaticStructInitDeclaration(Loc loc, StructDeclaration *dsym)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1447 : Declaration(new Identifier("", TOKidentifier))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1448 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1449 this->loc = loc;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1450 this->dsym = dsym;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1451 storage_class \|= STCconst;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1452 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	1453

Mercurial > projects > ldc

annotate dmd/declaration.c @ 1578:1dee66f6ec0b