Mercurial > projects > dstress
diff run/invariant_22.d @ 270:eaaf448a9ab4
class invariant and non-public class member functions
Dave <Dave_member@pathlink.com>
2005-02-05
news:cu30gc$29cb$1@digitaldaemon.com
author | thomask |
---|---|
date | Sun, 06 Feb 2005 11:14:51 +0000 |
parents | |
children | 1e6afb94ce6d |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/invariant_22.d Sun Feb 06 11:14:51 2005 +0000 @@ -0,0 +1,26 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Dave <Dave_member@pathlink.com> +// @date@ 2005-02-05 +// @uri@ news:cu30gc$29cb$1@digitaldaemon.com + +module dstress.run.invariant_22; + +class MyClass{ + + private int g() { + return 1; + } + + invariant{ + assert(g()==1); + } +} + +int main(){ + MyClass c = new MyClass(); + assert(c); + return 0; +}