Mercurial > projects > ddmd
view dmd/StaticAssert.d @ 13:427f8aa74d28
On the road to make Phobos compilable
author | korDen |
---|---|
date | Mon, 12 Apr 2010 16:29:33 +0400 |
parents | 10317f0c89a5 |
children | 460959608115 |
line wrap: on
line source
module dmd.StaticAssert; import dmd.Dsymbol; import dmd.Expression; import dmd.OutBuffer; import dmd.HdrGenState; import dmd.ScopeDsymbol; import dmd.Loc; import dmd.Scope; import dmd.Id; import dmd.WANT; import dmd.Global; import dmd.Util; class StaticAssert : Dsymbol { Expression exp; Expression msg; this(Loc loc, Expression exp, Expression msg) { super(Id.empty); this.loc = loc; this.exp = exp; this.msg = msg; } Dsymbol syntaxCopy(Dsymbol s) { assert(false); } bool addMember(Scope sc, ScopeDsymbol sd, bool memnum) { return false; // we didn't add anything } void semantic(Scope sc) { } void semantic2(Scope sc) { Expression e; //printf("StaticAssert::semantic2() %s\n", toChars()); e = exp.semantic(sc); e = e.optimize(WANT.WANTvalue | WANT.WANTinterpret); if (e.isBool(false)) { if (msg) { HdrGenState hgs; scope OutBuffer buf = new OutBuffer(); msg = msg.semantic(sc); msg = msg.optimize(WANT.WANTvalue | WANT.WANTinterpret); hgs.console = 1; msg.toCBuffer(buf, &hgs); error("%s", buf.toChars()); } else error("(%s) is false", exp.toChars()); if(sc.tinst) sc.tinst.printInstantiationTrace(); if (!global.gag) { fatal(); } } else if (!e.isBool(true)) { error("(%s) is not evaluatable at compile time", exp.toChars()); } } void inlineScan() { assert(false); } bool oneMember(Dsymbol* ps) { //printf("StaticAssert.oneMember())\n"); *ps = null; return true; } void toObjFile(int multiobj) { assert(false); } string kind() { return "static assert"; } void toCBuffer(OutBuffer buf, HdrGenState* hgs) { assert(false); } }