annotate run/invariant_15.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
140
a33ad7189d21 1) news:// -> news:
thomask
parents: 70
diff changeset
1 // $HeadURL$
a33ad7189d21 1) news:// -> news:
thomask
parents: 70
diff changeset
2 // $Date$
a33ad7189d21 1) news:// -> news:
thomask
parents: 70
diff changeset
3 // $Author$
a33ad7189d21 1) news:// -> news:
thomask
parents: 70
diff changeset
4
202
4cd33115f015 1) fixed @author@ typos
thomask
parents: 140
diff changeset
5 // @author@ Thomas Kuehne <thomas-dloop@kuehne.thisisspam.cn>
70
5f98d4a33d49 1) review of all test cases with unexpected results (except encoding and html/xml)
thomask
parents: 59
diff changeset
6 // @date@ 2004-10-22
140
a33ad7189d21 1) news:// -> news:
thomask
parents: 70
diff changeset
7 // @uri@ news:clbr09$uc6$1@digitaldaemon.com
1487
6e4063f99377 changed nntp: URLs to http: URLs
thomask
parents: 1383
diff changeset
8 // @uri@ http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=2140
70
5f98d4a33d49 1) review of all test cases with unexpected results (except encoding and html/xml)
thomask
parents: 59
diff changeset
9
736
1e6afb94ce6d updated meta data for Torture
thomask
parents: 374
diff changeset
10 // __DSTRESS_TORTURE_BLOCK__ -release
1e6afb94ce6d updated meta data for Torture
thomask
parents: 374
diff changeset
11
374
f87ba6507260 added missing meta-data
thomask
parents: 202
diff changeset
12 module dstress.run.invariant_15;
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
13
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
14 class Parent{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
15
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
16 int x;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
17
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
18 this(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
19 x=3;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
20 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
21
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1487
diff changeset
22 invariant(){
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
23 assert(x>2);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
24 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
25 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
26
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
27 class Child : Parent{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
28 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
29
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
30 class GrandChild : Child{
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
31
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
32 int y;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
33
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
34 this(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
35 y=5;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
36 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
37
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1487
diff changeset
38 invariant(){
59
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
39 assert(y>4);
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
40 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
41 }
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
42
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
43 int main(){
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
44 GrandChild gc = new GrandChild();
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
45 return 0;
96cadd0da1ae added invariant tests
thomask
parents:
diff changeset
46 }