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

Contents of /branches/eth/eve/eweasel/tests/attach045/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: 441 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 inherit
5 A
6 rename
7 ff3 as ff2,
8 fp3 as fp2
9 redefine
10 ff1,
11 ff2,
12 fp1,
13 fp2
14 end
15
16 create
17 make
18
19 feature {NONE} -- Creation
20
21 make
22 -- Run tests.
23 do
24 end
25
26 feature {NONE} -- Tests
27
28 f (a: !ANY)
29 do
30 end
31
32 ff1 (a: ?ANY)
33 require else
34 a /= Void
35 do
36 f (a)
37 end
38
39 ff2 (a: ?ANY)
40 require else
41 a /= Void
42 do
43 f (a)
44 end
45
46 fp1 (a: ?ANY)
47 do
48 f (a)
49 end
50
51 fp2 (a: ?ANY)
52 do
53 f (a)
54 end
55
56 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23