Mercurial > projects > ldc
annotate runtime/internal/invariant.d @ 837:331a176c1f4f
Removed error on naked, not fully complete, but I'll be doing more work on it during this Christmas, and some things do work.
Fixed taking delegate of final class method. see mini/delegate3.d.
author | Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> |
---|---|
date | Tue, 09 Dec 2008 14:07:30 +0100 |
parents | d30c40f1128d |
children | d7ec997de427 |
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 } |