projects/ldc: dmd2/class.c annotate

annotate dmd2/class.c @ 1526:54b3c1394d62

Merged dmdfe 2.031.

author	Robert Clipsham <robert@octarineparrot.com>
date	Tue, 07 Jul 2009 02:26:11 +0100
parents	638d16625da2
children	e4f7b5d9c68a

rev	line source
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	2 // Compiler implementation of the D programming language
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	4 // All Rights Reserved
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	5 // written by Walter Bright
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	6 // http://www.digitalmars.com
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	7 // License for redistribution is by either the Artistic License
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	9 // See the included readme.txt for details.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	10
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	11 #include <stdio.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	12 #include <stdlib.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	13 #include <assert.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	14
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	15 #include "root.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	16 #include "rmem.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	17
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	18 #include "enum.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	19 #include "init.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	20 #include "attrib.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	21 #include "declaration.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	22 #include "aggregate.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	23 #include "id.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	24 #include "mtype.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	25 #include "scope.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	26 #include "module.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	27 #include "expression.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	28 #include "statement.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	29
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	30 /******************************* ClassDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	31
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	32 ClassDeclaration *ClassDeclaration::classinfo;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	33 ClassDeclaration *ClassDeclaration::object;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	34
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	35 ClassDeclaration::ClassDeclaration(Loc loc, Identifier id, BaseClasses baseclasses)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	36 : AggregateDeclaration(loc, id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	37 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	38 static char msg[] = "only object.d can define this reserved class name";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	39
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	40 if (baseclasses)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	41 this->baseclasses = *baseclasses;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	42 baseClass = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	43
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	44 interfaces_dim = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	45 interfaces = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	46
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	47 vtblInterfaces = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	48
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	49 //printf("ClassDeclaration(%s), dim = %d\n", id->toChars(), this->baseclasses.dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	50
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	51 // For forward references
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	52 type = new TypeClass(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	53 handle = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	54
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	55 staticCtor = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	56 staticDtor = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	57
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	58 #if IN_DMD
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	59 vtblsym = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	60 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	61 vclassinfo = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	62
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	63 if (id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	64 { // Look for special class names
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	65
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	66 if (id == Id::__sizeof \|\| id == Id::alignof \|\| id == Id::mangleof)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	67 error("illegal class name");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	68
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	69 // BUG: What if this is the wrong TypeInfo, i.e. it is nested?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	70 if (id->toChars()[0] == 'T')
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	71 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	72 if (id == Id::TypeInfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	73 { if (Type::typeinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	74 Type::typeinfo->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	75 Type::typeinfo = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	76 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	77
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	78 if (id == Id::TypeInfo_Class)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	79 { if (Type::typeinfoclass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	80 Type::typeinfoclass->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	81 Type::typeinfoclass = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	82 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	83
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	84 if (id == Id::TypeInfo_Interface)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	85 { if (Type::typeinfointerface)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	86 Type::typeinfointerface->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	87 Type::typeinfointerface = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	88 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	89
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	90 if (id == Id::TypeInfo_Struct)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	91 { if (Type::typeinfostruct)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	92 Type::typeinfostruct->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	93 Type::typeinfostruct = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	94 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	95
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	96 if (id == Id::TypeInfo_Typedef)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	97 { if (Type::typeinfotypedef)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	98 Type::typeinfotypedef->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	99 Type::typeinfotypedef = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	100 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	101
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	102 if (id == Id::TypeInfo_Pointer)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	103 { if (Type::typeinfopointer)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	104 Type::typeinfopointer->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	105 Type::typeinfopointer = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	106 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	107
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	108 if (id == Id::TypeInfo_Array)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	109 { if (Type::typeinfoarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	110 Type::typeinfoarray->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	111 Type::typeinfoarray = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	112 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	113
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	114 if (id == Id::TypeInfo_StaticArray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	115 { //if (Type::typeinfostaticarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	116 //Type::typeinfostaticarray->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	117 Type::typeinfostaticarray = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	118 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	119
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	120 if (id == Id::TypeInfo_AssociativeArray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	121 { if (Type::typeinfoassociativearray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	122 Type::typeinfoassociativearray->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	123 Type::typeinfoassociativearray = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	124 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	125
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	126 if (id == Id::TypeInfo_Enum)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	127 { if (Type::typeinfoenum)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	128 Type::typeinfoenum->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	129 Type::typeinfoenum = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	130 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	131
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	132 if (id == Id::TypeInfo_Function)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	133 { if (Type::typeinfofunction)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	134 Type::typeinfofunction->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	135 Type::typeinfofunction = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	136 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	137
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	138 if (id == Id::TypeInfo_Delegate)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	139 { if (Type::typeinfodelegate)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	140 Type::typeinfodelegate->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	141 Type::typeinfodelegate = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	142 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	143
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	144 if (id == Id::TypeInfo_Tuple)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	145 { if (Type::typeinfotypelist)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	146 Type::typeinfotypelist->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	147 Type::typeinfotypelist = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	148 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	149
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	150 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	151 if (id == Id::TypeInfo_Const)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	152 { if (Type::typeinfoconst)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	153 Type::typeinfoconst->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	154 Type::typeinfoconst = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	155 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	156
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	157 if (id == Id::TypeInfo_Invariant)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	158 { if (Type::typeinfoinvariant)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	159 Type::typeinfoinvariant->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	160 Type::typeinfoinvariant = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	161 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	162
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	163 if (id == Id::TypeInfo_Shared)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	164 { if (Type::typeinfoshared)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	165 Type::typeinfoshared->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	166 Type::typeinfoshared = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	167 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	168 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	169 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	170
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	171 if (id == Id::Object)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	172 { if (object)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	173 object->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	174 object = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	175 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	176
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	177 if (id == Id::ClassInfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	178 { if (classinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	179 classinfo->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	180 classinfo = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	181 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	182
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	183 if (id == Id::ModuleInfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	184 { if (Module::moduleinfo)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	185 Module::moduleinfo->error("%s", msg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	186 Module::moduleinfo = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	187 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	188 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	189
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	190 com = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	191 isauto = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	192 isabstract = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	193 inuse = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	194 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	195
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	196 Dsymbol ClassDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	197 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	198 ClassDeclaration *cd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	199
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	200 //printf("ClassDeclaration::syntaxCopy('%s')\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	201 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	202 cd = (ClassDeclaration *)s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	203 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	204 cd = new ClassDeclaration(loc, ident, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	205
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	206 cd->storage_class \|= storage_class;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	207
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	208 cd->baseclasses.setDim(this->baseclasses.dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	209 for (int i = 0; i < cd->baseclasses.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	210 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	211 BaseClass b = (BaseClass )this->baseclasses.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	212 BaseClass *b2 = new BaseClass(b->type->syntaxCopy(), b->protection);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	213 cd->baseclasses.data[i] = b2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	214 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	215
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	216 ScopeDsymbol::syntaxCopy(cd);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	217 return cd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	218 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	219
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	220 void ClassDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	221 { int i;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	222 unsigned offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	223
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	224 //printf("ClassDeclaration::semantic(%s), type = %p, sizeok = %d, this = %p\n", toChars(), type, sizeok, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	225 //printf("\tparent = %p, '%s'\n", sc->parent, sc->parent ? sc->parent->toChars() : "");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	226 //printf("sc->stc = %x\n", sc->stc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	227
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	228 //{ static int n; if (++n == 20) (char)0=0; }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	229
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	230 if (!ident) // if anonymous class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	231 { const char *id = "__anonclass";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	232
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	233 ident = Identifier::generateId(id);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	234 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	235
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	236 if (!sc)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	237 sc = scope;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	238 if (!parent && sc->parent && !sc->parent->isModule())
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	239 parent = sc->parent;
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	240
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	241 type = type->semantic(loc, sc);
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	242 handle = type;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	243
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	244 if (!members) // if forward reference
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	245 { //printf("\tclass '%s' is forward referenced\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	246 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	247 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	248 if (symtab)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	249 { if (!scope)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	250 { //printf("\tsemantic for '%s' is already completed\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	251 return; // semantic() already completed
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	252 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	253 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	254 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	255 symtab = new DsymbolTable();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	256
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	257 Scope *scx = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	258 if (scope)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	259 { sc = scope;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	260 scx = scope; // save so we don't make redundant copies
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	261 scope = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	262 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	263 #ifdef IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	264 methods.setDim(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	265 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	266
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	267 if (sc->stc & STCdeprecated)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	268 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	269 isdeprecated = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	270 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	271
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	272 if (sc->linkage == LINKcpp)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	273 error("cannot create C++ classes");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	274
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	275 // Expand any tuples in baseclasses[]
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	276 for (i = 0; i < baseclasses.dim; )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	277 { BaseClass b = (BaseClass )baseclasses.data[i];
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	278 //printf("test1 %s %s\n", toChars(), b->type->toChars());
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	279 b->type = b->type->semantic(loc, sc);
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	280 //printf("test2\n");
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	281 Type *tb = b->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	282
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	283 if (tb->ty == Ttuple)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	284 { TypeTuple tup = (TypeTuple )tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	285 enum PROT protection = b->protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	286 baseclasses.remove(i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	287 size_t dim = Argument::dim(tup->arguments);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	288 for (size_t j = 0; j < dim; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	289 { Argument *arg = Argument::getNth(tup->arguments, j);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	290 b = new BaseClass(arg->type, protection);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	291 baseclasses.insert(i + j, b);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	292 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	293 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	294 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	295 i++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	296 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	297
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	298 // See if there's a base class as first in baseclasses[]
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	299 if (baseclasses.dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	300 { TypeClass *tc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	301 BaseClass *b;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	302 Type *tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	303
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	304 b = (BaseClass *)baseclasses.data[0];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	305 //b->type = b->type->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	306 tb = b->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	307 if (tb->ty != Tclass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	308 { error("base type must be class or interface, not %s", b->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	309 baseclasses.remove(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	310 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	311 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	312 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	313 tc = (TypeClass *)(tb);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	314
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	315 if (tc->sym->isDeprecated())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	316 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	317 if (!isDeprecated())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	318 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	319 // Deriving from deprecated class makes this one deprecated too
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	320 isdeprecated = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	321
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	322 tc->checkDeprecated(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	323 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	324 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	325
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	326 if (tc->sym->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	327 ;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	328 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	329 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	330 for (ClassDeclaration *cdb = tc->sym; cdb; cdb = cdb->baseClass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	331 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	332 if (cdb == this)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	333 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	334 error("circular inheritance");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	335 baseclasses.remove(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	336 goto L7;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	337 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	338 }
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	339 if (!tc->sym->symtab \|\| tc->sym->sizeok == 0)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	340 { // Try to resolve forward reference
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	341 if (sc->mustsemantic && tc->sym->scope)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	342 tc->sym->semantic(NULL);
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	343 }
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	344 if (!tc->sym->symtab \|\| tc->sym->scope \|\| tc->sym->sizeok == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	345 {
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	346 //printf("%s: forward reference of base class %s\n", toChars(), tc->sym->toChars());
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	347 //error("forward reference of base class %s", baseClass->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	348 // Forward reference of base class, try again later
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	349 //printf("\ttry later, forward reference of base class %s\n", tc->sym->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	350 scope = scx ? scx : new Scope(*sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	351 scope->setNoFree();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	352 scope->module->addDeferredSemantic(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	353 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	354 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	355 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	356 { baseClass = tc->sym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	357 b->base = baseClass;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	358 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	359 L7: ;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	360 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	361 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	362 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	363
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	364 // Treat the remaining entries in baseclasses as interfaces
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	365 // Check for errors, handle forward references
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	366 for (i = (baseClass ? 1 : 0); i < baseclasses.dim; )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	367 { TypeClass *tc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	368 BaseClass *b;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	369 Type *tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	370
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	371 b = (BaseClass *)baseclasses.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	372 b->type = b->type->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	373 tb = b->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	374 if (tb->ty == Tclass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	375 tc = (TypeClass *)tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	376 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	377 tc = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	378 if (!tc \|\| !tc->sym->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	379 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	380 error("base type must be interface, not %s", b->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	381 baseclasses.remove(i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	382 continue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	383 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	384 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	385 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	386 if (tc->sym->isDeprecated())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	387 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	388 if (!isDeprecated())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	389 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	390 // Deriving from deprecated class makes this one deprecated too
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	391 isdeprecated = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	392
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	393 tc->checkDeprecated(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	394 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	395 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	396
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	397 // Check for duplicate interfaces
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	398 for (size_t j = (baseClass ? 1 : 0); j < i; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	399 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	400 BaseClass b2 = (BaseClass )baseclasses.data[j];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	401 if (b2->base == tc->sym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	402 error("inherits from duplicate interface %s", b2->base->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	403 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	404
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	405 b->base = tc->sym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	406 if (!b->base->symtab \|\| b->base->scope)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	407 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	408 //error("forward reference of base class %s", baseClass->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	409 // Forward reference of base, try again later
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	410 //printf("\ttry later, forward reference of base %s\n", baseClass->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	411 scope = scx ? scx : new Scope(*sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	412 scope->setNoFree();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	413 scope->module->addDeferredSemantic(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	414 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	415 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	416 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	417 i++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	418 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	419
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	420
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	421 // If no base class, and this is not an Object, use Object as base class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	422 if (!baseClass && ident != Id::Object)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	423 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	424 // BUG: what if Object is redefined in an inner scope?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	425 Type *tbase = new TypeIdentifier(0, Id::Object);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	426 BaseClass *b;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	427 TypeClass *tc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	428 Type *bt;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	429
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	430 if (!object)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	431 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	432 error("missing or corrupt object.d");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	433 fatal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	434 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	435 bt = tbase->semantic(loc, sc)->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	436 b = new BaseClass(bt, PROTpublic);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	437 baseclasses.shift(b);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	438 assert(b->type->ty == Tclass);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	439 tc = (TypeClass *)(b->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	440 baseClass = tc->sym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	441 assert(!baseClass->isInterfaceDeclaration());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	442 b->base = baseClass;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	443 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	444
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	445 interfaces_dim = baseclasses.dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	446 interfaces = (BaseClass **)baseclasses.data;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	447
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	448
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	449 if (baseClass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	450 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	451 if (baseClass->storage_class & STCfinal)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	452 error("cannot inherit from final class %s", baseClass->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	453
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	454 interfaces_dim--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	455 interfaces++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	456
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	457 // Copy vtbl[] from base class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	458 vtbl.setDim(baseClass->vtbl.dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	459 memcpy(vtbl.data, baseClass->vtbl.data, sizeof(void ) vtbl.dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	460
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	461 // Inherit properties from base class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	462 com = baseClass->isCOMclass();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	463 isauto = baseClass->isauto;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	464 vthis = baseClass->vthis;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	465 storage_class \|= baseClass->storage_class & STC_TYPECTOR;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	466 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	467 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	468 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	469 // No base class, so this is the root of the class hierarchy
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	470 vtbl.setDim(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	471 vtbl.push(this); // leave room for classinfo as first member
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	472 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	473
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	474 protection = sc->protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	475 storage_class \|= sc->stc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	476
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	477 if (sizeok == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	478 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	479 interfaceSemantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	480
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	481 for (i = 0; i < members->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	482 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	483 Dsymbol s = (Dsymbol )members->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	484 s->addMember(sc, this, 1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	485 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	486
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	487 /* If this is a nested class, add the hidden 'this'
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	488 * member which is a pointer to the enclosing scope.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	489 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	490 if (vthis) // if inheriting from nested class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	491 { // Use the base class's 'this' member
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	492 isnested = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	493 if (storage_class & STCstatic)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	494 error("static class cannot inherit from nested class %s", baseClass->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	495 if (toParent2() != baseClass->toParent2())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	496 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	497 if (toParent2())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	498 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	499 error("is nested within %s, but super class %s is nested within %s",
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	500 toParent2()->toChars(),
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	501 baseClass->toChars(),
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	502 baseClass->toParent2()->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	503 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	504 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	505 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	506 error("is not nested, but super class %s is nested within %s",
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	507 baseClass->toChars(),
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	508 baseClass->toParent2()->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	509 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	510 isnested = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	511 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	512 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	513 else if (!(storage_class & STCstatic))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	514 { Dsymbol *s = toParent2();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	515 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	516 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	517 AggregateDeclaration *ad = s->isClassDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	518 FuncDeclaration *fd = s->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	519
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	520
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	521 if (ad \|\| fd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	522 { isnested = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	523 Type *t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	524 if (ad)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	525 t = ad->handle;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	526 else if (fd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	527 { AggregateDeclaration *ad = fd->isMember2();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	528 if (ad)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	529 t = ad->handle;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	530 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	531 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	532 t = Type::tvoidptr;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	533 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	534 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	535 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	536 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	537 if (t->ty == Tstruct) // ref to struct
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	538 t = Type::tvoidptr;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	539 assert(!vthis);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	540 vthis = new ThisDeclaration(loc, t);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	541 members->push(vthis);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	542 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	543 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	544 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	545 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	546
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	547 if (storage_class & (STCauto \| STCscope))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	548 isauto = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	549 if (storage_class & STCabstract)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	550 isabstract = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	551 if (storage_class & STCimmutable)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	552 type = type->invariantOf();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	553 else if (storage_class & STCconst)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	554 type = type->constOf();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	555 else if (storage_class & STCshared)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	556 type = type->sharedOf();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	557
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	558 sc = sc->push(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	559 sc->stc &= ~(STCfinal \| STCauto \| STCscope \| STCstatic \|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	560 STCabstract \| STCdeprecated \| STC_TYPECTOR \| STCtls \| STCgshared);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	561 sc->stc \|= storage_class & STC_TYPECTOR;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	562 sc->parent = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	563 sc->inunion = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	564
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	565 if (isCOMclass())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	566 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	567 #if _WIN32
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	568 sc->linkage = LINKwindows;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	569 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	570 /* This enables us to use COM objects under Linux and
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	571 * work with things like XPCOM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	572 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	573 sc->linkage = LINKc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	574 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	575 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	576 sc->protection = PROTpublic;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	577 sc->explicitProtection = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	578 sc->structalign = 8;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	579 structalign = sc->structalign;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	580 if (baseClass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	581 { sc->offset = baseClass->structsize;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	582 alignsize = baseClass->alignsize;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	583 // if (isnested)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	584 // sc->offset += PTRSIZE; // room for uplevel context pointer
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	585 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	586 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	587 { sc->offset = PTRSIZE * 2; // allow room for __vptr and __monitor
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	588 alignsize = PTRSIZE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	589 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	590 structsize = sc->offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	591 Scope scsave = *sc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	592 int members_dim = members->dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	593 sizeok = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	594 for (i = 0; i < members_dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	595 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	596 Dsymbol s = (Dsymbol )members->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	597 s->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	598 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	599
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	600 if (sizeok == 2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	601 { // semantic() failed because of forward references.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	602 // Unwind what we did, and defer it for later
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	603 fields.setDim(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	604 structsize = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	605 alignsize = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	606 structalign = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	607
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	608 sc = sc->pop();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	609
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	610 scope = scx ? scx : new Scope(*sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	611 scope->setNoFree();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	612 scope->module->addDeferredSemantic(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	613
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	614 //printf("\tsemantic('%s') failed due to forward references\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	615 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	616 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	617
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	618 //printf("\tsemantic('%s') successful\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	619
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	620 structsize = sc->offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	621 //members->print();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	622
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	623 /* Look for special member functions.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	624 * They must be in this class, not in a base class.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	625 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	626 ctor = (CtorDeclaration *)search(0, Id::ctor, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	627 if (ctor && (ctor->toParent() != this \|\| !ctor->isCtorDeclaration()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	628 ctor = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	629
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	630 // dtor = (DtorDeclaration *)search(Id::dtor, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	631 // if (dtor && dtor->toParent() != this)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	632 // dtor = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	633
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	634 // inv = (InvariantDeclaration *)search(Id::classInvariant, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	635 // if (inv && inv->toParent() != this)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	636 // inv = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	637
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	638 // Can be in base class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	639 aggNew = (NewDeclaration *)search(0, Id::classNew, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	640 aggDelete = (DeleteDeclaration *)search(0, Id::classDelete, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	641
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	642 // If this class has no constructor, but base class does, create
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	643 // a constructor:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	644 // this() { }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	645 if (!ctor && baseClass && baseClass->ctor)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	646 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	647 //printf("Creating default this(){} for class %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	648 CtorDeclaration *ctor = new CtorDeclaration(loc, 0, NULL, 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	649 ctor->fbody = new CompoundStatement(0, new Statements());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	650 members->push(ctor);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	651 ctor->addMember(sc, this, 1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	652 *sc = scsave; // why? What about sc->nofree?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	653 sc->offset = structsize;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	654 ctor->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	655 this->ctor = ctor;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	656 defaultCtor = ctor;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	657 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	658
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	659 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	660 if (baseClass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	661 { if (!aggDelete)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	662 aggDelete = baseClass->aggDelete;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	663 if (!aggNew)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	664 aggNew = baseClass->aggNew;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	665 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	666 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	667
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	668 // Allocate instance of each new interface
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	669 for (i = 0; i < vtblInterfaces->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	670 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	671 BaseClass b = (BaseClass )vtblInterfaces->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	672 unsigned thissize = PTRSIZE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	673
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	674 alignmember(structalign, thissize, &sc->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	675 assert(b->offset == 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	676 b->offset = sc->offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	677
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	678 // Take care of single inheritance offsets
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	679 while (b->baseInterfaces_dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	680 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	681 b = &b->baseInterfaces[0];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	682 b->offset = sc->offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	683 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	684
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	685 sc->offset += thissize;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	686 if (alignsize < thissize)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	687 alignsize = thissize;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	688 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	689 structsize = sc->offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	690 sizeok = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	691 Module::dprogress++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	692
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	693 dtor = buildDtor(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	694
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	695 sc->pop();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	696
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	697 #if 0 // Do not call until toObjfile() because of forward references
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	698 // Fill in base class vtbl[]s
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	699 for (i = 0; i < vtblInterfaces->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	700 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	701 BaseClass b = (BaseClass )vtblInterfaces->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	702
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	703 //b->fillVtbl(this, &b->vtbl, 1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	704 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	705 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	706 //printf("-ClassDeclaration::semantic(%s), type = %p\n", toChars(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	707 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	708
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	709 void ClassDeclaration::toCBuffer(OutBuffer buf, HdrGenState hgs)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	710 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	711 if (!isAnonymous())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	712 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	713 buf->printf("%s ", kind());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	714 buf->writestring(toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	715 if (baseclasses.dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	716 buf->writestring(" : ");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	717 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	718 for (int i = 0; i < baseclasses.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	719 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	720 BaseClass b = (BaseClass )baseclasses.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	721
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	722 if (i)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	723 buf->writeByte(',');
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	724 //buf->writestring(b->base->ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	725 b->type->toCBuffer(buf, NULL, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	726 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	727 buf->writenl();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	728 buf->writeByte('{');
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	729 buf->writenl();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	730 for (int i = 0; i < members->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	731 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	732 Dsymbol s = (Dsymbol )members->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	733
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	734 buf->writestring(" ");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	735 s->toCBuffer(buf, hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	736 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	737 buf->writestring("}");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	738 buf->writenl();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	739 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	740
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	741 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	742 void ClassDeclaration::defineRef(Dsymbol *s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	743 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	744 ClassDeclaration *cd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	745
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	746 AggregateDeclaration::defineRef(s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	747 cd = s->isClassDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	748 baseType = cd->baseType;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	749 cd->baseType = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	750 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	751 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	752
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	753 /*********************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	754 * Determine if 'this' is a base class of cd.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	755 * This is used to detect circular inheritance only.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	756 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	757
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	758 int ClassDeclaration::isBaseOf2(ClassDeclaration *cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	759 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	760 if (!cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	761 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	762 //printf("ClassDeclaration::isBaseOf2(this = '%s', cd = '%s')\n", toChars(), cd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	763 for (int i = 0; i < cd->baseclasses.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	764 { BaseClass b = (BaseClass )cd->baseclasses.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	765
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	766 if (b->base == this \|\| isBaseOf2(b->base))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	767 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	768 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	769 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	770 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	771
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	772 /*******************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	773 * Determine if 'this' is a base class of cd.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	774 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	775
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	776 int ClassDeclaration::isBaseOf(ClassDeclaration cd, int poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	777 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	778 //printf("ClassDeclaration::isBaseOf(this = '%s', cd = '%s')\n", toChars(), cd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	779 if (poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	780 *poffset = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	781 while (cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	782 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	783 if (this == cd->baseClass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	784 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	785
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	786 /* cd->baseClass might not be set if cd is forward referenced.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	787 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	788 if (!cd->baseClass && cd->baseclasses.dim && !cd->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	789 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	790 cd->error("base class is forward referenced by %s", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	791 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	792
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	793 cd = cd->baseClass;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	794 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	795 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	796 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	797
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	798 Dsymbol ClassDeclaration::search(Loc loc, Identifier ident, int flags)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	799 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	800 Dsymbol *s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	801
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	802 //printf("%s.ClassDeclaration::search('%s')\n", toChars(), ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	803 if (scope)
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	804 { Scope *sc = scope;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	805 sc->mustsemantic++;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	806 semantic(sc);
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	807 sc->mustsemantic--;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	808 }
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	809
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	810 if (!members \|\| !symtab \|\| scope)
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	811 {
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	812 error("is forward referenced when looking for '%s'", ident->toChars());
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	813 //(char)0=0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	814 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	815 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	816
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	817 s = ScopeDsymbol::search(loc, ident, flags);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	818 if (!s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	819 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	820 // Search bases classes in depth-first, left to right order
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	821
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	822 int i;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	823
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	824 for (i = 0; i < baseclasses.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	825 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	826 BaseClass b = (BaseClass )baseclasses.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	827
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	828 if (b->base)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	829 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	830 if (!b->base->symtab)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	831 error("base %s is forward referenced", b->base->ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	832 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	833 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	834 s = b->base->search(loc, ident, flags);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	835 if (s == this) // happens if s is nested in this and derives from this
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	836 s = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	837 else if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	838 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	839 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	840 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	841 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	842 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	843 return s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	844 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	845
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	846 /**********************************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	847 * fd is in the vtbl[] for this class.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	848 * Return 1 if function is hidden (not findable through search).
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	849 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	850
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	851 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	852 int isf(void param, FuncDeclaration fd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	853 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	854 //printf("param = %p, fd = %p %s\n", param, fd, fd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	855 return param == fd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	856 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	857
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	858 int ClassDeclaration::isFuncHidden(FuncDeclaration *fd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	859 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	860 //printf("ClassDeclaration::isFuncHidden(class = %s, fd = %s)\n", toChars(), fd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	861 Dsymbol *s = search(0, fd->ident, 4\|2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	862 if (!s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	863 { //printf("not found\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	864 /* Because, due to a hack, if there are multiple definitions
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	865 * of fd->ident, NULL is returned.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	866 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	867 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	868 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	869 s = s->toAlias();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	870 OverloadSet *os = s->isOverloadSet();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	871 if (os)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	872 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	873 for (int i = 0; i < os->a.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	874 { Dsymbol s = (Dsymbol )os->a.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	875 FuncDeclaration *f2 = s->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	876 if (f2 && overloadApply(getModule(), f2, &isf, fd))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	877 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	878 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	879 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	880 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	881 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	882 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	883 FuncDeclaration *fdstart = s->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	884 //printf("%s fdstart = %p\n", s->kind(), fdstart);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	885 return !overloadApply(getModule(), fdstart, &isf, fd);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	886 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	887 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	888 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	889
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	890 /****************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	891 * Find virtual function matching identifier and type.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	892 * Used to build virtual function tables for interface implementations.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	893 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	894
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	895 FuncDeclaration ClassDeclaration::findFunc(Identifier ident, TypeFunction *tf)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	896 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	897 //printf("ClassDeclaration::findFunc(%s, %s) %s\n", ident->toChars(), tf->toChars(), toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	898
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	899 ClassDeclaration *cd = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	900 Array *vtbl = &cd->vtbl;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	901 while (1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	902 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	903 for (size_t i = 0; i < vtbl->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	904 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	905 FuncDeclaration fd = ((Dsymbol)vtbl->data[i])->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	906 if (!fd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	907 continue; // the first entry might be a ClassInfo
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	908
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	909 //printf("\t[%d] = %s\n", i, fd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	910 if (ident == fd->ident &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	911 //tf->equals(fd->type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	912 fd->type->covariant(tf) == 1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	913 )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	914 { //printf("\t\tfound\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	915 return fd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	916 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	917 //else printf("\t\t%d\n", fd->type->covariant(tf));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	918 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	919 if (!cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	920 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	921 vtbl = &cd->vtblFinal;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	922 cd = cd->baseClass;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	923 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	924
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	925 return NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	926 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	927
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	928 void ClassDeclaration::interfaceSemantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	929 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	930 InterfaceDeclaration *id = isInterfaceDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	931
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	932 vtblInterfaces = new BaseClasses();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	933 vtblInterfaces->reserve(interfaces_dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	934
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	935 for (size_t i = 0; i < interfaces_dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	936 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	937 BaseClass *b = interfaces[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	938
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	939 // If this is an interface, and it derives from a COM interface,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	940 // then this is a COM interface too.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	941 if (b->base->isCOMinterface())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	942 com = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	943
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	944 if (b->base->isCPPinterface() && id)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	945 id->cpp = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	946
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	947 vtblInterfaces->push(b);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	948 b->copyBaseInterfaces(vtblInterfaces);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	949 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	950 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	951
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	952 /****************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	953 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	954
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	955 int ClassDeclaration::isCOMclass()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	956 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	957 return com;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	958 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	959
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	960 int ClassDeclaration::isCOMinterface()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	961 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	962 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	963 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	964
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	965 int ClassDeclaration::isCPPinterface()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	966 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	967 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	968 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	969
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	970
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	971 /****************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	972 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	973
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	974 int ClassDeclaration::isAbstract()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	975 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	976 if (isabstract)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	977 return TRUE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	978 for (int i = 1; i < vtbl.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	979 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	980 FuncDeclaration fd = ((Dsymbol )vtbl.data[i])->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	981
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	982 //printf("\tvtbl[%d] = %p\n", i, fd);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	983 if (!fd \|\| fd->isAbstract())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	984 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	985 isabstract \|= 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	986 return TRUE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	987 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	988 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	989 return FALSE;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	990 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	991
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	992
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	993 /****************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	994 * Determine if slot 0 of the vtbl[] is reserved for something else.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	995 * For class objects, yes, this is where the classinfo ptr goes.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	996 * For COM interfaces, no.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	997 * For non-COM interfaces, yes, this is where the Interface ptr goes.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	998 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	999
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1000 int ClassDeclaration::vtblOffset()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1001 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1002 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1003 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1004
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1005 /****************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1006 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1007
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1008 const char *ClassDeclaration::kind()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1009 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1010 return "class";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1011 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1012
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1013 /****************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1014 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1015
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1016 void ClassDeclaration::addLocalClass(ClassDeclarations *aclasses)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1017 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1018 aclasses->push(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1019 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1020
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1021 /******************************* InterfaceDeclaration **************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1022
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1023 InterfaceDeclaration::InterfaceDeclaration(Loc loc, Identifier id, BaseClasses baseclasses)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1024 : ClassDeclaration(loc, id, baseclasses)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1025 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1026 com = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1027 cpp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1028 if (id == Id::IUnknown) // IUnknown is the root of all COM interfaces
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1029 { com = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1030 cpp = 1; // IUnknown is also a C++ interface
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1031 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1032 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1033
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1034 Dsymbol InterfaceDeclaration::syntaxCopy(Dsymbol s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1035 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1036 InterfaceDeclaration *id;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1037
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1038 if (s)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1039 id = (InterfaceDeclaration *)s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1040 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1041 id = new InterfaceDeclaration(loc, ident, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1042
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1043 ClassDeclaration::syntaxCopy(id);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1044 return id;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1045 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1046
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1047 void InterfaceDeclaration::semantic(Scope *sc)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1048 { int i;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1049
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1050 //printf("InterfaceDeclaration::semantic(%s), type = %p\n", toChars(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1051 if (inuse)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1052 return;
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1053
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1054 if (!sc)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1055 sc = scope;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1056 if (!parent && sc->parent && !sc->parent->isModule())
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1057 parent = sc->parent;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1058
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1059 type = type->semantic(loc, sc);
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1060 handle = type;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	1061
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1062 if (!members) // if forward reference
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1063 { //printf("\tinterface '%s' is forward referenced\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1064 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1065 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1066 if (symtab) // if already done
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1067 { if (!scope)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1068 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1069 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1070 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1071 symtab = new DsymbolTable();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1072
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1073 Scope *scx = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1074 if (scope)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1075 { sc = scope;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1076 scx = scope; // save so we don't make redundant copies
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1077 scope = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1078 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1079
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1080 if (sc->stc & STCdeprecated)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1081 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1082 isdeprecated = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1083 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1084
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1085 // Expand any tuples in baseclasses[]
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1086 for (i = 0; i < baseclasses.dim; )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1087 { BaseClass b = (BaseClass )baseclasses.data[0];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1088 b->type = b->type->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1089 Type *tb = b->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1090
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1091 if (tb->ty == Ttuple)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1092 { TypeTuple tup = (TypeTuple )tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1093 enum PROT protection = b->protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1094 baseclasses.remove(i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1095 size_t dim = Argument::dim(tup->arguments);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1096 for (size_t j = 0; j < dim; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1097 { Argument *arg = Argument::getNth(tup->arguments, j);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1098 b = new BaseClass(arg->type, protection);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1099 baseclasses.insert(i + j, b);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1100 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1101 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1102 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1103 i++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1104 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1105
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1106 if (!baseclasses.dim && sc->linkage == LINKcpp)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1107 cpp = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1108
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1109 // Check for errors, handle forward references
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1110 for (i = 0; i < baseclasses.dim; )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1111 { TypeClass *tc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1112 BaseClass *b;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1113 Type *tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1114
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1115 b = (BaseClass *)baseclasses.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1116 b->type = b->type->semantic(loc, sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1117 tb = b->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1118 if (tb->ty == Tclass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1119 tc = (TypeClass *)tb;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1120 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1121 tc = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1122 if (!tc \|\| !tc->sym->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1123 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1124 error("base type must be interface, not %s", b->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1125 baseclasses.remove(i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1126 continue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1127 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1128 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1129 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1130 // Check for duplicate interfaces
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1131 for (size_t j = 0; j < i; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1132 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1133 BaseClass b2 = (BaseClass )baseclasses.data[j];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1134 if (b2->base == tc->sym)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1135 error("inherits from duplicate interface %s", b2->base->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1136 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1137
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1138 b->base = tc->sym;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1139 if (b->base == this \|\| isBaseOf2(b->base))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1140 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1141 error("circular inheritance of interface");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1142 baseclasses.remove(i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1143 continue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1144 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1145 if (!b->base->symtab \|\| b->base->scope \|\| b->base->inuse)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1146 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1147 //error("forward reference of base class %s", baseClass->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1148 // Forward reference of base, try again later
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1149 //printf("\ttry later, forward reference of base %s\n", b->base->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1150 scope = scx ? scx : new Scope(*sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1151 scope->setNoFree();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1152 scope->module->addDeferredSemantic(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1153 return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1154 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1155 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1156 #if 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1157 // Inherit const/invariant from base class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1158 storage_class \|= b->base->storage_class & STC_TYPECTOR;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1159 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1160 i++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1161 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1162
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1163 interfaces_dim = baseclasses.dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1164 interfaces = (BaseClass **)baseclasses.data;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1165
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1166 interfaceSemantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1167
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1168 if (vtblOffset())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1169 vtbl.push(this); // leave room at vtbl[0] for classinfo
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1170
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1171 // Cat together the vtbl[]'s from base interfaces
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1172 for (i = 0; i < interfaces_dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1173 { BaseClass *b = interfaces[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1174
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1175 // Skip if b has already appeared
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1176 for (int k = 0; k < i; k++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1177 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1178 if (b == interfaces[i])
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1179 goto Lcontinue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1180 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1181
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1182 // Copy vtbl[] from base class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1183 if (b->base->vtblOffset())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1184 { int d = b->base->vtbl.dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1185 if (d > 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1186 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1187 vtbl.reserve(d - 1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1188 for (int j = 1; j < d; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1189 vtbl.push(b->base->vtbl.data[j]);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1190 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1191 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1192 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1193 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1194 vtbl.append(&b->base->vtbl);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1195 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1196
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1197 Lcontinue:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1198 ;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1199 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1200
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1201 protection = sc->protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1202 storage_class \|= sc->stc & STC_TYPECTOR;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1203
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1204 for (i = 0; i < members->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1205 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1206 Dsymbol s = (Dsymbol )members->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1207 s->addMember(sc, this, 1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1208 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1209
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1210 sc = sc->push(this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1211 sc->stc &= ~(STCfinal \| STCauto \| STCscope \| STCstatic \|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1212 STCabstract \| STCdeprecated \| STC_TYPECTOR \| STCtls \| STCgshared);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1213 sc->stc \|= storage_class & STC_TYPECTOR;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1214 sc->parent = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1215 if (isCOMinterface())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1216 sc->linkage = LINKwindows;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1217 else if (isCPPinterface())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1218 sc->linkage = LINKcpp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1219 sc->structalign = 8;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1220 structalign = sc->structalign;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1221 sc->offset = PTRSIZE * 2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1222 inuse++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1223 for (i = 0; i < members->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1224 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1225 Dsymbol s = (Dsymbol )members->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1226 s->semantic(sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1227 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1228 inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1229 //members->print();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1230 sc->pop();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1231 //printf("-InterfaceDeclaration::semantic(%s), type = %p\n", toChars(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1232 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1233
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1234
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1235 /*******************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1236 * Determine if 'this' is a base class of cd.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1237 * (Actually, if it is an interface supported by cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1238 * Output:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1239 * *poffset offset to start of class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1240 * OFFSET_RUNTIME must determine offset at runtime
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1241 * Returns:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1242 * 0 not a base
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1243 * 1 is a base
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1244 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1245
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1246 int InterfaceDeclaration::isBaseOf(ClassDeclaration cd, int poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1247 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1248 unsigned j;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1249
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1250 //printf("%s.InterfaceDeclaration::isBaseOf(cd = '%s')\n", toChars(), cd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1251 assert(!baseClass);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1252 for (j = 0; j < cd->interfaces_dim; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1253 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1254 BaseClass *b = cd->interfaces[j];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1255
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1256 //printf("\tbase %s\n", b->base->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1257 if (this == b->base)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1258 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1259 //printf("\tfound at offset %d\n", b->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1260 if (poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1261 { *poffset = b->offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1262 if (j && cd->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1263 *poffset = OFFSET_RUNTIME;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1264 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1265 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1266 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1267 if (isBaseOf(b, poffset))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1268 { if (j && poffset && cd->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1269 *poffset = OFFSET_RUNTIME;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1270 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1271 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1272 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1273
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1274 if (cd->baseClass && isBaseOf(cd->baseClass, poffset))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1275 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1276
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1277 if (poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1278 *poffset = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1279 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1280 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1281
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1282
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1283 int InterfaceDeclaration::isBaseOf(BaseClass bc, int poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1284 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1285 //printf("%s.InterfaceDeclaration::isBaseOf(bc = '%s')\n", toChars(), bc->base->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1286 for (unsigned j = 0; j < bc->baseInterfaces_dim; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1287 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1288 BaseClass *b = &bc->baseInterfaces[j];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1289
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1290 if (this == b->base)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1291 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1292 if (poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1293 { *poffset = b->offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1294 if (j && bc->base->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1295 *poffset = OFFSET_RUNTIME;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1296 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1297 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1298 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1299 if (isBaseOf(b, poffset))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1300 { if (j && poffset && bc->base->isInterfaceDeclaration())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1301 *poffset = OFFSET_RUNTIME;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1302 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1303 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1304 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1305 if (poffset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1306 *poffset = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1307 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1308 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1309
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1310 /****************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1311 * Determine if slot 0 of the vtbl[] is reserved for something else.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1312 * For class objects, yes, this is where the ClassInfo ptr goes.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1313 * For COM interfaces, no.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1314 * For non-COM interfaces, yes, this is where the Interface ptr goes.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1315 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1316
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1317 int InterfaceDeclaration::vtblOffset()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1318 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1319 if (isCOMinterface() \|\| isCPPinterface())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1320 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1321 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1322 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1323
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1324 int InterfaceDeclaration::isCOMinterface()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1325 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1326 return com;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1327 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1328
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1329 int InterfaceDeclaration::isCPPinterface()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1330 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1331 return cpp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1332 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1333
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1334 /*******************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1335 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1336
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1337 const char *InterfaceDeclaration::kind()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1338 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1339 return "interface";
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1340 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1341
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1342
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1343 /****************************** BaseClass ***************************/
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1344
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1345 BaseClass::BaseClass()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1346 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1347 memset(this, 0, sizeof(BaseClass));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1348 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1349
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1350 BaseClass::BaseClass(Type *type, enum PROT protection)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1351 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1352 //printf("BaseClass(this = %p, '%s')\n", this, type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1353 this->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1354 this->protection = protection;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1355 base = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1356 offset = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1357
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1358 baseInterfaces_dim = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1359 baseInterfaces = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1360 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1361
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1362 /****************************************
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1363 * Fill in vtbl[] for base class based on member functions of class cd.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1364 * Input:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1365 * vtbl if !=NULL, fill it in
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1366 * newinstance !=0 means all entries must be filled in by members
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1367 * of cd, not members of any base classes of cd.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1368 * Returns:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1369 * !=0 if any entries were filled in by members of cd (not exclusively
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1370 * by base classes)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1371 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1372
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1373 int BaseClass::fillVtbl(ClassDeclaration cd, Array vtbl, int newinstance)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1374 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1375 ClassDeclaration *id = base;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1376 int j;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1377 int result = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1378
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1379 //printf("BaseClass::fillVtbl(this='%s', cd='%s')\n", base->toChars(), cd->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1380 if (vtbl)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1381 vtbl->setDim(base->vtbl.dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1382
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1383 // first entry is ClassInfo reference
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1384 for (j = base->vtblOffset(); j < base->vtbl.dim; j++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1385 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1386 FuncDeclaration ifd = ((Dsymbol )base->vtbl.data[j])->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1387 FuncDeclaration *fd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1388 TypeFunction *tf;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1389
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1390 //printf(" vtbl[%d] is '%s'\n", j, ifd ? ifd->toChars() : "null");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1391
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1392 assert(ifd);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1393 // Find corresponding function in this class
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1394 tf = (ifd->type->ty == Tfunction) ? (TypeFunction *)(ifd->type) : NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1395 fd = cd->findFunc(ifd->ident, tf);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1396 if (fd && !fd->isAbstract())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1397 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1398 //printf(" found\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1399 // Check that calling conventions match
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1400 if (fd->linkage != ifd->linkage)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1401 fd->error("linkage doesn't match interface function");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1402
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1403 // Check that it is current
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1404 if (newinstance &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1405 fd->toParent() != cd &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1406 ifd->toParent() == base)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1407 cd->error("interface function %s.%s is not implemented",
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1408 id->toChars(), ifd->ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1409
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1410 if (fd->toParent() == cd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1411 result = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1412 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1413 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1414 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1415 //printf(" not found\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1416 // BUG: should mark this class as abstract?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1417 if (!cd->isAbstract())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1418 cd->error("interface function %s.%s isn't implemented",
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1419 id->toChars(), ifd->ident->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1420 fd = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1421 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1422 if (vtbl)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1423 vtbl->data[j] = fd;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1424 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1425
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1426 return result;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1427 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1428
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1429 void BaseClass::copyBaseInterfaces(BaseClasses *vtblInterfaces)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1430 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1431 //printf("+copyBaseInterfaces(), %s\n", base->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1432 // if (baseInterfaces_dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1433 // return;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1434
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1435 baseInterfaces_dim = base->interfaces_dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1436 baseInterfaces = (BaseClass *)mem.calloc(baseInterfaces_dim, sizeof(BaseClass));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1437
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1438 //printf("%s.copyBaseInterfaces()\n", base->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1439 for (int i = 0; i < baseInterfaces_dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1440 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1441 BaseClass *b = &baseInterfaces[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1442 BaseClass *b2 = base->interfaces[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1443
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1444 assert(b2->vtbl.dim == 0); // should not be filled yet
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1445 memcpy(b, b2, sizeof(BaseClass));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1446
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1447 if (i) // single inheritance is i==0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1448 vtblInterfaces->push(b); // only need for M.I.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1449 b->copyBaseInterfaces(vtblInterfaces);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1450 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1451 //printf("-copyBaseInterfaces\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 809 diff changeset	1452 }

Mercurial > projects > ldc

annotate dmd2/class.c @ 1526:54b3c1394d62