Mercurial > projects > dstress
annotate run/invariant_02.d @ 374:f87ba6507260
added missing meta-data
| author | thomask |
|---|---|
| date | Thu, 31 Mar 2005 09:01:33 +0000 |
| parents | 96cadd0da1ae |
| children | 1e6afb94ce6d |
| rev | line source |
|---|---|
| 374 | 1 // $HeadURL$ |
| 2 // $Date$ | |
| 3 // $Author$ | |
| 4 | |
| 59 | 5 module dstress.run.invariant_02; |
| 374 | 6 |
| 59 | 7 int status; |
| 8 | |
| 9 class MyClass{ | |
| 10 int test; | |
| 11 | |
| 12 this(){ | |
| 13 test=2; | |
| 14 } | |
| 15 | |
| 16 invariant{ | |
| 17 assert(test > 1); | |
| 18 status++; | |
| 19 } | |
| 20 } | |
| 21 | |
| 22 int main(){ | |
| 23 assert(status==0); | |
| 24 MyClass c = new MyClass(); | |
| 25 assert(status==1); | |
| 26 return 0; | |
| 27 } |