annotate nocompile/invariant_16.d @ 1630:d0efa3ae5522 default tip

run/mini/naked_asm5: New x86_64 ABI passes the arguments in reverse order.
author David Nadlinger <code@klickverbot.at>
date Sat, 23 Apr 2011 22:57:32 +0200
parents ec5e144583ea
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
374
f87ba6507260 added missing meta-data
thomask
parents: 66
diff changeset
1 // $HeadURL$
f87ba6507260 added missing meta-data
thomask
parents: 66
diff changeset
2 // $Date$
f87ba6507260 added missing meta-data
thomask
parents: 66
diff changeset
3 // $Author$
f87ba6507260 added missing meta-data
thomask
parents: 66
diff changeset
4
f87ba6507260 added missing meta-data
thomask
parents: 66
diff changeset
5 // invariant is only allowed in class/union/struct (dmd-0.119 documentation)
f87ba6507260 added missing meta-data
thomask
parents: 66
diff changeset
6
f87ba6507260 added missing meta-data
thomask
parents: 66
diff changeset
7 // __DSTRESS_ELINE__ 13
66
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
8
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
9 module dstress.nocompile.invariant_16;
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
10
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
11 interface MyInterface{
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
12 private int check();
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 374
diff changeset
13 invariant(){
66
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
14 assert(check()!=4);
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
15 }
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
16 }
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
17 class MyClass : MyInterface {
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
18 void test(){
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
19 }
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
20
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
21 private int check(){
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
22 return 4;
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
23 }
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
24 }
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
25
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
26 int main(){
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
27 Myclass c = new MyClass();
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
28 c.test();
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
29 return 0;
33346dff2640 extended invariant tests
thomask
parents:
diff changeset
30 }