Mercurial > projects > ldc
annotate runtime/internal/invariant.d @ 984:4c0df37d0421
Removing ldc.conf. (IMPORTANT: run 'cmake .' after pull)
Added it to .hgignore.
This gets rid of spurious differences caused by CMake regenerating it differently.
Just run 'cmake .' to get it back in your local checkout.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Thu, 19 Feb 2009 13:50:05 +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 } |