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(){