Mercurial > projects > ldc
annotate dmd/staticassert.c @ 883:b52d5de7783f
GC defines and linkage changes.
| author | Christian Kamm <kamm incasoftware de> |
|---|---|
| date | Thu, 08 Jan 2009 18:20:02 +0100 |
| parents | d4e95db0e62b |
| children | 8026319762be |
| rev | line source |
|---|---|
| 1 | 1 |
| 2 // Copyright (c) 1999-2007 by Digital Mars | |
| 3 // All Rights Reserved | |
| 4 // written by Walter Bright | |
| 5 // http://www.digitalmars.com | |
| 6 // License for redistribution is by either the Artistic License | |
| 7 // in artistic.txt, or the GNU General Public License in gnu.txt. | |
| 8 // See the included readme.txt for details. | |
| 9 | |
| 10 #include <stdio.h> | |
| 11 #include <string.h> | |
| 12 #include <assert.h> | |
| 13 | |
| 14 #include "dsymbol.h" | |
| 15 #include "staticassert.h" | |
| 16 #include "expression.h" | |
| 17 #include "id.h" | |
| 18 #include "hdrgen.h" | |
|
561
d4e95db0e62b
Introducing template instantiation traces for static asserts and errors within templates.
Christian Kamm <kamm incasoftware de>
parents:
336
diff
changeset
|
19 #include "scope.h" |
|
d4e95db0e62b
Introducing template instantiation traces for static asserts and errors within templates.
Christian Kamm <kamm incasoftware de>
parents:
336
diff
changeset
|
20 #include "template.h" |
| 1 | 21 |
| 22 /********************************* AttribDeclaration ****************************/ | |
| 23 | |
| 24 StaticAssert::StaticAssert(Loc loc, Expression *exp, Expression *msg) | |
| 25 : Dsymbol(Id::empty) | |
| 26 { | |
| 27 this->loc = loc; | |
| 28 this->exp = exp; | |
| 29 this->msg = msg; | |
| 30 } | |
| 31 | |
| 32 Dsymbol *StaticAssert::syntaxCopy(Dsymbol *s) | |
| 33 { | |
| 34 StaticAssert *sa; | |
| 35 | |
| 36 assert(!s); | |
| 37 sa = new StaticAssert(loc, exp->syntaxCopy(), msg ? msg->syntaxCopy() : NULL); | |
| 38 return sa; | |
| 39 } | |
| 40 | |
| 41 int StaticAssert::addMember(Scope *sc, ScopeDsymbol *sd, int memnum) | |
| 42 { | |
| 43 return 0; // we didn't add anything | |
| 44 } | |
| 45 | |
| 46 void StaticAssert::semantic(Scope *sc) | |
| 47 { | |
| 48 } | |
| 49 | |
| 50 void StaticAssert::semantic2(Scope *sc) | |
| 51 { | |
| 52 Expression *e; | |
| 53 | |
| 19 | 54 //printf("StaticAssert::semantic2() %s\n", toChars()); |
| 1 | 55 e = exp->semantic(sc); |
| 56 e = e->optimize(WANTvalue | WANTinterpret); | |
| 57 if (e->isBool(FALSE)) | |
| 58 { | |
| 59 if (msg) | |
| 60 { HdrGenState hgs; | |
| 61 OutBuffer buf; | |
| 62 | |
| 63 msg = msg->semantic(sc); | |
| 64 msg = msg->optimize(WANTvalue | WANTinterpret); | |
| 65 hgs.console = 1; | |
| 66 msg->toCBuffer(&buf, &hgs); | |
| 67 error("%s", buf.toChars()); | |
| 68 } | |
| 69 else | |
| 70 error("is false"); | |
|
561
d4e95db0e62b
Introducing template instantiation traces for static asserts and errors within templates.
Christian Kamm <kamm incasoftware de>
parents:
336
diff
changeset
|
71 if(sc->tinst) |
|
d4e95db0e62b
Introducing template instantiation traces for static asserts and errors within templates.
Christian Kamm <kamm incasoftware de>
parents:
336
diff
changeset
|
72 sc->tinst->printInstantiationTrace(); |
| 1 | 73 if (!global.gag) |
| 74 fatal(); | |
| 75 } | |
| 76 else if (!e->isBool(TRUE)) | |
| 77 { | |
| 78 error("(%s) is not evaluatable at compile time", exp->toChars()); | |
| 79 } | |
| 80 } | |
| 81 | |
| 82 int StaticAssert::oneMember(Dsymbol **ps) | |
| 83 { | |
| 84 //printf("StaticAssert::oneMember())\n"); | |
| 85 *ps = NULL; | |
| 86 return TRUE; | |
| 87 } | |
| 88 | |
| 89 void StaticAssert::inlineScan() | |
| 90 { | |
| 91 } | |
| 92 | |
| 336 | 93 void StaticAssert::toObjFile(int multiobj) |
| 1 | 94 { |
| 95 } | |
| 96 | |
| 336 | 97 const char *StaticAssert::kind() |
| 1 | 98 { |
| 99 return "static assert"; | |
| 100 } | |
| 101 | |
| 102 void StaticAssert::toCBuffer(OutBuffer *buf, HdrGenState *hgs) | |
| 103 { | |
| 104 buf->writestring(kind()); | |
| 105 buf->writeByte('('); | |
| 106 exp->toCBuffer(buf, hgs); | |
| 107 if (msg) | |
| 108 { | |
| 109 buf->writeByte(','); | |
| 110 msg->toCBuffer(buf, hgs); | |
| 111 } | |
| 112 buf->writestring(");"); | |
| 113 buf->writenl(); | |
| 114 } |