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

Contents of /branches/eth/eve/eweasel/tests/attach045/a.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: 335 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 deferred class
2 A
3
4 feature {NONE} -- Tests
5
6 ff1 (a: ?ANY)
7 require
8 False
9 do
10 end
11
12 ff2 (a: ?ANY)
13 require
14 False
15 do
16 end
17
18 ff3 (a: ?ANY)
19 require
20 False
21 do
22 end
23
24 fp1 (a: ?ANY)
25 require
26 a /= Void
27 do
28 end
29
30 fp2 (a: ?ANY)
31 require
32 a /= Void
33 do
34 end
35
36 fp3 (a: ?ANY)
37 require
38 a /= Void
39 do
40 end
41
42 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23