comparison run/invariant_14.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{
31 31
32 this(){ 32 this(){
33 x=5; 33 x=5;
34 } 34 }
35 35
36 invariant{ 36 invariant(){
37 assert(x>4); 37 assert(x>4);
38 } 38 }
39 } 39 }
40 40
41 int main(){ 41 int main(){