Mercurial > projects > ldc

annotate runtime/internal/invariant.d @ 650:aa6a0b7968f7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added test case for bug #100 Removed dubious check for not emitting static private global in other modules without access. This should be handled properly somewhere else, it's causing unresolved global errors for stuff that should work (in MiniD)
author Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
date Sun, 05 Oct 2008 17:28:15 +0200
parents d30c40f1128d
children d7ec997de427
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
530
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
1
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
2 /*
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
3 * Placed into the Public Domain
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
4 * written by Walter Bright
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
5 * www.digitalmars.com
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
6 */
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
7
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
8 extern(C) void _d_invariant(Object o)
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
9 { ClassInfo c;
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
10
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
11 //printf("__d_invariant(%p)\n", o);
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
12
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
13 // BUG: needs to be filename/line of caller, not library routine
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
14 assert(o !is null); // just do null check, not invariant check
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
15
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
16 c = o.classinfo;
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
17 do
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
18 {
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
19 if (c.classInvariant)
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
20 {
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
21 (*c.classInvariant)(o);
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
22 }
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
23 c = c.base;
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
24 } while (c);
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
25 }