Mercurial > projects > dstress
annotate run/invariant_15.d @ 1383:52c9e86b6486
@url@ -> @uri@
author | thomask |
---|---|
date | Sun, 04 Mar 2007 13:07:35 +0000 |
parents | 1e6afb94ce6d |
children | 6e4063f99377 |
rev | line source |
---|---|
140 | 1 // $HeadURL$ |
2 // $Date$ | |
3 // $Author$ | |
4 | |
202 | 5 // @author@ Thomas Kuehne <thomas-dloop@kuehne.thisisspam.cn> |
70
5f98d4a33d49
1) review of all test cases with unexpected results (except encoding and html/xml)
thomask
parents:
59
diff
changeset
|
6 // @date@ 2004-10-22 |
140 | 7 // @uri@ news:clbr09$uc6$1@digitaldaemon.com |
1383 | 8 // @uri@ nntp://digitalmars.com/digitalmars.D.bugs/2140 |
70
5f98d4a33d49
1) review of all test cases with unexpected results (except encoding and html/xml)
thomask
parents:
59
diff
changeset
|
9 |
736 | 10 // __DSTRESS_TORTURE_BLOCK__ -release |
11 | |
374 | 12 module dstress.run.invariant_15; |
59 | 13 |
14 class Parent{ | |
15 | |
16 int x; | |
17 | |
18 this(){ | |
19 x=3; | |
20 } | |
21 | |
22 invariant{ | |
23 assert(x>2); | |
24 } | |
25 } | |
26 | |
27 class Child : Parent{ | |
28 } | |
29 | |
30 class GrandChild : Child{ | |
31 | |
32 int y; | |
33 | |
34 this(){ | |
35 y=5; | |
36 } | |
37 | |
38 invariant{ | |
39 assert(y>4); | |
40 } | |
41 } | |
42 | |
43 int main(){ | |
44 GrandChild gc = new GrandChild(); | |
45 return 0; | |
46 } |