Mercurial > projects > ddmd

comparison dmd/TypedefDeclaration.d @ 0:10317f0c89a5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial commit
author korDen
date Sat, 24 Oct 2009 08:42:06 +0400
parents
children fd4acc376c45
comparison
equal deleted inserted replaced
-1:000000000000 0:10317f0c89a5
1 module dmd.TypedefDeclaration;
2
3 import dmd.Declaration;
4 import dmd.Initializer;
5 import dmd.Type;
6 import dmd.Loc;
7 import dmd.Identifier;
8 import dmd.Dsymbol;
9 import dmd.Scope;
10 import dmd.OutBuffer;
11 import dmd.ExpInitializer;
12 import dmd.HdrGenState;
13 import dmd.TypeTypedef;
14 import dmd.Global;
15 import dmd.STC;
16
17 import dmd.backend.SC;
18 import dmd.backend.FL;
19 import dmd.backend.Symbol;
20 import dmd.backend.Util;
21
22 class TypedefDeclaration : Declaration
23 {
24 Type basetype;
25 Initializer init;
26 int sem = 0;// 0: semantic() has not been run
27 // 1: semantic() is in progress
28 // 2: semantic() has been run
29 // 3: semantic2() has been run
30
31 this(Loc loc, Identifier id, Type basetype, Initializer init)
32 {
33 super(id);
34
35 this.type = new TypeTypedef(this);
36 this.basetype = basetype.toBasetype();
37 this.init = init;
38
39 version (_DH) {
40 this.htype = null;
41 this.hbasetype = null;
42 }
43 this.loc = loc;
44 this.sinit = null;
45 }
46
47 version (DumbClone) {
48 } else {
49 Type clone()
50 {
51 assert(false);
52 }
53 }
54 Dsymbol syntaxCopy(Dsymbol)
55 {
56 assert(false);
57 }
58
59 void semantic(Scope sc)
60 {
61 //printf("TypedefDeclaration::semantic(%s) sem = %d\n", toChars(), sem);
62 if (sem == 0)
63 {
64 sem = 1;
65 basetype = basetype.semantic(loc, sc);
66 sem = 2;
67 type = type.semantic(loc, sc);
68 if (sc.parent.isFuncDeclaration() && init)
69 semantic2(sc);
70 storage_class |= sc.stc & STCdeprecated;
71 }
72 else if (sem == 1)
73 {
74 error("circular definition");
75 }
76 }
77
78 void semantic2(Scope sc)
79 {
80 //printf("TypedefDeclaration::semantic2(%s) sem = %d\n", toChars(), sem);
81 if (sem == 2)
82 {
83 sem = 3;
84 if (init)
85 {
86 init = init.semantic(sc, basetype);
87
88 ExpInitializer ie = init.isExpInitializer();
89 if (ie)
90 {
91 if (ie.exp.type == basetype)
92 ie.exp.type = type;
93 }
94 }
95 }
96 }
97
98 string mangle()
99 {
100 //printf("TypedefDeclaration::mangle() '%s'\n", toChars());
101 return Dsymbol.mangle();
102 }
103
104 string kind()
105 {
106 assert(false);
107 }
108
109 Type getType()
110 {
111 return type;
112 }
113
114 void toCBuffer(OutBuffer buf, HdrGenState* hgs)
115 {
116 assert(false);
117 }
118
119 version (_DH) {
120 Type htype;
121 Type hbasetype;
122 }
123
124 void toDocBuffer(OutBuffer buf)
125 {
126 assert(false);
127 }
128
129 void toObjFile(int multiobj) // compile to .obj file
130 {
131 //printf("TypedefDeclaration::toObjFile('%s')\n", toChars());
132 if (global.params.symdebug)
133 toDebug();
134
135 type.getTypeInfo(null); // generate TypeInfo
136
137 TypeTypedef tc = cast(TypeTypedef)type;
138 if (type.isZeroInit(Loc(0)) || !tc.sym.init) {
139 ;
140 } else
141 {
142 SC scclass = SCglobal;
143 if (inTemplateInstance())
144 scclass = SCcomdat;
145
146 // Generate static initializer
147 toInitializer();
148 sinit.Sclass = scclass;
149 sinit.Sfl = FLdata;
150
151 version (ELFOBJ) { // Burton
152 sinit.Sseg = Segment.CDATA;
153 }
154 version (MACHOBJ) {
155 sinit.Sseg = Segment.DATA;
156 }
157 sinit.Sdt = tc.sym.init.toDt();
158 outdata(sinit);
159 }
160 }
161
162 void toDebug()
163 {
164 assert(false);
165 }
166
167 int cvMember(ubyte* p)
168 {
169 assert(false);
170 }
171
172 TypedefDeclaration isTypedefDeclaration() { return this; }
173
174 Symbol* sinit;
175 Symbol* toInitializer()
176 {
177 assert(false);
178 }
179 }