Mercurial > projects > ddmd
annotate dmd/IdentifierExp.d @ 72:2e2a5c3f943a
reduced warnings by adding override to the methods
think this also normalizes different line endings used all over the place
| author | Trass3r |
|---|---|
| date | Sat, 28 Aug 2010 16:19:48 +0200 |
| parents | ee3a9f34dc48 |
| children | e28b18c23469 |
| rev | line source |
|---|---|
| 72 | 1 module dmd.IdentifierExp; |
| 2 | |
| 3 import dmd.Expression; | |
| 4 import dmd.Declaration; | |
| 5 import dmd.TY; | |
| 6 import dmd.TypePointer; | |
| 7 import dmd.FuncDeclaration; | |
| 8 import dmd.TemplateInstance; | |
| 9 import dmd.TemplateDeclaration; | |
| 10 import dmd.TemplateExp; | |
| 11 import dmd.DsymbolExp; | |
| 12 import dmd.Identifier; | |
| 13 import dmd.OutBuffer; | |
| 14 import dmd.Loc; | |
| 15 import dmd.Scope; | |
| 16 import dmd.Dsymbol; | |
| 17 import dmd.WithScopeSymbol; | |
| 18 import dmd.VarExp; | |
| 19 import dmd.DotIdExp; | |
| 20 import dmd.Type; | |
| 21 import dmd.HdrGenState; | |
| 22 import dmd.TOK; | |
| 23 | |
| 0 | 24 class IdentifierExp : Expression |
| 25 { | |
| 26 Identifier ident; | |
| 27 | |
| 28 Declaration var; | |
| 29 | |
| 30 this(Loc loc, Identifier ident) | |
| 31 { | |
| 72 | 32 super(loc, TOK.TOKidentifier, IdentifierExp.sizeof); |
| 0 | 33 this.ident = ident; |
| 34 } | |
| 35 | |
| 36 this(Loc loc, Declaration var) | |
| 37 { | |
| 72 | 38 assert(false); |
| 0 | 39 super(loc, TOK.init, 0); |
| 40 } | |
| 41 | |
| 72 | 42 override Expression semantic(Scope sc) |
| 0 | 43 { |
| 72 | 44 Dsymbol s; |
| 45 Dsymbol scopesym; | |
| 46 | |
| 47 version (LOGSEMANTIC) { | |
| 48 printf("IdentifierExp.semantic('%s')\n", ident.toChars()); | |
| 49 } | |
| 50 s = sc.search(loc, ident, &scopesym); | |
| 51 if (s) | |
| 52 { | |
| 53 Expression e; | |
| 54 WithScopeSymbol withsym; | |
| 55 | |
| 56 /* See if the symbol was a member of an enclosing 'with' | |
| 57 */ | |
| 58 withsym = scopesym.isWithScopeSymbol(); | |
| 59 if (withsym) | |
| 60 { | |
| 61 version (DMDV2) { | |
| 62 /* Disallow shadowing | |
| 63 */ | |
| 64 // First find the scope of the with | |
| 65 Scope scwith = sc; | |
| 66 while (scwith.scopesym !is scopesym) | |
| 67 { | |
| 68 scwith = scwith.enclosing; | |
| 69 assert(scwith); | |
| 70 } | |
| 71 | |
| 72 // Look at enclosing scopes for symbols with the same name, | |
| 73 // in the same function | |
| 74 for (Scope scx = scwith; scx && scx.func == scwith.func; scx = scx.enclosing) | |
| 75 { | |
| 76 Dsymbol s2; | |
| 77 | |
| 78 if (scx.scopesym && scx.scopesym.symtab && (s2 = scx.scopesym.symtab.lookup(s.ident)) !is null && s !is s2) | |
| 79 { | |
| 80 error("with symbol %s is shadowing local symbol %s", s.toPrettyChars(), s2.toPrettyChars()); | |
| 81 } | |
| 82 } | |
| 83 } | |
| 84 s = s.toAlias(); | |
| 85 | |
| 86 // Same as wthis.ident | |
| 87 if (s.needThis() || s.isTemplateDeclaration()) | |
| 88 { | |
| 89 e = new VarExp(loc, withsym.withstate.wthis); | |
| 90 e = new DotIdExp(loc, e, ident); | |
| 91 } | |
| 92 else | |
| 93 { | |
| 94 Type t = withsym.withstate.wthis.type; | |
| 95 if (t.ty == TY.Tpointer) | |
| 96 t = (cast(TypePointer)t).next; | |
| 97 e = typeDotIdExp(loc, t, ident); | |
| 98 } | |
| 99 } | |
| 100 else | |
| 101 { | |
| 102 /* If f is really a function template, | |
| 103 * then replace f with the function template declaration. | |
| 104 */ | |
| 105 FuncDeclaration f = s.isFuncDeclaration(); | |
| 106 if (f && f.parent) | |
| 107 { | |
| 108 TemplateInstance ti = f.parent.isTemplateInstance(); | |
| 109 | |
| 110 if (ti && !ti.isTemplateMixin() && | |
| 111 (ti.name == f.ident || ti.toAlias().ident == f.ident) && | |
| 112 ti.tempdecl && ti.tempdecl.onemember) | |
| 113 { | |
| 114 TemplateDeclaration tempdecl = ti.tempdecl; | |
| 115 | |
| 116 if (tempdecl.overroot) // if not start of overloaded list of TemplateDeclaration's | |
| 117 tempdecl = tempdecl.overroot; // then get the start | |
| 118 | |
| 119 e = new TemplateExp(loc, tempdecl); | |
| 120 e = e.semantic(sc); | |
| 121 | |
| 122 return e; | |
| 123 } | |
| 124 } | |
| 125 | |
| 126 // Haven't done overload resolution yet, so pass 1 | |
| 127 e = new DsymbolExp(loc, s, 1); | |
| 128 } | |
| 129 | |
| 130 return e.semantic(sc); | |
| 131 } | |
| 132 | |
| 133 error("undefined identifier %s", ident.toChars()); | |
| 134 type = Type.terror; | |
| 0 | 135 return this; |
| 136 } | |
| 137 | |
| 72 | 138 override string toChars() |
| 0 | 139 { |
| 140 return ident.toChars(); | |
| 141 } | |
| 142 | |
| 72 | 143 override void dump(int indent) |
| 0 | 144 { |
| 145 assert(false); | |
| 146 } | |
| 147 | |
| 72 | 148 override void toCBuffer(OutBuffer buf, HdrGenState* hgs) |
| 0 | 149 { |
| 72 | 150 if (hgs.hdrgen) |
| 151 buf.writestring(ident.toHChars2()); | |
| 152 else | |
| 0 | 153 buf.writestring(ident.toChars()); |
| 154 } | |
| 155 | |
| 72 | 156 override int isLvalue() |
| 0 | 157 { |
|
68
ee3a9f34dc48
final bits of codegen implementation to compile Phobos
korDen
parents:
0
diff
changeset
|
158 return 1; |
| 0 | 159 } |
| 160 | |
| 72 | 161 override Expression toLvalue(Scope sc, Expression e) |
| 0 | 162 { |
| 72 | 163 static if (false) { |
| 164 tym = tybasic(e1.ET.Tty); | |
| 165 if (!(tyscalar(tym) || tym == TYM.TYstruct || tym == TYM.TYarray && e.Eoper == TOK.TOKaddr)) | |
| 166 synerr(EM_lvalue); // lvalue expected | |
| 167 } | |
| 0 | 168 return this; |
| 169 } | |
| 170 } | |
| 171 |