|
131
|
1 // $HeadURL$
|
|
|
2 // $Date$
|
|
|
3 // $Author$
|
|
|
4
|
|
|
5 // @author@ Buchan <kbuchan@xtra.co.nz>
|
|
|
6 // @date@ 2004-11-14
|
|
140
|
7 // @uri@ news:opshfzxz0b44buww@simon.homenet
|
|
1487
|
8 // @uri@ http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=2262
|
|
131
|
9
|
|
736
|
10 // __DSTRESS_TORTURE_BLOCK__ -release
|
|
|
11
|
|
131
|
12 module dstress.run.in_out_body_03;
|
|
|
13
|
|
360
|
14 bool in_checked;
|
|
|
15 bool out_checked;
|
|
|
16
|
|
131
|
17 class MyClass{
|
|
|
18 int i;
|
|
|
19 }
|
|
|
20
|
|
|
21 void outer(){
|
|
|
22 MyClass inner()
|
|
|
23 in{
|
|
360
|
24 in_checked=true;
|
|
131
|
25 }out (result){
|
|
|
26 assert(result.i==1);
|
|
360
|
27 out_checked=true;
|
|
131
|
28 }body{
|
|
516
|
29 MyClass s=new MyClass;
|
|
131
|
30 s.i = 1;
|
|
|
31 return s;
|
|
|
32 }
|
|
|
33 assert(inner.i==1);
|
|
|
34 }
|
|
|
35
|
|
|
36 int main(){
|
|
|
37 outer();
|
|
360
|
38 assert(in_checked);
|
|
|
39 assert(out_checked);
|
|
131
|
40 return 0;
|
|
|
41 }
|
