annotate run/invariant_11.d @ 59:96cadd0da1ae

added invariant tests
author thomask
date Fri, 22 Oct 2004 20:29:58 +0000
parents
children 5f98d4a33d49
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
1 // the name function name "_invariant" isn't forbidden (dmd-0.104 documentation)
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
2 module dstress.run.invariant_11;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
3
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
4 class MyClass{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
5 void _invariant(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
6 assert(0);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
7 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
8
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
9 invariant{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
10 assert(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 0;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
17 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
18