Mercurial > projects > ldc

annotate runtime/internal/invariant.d @ 1440:d7ec997de427

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust runtime for recent ABI change on x86-64, since member functions are no longer equivalent to regular functions with `this` as their first argument. (They weren't anyway, but it happened to work as long as there was no `sret` parameter)
author Frits van Bommel <fvbommel wxs.nl>
date Sun, 31 May 2009 14:27:01 +0200
parents d30c40f1128d
children
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 {
1440
d7ec997de427 Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents: 530
diff changeset
21 void delegate() inv;
d7ec997de427 Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents: 530
diff changeset
22 inv.ptr = cast(void*) o;
d7ec997de427 Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents: 530
diff changeset
23 inv.funcptr = c.classInvariant;
d7ec997de427 Adjust runtime for recent ABI change on x86-64, since member functions are no
Frits van Bommel <fvbommel wxs.nl>
parents: 530
diff changeset
24 inv();
530
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
25 }
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
26 c = c.base;
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
27 } while (c);
d30c40f1128d Make class invariants work.
Christian Kamm <kamm incasoftware de>
parents:
diff changeset
28 }