Mercurial > projects > dstress

annotate run/invariant_21.d @ 1489:b8c0195059d9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed nntp: URLs to http: URLs
author thomask
date Mon, 09 Apr 2007 13:47:01 +0000
parents 1e6afb94ce6d
children ec5e144583ea
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
eaaf448a9ab4 class invariant and non-public class member functions
thomask
parents:
diff changeset
22 invariant{
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 }