annotate run/in_out_body_04.d @ 1383:52c9e86b6486

@url@ -> @uri@
author thomask
date Sun, 04 Mar 2007 13:07:35 +0000
parents 1e6afb94ce6d
children 6e4063f99377
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
1 // $HeadURL$
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
2 // $Date$
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
3 // $Author$
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
4
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
5 // @author@ Buchan <kbuchan@xtra.co.nz>
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
6 // @date@ 2004-11-14
140
a33ad7189d21 1) news:// -> news:
thomask
parents: 131
diff changeset
7 // @uri@ news:opshfzxz0b44buww@simon.homenet
1383
52c9e86b6486 @url@ -> @uri@
thomask
parents: 736
diff changeset
8 // @uri@ nntp://digitalmars.com/digitalmars.D.bugs/2262
131
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
9
736
1e6afb94ce6d updated meta data for Torture
thomask
parents: 140
diff changeset
10 // __DSTRESS_TORTURE_BLOCK__ -release
1e6afb94ce6d updated meta data for Torture
thomask
parents: 140
diff changeset
11
131
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
12 module dstress.run.in_out_body_04;
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
13
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
14 void outer(){
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
15 int inner()
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
16 in{
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
17 assert(1);
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
18 }out (result){
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
19 assert(result==1);
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
20 }body{
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
21 return 1;
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
22 }
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
23 assert(inner==1);
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
24 }
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
25
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
26 int main(){
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
27 outer();
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
28 return 0;
460dbdcb3a85 Buchan <kbuchan@xtra.co.nz>
thomask
parents:
diff changeset
29 }