annotate nocompile/invariant_26.d @ 1619:bebc7472a832

Fix #7.
author Christian Kamm <kamm incasoftware de>
date Sat, 07 Nov 2009 18:55:30 +0100
parents ec5e144583ea
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
384
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
1 // $HeadURL$
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
2 // $Date$
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
3 // $Author$
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
4
739
0ea4c218a3ee updated meta data for Torture
thomask
parents: 384
diff changeset
5 // __DSTRESS_TORTURE_BLOCK__ -release
0ea4c218a3ee updated meta data for Torture
thomask
parents: 384
diff changeset
6 // __DSTRESS_ELINE__ 19
384
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
7
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
8 module dstress.nocompile.invariant_26;
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
9
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
10 class MyClass{
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
11 public void bug(){
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
12 }
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
13
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
14 private void middle(){
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
15 bug();
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
16 }
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
17
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 739
diff changeset
18 invariant(){
384
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
19 middle();
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
20 }
168e5120626f multiple invariants in one struct/union/class
thomask
parents:
diff changeset
21 }