annotate nocompile/invariant_07.d @ 1619:bebc7472a832

Fix #7.
author Christian Kamm <kamm incasoftware de>
date Sat, 07 Nov 2009 18:55:30 +0100
parents ec5e144583ea
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
374
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
1 // $HeadURL$
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
2 // $Date$
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
3 // $Author$
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
4
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
5 // invariant is only allowed in classes (dmd-0.104 documentation)
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
6
374
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
7 // __DSTRESS_ELINE__ 15
f87ba6507260 added missing meta-data
thomask
parents: 59
diff changeset
8
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
9 module dstress.nocompile.invariant_07;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
10
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
11 int test()
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
12 body{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
13 return 0;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
14 }
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 374
diff changeset
15 invariant(){
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
16 assert(0);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
17 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
18
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
19 int main(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
20 return test();
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
21 }