/[eiffelstudio]/trunk/eweasel/tests/exec212/export_status.e
ViewVC logotype

Contents of /trunk/eweasel/tests/exec212/export_status.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years ago) by manus
File size: 1158 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1 expanded class
2 EXPORT_STATUS
3
4 create
5 default_create,
6 make_from_integer
7
8 convert
9 make_from_integer ({INTEGER}),
10 to_integer: {INTEGER}
11
12 feature {NONE} -- Initialization
13
14 make_from_integer (i: INTEGER) is
15 -- Initializes instance from integer `i'.
16 require
17 i_is_member: i >= min_member and i <= max_member
18 do
19 value := i
20 ensure
21 value_set: value = i
22 end
23
24 feature -- Enum Members
25
26 exports_none: INTEGER is 0
27 -- Indicates that features are not exported
28
29 exports_some: INTEGER is 1
30 -- Indicates that features are exported to a number of clients, but not all
31
32 exports_all: INTEGER is 2
33 -- -- Indicates that features are exported
34
35 feature -- Access
36
37 min_member: INTEGER is
38 -- Minimum value member
39 do
40 Result := exports_none
41 end
42
43 max_member: INTEGER is
44 -- Maximum value member
45 do
46 Result := exports_all
47 end
48
49 feature -- Conversion
50
51 to_integer: INTEGER is
52 -- Converts `Current' to an INTEGER
53 do
54 Result := value
55 ensure
56 result_set: Result = value
57 end
58
59 feature {NONE} -- Implementation
60
61 value: INTEGER
62 -- Internal value
63
64 invariant
65 value_is_member: value >= min_member and value <= max_member
66
67 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23