Mercurial > projects > ldc

annotate runtime/internal/invariant.d @ 1602:a413ae7329bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge DMD r243: some harmonization with D2 dmd --- dmd/aggregate.h | 24 ++++- dmd/attrib.c | 63 ++++++---- dmd/attrib.h | 10 +- dmd/declaration.h | 5 +- dmd/func.c | 337 ++++++++++++++++++++++------------------------------- dmd/mars.c | 2 +- dmd/mars.h | 7 + dmd/mtype.h | 13 ++- dmd/parse.c | 32 ++++- dmd/parse.h | 14 ++- dmd/scope.h | 2 +- 11 files changed, 263 insertions(+), 246 deletions(-)
author Leandro Lucarella <llucax@gmail.com>
date Wed, 06 Jan 2010 15:18:19 -0300
parents d7ec997de427
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 }