/[eiffelstudio]/branches/eth/eve/eweasel/tests/melt092/test.e
ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/melt092/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83441 - (show annotations)
Sat Jun 5 13:52:53 2010 UTC (9 years, 7 months ago) by jasonw
File size: 700 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 class
2 TEST
3
4 create
5 make
6
7 feature {NONE} -- Initialization
8
9 make
10 -- Run application.
11 do
12 execute_byte_code
13 end
14
15 execute_byte_code
16 do
17 -- Please comment out the following line, and do a c compilation.
18 -- After that, uncomment the line and then do a melting.
19 -- And then execute the application.
20 $COMMENT record_query (agent foo)
21 end
22
23 record_query (a_query: FUNCTION [ANY, TUPLE, detachable ANY])
24 require
25 a_query_attached: a_query /= Void
26 local
27 l_retried: BOOLEAN
28 l_result: detachable ANY
29 do
30 if not l_retried then
31 l_result := a_query.item ([])
32 end
33 rescue
34 l_retried := True
35 retry
36 end
37
38 foo: INTEGER
39 do
40 ensure
41 Result = 1
42 end
43
44 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23