Mercurial > projects > dstress
changeset 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 | 281520e4cf9e |
| children | e9ef8eec28b1 |
| files | run/invariant_19.d run/invariant_20.d run/invariant_21.d run/invariant_22.d |
| diffstat | 4 files changed, 108 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/invariant_19.d Sun Feb 06 11:14:51 2005 +0000 @@ -0,0 +1,28 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Dave <Dave_member@pathlink.com> +// @date@ 2005-02-05 +// @uri@ news:cu30gc$29cb$1@digitaldaemon.com + +module dstress.run.invariant_19; + +class MyClass{ + + this(){ + } + + private int g() { + return 1; + } + + invariant{ + assert(g()==1); + } +} + +int main(){ + MyClass c = new MyClass(); + return 0; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/invariant_20.d Sun Feb 06 11:14:51 2005 +0000 @@ -0,0 +1,25 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Dave <Dave_member@pathlink.com> +// @date@ 2005-02-05 +// @uri@ news:cu30gc$29cb$1@digitaldaemon.com + +module dstress.run.invariant_20; + +class MyClass{ + + private int g() { + return 1; + } + + invariant{ + assert(g()==1); + } +} + +int main(){ + MyClass c = new MyClass(); + return 0; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/invariant_21.d Sun Feb 06 11:14:51 2005 +0000 @@ -0,0 +1,29 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Dave <Dave_member@pathlink.com> +// @date@ 2005-02-05 +// @uri@ news:cu30gc$29cb$1@digitaldaemon.com + +module dstress.run.invariant_21; + +class MyClass{ + + private int g() { + return 1; + } + + public void check(){ + } + + invariant{ + assert(g()==1); + } +} + +int main(){ + MyClass c = new MyClass(); + c.check(); + return 0; +}
--- /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; +}