Mercurial > projects > dstress
view run/i/in_out_body_11_H.d @ 1603:2031b04871b3
Fix broken invariant + synchronized test. Synchronized is not a valid function
attribute for structs!
author | Christian Kamm <kamm incasoftware de> |
---|---|
date | Sat, 28 Mar 2009 19:17:32 +0100 |
parents | b8c0195059d9 |
children |
line wrap: on
line source
// $HeadURL$ // $Date$ // $Author$ // @author@ Stewart Gordon <smjg_1998@yahoo.com> // @date@ 2005-12-12 // @uri@ http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=5835 // __DSTRESS_TORTURE_BLOCK__ -release module dstress.run.i.in_out_body_11_H; int inDerived; int inBase; int done; class Base{ void test(int i) in{ inBase++; assert(0); }body{ assert(0); } } class Derived : Base{ void test(int i) in{ inDerived++; assert(0); }body{ done++; } } int main(){ Derived d = new Derived(); try{ d.test(1); }catch(Exception e){ assert(done == 0); assert(inBase == 1); assert(inDerived == 1); return 0; } return 0; }