Mercurial > projects > dstress

annotate run/invariant_21.d @ 1630:d0efa3ae5522 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
270
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
1 // $HeadURL$
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
2 // $Date$
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
3 // $Author$
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
4
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
5 // @author@ Dave <Dave_member@pathlink.com>
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
6 // @date@ 2005-02-05
1489
b8c0195059d9 changed nntp: URLs to http: URLs
thomask
parents: 736
diff changeset
7 // @uri@ http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=2866
270
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
8
736
1e6afb94ce6d updated meta data for Torture
thomask
parents: 270
diff changeset
9 // __DSTRESS_TORTURE_BLOCK__ -release
1e6afb94ce6d updated meta data for Torture
thomask
parents: 270
diff changeset
10
270
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
11 module dstress.run.invariant_21;
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
12
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
13 class MyClass{
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
14
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
15 private int g() {
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
16 return 1;
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
17 }
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
18
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
19 public void check(){
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
20 }
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
21
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
22 invariant(){
270
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
23 assert(g()==1);
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
24 }
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
25 }
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
26
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
27 int main(){
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
28 MyClass c = new MyClass();
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
29 c.check();
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
30 return 0;
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
31 }