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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (hide annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 2 months ago) by manus
Original Path: trunk/Src/eweasel/tests/exec212/export_status.e
File size: 1158 byte(s)
Initial revision for the eweasel delivery provided by David Hollenberg
  from the University of Southern California under the GPL v2.0 license.

1 manus 65296 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