Enums in Eiffel - Revision history

Conaclos: Syntax updated

2013-05-09T01:13:09Z

Syntax updated

2010-06-14T16:39:21Z

2007-05-30T19:17:06Z

‎Example Listing

2007-05-30T19:16:43Z

2007-05-09T16:10:26Z

2007-05-08T23:14:43Z

‎A Temporary Solution

2007-05-08T01:17:29Z

‎Using Pseudo Enum Types

2007-05-08T01:09:14Z

‎An Example

2007-05-07T23:48:50Z

‎A Pseudo Enum Type

2007-05-07T23:47:39Z

@@ Line 14: / Line 14: @@
 ===Example Listing===
-To demonstrate a number of points here, a real example is going to be used. The example below is code taken from [[:Category:EiffelVision2]]:
+To demonstrate a number of points here, a real example is going to be used. The example below is code taken from [[:Category:EiffelVision2|EiffelVision2]]:
 <code>[eiffel]

@@ Line 14: / Line 14: @@
 ===Example Listing===
-To demonstrate a number of points here, a real example is going to be used. The example below is code taken from [[EiffelVision2]]:
+To demonstrate a number of points here, a real example is going to be used. The example below is code taken from [[:Category:EiffelVision2]]:
 <code>[eiffel]

@@ Line 284: / Line 284: @@
 == A Temporary Solution ==
-Enum types can be created in Eiffel as it stands today, albeit not perfectly. I've managed to create psuedo Enum types using Eiffel 6.0, but each Enum type requires a little more from an Enum type author than should be needed. In addition the psuedo Enum types are based on basic numeric classes so Enum type members '''have''' to be declared as constants of a basic numeric type. This is no ideal but it works.
+Enum types can be created in Eiffel as it stands today, albeit not perfectly. I've managed to create psuedo Enum types using Eiffel 6.0, but each Enum type requires a little more from an Enum type author than should be needed. In addition the psuedo Enum types are based on basic numeric classes so Enum type members '''have''' to be declared as constants of a basic numeric type. This is not ideal but it works.
 === A Pseudo Enum Type ===

@@ Line 572: / Line 572: @@
 Note, <code>[eiffel]ENUM</code>'s <code>[eiffel]item</code> member has to be used with <code>[eiffel]inspect</code> because the compiler does not recognized the psuedo Enum types are constants or the fact that they can be implicitly converted to a constant value.
-<code>[eiffel]ENUM</code> also has a feature call <code>[eiffel]items</code> containing all available members of the Enum. With this code can be created an shown in the previous section. Pseudo Enum types, however, there is no good string representation of each member. Using <code>[eiffel]ENUM.out</code> will yield the numerical value of the Enum.
+<code>[eiffel]ENUM</code> also has a feature call <code>[eiffel]items</code> containing all available members of the Enum. With this code can be created as shown in the previous section. Pseudo Enum types, however, there is no good string representation of each member. Using <code>[eiffel]ENUM.out</code> will yield the numerical value of the Enum.
 It's a start.

@@ Line 254: / Line 254: @@
                          on_alignment_button_clicked (a_item))
                      alignment_group.extend (button)
-                 end
+                 end)
          end

@@ Line 353: / Line 353: @@
              Result ?= internal_items_table.item (l_id)
              if Result = Void then
-                 check not_internal_items_table_has_l_id: not internal_items_table.has (l_id) end
+                 check not_internal_items_table_has_l_id: not internal_items_table.has
                  l_items := members
                  l_count := l_items.count
@@ Line 373: / Line 374: @@
              result_attached: Result /= Void
              not_result_is_empty: not Result.is_empty
-             internal_items_table_has_current: internal_items_table.has ((create {INTERNAL}).dynamic_type (Current) )
+             internal_items_table_has_current: internal_items_table.has (
          end