Mercurial > projects > dstress
annotate nocompile/invariant_17.d @ 66:33346dff2640
extended invariant tests
| author | thomask |
|---|---|
| date | Sat, 23 Oct 2004 10:09:46 +0000 |
| parents | |
| children | 5f98d4a33d49 |
| rev | line source |
|---|---|
| 66 | 1 // invariant may not call non-static public class member functions (stack overflow) |
| 2 | |
| 3 module dstress.nocompile.invariant_17; | |
| 4 | |
| 5 class MyClass{ | |
| 6 this(){ | |
| 7 } | |
| 8 | |
| 9 int test(){ | |
| 10 return 0; | |
| 11 } | |
| 12 | |
| 13 invariant{ | |
| 14 assert(test()!=0); | |
| 15 } | |
| 16 } | |
| 17 | |
| 18 int main(){ | |
| 19 MyClass c = new MyClass(); | |
| 20 return 0; | |
| 21 } |