Mercurial > projects > dstress
diff run/invariant_06.d @ 374:f87ba6507260
added missing meta-data
author | thomask |
---|---|
date | Thu, 31 Mar 2005 09:01:33 +0000 |
parents | |
children | 1e6afb94ce6d |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/invariant_06.d Thu Mar 31 09:01:33 2005 +0000 @@ -0,0 +1,38 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Thomas Kuehne <thomas-dloop@kuehne.thisisspam.cn> +// @date@ 2004-10-22 +// @uri@ news:clbr09$uc6$1@digitaldaemon.com +// @url@ nntp://digitalmars.com/digitalmars.D.bugs/2140 + +// invariants for Unions allowed since dmd-0.119 + +module dstress.run.invariant_06; + +int status; + +union MyUnion{ + int i; + + void test(){ + i++; + } + + invariant{ + status++; + } +} + +int main(){ + MyUnion u; + assert(status==0); + u.test(); + assert(status==1); + u.i=2; + assert(status==2); + assert(u); + assert(status==3); + return 0; +}