Mercurial > projects > ddmd
annotate dmd/Declaration.d @ 96:acd69f84627e
further work
| author | Trass3r |
|---|---|
| date | Tue, 31 Aug 2010 02:12:15 +0200 |
| parents | 43073c7c7769 |
| children | e28b18c23469 |
| rev | line source |
|---|---|
| 0 | 1 module dmd.Declaration; |
| 2 | |
| 3 import dmd.Dsymbol; | |
| 4 import dmd.Type; | |
| 79 | 5 import dmd.TypedefDeclaration; |
| 0 | 6 import dmd.PROT; |
| 7 import dmd.LINK; | |
| 8 import dmd.Identifier; | |
| 79 | 9 import dmd.Json; |
| 0 | 10 import dmd.Scope; |
| 11 import dmd.Loc; | |
| 12 import dmd.STC; | |
| 13 import dmd.FuncDeclaration; | |
| 14 import dmd.VarDeclaration; | |
| 15 import dmd.OutBuffer; | |
| 16 | |
| 17 import std.stdio : writef; | |
| 18 | |
| 19 import core.stdc.ctype; | |
| 20 import core.stdc.stdio : sprintf; | |
| 21 | |
| 22 string mangle(Declaration sthis) | |
| 23 { | |
| 24 scope OutBuffer buf = new OutBuffer(); | |
| 25 | |
| 26 string id; | |
| 27 Dsymbol s = sthis; | |
| 28 | |
| 29 //printf(".mangle(%s)\n", sthis.toChars()); | |
| 30 do | |
| 31 { | |
| 32 //printf("mangle: s = %p, '%s', parent = %p\n", s, s.toChars(), s.parent); | |
| 33 if (s.ident) | |
| 34 { | |
| 35 FuncDeclaration fd = s.isFuncDeclaration(); | |
| 36 if (s !is sthis && fd) | |
| 37 { | |
| 38 id = mangle(fd); | |
| 39 buf.prependstring(id); | |
| 40 goto L1; | |
| 41 } | |
| 42 else | |
| 43 { | |
| 44 id = s.ident.toChars(); | |
| 45 int len = id.length; | |
| 46 char tmp[len.sizeof * 3 + 1]; | |
| 47 buf.prependstring(id); | |
| 48 len = sprintf(tmp.ptr, "%d".ptr, len); | |
| 49 buf.prependstring(tmp[0..len]); | |
| 50 } | |
| 51 } | |
| 52 else | |
| 53 buf.prependstring("0"); | |
| 54 s = s.parent; | |
| 55 } while (s); | |
| 56 | |
| 57 // buf.prependstring("_D"); | |
| 58 L1: | |
| 59 //printf("deco = '%s'\n", sthis.type.deco ? sthis.type.deco : "null"); | |
| 60 //printf("sthis.type = %s\n", sthis.type.toChars()); | |
| 61 FuncDeclaration fd = sthis.isFuncDeclaration(); | |
| 62 if (fd && (fd.needThis() || fd.isNested())) | |
| 63 buf.writeByte(Type.needThisPrefix()); | |
| 64 if (sthis.type.deco) | |
| 65 buf.writestring(sthis.type.deco); | |
| 66 else | |
| 67 { | |
| 96 | 68 debug |
| 69 { | |
| 0 | 70 if (!fd.inferRetType) |
| 71 writef("%s\n", fd.toChars()); | |
| 72 } | |
| 96 | 73 assert(fd && fd.inferRetType); |
| 0 | 74 } |
| 75 | |
| 76 id = buf.extractString(); | |
| 77 return id; | |
| 78 } | |
| 79 | |
| 80 class Declaration : Dsymbol | |
| 81 { | |
| 82 Type type; | |
| 83 Type originalType; // before semantic analysis | |
| 84 STC storage_class = STC.STCundefined; | |
| 85 PROT protection = PROT.PROTundefined; | |
| 86 LINK linkage = LINK.LINKdefault; | |
| 87 int inuse; // used to detect cycles | |
| 88 | |
| 89 this(Identifier id) | |
| 90 { | |
| 91 super(id); | |
| 92 } | |
| 93 | |
| 72 | 94 override void semantic(Scope sc) |
| 0 | 95 { |
| 96 } | |
| 97 | |
| 72 | 98 override string kind() |
| 0 | 99 { |
| 100 assert(false); | |
| 101 } | |
| 102 | |
| 72 | 103 override uint size(Loc loc) |
| 0 | 104 { |
| 105 assert(false); | |
| 106 } | |
| 107 | |
| 108 /************************************* | |
| 109 * Check to see if declaration can be modified in this context (sc). | |
| 110 * Issue error if not. | |
| 111 */ | |
| 112 void checkModify(Loc loc, Scope sc, Type t) | |
| 113 { | |
| 114 if (sc.incontract && isParameter()) | |
| 115 error(loc, "cannot modify parameter '%s' in contract", toChars()); | |
| 116 | |
| 117 if (isCtorinit()) | |
| 118 { | |
| 119 // It's only modifiable if inside the right constructor | |
| 120 Dsymbol s = sc.func; | |
| 121 while (true) | |
| 122 { | |
| 123 FuncDeclaration fd = null; | |
| 124 if (s) | |
| 125 fd = s.isFuncDeclaration(); | |
| 126 if (fd && ((fd.isCtorDeclaration() && storage_class & STC.STCfield) || | |
| 127 (fd.isStaticCtorDeclaration() && !(storage_class & STC.STCfield))) && | |
| 128 fd.toParent() == toParent() | |
| 129 ) | |
| 130 { | |
| 131 VarDeclaration v = isVarDeclaration(); | |
| 132 assert(v); | |
| 133 v.ctorinit = 1; | |
| 134 //printf("setting ctorinit\n"); | |
| 135 } | |
| 136 else | |
| 137 { | |
| 138 if (s) | |
| 139 { | |
| 140 s = s.toParent2(); | |
| 141 continue; | |
| 142 } | |
| 143 else | |
| 144 { | |
| 145 string p = isStatic() ? "static " : ""; | |
| 146 error(loc, "can only initialize %sconst %s inside %sconstructor", p, toChars(), p); | |
| 147 } | |
| 148 } | |
| 149 break; | |
| 150 } | |
| 151 } | |
| 152 else | |
| 153 { | |
| 154 VarDeclaration v = isVarDeclaration(); | |
| 155 if (v && v.canassign == 0) | |
| 156 { | |
| 157 string p = null; | |
| 158 if (isConst()) | |
| 159 p = "const"; | |
| 160 else if (isInvariant()) | |
| 161 p = "immutable"; | |
| 162 else if (storage_class & STC.STCmanifest) | |
| 163 p = "enum"; | |
| 164 else if (!t.isAssignable()) | |
| 165 p = "struct with immutable members"; | |
| 166 if (p) | |
| 167 { | |
| 168 error(loc, "cannot modify %s", p); | |
| 169 } | |
| 170 } | |
| 171 } | |
| 172 } | |
| 173 | |
| 72 | 174 override void emitComment(Scope sc) |
| 0 | 175 { |
| 176 assert(false); | |
| 177 } | |
| 178 | |
| 79 | 179 override void toJsonBuffer(OutBuffer buf) |
| 180 { | |
| 181 //writef("Declaration.toJsonBuffer()\n"); | |
| 182 buf.writestring("{\n"); | |
| 183 | |
| 184 JsonProperty(buf, Pname, toChars()); | |
| 185 JsonProperty(buf, Pkind, kind()); | |
| 186 if (type) | |
| 187 JsonProperty(buf, Ptype, type.toChars()); | |
| 188 | |
| 189 if (comment) | |
| 190 JsonProperty(buf, Pcomment, comment); | |
| 191 | |
| 192 if (loc.linnum) | |
| 193 JsonProperty(buf, Pline, loc.linnum); | |
| 194 | |
| 195 TypedefDeclaration td = isTypedefDeclaration(); | |
| 196 if (td) | |
| 197 { | |
| 198 JsonProperty(buf, "base", td.basetype.toChars()); | |
| 199 } | |
| 200 | |
| 201 JsonRemoveComma(buf); | |
| 202 buf.writestring("}\n"); | |
| 203 } | |
| 204 | |
| 72 | 205 override void toDocBuffer(OutBuffer buf) |
| 0 | 206 { |
| 207 assert(false); | |
| 208 } | |
| 209 | |
| 72 | 210 override string mangle() |
|
14
2cc604139636
Implemented Linux support for ddmd. Some parts are a bit hacky to just "get it working", that said, druntime and phobos compile, and unittests pass.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
211 /+out (result) |
| 0 | 212 { |
| 213 try | |
| 214 { | |
| 215 int len = result.length; | |
| 216 | |
| 217 assert(len > 0); | |
| 218 //printf("mangle: '%s' => '%s'\n", toChars(), result); | |
| 219 for (int i = 0; i < len; i++) | |
| 220 { | |
| 221 assert(result[i] == '_' || result[i] == '@' || isalnum(result[i]) || result[i] & 0x80); | |
| 222 } | |
| 223 } catch { | |
| 224 writef("Incorrect mangle: '%s'\n", result); | |
| 225 assert(false); | |
| 226 } | |
| 227 } | |
|
14
2cc604139636
Implemented Linux support for ddmd. Some parts are a bit hacky to just "get it working", that said, druntime and phobos compile, and unittests pass.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
228 body+/ |
| 0 | 229 { |
|
22
fd4acc376c45
Implemented object file output and linking on linux.
Robert Clipsham <robert@octarineparrot.com>
parents:
16
diff
changeset
|
230 version(Bug3602) { writef( "Bug3602: Uncomment outblock when fixed\n" ); } |
| 0 | 231 //writef("Declaration.mangle(this = %p, '%s', parent = '%s', linkage = %d)\n", this, toChars(), parent ? parent.toChars() : "null", linkage); |
| 232 if (!parent || parent.isModule() || linkage == LINK.LINKcpp) // if at global scope | |
| 233 { | |
| 234 // If it's not a D declaration, no mangling | |
| 235 switch (linkage) | |
| 236 { | |
| 237 case LINK.LINKd: | |
| 238 break; | |
| 239 | |
| 240 case LINK.LINKc: | |
| 241 case LINK.LINKwindows: | |
| 242 case LINK.LINKpascal: | |
| 243 return ident.toChars(); | |
| 244 | |
| 245 case LINK.LINKcpp: | |
| 246 version (CPP_MANGLE) { | |
| 247 return cpp_mangle(this); | |
| 248 } else { | |
| 249 // Windows C++ mangling is done by C++ back end | |
| 250 return ident.toChars(); | |
| 251 } | |
| 252 | |
| 253 case LINK.LINKdefault: | |
| 254 assert(false); | |
| 255 error("forward declaration"); | |
| 256 return ident.toChars(); | |
| 257 | |
| 258 default: | |
| 259 writef("'%s', linkage = %d\n", toChars(), linkage); | |
| 260 assert(0); | |
| 261 } | |
| 262 } | |
| 263 | |
| 264 string p = .mangle(this); | |
| 265 scope OutBuffer buf = new OutBuffer(); | |
| 266 buf.writestring("_D"); | |
| 267 buf.writestring(p); | |
| 268 p = buf.toChars(); | |
| 269 buf.data = null; | |
| 270 //writef("Declaration.mangle(this = %p, '%s', parent = '%s', linkage = %d) = %s\n", this, toChars(), parent ? parent.toChars() : "null", linkage, p); | |
| 271 return p; | |
| 272 } | |
| 273 | |
| 274 int isStatic() { return storage_class & STC.STCstatic; } | |
| 275 | |
| 276 bool isStaticConstructor() | |
| 277 { | |
| 278 return false; | |
| 279 } | |
| 280 | |
| 281 bool isStaticDestructor() | |
| 282 { | |
| 283 return false; | |
| 284 } | |
| 285 | |
| 286 bool isDelete() | |
| 287 { | |
| 288 return false; | |
| 289 } | |
| 290 | |
| 291 bool isDataseg() | |
| 292 { | |
| 293 return false; | |
| 294 } | |
| 295 | |
| 296 bool isThreadlocal() | |
| 297 { | |
|
68
ee3a9f34dc48
final bits of codegen implementation to compile Phobos
korDen
parents:
22
diff
changeset
|
298 return false; |
| 0 | 299 } |
| 300 | |
| 301 bool isCodeseg() | |
| 302 { | |
| 303 return false; | |
| 304 } | |
| 305 | |
| 306 int isCtorinit() { return storage_class & STC.STCctorinit; } | |
| 307 | |
| 308 int isFinal() { return storage_class & STC.STCfinal; } | |
| 309 | |
| 310 bool isAbstract() { return (storage_class & STC.STCabstract) != 0; } | |
| 311 | |
| 312 bool isConst() { return (storage_class & STC.STCconst) != 0; } | |
| 313 | |
| 314 int isInvariant() { return storage_class & STC.STCinvariant; } | |
| 315 | |
| 316 int isAuto() { return storage_class & STC.STCauto; } | |
| 317 | |
| 318 int isScope() { return storage_class & (STC.STCscope | STC.STCauto); } | |
| 319 | |
| 320 int isSynchronized() { return storage_class & STC.STCsynchronized; } | |
| 321 | |
| 322 int isParameter() { return storage_class & STC.STCparameter; } | |
| 323 | |
| 72 | 324 override bool isDeprecated() { return (storage_class & STC.STCdeprecated) != 0; } |
| 0 | 325 |
| 326 int isOverride() { return storage_class & STC.STCoverride; } | |
| 327 | |
| 328 int isIn() { return storage_class & STC.STCin; } | |
| 329 | |
| 330 int isOut() { return storage_class & STC.STCout; } | |
| 331 | |
| 332 int isRef() { return storage_class & STC.STCref; } | |
| 333 | |
| 72 | 334 override PROT prot() |
| 0 | 335 { |
| 336 return protection; | |
| 337 } | |
| 338 | |
| 72 | 339 override Declaration isDeclaration() { return this; } |
|
14
2cc604139636
Implemented Linux support for ddmd. Some parts are a bit hacky to just "get it working", that said, druntime and phobos compile, and unittests pass.
Robert Clipsham <robert@octarineparrot.com>
parents:
0
diff
changeset
|
340 } |