Mercurial > projects > dstress
comparison run/invariant_15.d @ 1559:ec5e144583ea
D1 -> D2 : 1/N
author | thomask |
---|---|
date | Sun, 19 Aug 2007 19:11:54 +0000 |
parents | 6e4063f99377 |
children |
comparison
equal
deleted
inserted
replaced
1558:d40d75fcd5c5 | 1559:ec5e144583ea |
---|---|
17 | 17 |
18 this(){ | 18 this(){ |
19 x=3; | 19 x=3; |
20 } | 20 } |
21 | 21 |
22 invariant{ | 22 invariant(){ |
23 assert(x>2); | 23 assert(x>2); |
24 } | 24 } |
25 } | 25 } |
26 | 26 |
27 class Child : Parent{ | 27 class Child : Parent{ |
33 | 33 |
34 this(){ | 34 this(){ |
35 y=5; | 35 y=5; |
36 } | 36 } |
37 | 37 |
38 invariant{ | 38 invariant(){ |
39 assert(y>4); | 39 assert(y>4); |
40 } | 40 } |
41 } | 41 } |
42 | 42 |
43 int main(){ | 43 int main(){ |