Mercurial > projects > dstress

annotate run/invariant_22.d @ 1559:ec5e144583ea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents b8c0195059d9
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_22;
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
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 1489
diff changeset
19 invariant(){
270
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
20 assert(g()==1);
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
21 }
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
22 }
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
23
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
24 int main(){
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
25 MyClass c = new MyClass();
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
26 assert(c);
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
27 return 0;
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
28 }