annotate nocompile/invariant_09.d @ 59:96cadd0da1ae

added invariant tests
author thomask
date Fri, 22 Oct 2004 20:29:58 +0000
parents
children f87ba6507260
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
1 // invariant is only allowed in classes (dmd-0.104 documentation)
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
2
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
3 module dstress.nocompile.invariant_09;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
4
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
5 class MyClass{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
6 int test(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
7 invariant{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
8 assert(0);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
9 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
10 return 0;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
11 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
12 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
13
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
14 int main(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
15 Myclass c = new MyClass();
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
16 return c.test();
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
17 }