annotate nocompile/invariant_08.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_08;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
4
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
5 int test()
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
6 {
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 int main(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
14 return test();
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
15 }