/[eiffelstudio]/trunk/eweasel/tests/final041/test2.e
ViewVC logotype

Contents of /trunk/eweasel/tests/final041/test2.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 72343 - (show annotations)
Mon Feb 18 20:36:45 2008 UTC (11 years, 8 months ago) by alexk
File size: 263 byte(s)
Extended test to cover more issues in finalized code generation when assertions are kept.
1 class TEST2
2
3 inherit
4 TEST1 [STRING]
5 redefine
6 new_tuple
7 end
8
9 feature
10
11 new_tuple: TUPLE [INTEGER, STRING] is
12 require else
13 test (once "Test 2: OK") or else True
14 do
15 test (once "Test 3: OK").do_nothing
16 Result := [1, once "Test 4: OK"]
17 end
18
19 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23