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

← Older revision		Revision as of 19:17, 30 May 2007
Line 14:		Line 14:
	===Example Listing===		===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]		<code>[eiffel]

2007-05-30T19:16:43Z

← Older revision		Revision as of 19:16, 30 May 2007
Line 14:		Line 14:
	===Example Listing===		===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]		<code>[eiffel]

2007-05-09T16:10:26Z

2007-05-08T23:14:43Z

A Temporary Solution

← Older revision		Revision as of 23:14, 8 May 2007
Line 284:		Line 284:
	== A Temporary Solution ==		== 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 ===		=== A Pseudo Enum Type ===

2007-05-08T01:17:29Z

Using Pseudo Enum Types

← Older revision		Revision as of 01:17, 8 May 2007
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.		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.		It's a start.

2007-05-08T01:09:14Z

An Example

← Older revision		Revision as of 01:09, 8 May 2007
Line 254:		Line 254:
	on_alignment_button_clicked (a_item))		on_alignment_button_clicked (a_item))
	alignment_group.extend (button)		alignment_group.extend (button)
	end		end)
	end		end

2007-05-07T23:48:50Z

A Pseudo Enum Type

← Older revision		Revision as of 23:48, 7 May 2007
Line 353:		Line 353:
	Result ?= internal_items_table.item (l_id)		Result ?= internal_items_table.item (l_id)
	if Result = Void then		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_id) end
	l_items := members		l_items := members
	l_count := l_items.count		l_count := l_items.count
Line 373:		Line 374:
	result_attached: Result /= Void		result_attached: Result /= Void
	not_result_is_empty: not Result.is_empty		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 (
			(create {INTERNAL}).dynamic_type (Current))
	end		end

2007-05-07T23:47:39Z