indexing
	description: "[
		Automatically generated class for EiffelStudio 16x16 icons.
	]"
	status: "See notice at end of class."
	legal: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class
	ES_PIXMAPS_16X16

inherit
	ES_PIXMAPS
		redefine
			matrix_pixel_border
		end

create
	make

feature -- Access

	icon_width: NATURAL_8 = 16
			-- <Precursor>

	icon_height: NATURAL_8 = 16
			-- <Precursor>

	width: NATURAL_8 = 33
			-- <Precursor>

	height: NATURAL_8 = 25
			-- <Precursor>

feature {NONE} -- Access

	matrix_pixel_border: NATURAL_8 = 1
			-- <Precursor>

feature -- Icons

	frozen expanded_normal_icon: !EV_PIXMAP
			-- Access to 'normal' pixmap.
		require
			has_named_icon: has_named_icon (expanded_normal_name)
		once
			Result := named_icon (expanded_normal_name)
		end

	frozen expanded_normal_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'normal' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_normal_name)
		once
			Result := named_icon_buffer (expanded_normal_name)
		end

	frozen expanded_readonly_icon: !EV_PIXMAP
			-- Access to 'readonly' pixmap.
		require
			has_named_icon: has_named_icon (expanded_readonly_name)
		once
			Result := named_icon (expanded_readonly_name)
		end

	frozen expanded_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_readonly_name)
		once
			Result := named_icon_buffer (expanded_readonly_name)
		end

	frozen expanded_uncompiled_icon: !EV_PIXMAP
			-- Access to 'uncompiled' pixmap.
		require
			has_named_icon: has_named_icon (expanded_uncompiled_name)
		once
			Result := named_icon (expanded_uncompiled_name)
		end

	frozen expanded_uncompiled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_uncompiled_name)
		once
			Result := named_icon_buffer (expanded_uncompiled_name)
		end

	frozen expanded_uncompiled_readonly_icon: !EV_PIXMAP
			-- Access to 'uncompiled readonly' pixmap.
		require
			has_named_icon: has_named_icon (expanded_uncompiled_readonly_name)
		once
			Result := named_icon (expanded_uncompiled_readonly_name)
		end

	frozen expanded_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_uncompiled_readonly_name)
		once
			Result := named_icon_buffer (expanded_uncompiled_readonly_name)
		end

	frozen expanded_override_normal_icon: !EV_PIXMAP
			-- Access to 'normal' pixmap.
		require
			has_named_icon: has_named_icon (expanded_override_normal_name)
		once
			Result := named_icon (expanded_override_normal_name)
		end

	frozen expanded_override_normal_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'normal' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_override_normal_name)
		once
			Result := named_icon_buffer (expanded_override_normal_name)
		end

	frozen expanded_override_readonly_icon: !EV_PIXMAP
			-- Access to 'readonly' pixmap.
		require
			has_named_icon: has_named_icon (expanded_override_readonly_name)
		once
			Result := named_icon (expanded_override_readonly_name)
		end

	frozen expanded_override_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_override_readonly_name)
		once
			Result := named_icon_buffer (expanded_override_readonly_name)
		end

	frozen expanded_override_uncompiled_icon: !EV_PIXMAP
			-- Access to 'uncompiled' pixmap.
		require
			has_named_icon: has_named_icon (expanded_override_uncompiled_name)
		once
			Result := named_icon (expanded_override_uncompiled_name)
		end

	frozen expanded_override_uncompiled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_override_uncompiled_name)
		once
			Result := named_icon_buffer (expanded_override_uncompiled_name)
		end

	frozen expanded_override_uncompiled_readonly_icon: !EV_PIXMAP
			-- Access to 'uncompiled readonly' pixmap.
		require
			has_named_icon: has_named_icon (expanded_override_uncompiled_readonly_name)
		once
			Result := named_icon (expanded_override_uncompiled_readonly_name)
		end

	frozen expanded_override_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_override_uncompiled_readonly_name)
		once
			Result := named_icon_buffer (expanded_override_uncompiled_readonly_name)
		end

	frozen expanded_overriden_normal_icon: !EV_PIXMAP
			-- Access to 'normal' pixmap.
		require
			has_named_icon: has_named_icon (expanded_overriden_normal_name)
		once
			Result := named_icon (expanded_overriden_normal_name)
		end

	frozen expanded_overriden_normal_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'normal' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_overriden_normal_name)
		once
			Result := named_icon_buffer (expanded_overriden_normal_name)
		end

	frozen expanded_overriden_readonly_icon: !EV_PIXMAP
			-- Access to 'readonly' pixmap.
		require
			has_named_icon: has_named_icon (expanded_overriden_readonly_name)
		once
			Result := named_icon (expanded_overriden_readonly_name)
		end

	frozen expanded_overriden_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_overriden_readonly_name)
		once
			Result := named_icon_buffer (expanded_overriden_readonly_name)
		end

	frozen expanded_overriden_uncompiled_icon: !EV_PIXMAP
			-- Access to 'uncompiled' pixmap.
		require
			has_named_icon: has_named_icon (expanded_overriden_uncompiled_name)
		once
			Result := named_icon (expanded_overriden_uncompiled_name)
		end

	frozen expanded_overriden_uncompiled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_overriden_uncompiled_name)
		once
			Result := named_icon_buffer (expanded_overriden_uncompiled_name)
		end

	frozen expanded_overriden_uncompiled_readonly_icon: !EV_PIXMAP
			-- Access to 'uncompiled readonly' pixmap.
		require
			has_named_icon: has_named_icon (expanded_overriden_uncompiled_readonly_name)
		once
			Result := named_icon (expanded_overriden_uncompiled_readonly_name)
		end

	frozen expanded_overriden_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (expanded_overriden_uncompiled_readonly_name)
		once
			Result := named_icon_buffer (expanded_overriden_uncompiled_readonly_name)
		end

	frozen class_normal_icon: !EV_PIXMAP
			-- Access to 'normal' pixmap.
		require
			has_named_icon: has_named_icon (class_normal_name)
		once
			Result := named_icon (class_normal_name)
		end

	frozen class_normal_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'normal' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_normal_name)
		once
			Result := named_icon_buffer (class_normal_name)
		end

	frozen class_readonly_icon: !EV_PIXMAP
			-- Access to 'readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_readonly_name)
		once
			Result := named_icon (class_readonly_name)
		end

	frozen class_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_readonly_name)
		once
			Result := named_icon_buffer (class_readonly_name)
		end

	frozen class_deferred_icon: !EV_PIXMAP
			-- Access to 'deferred' pixmap.
		require
			has_named_icon: has_named_icon (class_deferred_name)
		once
			Result := named_icon (class_deferred_name)
		end

	frozen class_deferred_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_deferred_name)
		once
			Result := named_icon_buffer (class_deferred_name)
		end

	frozen class_deferred_readonly_icon: !EV_PIXMAP
			-- Access to 'deferred readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_deferred_readonly_name)
		once
			Result := named_icon (class_deferred_readonly_name)
		end

	frozen class_deferred_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_deferred_readonly_name)
		once
			Result := named_icon_buffer (class_deferred_readonly_name)
		end

	frozen class_frozen_icon: !EV_PIXMAP
			-- Access to 'frozen' pixmap.
		require
			has_named_icon: has_named_icon (class_frozen_name)
		once
			Result := named_icon (class_frozen_name)
		end

	frozen class_frozen_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'frozen' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_frozen_name)
		once
			Result := named_icon_buffer (class_frozen_name)
		end

	frozen class_frozen_readonly_icon: !EV_PIXMAP
			-- Access to 'frozen readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_frozen_readonly_name)
		once
			Result := named_icon (class_frozen_readonly_name)
		end

	frozen class_frozen_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'frozen readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_frozen_readonly_name)
		once
			Result := named_icon_buffer (class_frozen_readonly_name)
		end

	frozen class_uncompiled_icon: !EV_PIXMAP
			-- Access to 'uncompiled' pixmap.
		require
			has_named_icon: has_named_icon (class_uncompiled_name)
		once
			Result := named_icon (class_uncompiled_name)
		end

	frozen class_uncompiled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_uncompiled_name)
		once
			Result := named_icon_buffer (class_uncompiled_name)
		end

	frozen class_uncompiled_readonly_icon: !EV_PIXMAP
			-- Access to 'uncompiled readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_uncompiled_readonly_name)
		once
			Result := named_icon (class_uncompiled_readonly_name)
		end

	frozen class_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_uncompiled_readonly_name)
		once
			Result := named_icon_buffer (class_uncompiled_readonly_name)
		end

	frozen class_override_normal_icon: !EV_PIXMAP
			-- Access to 'normal' pixmap.
		require
			has_named_icon: has_named_icon (class_override_normal_name)
		once
			Result := named_icon (class_override_normal_name)
		end

	frozen class_override_normal_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'normal' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_normal_name)
		once
			Result := named_icon_buffer (class_override_normal_name)
		end

	frozen class_override_readonly_icon: !EV_PIXMAP
			-- Access to 'readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_override_readonly_name)
		once
			Result := named_icon (class_override_readonly_name)
		end

	frozen class_override_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_readonly_name)
		once
			Result := named_icon_buffer (class_override_readonly_name)
		end

	frozen class_override_deferred_icon: !EV_PIXMAP
			-- Access to 'deferred' pixmap.
		require
			has_named_icon: has_named_icon (class_override_deferred_name)
		once
			Result := named_icon (class_override_deferred_name)
		end

	frozen class_override_deferred_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_deferred_name)
		once
			Result := named_icon_buffer (class_override_deferred_name)
		end

	frozen class_override_deferred_readonly_icon: !EV_PIXMAP
			-- Access to 'deferred readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_override_deferred_readonly_name)
		once
			Result := named_icon (class_override_deferred_readonly_name)
		end

	frozen class_override_deferred_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_deferred_readonly_name)
		once
			Result := named_icon_buffer (class_override_deferred_readonly_name)
		end

	frozen class_override_frozen_icon: !EV_PIXMAP
			-- Access to 'frozen' pixmap.
		require
			has_named_icon: has_named_icon (class_override_frozen_name)
		once
			Result := named_icon (class_override_frozen_name)
		end

	frozen class_override_frozen_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'frozen' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_frozen_name)
		once
			Result := named_icon_buffer (class_override_frozen_name)
		end

	frozen class_override_frozen_readonly_icon: !EV_PIXMAP
			-- Access to 'frozen readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_override_frozen_readonly_name)
		once
			Result := named_icon (class_override_frozen_readonly_name)
		end

	frozen class_override_frozen_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'frozen readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_frozen_readonly_name)
		once
			Result := named_icon_buffer (class_override_frozen_readonly_name)
		end

	frozen class_override_uncompiled_icon: !EV_PIXMAP
			-- Access to 'uncompiled' pixmap.
		require
			has_named_icon: has_named_icon (class_override_uncompiled_name)
		once
			Result := named_icon (class_override_uncompiled_name)
		end

	frozen class_override_uncompiled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_uncompiled_name)
		once
			Result := named_icon_buffer (class_override_uncompiled_name)
		end

	frozen class_override_uncompiled_readonly_icon: !EV_PIXMAP
			-- Access to 'uncompiled readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_override_uncompiled_readonly_name)
		once
			Result := named_icon (class_override_uncompiled_readonly_name)
		end

	frozen class_override_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_override_uncompiled_readonly_name)
		once
			Result := named_icon_buffer (class_override_uncompiled_readonly_name)
		end

	frozen class_overriden_normal_icon: !EV_PIXMAP
			-- Access to 'normal' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_normal_name)
		once
			Result := named_icon (class_overriden_normal_name)
		end

	frozen class_overriden_normal_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'normal' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_normal_name)
		once
			Result := named_icon_buffer (class_overriden_normal_name)
		end

	frozen class_overriden_readonly_icon: !EV_PIXMAP
			-- Access to 'readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_readonly_name)
		once
			Result := named_icon (class_overriden_readonly_name)
		end

	frozen class_overriden_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_readonly_name)
		once
			Result := named_icon_buffer (class_overriden_readonly_name)
		end

	frozen class_overriden_deferred_icon: !EV_PIXMAP
			-- Access to 'deferred' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_deferred_name)
		once
			Result := named_icon (class_overriden_deferred_name)
		end

	frozen class_overriden_deferred_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_deferred_name)
		once
			Result := named_icon_buffer (class_overriden_deferred_name)
		end

	frozen class_overriden_deferred_readonly_icon: !EV_PIXMAP
			-- Access to 'deferred readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_deferred_readonly_name)
		once
			Result := named_icon (class_overriden_deferred_readonly_name)
		end

	frozen class_overriden_deferred_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_deferred_readonly_name)
		once
			Result := named_icon_buffer (class_overriden_deferred_readonly_name)
		end

	frozen class_overriden_frozen_icon: !EV_PIXMAP
			-- Access to 'frozen' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_frozen_name)
		once
			Result := named_icon (class_overriden_frozen_name)
		end

	frozen class_overriden_frozen_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'frozen' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_frozen_name)
		once
			Result := named_icon_buffer (class_overriden_frozen_name)
		end

	frozen class_overriden_frozen_readonly_icon: !EV_PIXMAP
			-- Access to 'frozen readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_frozen_readonly_name)
		once
			Result := named_icon (class_overriden_frozen_readonly_name)
		end

	frozen class_overriden_frozen_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'frozen readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_frozen_readonly_name)
		once
			Result := named_icon_buffer (class_overriden_frozen_readonly_name)
		end

	frozen class_overriden_uncompiled_icon: !EV_PIXMAP
			-- Access to 'uncompiled' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_uncompiled_name)
		once
			Result := named_icon (class_overriden_uncompiled_name)
		end

	frozen class_overriden_uncompiled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_uncompiled_name)
		once
			Result := named_icon_buffer (class_overriden_uncompiled_name)
		end

	frozen class_overriden_uncompiled_readonly_icon: !EV_PIXMAP
			-- Access to 'uncompiled readonly' pixmap.
		require
			has_named_icon: has_named_icon (class_overriden_uncompiled_readonly_name)
		once
			Result := named_icon (class_overriden_uncompiled_readonly_name)
		end

	frozen class_overriden_uncompiled_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'uncompiled readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_overriden_uncompiled_readonly_name)
		once
			Result := named_icon_buffer (class_overriden_uncompiled_readonly_name)
		end

	frozen feature_routine_icon: !EV_PIXMAP
			-- Access to 'routine' pixmap.
		require
			has_named_icon: has_named_icon (feature_routine_name)
		once
			Result := named_icon (feature_routine_name)
		end

	frozen feature_routine_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'routine' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_routine_name)
		once
			Result := named_icon_buffer (feature_routine_name)
		end

	frozen feature_attribute_icon: !EV_PIXMAP
			-- Access to 'attribute' pixmap.
		require
			has_named_icon: has_named_icon (feature_attribute_name)
		once
			Result := named_icon (feature_attribute_name)
		end

	frozen feature_attribute_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'attribute' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_attribute_name)
		once
			Result := named_icon_buffer (feature_attribute_name)
		end

	frozen feature_once_icon: !EV_PIXMAP
			-- Access to 'once' pixmap.
		require
			has_named_icon: has_named_icon (feature_once_name)
		once
			Result := named_icon (feature_once_name)
		end

	frozen feature_once_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'once' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_once_name)
		once
			Result := named_icon_buffer (feature_once_name)
		end

	frozen feature_deferred_icon: !EV_PIXMAP
			-- Access to 'deferred' pixmap.
		require
			has_named_icon: has_named_icon (feature_deferred_name)
		once
			Result := named_icon (feature_deferred_name)
		end

	frozen feature_deferred_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_deferred_name)
		once
			Result := named_icon_buffer (feature_deferred_name)
		end

	frozen feature_external_icon: !EV_PIXMAP
			-- Access to 'external' pixmap.
		require
			has_named_icon: has_named_icon (feature_external_name)
		once
			Result := named_icon (feature_external_name)
		end

	frozen feature_external_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'external' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_external_name)
		once
			Result := named_icon_buffer (feature_external_name)
		end

	frozen feature_assigner_icon: !EV_PIXMAP
			-- Access to 'assigner' pixmap.
		require
			has_named_icon: has_named_icon (feature_assigner_name)
		once
			Result := named_icon (feature_assigner_name)
		end

	frozen feature_assigner_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assigner' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_assigner_name)
		once
			Result := named_icon_buffer (feature_assigner_name)
		end

	frozen feature_deferred_assigner_icon: !EV_PIXMAP
			-- Access to 'deferred assigner' pixmap.
		require
			has_named_icon: has_named_icon (feature_deferred_assigner_name)
		once
			Result := named_icon (feature_deferred_assigner_name)
		end

	frozen feature_deferred_assigner_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred assigner' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_deferred_assigner_name)
		once
			Result := named_icon_buffer (feature_deferred_assigner_name)
		end

	frozen feature_frozen_routine_icon: !EV_PIXMAP
			-- Access to 'routine' pixmap.
		require
			has_named_icon: has_named_icon (feature_frozen_routine_name)
		once
			Result := named_icon (feature_frozen_routine_name)
		end

	frozen feature_frozen_routine_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'routine' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_frozen_routine_name)
		once
			Result := named_icon_buffer (feature_frozen_routine_name)
		end

	frozen feature_frozen_attribute_icon: !EV_PIXMAP
			-- Access to 'attribute' pixmap.
		require
			has_named_icon: has_named_icon (feature_frozen_attribute_name)
		once
			Result := named_icon (feature_frozen_attribute_name)
		end

	frozen feature_frozen_attribute_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'attribute' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_frozen_attribute_name)
		once
			Result := named_icon_buffer (feature_frozen_attribute_name)
		end

	frozen feature_frozen_once_icon: !EV_PIXMAP
			-- Access to 'once' pixmap.
		require
			has_named_icon: has_named_icon (feature_frozen_once_name)
		once
			Result := named_icon (feature_frozen_once_name)
		end

	frozen feature_frozen_once_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'once' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_frozen_once_name)
		once
			Result := named_icon_buffer (feature_frozen_once_name)
		end

	frozen feature_frozen_external_icon: !EV_PIXMAP
			-- Access to 'external' pixmap.
		require
			has_named_icon: has_named_icon (feature_frozen_external_name)
		once
			Result := named_icon (feature_frozen_external_name)
		end

	frozen feature_frozen_external_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'external' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_frozen_external_name)
		once
			Result := named_icon_buffer (feature_frozen_external_name)
		end

	frozen feature_frozen_assigner_icon: !EV_PIXMAP
			-- Access to 'assigner' pixmap.
		require
			has_named_icon: has_named_icon (feature_frozen_assigner_name)
		once
			Result := named_icon (feature_frozen_assigner_name)
		end

	frozen feature_frozen_assigner_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assigner' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_frozen_assigner_name)
		once
			Result := named_icon_buffer (feature_frozen_assigner_name)
		end

	frozen feature_obsolete_routine_icon: !EV_PIXMAP
			-- Access to 'routine' pixmap.
		require
			has_named_icon: has_named_icon (feature_obsolete_routine_name)
		once
			Result := named_icon (feature_obsolete_routine_name)
		end

	frozen feature_obsolete_routine_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'routine' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_obsolete_routine_name)
		once
			Result := named_icon_buffer (feature_obsolete_routine_name)
		end

	frozen feature_obsolete_attribute_icon: !EV_PIXMAP
			-- Access to 'attribute' pixmap.
		require
			has_named_icon: has_named_icon (feature_obsolete_attribute_name)
		once
			Result := named_icon (feature_obsolete_attribute_name)
		end

	frozen feature_obsolete_attribute_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'attribute' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_obsolete_attribute_name)
		once
			Result := named_icon_buffer (feature_obsolete_attribute_name)
		end

	frozen feature_obsolete_once_icon: !EV_PIXMAP
			-- Access to 'once' pixmap.
		require
			has_named_icon: has_named_icon (feature_obsolete_once_name)
		once
			Result := named_icon (feature_obsolete_once_name)
		end

	frozen feature_obsolete_once_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'once' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_obsolete_once_name)
		once
			Result := named_icon_buffer (feature_obsolete_once_name)
		end

	frozen feature_obsolete_deferred_icon: !EV_PIXMAP
			-- Access to 'deferred' pixmap.
		require
			has_named_icon: has_named_icon (feature_obsolete_deferred_name)
		once
			Result := named_icon (feature_obsolete_deferred_name)
		end

	frozen feature_obsolete_deferred_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_obsolete_deferred_name)
		once
			Result := named_icon_buffer (feature_obsolete_deferred_name)
		end

	frozen feature_obsolete_external_icon: !EV_PIXMAP
			-- Access to 'external' pixmap.
		require
			has_named_icon: has_named_icon (feature_obsolete_external_name)
		once
			Result := named_icon (feature_obsolete_external_name)
		end

	frozen feature_obsolete_external_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'external' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_obsolete_external_name)
		once
			Result := named_icon_buffer (feature_obsolete_external_name)
		end

	frozen feature_obsolete_assigner_icon: !EV_PIXMAP
			-- Access to 'assigner' pixmap.
		require
			has_named_icon: has_named_icon (feature_obsolete_assigner_name)
		once
			Result := named_icon (feature_obsolete_assigner_name)
		end

	frozen feature_obsolete_assigner_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assigner' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_obsolete_assigner_name)
		once
			Result := named_icon_buffer (feature_obsolete_assigner_name)
		end

	frozen feature_obsolete_deferred_assigner_icon: !EV_PIXMAP
			-- Access to 'deferred assigner' pixmap.
		require
			has_named_icon: has_named_icon (feature_obsolete_deferred_assigner_name)
		once
			Result := named_icon (feature_obsolete_deferred_assigner_name)
		end

	frozen feature_obsolete_deferred_assigner_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred assigner' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_obsolete_deferred_assigner_name)
		once
			Result := named_icon_buffer (feature_obsolete_deferred_assigner_name)
		end

	frozen feature_local_variable_icon: !EV_PIXMAP
			-- Access to 'variable' pixmap.
		require
			has_named_icon: has_named_icon (feature_local_variable_name)
		once
			Result := named_icon (feature_local_variable_name)
		end

	frozen feature_local_variable_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'variable' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_local_variable_name)
		once
			Result := named_icon_buffer (feature_local_variable_name)
		end

	frozen feature_group_icon: !EV_PIXMAP
			-- Access to 'group' pixmap.
		require
			has_named_icon: has_named_icon (feature_group_name)
		once
			Result := named_icon (feature_group_name)
		end

	frozen feature_group_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'group' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_group_name)
		once
			Result := named_icon_buffer (feature_group_name)
		end

	frozen top_level_folder_clusters_icon: !EV_PIXMAP
			-- Access to 'clusters' pixmap.
		require
			has_named_icon: has_named_icon (top_level_folder_clusters_name)
		once
			Result := named_icon (top_level_folder_clusters_name)
		end

	frozen top_level_folder_clusters_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'clusters' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (top_level_folder_clusters_name)
		once
			Result := named_icon_buffer (top_level_folder_clusters_name)
		end

	frozen top_level_folder_overrides_icon: !EV_PIXMAP
			-- Access to 'overrides' pixmap.
		require
			has_named_icon: has_named_icon (top_level_folder_overrides_name)
		once
			Result := named_icon (top_level_folder_overrides_name)
		end

	frozen top_level_folder_overrides_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'overrides' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (top_level_folder_overrides_name)
		once
			Result := named_icon_buffer (top_level_folder_overrides_name)
		end

	frozen top_level_folder_library_icon: !EV_PIXMAP
			-- Access to 'library' pixmap.
		require
			has_named_icon: has_named_icon (top_level_folder_library_name)
		once
			Result := named_icon (top_level_folder_library_name)
		end

	frozen top_level_folder_library_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'library' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (top_level_folder_library_name)
		once
			Result := named_icon_buffer (top_level_folder_library_name)
		end

	frozen top_level_folder_precompiles_icon: !EV_PIXMAP
			-- Access to 'precompiles' pixmap.
		require
			has_named_icon: has_named_icon (top_level_folder_precompiles_name)
		once
			Result := named_icon (top_level_folder_precompiles_name)
		end

	frozen top_level_folder_precompiles_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'precompiles' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (top_level_folder_precompiles_name)
		once
			Result := named_icon_buffer (top_level_folder_precompiles_name)
		end

	frozen top_level_folder_references_icon: !EV_PIXMAP
			-- Access to 'references' pixmap.
		require
			has_named_icon: has_named_icon (top_level_folder_references_name)
		once
			Result := named_icon (top_level_folder_references_name)
		end

	frozen top_level_folder_references_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'references' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (top_level_folder_references_name)
		once
			Result := named_icon_buffer (top_level_folder_references_name)
		end

	frozen top_level_folder_targets_icon: !EV_PIXMAP
			-- Access to 'targets' pixmap.
		require
			has_named_icon: has_named_icon (top_level_folder_targets_name)
		once
			Result := named_icon (top_level_folder_targets_name)
		end

	frozen top_level_folder_targets_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'targets' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (top_level_folder_targets_name)
		once
			Result := named_icon_buffer (top_level_folder_targets_name)
		end

	frozen folder_features_all_icon: !EV_PIXMAP
			-- Access to 'all' pixmap.
		require
			has_named_icon: has_named_icon (folder_features_all_name)
		once
			Result := named_icon (folder_features_all_name)
		end

	frozen folder_features_all_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'all' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_features_all_name)
		once
			Result := named_icon_buffer (folder_features_all_name)
		end

	frozen folder_features_some_icon: !EV_PIXMAP
			-- Access to 'some' pixmap.
		require
			has_named_icon: has_named_icon (folder_features_some_name)
		once
			Result := named_icon (folder_features_some_name)
		end

	frozen folder_features_some_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'some' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_features_some_name)
		once
			Result := named_icon_buffer (folder_features_some_name)
		end

	frozen folder_features_none_icon: !EV_PIXMAP
			-- Access to 'none' pixmap.
		require
			has_named_icon: has_named_icon (folder_features_none_name)
		once
			Result := named_icon (folder_features_none_name)
		end

	frozen folder_features_none_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'none' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_features_none_name)
		once
			Result := named_icon_buffer (folder_features_none_name)
		end

	frozen folder_cluster_icon: !EV_PIXMAP
			-- Access to 'cluster' pixmap.
		require
			has_named_icon: has_named_icon (folder_cluster_name)
		once
			Result := named_icon (folder_cluster_name)
		end

	frozen folder_cluster_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cluster' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_cluster_name)
		once
			Result := named_icon_buffer (folder_cluster_name)
		end

	frozen folder_cluster_readonly_icon: !EV_PIXMAP
			-- Access to 'cluster readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_cluster_readonly_name)
		once
			Result := named_icon (folder_cluster_readonly_name)
		end

	frozen folder_cluster_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cluster readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_cluster_readonly_name)
		once
			Result := named_icon_buffer (folder_cluster_readonly_name)
		end

	frozen folder_blank_icon: !EV_PIXMAP
			-- Access to 'blank' pixmap.
		require
			has_named_icon: has_named_icon (folder_blank_name)
		once
			Result := named_icon (folder_blank_name)
		end

	frozen folder_blank_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_blank_name)
		once
			Result := named_icon_buffer (folder_blank_name)
		end

	frozen folder_blank_readonly_icon: !EV_PIXMAP
			-- Access to 'blank readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_blank_readonly_name)
		once
			Result := named_icon (folder_blank_readonly_name)
		end

	frozen folder_blank_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_blank_readonly_name)
		once
			Result := named_icon_buffer (folder_blank_readonly_name)
		end

	frozen folder_library_icon: !EV_PIXMAP
			-- Access to 'library' pixmap.
		require
			has_named_icon: has_named_icon (folder_library_name)
		once
			Result := named_icon (folder_library_name)
		end

	frozen folder_library_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'library' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_library_name)
		once
			Result := named_icon_buffer (folder_library_name)
		end

	frozen folder_library_readonly_icon: !EV_PIXMAP
			-- Access to 'library readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_library_readonly_name)
		once
			Result := named_icon (folder_library_readonly_name)
		end

	frozen folder_library_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'library readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_library_readonly_name)
		once
			Result := named_icon_buffer (folder_library_readonly_name)
		end

	frozen folder_precompiled_library_icon: !EV_PIXMAP
			-- Access to 'precompiled library' pixmap.
		require
			has_named_icon: has_named_icon (folder_precompiled_library_name)
		once
			Result := named_icon (folder_precompiled_library_name)
		end

	frozen folder_precompiled_library_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'precompiled library' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_precompiled_library_name)
		once
			Result := named_icon_buffer (folder_precompiled_library_name)
		end

	frozen folder_precompiled_library_readonly_icon: !EV_PIXMAP
			-- Access to 'precompiled library readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_precompiled_library_readonly_name)
		once
			Result := named_icon (folder_precompiled_library_readonly_name)
		end

	frozen folder_precompiled_library_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'precompiled library readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_precompiled_library_readonly_name)
		once
			Result := named_icon_buffer (folder_precompiled_library_readonly_name)
		end

	frozen folder_assembly_icon: !EV_PIXMAP
			-- Access to 'assembly' pixmap.
		require
			has_named_icon: has_named_icon (folder_assembly_name)
		once
			Result := named_icon (folder_assembly_name)
		end

	frozen folder_assembly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assembly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_assembly_name)
		once
			Result := named_icon_buffer (folder_assembly_name)
		end

	frozen folder_namespace_icon: !EV_PIXMAP
			-- Access to 'namespace' pixmap.
		require
			has_named_icon: has_named_icon (folder_namespace_name)
		once
			Result := named_icon (folder_namespace_name)
		end

	frozen folder_namespace_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'namespace' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_namespace_name)
		once
			Result := named_icon_buffer (folder_namespace_name)
		end

	frozen folder_preference_icon: !EV_PIXMAP
			-- Access to 'preference' pixmap.
		require
			has_named_icon: has_named_icon (folder_preference_name)
		once
			Result := named_icon (folder_preference_name)
		end

	frozen folder_preference_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'preference' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_preference_name)
		once
			Result := named_icon_buffer (folder_preference_name)
		end

	frozen folder_config_icon: !EV_PIXMAP
			-- Access to 'config' pixmap.
		require
			has_named_icon: has_named_icon (folder_config_name)
		once
			Result := named_icon (folder_config_name)
		end

	frozen folder_config_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'config' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_config_name)
		once
			Result := named_icon_buffer (folder_config_name)
		end

	frozen folder_target_icon: !EV_PIXMAP
			-- Access to 'target' pixmap.
		require
			has_named_icon: has_named_icon (folder_target_name)
		once
			Result := named_icon (folder_target_name)
		end

	frozen folder_target_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'target' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_target_name)
		once
			Result := named_icon_buffer (folder_target_name)
		end

	frozen folder_hidden_cluster_icon: !EV_PIXMAP
			-- Access to 'cluster' pixmap.
		require
			has_named_icon: has_named_icon (folder_hidden_cluster_name)
		once
			Result := named_icon (folder_hidden_cluster_name)
		end

	frozen folder_hidden_cluster_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cluster' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_hidden_cluster_name)
		once
			Result := named_icon_buffer (folder_hidden_cluster_name)
		end

	frozen folder_hidden_cluster_readonly_icon: !EV_PIXMAP
			-- Access to 'cluster readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_hidden_cluster_readonly_name)
		once
			Result := named_icon (folder_hidden_cluster_readonly_name)
		end

	frozen folder_hidden_cluster_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cluster readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_hidden_cluster_readonly_name)
		once
			Result := named_icon_buffer (folder_hidden_cluster_readonly_name)
		end

	frozen folder_hidden_blank_icon: !EV_PIXMAP
			-- Access to 'blank' pixmap.
		require
			has_named_icon: has_named_icon (folder_hidden_blank_name)
		once
			Result := named_icon (folder_hidden_blank_name)
		end

	frozen folder_hidden_blank_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_hidden_blank_name)
		once
			Result := named_icon_buffer (folder_hidden_blank_name)
		end

	frozen folder_hidden_blank_readonly_icon: !EV_PIXMAP
			-- Access to 'blank readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_hidden_blank_readonly_name)
		once
			Result := named_icon (folder_hidden_blank_readonly_name)
		end

	frozen folder_hidden_blank_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_hidden_blank_readonly_name)
		once
			Result := named_icon_buffer (folder_hidden_blank_readonly_name)
		end

	frozen folder_override_cluster_icon: !EV_PIXMAP
			-- Access to 'cluster' pixmap.
		require
			has_named_icon: has_named_icon (folder_override_cluster_name)
		once
			Result := named_icon (folder_override_cluster_name)
		end

	frozen folder_override_cluster_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cluster' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_override_cluster_name)
		once
			Result := named_icon_buffer (folder_override_cluster_name)
		end

	frozen folder_override_cluster_readonly_icon: !EV_PIXMAP
			-- Access to 'cluster readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_override_cluster_readonly_name)
		once
			Result := named_icon (folder_override_cluster_readonly_name)
		end

	frozen folder_override_cluster_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cluster readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_override_cluster_readonly_name)
		once
			Result := named_icon_buffer (folder_override_cluster_readonly_name)
		end

	frozen folder_override_blank_icon: !EV_PIXMAP
			-- Access to 'blank' pixmap.
		require
			has_named_icon: has_named_icon (folder_override_blank_name)
		once
			Result := named_icon (folder_override_blank_name)
		end

	frozen folder_override_blank_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_override_blank_name)
		once
			Result := named_icon_buffer (folder_override_blank_name)
		end

	frozen folder_override_blank_readonly_icon: !EV_PIXMAP
			-- Access to 'blank readonly' pixmap.
		require
			has_named_icon: has_named_icon (folder_override_blank_readonly_name)
		once
			Result := named_icon (folder_override_blank_readonly_name)
		end

	frozen folder_override_blank_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (folder_override_blank_readonly_name)
		once
			Result := named_icon_buffer (folder_override_blank_readonly_name)
		end

	frozen tool_features_icon: !EV_PIXMAP
			-- Access to 'features' pixmap.
		require
			has_named_icon: has_named_icon (tool_features_name)
		once
			Result := named_icon (tool_features_name)
		end

	frozen tool_features_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'features' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_features_name)
		once
			Result := named_icon_buffer (tool_features_name)
		end

	frozen tool_clusters_icon: !EV_PIXMAP
			-- Access to 'clusters' pixmap.
		require
			has_named_icon: has_named_icon (tool_clusters_name)
		once
			Result := named_icon (tool_clusters_name)
		end

	frozen tool_clusters_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'clusters' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_clusters_name)
		once
			Result := named_icon_buffer (tool_clusters_name)
		end

	frozen tool_class_icon: !EV_PIXMAP
			-- Access to 'class' pixmap.
		require
			has_named_icon: has_named_icon (tool_class_name)
		once
			Result := named_icon (tool_class_name)
		end

	frozen tool_class_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'class' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_class_name)
		once
			Result := named_icon_buffer (tool_class_name)
		end

	frozen tool_feature_icon: !EV_PIXMAP
			-- Access to 'feature' pixmap.
		require
			has_named_icon: has_named_icon (tool_feature_name)
		once
			Result := named_icon (tool_feature_name)
		end

	frozen tool_feature_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'feature' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_feature_name)
		once
			Result := named_icon_buffer (tool_feature_name)
		end

	frozen tool_search_icon: !EV_PIXMAP
			-- Access to 'search' pixmap.
		require
			has_named_icon: has_named_icon (tool_search_name)
		once
			Result := named_icon (tool_search_name)
		end

	frozen tool_search_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'search' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_search_name)
		once
			Result := named_icon_buffer (tool_search_name)
		end

	frozen tool_advanced_search_icon: !EV_PIXMAP
			-- Access to 'advanced search' pixmap.
		require
			has_named_icon: has_named_icon (tool_advanced_search_name)
		once
			Result := named_icon (tool_advanced_search_name)
		end

	frozen tool_advanced_search_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'advanced search' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_advanced_search_name)
		once
			Result := named_icon_buffer (tool_advanced_search_name)
		end

	frozen tool_diagram_icon: !EV_PIXMAP
			-- Access to 'diagram' pixmap.
		require
			has_named_icon: has_named_icon (tool_diagram_name)
		once
			Result := named_icon (tool_diagram_name)
		end

	frozen tool_diagram_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'diagram' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_diagram_name)
		once
			Result := named_icon_buffer (tool_diagram_name)
		end

	frozen tool_error_icon: !EV_PIXMAP
			-- Access to 'error' pixmap.
		require
			has_named_icon: has_named_icon (tool_error_name)
		once
			Result := named_icon (tool_error_name)
		end

	frozen tool_error_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'error' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_error_name)
		once
			Result := named_icon_buffer (tool_error_name)
		end

	frozen tool_warning_icon: !EV_PIXMAP
			-- Access to 'warning' pixmap.
		require
			has_named_icon: has_named_icon (tool_warning_name)
		once
			Result := named_icon (tool_warning_name)
		end

	frozen tool_warning_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'warning' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_warning_name)
		once
			Result := named_icon_buffer (tool_warning_name)
		end

	frozen tool_breakpoints_icon: !EV_PIXMAP
			-- Access to 'breakpoints' pixmap.
		require
			has_named_icon: has_named_icon (tool_breakpoints_name)
		once
			Result := named_icon (tool_breakpoints_name)
		end

	frozen tool_breakpoints_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'breakpoints' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_breakpoints_name)
		once
			Result := named_icon_buffer (tool_breakpoints_name)
		end

	frozen tool_external_commands_icon: !EV_PIXMAP
			-- Access to 'external commands' pixmap.
		require
			has_named_icon: has_named_icon (tool_external_commands_name)
		once
			Result := named_icon (tool_external_commands_name)
		end

	frozen tool_external_commands_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'external commands' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_external_commands_name)
		once
			Result := named_icon_buffer (tool_external_commands_name)
		end

	frozen tool_preferences_icon: !EV_PIXMAP
			-- Access to 'preferences' pixmap.
		require
			has_named_icon: has_named_icon (tool_preferences_name)
		once
			Result := named_icon (tool_preferences_name)
		end

	frozen tool_preferences_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'preferences' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_preferences_name)
		once
			Result := named_icon_buffer (tool_preferences_name)
		end

	frozen tool_call_stack_icon: !EV_PIXMAP
			-- Access to 'call stack' pixmap.
		require
			has_named_icon: has_named_icon (tool_call_stack_name)
		once
			Result := named_icon (tool_call_stack_name)
		end

	frozen tool_call_stack_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'call stack' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_call_stack_name)
		once
			Result := named_icon_buffer (tool_call_stack_name)
		end

	frozen tool_favorites_icon: !EV_PIXMAP
			-- Access to 'favorites' pixmap.
		require
			has_named_icon: has_named_icon (tool_favorites_name)
		once
			Result := named_icon (tool_favorites_name)
		end

	frozen tool_favorites_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'favorites' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_favorites_name)
		once
			Result := named_icon_buffer (tool_favorites_name)
		end

	frozen tool_output_icon: !EV_PIXMAP
			-- Access to 'output' pixmap.
		require
			has_named_icon: has_named_icon (tool_output_name)
		once
			Result := named_icon (tool_output_name)
		end

	frozen tool_output_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'output' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_output_name)
		once
			Result := named_icon_buffer (tool_output_name)
		end

	frozen tool_external_output_icon: !EV_PIXMAP
			-- Access to 'external output' pixmap.
		require
			has_named_icon: has_named_icon (tool_external_output_name)
		once
			Result := named_icon (tool_external_output_name)
		end

	frozen tool_external_output_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'external output' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_external_output_name)
		once
			Result := named_icon_buffer (tool_external_output_name)
		end

	frozen tool_objects_icon: !EV_PIXMAP
			-- Access to 'objects' pixmap.
		require
			has_named_icon: has_named_icon (tool_objects_name)
		once
			Result := named_icon (tool_objects_name)
		end

	frozen tool_objects_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'objects' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_objects_name)
		once
			Result := named_icon_buffer (tool_objects_name)
		end

	frozen tool_watch_icon: !EV_PIXMAP
			-- Access to 'watch' pixmap.
		require
			has_named_icon: has_named_icon (tool_watch_name)
		once
			Result := named_icon (tool_watch_name)
		end

	frozen tool_watch_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'watch' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_watch_name)
		once
			Result := named_icon_buffer (tool_watch_name)
		end

	frozen tool_c_output_icon: !EV_PIXMAP
			-- Access to 'c output' pixmap.
		require
			has_named_icon: has_named_icon (tool_c_output_name)
		once
			Result := named_icon (tool_c_output_name)
		end

	frozen tool_c_output_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'c output' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_c_output_name)
		once
			Result := named_icon_buffer (tool_c_output_name)
		end

	frozen tool_config_icon: !EV_PIXMAP
			-- Access to 'config' pixmap.
		require
			has_named_icon: has_named_icon (tool_config_name)
		once
			Result := named_icon (tool_config_name)
		end

	frozen tool_config_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'config' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_config_name)
		once
			Result := named_icon_buffer (tool_config_name)
		end

	frozen tool_metric_icon: !EV_PIXMAP
			-- Access to 'metric' pixmap.
		require
			has_named_icon: has_named_icon (tool_metric_name)
		once
			Result := named_icon (tool_metric_name)
		end

	frozen tool_metric_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'metric' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_metric_name)
		once
			Result := named_icon_buffer (tool_metric_name)
		end

	frozen tool_output_successful_icon: !EV_PIXMAP
			-- Access to 'output successful' pixmap.
		require
			has_named_icon: has_named_icon (tool_output_successful_name)
		once
			Result := named_icon (tool_output_successful_name)
		end

	frozen tool_output_successful_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'output successful' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_output_successful_name)
		once
			Result := named_icon_buffer (tool_output_successful_name)
		end

	frozen tool_output_failed_icon: !EV_PIXMAP
			-- Access to 'output failed' pixmap.
		require
			has_named_icon: has_named_icon (tool_output_failed_name)
		once
			Result := named_icon (tool_output_failed_name)
		end

	frozen tool_output_failed_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'output failed' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_output_failed_name)
		once
			Result := named_icon_buffer (tool_output_failed_name)
		end

	frozen tool_c_output_successful_icon: !EV_PIXMAP
			-- Access to 'c output successful' pixmap.
		require
			has_named_icon: has_named_icon (tool_c_output_successful_name)
		once
			Result := named_icon (tool_c_output_successful_name)
		end

	frozen tool_c_output_successful_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'c output successful' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_c_output_successful_name)
		once
			Result := named_icon_buffer (tool_c_output_successful_name)
		end

	frozen tool_c_output_failed_icon: !EV_PIXMAP
			-- Access to 'c output failed' pixmap.
		require
			has_named_icon: has_named_icon (tool_c_output_failed_name)
		once
			Result := named_icon (tool_c_output_failed_name)
		end

	frozen tool_c_output_failed_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'c output failed' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_c_output_failed_name)
		once
			Result := named_icon_buffer (tool_c_output_failed_name)
		end

	frozen tool_threads_icon: !EV_PIXMAP
			-- Access to 'threads' pixmap.
		require
			has_named_icon: has_named_icon (tool_threads_name)
		once
			Result := named_icon (tool_threads_name)
		end

	frozen tool_threads_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'threads' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_threads_name)
		once
			Result := named_icon_buffer (tool_threads_name)
		end

	frozen tool_find_results_icon: !EV_PIXMAP
			-- Access to 'find results' pixmap.
		require
			has_named_icon: has_named_icon (tool_find_results_name)
		once
			Result := named_icon (tool_find_results_name)
		end

	frozen tool_find_results_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'find results' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_find_results_name)
		once
			Result := named_icon_buffer (tool_find_results_name)
		end

	frozen tool_properties_icon: !EV_PIXMAP
			-- Access to 'properties' pixmap.
		require
			has_named_icon: has_named_icon (tool_properties_name)
		once
			Result := named_icon (tool_properties_name)
		end

	frozen tool_properties_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'properties' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_properties_name)
		once
			Result := named_icon_buffer (tool_properties_name)
		end

	frozen tool_errors_list_with_errors_and_warnings_icon: !EV_PIXMAP
			-- Access to 'errors list with errors and warnings' pixmap.
		require
			has_named_icon: has_named_icon (tool_errors_list_with_errors_and_warnings_name)
		once
			Result := named_icon (tool_errors_list_with_errors_and_warnings_name)
		end

	frozen tool_errors_list_with_errors_and_warnings_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'errors list with errors and warnings' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_errors_list_with_errors_and_warnings_name)
		once
			Result := named_icon_buffer (tool_errors_list_with_errors_and_warnings_name)
		end

	frozen tool_errors_list_with_errors_icon: !EV_PIXMAP
			-- Access to 'errors list with errors' pixmap.
		require
			has_named_icon: has_named_icon (tool_errors_list_with_errors_name)
		once
			Result := named_icon (tool_errors_list_with_errors_name)
		end

	frozen tool_errors_list_with_errors_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'errors list with errors' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_errors_list_with_errors_name)
		once
			Result := named_icon_buffer (tool_errors_list_with_errors_name)
		end

	frozen tool_errors_list_with_warnings_icon: !EV_PIXMAP
			-- Access to 'errors list with warnings' pixmap.
		require
			has_named_icon: has_named_icon (tool_errors_list_with_warnings_name)
		once
			Result := named_icon (tool_errors_list_with_warnings_name)
		end

	frozen tool_errors_list_with_warnings_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'errors list with warnings' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_errors_list_with_warnings_name)
		once
			Result := named_icon_buffer (tool_errors_list_with_warnings_name)
		end

	frozen tool_contract_editor_icon: !EV_PIXMAP
			-- Access to 'contract editor' pixmap.
		require
			has_named_icon: has_named_icon (tool_contract_editor_name)
		once
			Result := named_icon (tool_contract_editor_name)
		end

	frozen tool_contract_editor_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'contract editor' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (tool_contract_editor_name)
		once
			Result := named_icon_buffer (tool_contract_editor_name)
		end

	frozen project_melt_icon: !EV_PIXMAP
			-- Access to 'melt' pixmap.
		require
			has_named_icon: has_named_icon (project_melt_name)
		once
			Result := named_icon (project_melt_name)
		end

	frozen project_melt_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'melt' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_melt_name)
		once
			Result := named_icon_buffer (project_melt_name)
		end

	frozen project_quick_melt_icon: !EV_PIXMAP
			-- Access to 'quick melt' pixmap.
		require
			has_named_icon: has_named_icon (project_quick_melt_name)
		once
			Result := named_icon (project_quick_melt_name)
		end

	frozen project_quick_melt_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'quick melt' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_quick_melt_name)
		once
			Result := named_icon_buffer (project_quick_melt_name)
		end

	frozen project_freeze_icon: !EV_PIXMAP
			-- Access to 'freeze' pixmap.
		require
			has_named_icon: has_named_icon (project_freeze_name)
		once
			Result := named_icon (project_freeze_name)
		end

	frozen project_freeze_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'freeze' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_freeze_name)
		once
			Result := named_icon_buffer (project_freeze_name)
		end

	frozen project_finalize_icon: !EV_PIXMAP
			-- Access to 'finalize' pixmap.
		require
			has_named_icon: has_named_icon (project_finalize_name)
		once
			Result := named_icon (project_finalize_name)
		end

	frozen project_finalize_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'finalize' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_finalize_name)
		once
			Result := named_icon_buffer (project_finalize_name)
		end

	frozen project_discover_melt_icon: !EV_PIXMAP
			-- Access to 'discover melt' pixmap.
		require
			has_named_icon: has_named_icon (project_discover_melt_name)
		once
			Result := named_icon (project_discover_melt_name)
		end

	frozen project_discover_melt_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'discover melt' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_discover_melt_name)
		once
			Result := named_icon_buffer (project_discover_melt_name)
		end

	frozen debug_run_icon: !EV_PIXMAP
			-- Access to 'run' pixmap.
		require
			has_named_icon: has_named_icon (debug_run_name)
		once
			Result := named_icon (debug_run_name)
		end

	frozen debug_run_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'run' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_run_name)
		once
			Result := named_icon_buffer (debug_run_name)
		end

	frozen debug_pause_icon: !EV_PIXMAP
			-- Access to 'pause' pixmap.
		require
			has_named_icon: has_named_icon (debug_pause_name)
		once
			Result := named_icon (debug_pause_name)
		end

	frozen debug_pause_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'pause' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_pause_name)
		once
			Result := named_icon_buffer (debug_pause_name)
		end

	frozen debug_stop_icon: !EV_PIXMAP
			-- Access to 'stop' pixmap.
		require
			has_named_icon: has_named_icon (debug_stop_name)
		once
			Result := named_icon (debug_stop_name)
		end

	frozen debug_stop_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'stop' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_stop_name)
		once
			Result := named_icon_buffer (debug_stop_name)
		end

	frozen debug_restart_icon: !EV_PIXMAP
			-- Access to 'restart' pixmap.
		require
			has_named_icon: has_named_icon (debug_restart_name)
		once
			Result := named_icon (debug_restart_name)
		end

	frozen debug_restart_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'restart' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_restart_name)
		once
			Result := named_icon_buffer (debug_restart_name)
		end

	frozen debug_show_execution_point_icon: !EV_PIXMAP
			-- Access to 'show execution point' pixmap.
		require
			has_named_icon: has_named_icon (debug_show_execution_point_name)
		once
			Result := named_icon (debug_show_execution_point_name)
		end

	frozen debug_show_execution_point_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'show execution point' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_show_execution_point_name)
		once
			Result := named_icon_buffer (debug_show_execution_point_name)
		end

	frozen debug_run_without_breakpoint_icon: !EV_PIXMAP
			-- Access to 'run without breakpoint' pixmap.
		require
			has_named_icon: has_named_icon (debug_run_without_breakpoint_name)
		once
			Result := named_icon (debug_run_without_breakpoint_name)
		end

	frozen debug_run_without_breakpoint_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'run without breakpoint' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_run_without_breakpoint_name)
		once
			Result := named_icon_buffer (debug_run_without_breakpoint_name)
		end

	frozen debug_run_finalized_icon: !EV_PIXMAP
			-- Access to 'run finalized' pixmap.
		require
			has_named_icon: has_named_icon (debug_run_finalized_name)
		once
			Result := named_icon (debug_run_finalized_name)
		end

	frozen debug_run_finalized_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'run finalized' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_run_finalized_name)
		once
			Result := named_icon_buffer (debug_run_finalized_name)
		end

	frozen debug_step_into_icon: !EV_PIXMAP
			-- Access to 'step into' pixmap.
		require
			has_named_icon: has_named_icon (debug_step_into_name)
		once
			Result := named_icon (debug_step_into_name)
		end

	frozen debug_step_into_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'step into' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_step_into_name)
		once
			Result := named_icon_buffer (debug_step_into_name)
		end

	frozen debug_step_over_icon: !EV_PIXMAP
			-- Access to 'step over' pixmap.
		require
			has_named_icon: has_named_icon (debug_step_over_name)
		once
			Result := named_icon (debug_step_over_name)
		end

	frozen debug_step_over_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'step over' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_step_over_name)
		once
			Result := named_icon_buffer (debug_step_over_name)
		end

	frozen debug_step_out_icon: !EV_PIXMAP
			-- Access to 'step out' pixmap.
		require
			has_named_icon: has_named_icon (debug_step_out_name)
		once
			Result := named_icon (debug_step_out_name)
		end

	frozen debug_step_out_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'step out' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_step_out_name)
		once
			Result := named_icon_buffer (debug_step_out_name)
		end

	frozen debug_exception_dialog_icon: !EV_PIXMAP
			-- Access to 'exception dialog' pixmap.
		require
			has_named_icon: has_named_icon (debug_exception_dialog_name)
		once
			Result := named_icon (debug_exception_dialog_name)
		end

	frozen debug_exception_dialog_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'exception dialog' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_exception_dialog_name)
		once
			Result := named_icon_buffer (debug_exception_dialog_name)
		end

	frozen debug_disable_assertions_icon: !EV_PIXMAP
			-- Access to 'disable assertions' pixmap.
		require
			has_named_icon: has_named_icon (debug_disable_assertions_name)
		once
			Result := named_icon (debug_disable_assertions_name)
		end

	frozen debug_disable_assertions_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'disable assertions' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_disable_assertions_name)
		once
			Result := named_icon_buffer (debug_disable_assertions_name)
		end

	frozen debug_resume_assertions_icon: !EV_PIXMAP
			-- Access to 'resume assertions' pixmap.
		require
			has_named_icon: has_named_icon (debug_resume_assertions_name)
		once
			Result := named_icon (debug_resume_assertions_name)
		end

	frozen debug_resume_assertions_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'resume assertions' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_resume_assertions_name)
		once
			Result := named_icon_buffer (debug_resume_assertions_name)
		end

	frozen debug_exception_handling_icon: !EV_PIXMAP
			-- Access to 'exception handling' pixmap.
		require
			has_named_icon: has_named_icon (debug_exception_handling_name)
		once
			Result := named_icon (debug_exception_handling_name)
		end

	frozen debug_exception_handling_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'exception handling' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debug_exception_handling_name)
		once
			Result := named_icon_buffer (debug_exception_handling_name)
		end

	frozen debugger_object_immediate_icon: !EV_PIXMAP
			-- Access to 'immediate' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_immediate_name)
		once
			Result := named_icon (debugger_object_immediate_name)
		end

	frozen debugger_object_immediate_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'immediate' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_immediate_name)
		once
			Result := named_icon_buffer (debugger_object_immediate_name)
		end

	frozen debugger_object_eiffel_icon: !EV_PIXMAP
			-- Access to 'eiffel' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_eiffel_name)
		once
			Result := named_icon (debugger_object_eiffel_name)
		end

	frozen debugger_object_eiffel_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'eiffel' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_eiffel_name)
		once
			Result := named_icon_buffer (debugger_object_eiffel_name)
		end

	frozen debugger_object_dotnet_icon: !EV_PIXMAP
			-- Access to 'dotnet' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_dotnet_name)
		once
			Result := named_icon (debugger_object_dotnet_name)
		end

	frozen debugger_object_dotnet_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'dotnet' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_dotnet_name)
		once
			Result := named_icon_buffer (debugger_object_dotnet_name)
		end

	frozen debugger_object_dotnet_static_icon: !EV_PIXMAP
			-- Access to 'dotnet static' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_dotnet_static_name)
		once
			Result := named_icon (debugger_object_dotnet_static_name)
		end

	frozen debugger_object_dotnet_static_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'dotnet static' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_dotnet_static_name)
		once
			Result := named_icon_buffer (debugger_object_dotnet_static_name)
		end

	frozen debugger_object_static_icon: !EV_PIXMAP
			-- Access to 'static' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_static_name)
		once
			Result := named_icon (debugger_object_static_name)
		end

	frozen debugger_object_static_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'static' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_static_name)
		once
			Result := named_icon_buffer (debugger_object_static_name)
		end

	frozen debugger_object_void_icon: !EV_PIXMAP
			-- Access to 'void' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_void_name)
		once
			Result := named_icon (debugger_object_void_name)
		end

	frozen debugger_object_void_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'void' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_void_name)
		once
			Result := named_icon_buffer (debugger_object_void_name)
		end

	frozen debugger_object_expanded_icon: !EV_PIXMAP
			-- Access to 'expanded' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_expanded_name)
		once
			Result := named_icon (debugger_object_expanded_name)
		end

	frozen debugger_object_expanded_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'expanded' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_expanded_name)
		once
			Result := named_icon_buffer (debugger_object_expanded_name)
		end

	frozen debugger_object_dotnet_expanded_icon: !EV_PIXMAP
			-- Access to 'dotnet expanded' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_dotnet_expanded_name)
		once
			Result := named_icon (debugger_object_dotnet_expanded_name)
		end

	frozen debugger_object_dotnet_expanded_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'dotnet expanded' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_dotnet_expanded_name)
		once
			Result := named_icon_buffer (debugger_object_dotnet_expanded_name)
		end

	frozen debugger_object_watched_icon: !EV_PIXMAP
			-- Access to 'watched' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_watched_name)
		once
			Result := named_icon (debugger_object_watched_name)
		end

	frozen debugger_object_watched_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'watched' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_watched_name)
		once
			Result := named_icon_buffer (debugger_object_watched_name)
		end

	frozen debugger_object_watched_disabled_icon: !EV_PIXMAP
			-- Access to 'watched disabled' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_watched_disabled_name)
		once
			Result := named_icon (debugger_object_watched_disabled_name)
		end

	frozen debugger_object_watched_disabled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'watched disabled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_watched_disabled_name)
		once
			Result := named_icon_buffer (debugger_object_watched_disabled_name)
		end

	frozen debugger_object_expand_icon: !EV_PIXMAP
			-- Access to 'expand' pixmap.
		require
			has_named_icon: has_named_icon (debugger_object_expand_name)
		once
			Result := named_icon (debugger_object_expand_name)
		end

	frozen debugger_object_expand_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'expand' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_object_expand_name)
		once
			Result := named_icon_buffer (debugger_object_expand_name)
		end

	frozen breakpoints_delete_icon: !EV_PIXMAP
			-- Access to 'delete' pixmap.
		require
			has_named_icon: has_named_icon (breakpoints_delete_name)
		once
			Result := named_icon (breakpoints_delete_name)
		end

	frozen breakpoints_delete_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'delete' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (breakpoints_delete_name)
		once
			Result := named_icon_buffer (breakpoints_delete_name)
		end

	frozen breakpoints_disable_icon: !EV_PIXMAP
			-- Access to 'disable' pixmap.
		require
			has_named_icon: has_named_icon (breakpoints_disable_name)
		once
			Result := named_icon (breakpoints_disable_name)
		end

	frozen breakpoints_disable_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'disable' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (breakpoints_disable_name)
		once
			Result := named_icon_buffer (breakpoints_disable_name)
		end

	frozen breakpoints_enable_icon: !EV_PIXMAP
			-- Access to 'enable' pixmap.
		require
			has_named_icon: has_named_icon (breakpoints_enable_name)
		once
			Result := named_icon (breakpoints_enable_name)
		end

	frozen breakpoints_enable_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'enable' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (breakpoints_enable_name)
		once
			Result := named_icon_buffer (breakpoints_enable_name)
		end

	frozen callstack_active_arrow_icon: !EV_PIXMAP
			-- Access to 'active arrow' pixmap.
		require
			has_named_icon: has_named_icon (callstack_active_arrow_name)
		once
			Result := named_icon (callstack_active_arrow_name)
		end

	frozen callstack_active_arrow_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'active arrow' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (callstack_active_arrow_name)
		once
			Result := named_icon_buffer (callstack_active_arrow_name)
		end

	frozen callstack_empty_arrow_icon: !EV_PIXMAP
			-- Access to 'empty arrow' pixmap.
		require
			has_named_icon: has_named_icon (callstack_empty_arrow_name)
		once
			Result := named_icon (callstack_empty_arrow_name)
		end

	frozen callstack_empty_arrow_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'empty arrow' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (callstack_empty_arrow_name)
		once
			Result := named_icon_buffer (callstack_empty_arrow_name)
		end

	frozen callstack_marked_arrow_icon: !EV_PIXMAP
			-- Access to 'marked arrow' pixmap.
		require
			has_named_icon: has_named_icon (callstack_marked_arrow_name)
		once
			Result := named_icon (callstack_marked_arrow_name)
		end

	frozen callstack_marked_arrow_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'marked arrow' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (callstack_marked_arrow_name)
		once
			Result := named_icon_buffer (callstack_marked_arrow_name)
		end

	frozen callstack_replayed_active_icon: !EV_PIXMAP
			-- Access to 'replayed active' pixmap.
		require
			has_named_icon: has_named_icon (callstack_replayed_active_name)
		once
			Result := named_icon (callstack_replayed_active_name)
		end

	frozen callstack_replayed_active_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'replayed active' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (callstack_replayed_active_name)
		once
			Result := named_icon_buffer (callstack_replayed_active_name)
		end

	frozen callstack_replayed_empty_icon: !EV_PIXMAP
			-- Access to 'replayed empty' pixmap.
		require
			has_named_icon: has_named_icon (callstack_replayed_empty_name)
		once
			Result := named_icon (callstack_replayed_empty_name)
		end

	frozen callstack_replayed_empty_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'replayed empty' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (callstack_replayed_empty_name)
		once
			Result := named_icon_buffer (callstack_replayed_empty_name)
		end

	frozen callstack_replayed_marked_icon: !EV_PIXMAP
			-- Access to 'replayed marked' pixmap.
		require
			has_named_icon: has_named_icon (callstack_replayed_marked_name)
		once
			Result := named_icon (callstack_replayed_marked_name)
		end

	frozen callstack_replayed_marked_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'replayed marked' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (callstack_replayed_marked_name)
		once
			Result := named_icon_buffer (callstack_replayed_marked_name)
		end

	frozen debugger_environment_force_debug_mode_icon: !EV_PIXMAP
			-- Access to 'force debug mode' pixmap.
		require
			has_named_icon: has_named_icon (debugger_environment_force_debug_mode_name)
		once
			Result := named_icon (debugger_environment_force_debug_mode_name)
		end

	frozen debugger_environment_force_debug_mode_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'force debug mode' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_environment_force_debug_mode_name)
		once
			Result := named_icon_buffer (debugger_environment_force_debug_mode_name)
		end

	frozen debugger_environment_with_breakpoints_icon: !EV_PIXMAP
			-- Access to 'with breakpoints' pixmap.
		require
			has_named_icon: has_named_icon (debugger_environment_with_breakpoints_name)
		once
			Result := named_icon (debugger_environment_with_breakpoints_name)
		end

	frozen debugger_environment_with_breakpoints_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'with breakpoints' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_environment_with_breakpoints_name)
		once
			Result := named_icon_buffer (debugger_environment_with_breakpoints_name)
		end

	frozen debugger_environment_without_breakpoints_icon: !EV_PIXMAP
			-- Access to 'without breakpoints' pixmap.
		require
			has_named_icon: has_named_icon (debugger_environment_without_breakpoints_name)
		once
			Result := named_icon (debugger_environment_without_breakpoints_name)
		end

	frozen debugger_environment_without_breakpoints_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'without breakpoints' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (debugger_environment_without_breakpoints_name)
		once
			Result := named_icon_buffer (debugger_environment_without_breakpoints_name)
		end

	frozen execution_record_icon: !EV_PIXMAP
			-- Access to 'record' pixmap.
		require
			has_named_icon: has_named_icon (execution_record_name)
		once
			Result := named_icon (execution_record_name)
		end

	frozen execution_record_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'record' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (execution_record_name)
		once
			Result := named_icon_buffer (execution_record_name)
		end

	frozen execution_replay_icon: !EV_PIXMAP
			-- Access to 'replay' pixmap.
		require
			has_named_icon: has_named_icon (execution_replay_name)
		once
			Result := named_icon (execution_replay_name)
		end

	frozen execution_replay_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'replay' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (execution_replay_name)
		once
			Result := named_icon_buffer (execution_replay_name)
		end

	frozen execution_object_storage_icon: !EV_PIXMAP
			-- Access to 'object storage' pixmap.
		require
			has_named_icon: has_named_icon (execution_object_storage_name)
		once
			Result := named_icon (execution_object_storage_name)
		end

	frozen execution_object_storage_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'object storage' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (execution_object_storage_name)
		once
			Result := named_icon_buffer (execution_object_storage_name)
		end

	frozen general_blank_icon: !EV_PIXMAP
			-- Access to 'blank' pixmap.
		require
			has_named_icon: has_named_icon (general_blank_name)
		once
			Result := named_icon (general_blank_name)
		end

	frozen general_blank_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_blank_name)
		once
			Result := named_icon_buffer (general_blank_name)
		end

	frozen general_dialog_icon: !EV_PIXMAP
			-- Access to 'dialog' pixmap.
		require
			has_named_icon: has_named_icon (general_dialog_name)
		once
			Result := named_icon (general_dialog_name)
		end

	frozen general_dialog_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'dialog' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_dialog_name)
		once
			Result := named_icon_buffer (general_dialog_name)
		end

	frozen general_open_icon: !EV_PIXMAP
			-- Access to 'open' pixmap.
		require
			has_named_icon: has_named_icon (general_open_name)
		once
			Result := named_icon (general_open_name)
		end

	frozen general_open_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'open' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_open_name)
		once
			Result := named_icon_buffer (general_open_name)
		end

	frozen general_save_icon: !EV_PIXMAP
			-- Access to 'save' pixmap.
		require
			has_named_icon: has_named_icon (general_save_name)
		once
			Result := named_icon (general_save_name)
		end

	frozen general_save_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'save' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_save_name)
		once
			Result := named_icon_buffer (general_save_name)
		end

	frozen general_save_all_icon: !EV_PIXMAP
			-- Access to 'save all' pixmap.
		require
			has_named_icon: has_named_icon (general_save_all_name)
		once
			Result := named_icon (general_save_all_name)
		end

	frozen general_save_all_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'save all' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_save_all_name)
		once
			Result := named_icon_buffer (general_save_all_name)
		end

	frozen general_add_icon: !EV_PIXMAP
			-- Access to 'add' pixmap.
		require
			has_named_icon: has_named_icon (general_add_name)
		once
			Result := named_icon (general_add_name)
		end

	frozen general_add_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'add' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_add_name)
		once
			Result := named_icon_buffer (general_add_name)
		end

	frozen general_edit_icon: !EV_PIXMAP
			-- Access to 'edit' pixmap.
		require
			has_named_icon: has_named_icon (general_edit_name)
		once
			Result := named_icon (general_edit_name)
		end

	frozen general_edit_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'edit' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_edit_name)
		once
			Result := named_icon_buffer (general_edit_name)
		end

	frozen general_remove_icon: !EV_PIXMAP
			-- Access to 'remove' pixmap.
		require
			has_named_icon: has_named_icon (general_remove_name)
		once
			Result := named_icon (general_remove_name)
		end

	frozen general_remove_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'remove' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_remove_name)
		once
			Result := named_icon_buffer (general_remove_name)
		end

	frozen general_delete_icon: !EV_PIXMAP
			-- Access to 'delete' pixmap.
		require
			has_named_icon: has_named_icon (general_delete_name)
		once
			Result := named_icon (general_delete_name)
		end

	frozen general_delete_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'delete' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_delete_name)
		once
			Result := named_icon_buffer (general_delete_name)
		end

	frozen general_document_icon: !EV_PIXMAP
			-- Access to 'document' pixmap.
		require
			has_named_icon: has_named_icon (general_document_name)
		once
			Result := named_icon (general_document_name)
		end

	frozen general_document_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'document' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_document_name)
		once
			Result := named_icon_buffer (general_document_name)
		end

	frozen general_cut_icon: !EV_PIXMAP
			-- Access to 'cut' pixmap.
		require
			has_named_icon: has_named_icon (general_cut_name)
		once
			Result := named_icon (general_cut_name)
		end

	frozen general_cut_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cut' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_cut_name)
		once
			Result := named_icon_buffer (general_cut_name)
		end

	frozen general_copy_icon: !EV_PIXMAP
			-- Access to 'copy' pixmap.
		require
			has_named_icon: has_named_icon (general_copy_name)
		once
			Result := named_icon (general_copy_name)
		end

	frozen general_copy_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'copy' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_copy_name)
		once
			Result := named_icon_buffer (general_copy_name)
		end

	frozen general_paste_icon: !EV_PIXMAP
			-- Access to 'paste' pixmap.
		require
			has_named_icon: has_named_icon (general_paste_name)
		once
			Result := named_icon (general_paste_name)
		end

	frozen general_paste_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'paste' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_paste_name)
		once
			Result := named_icon_buffer (general_paste_name)
		end

	frozen general_undo_icon: !EV_PIXMAP
			-- Access to 'undo' pixmap.
		require
			has_named_icon: has_named_icon (general_undo_name)
		once
			Result := named_icon (general_undo_name)
		end

	frozen general_undo_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'undo' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_undo_name)
		once
			Result := named_icon_buffer (general_undo_name)
		end

	frozen general_redo_icon: !EV_PIXMAP
			-- Access to 'redo' pixmap.
		require
			has_named_icon: has_named_icon (general_redo_name)
		once
			Result := named_icon (general_redo_name)
		end

	frozen general_redo_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'redo' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_redo_name)
		once
			Result := named_icon_buffer (general_redo_name)
		end

	frozen general_error_icon: !EV_PIXMAP
			-- Access to 'error' pixmap.
		require
			has_named_icon: has_named_icon (general_error_name)
		once
			Result := named_icon (general_error_name)
		end

	frozen general_error_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'error' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_error_name)
		once
			Result := named_icon_buffer (general_error_name)
		end

	frozen general_mini_error_icon: !EV_PIXMAP
			-- Access to 'mini error' pixmap.
		require
			has_named_icon: has_named_icon (general_mini_error_name)
		once
			Result := named_icon (general_mini_error_name)
		end

	frozen general_mini_error_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'mini error' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_mini_error_name)
		once
			Result := named_icon_buffer (general_mini_error_name)
		end

	frozen general_warning_icon: !EV_PIXMAP
			-- Access to 'warning' pixmap.
		require
			has_named_icon: has_named_icon (general_warning_name)
		once
			Result := named_icon (general_warning_name)
		end

	frozen general_warning_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'warning' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_warning_name)
		once
			Result := named_icon_buffer (general_warning_name)
		end

	frozen general_show_tool_tips_icon: !EV_PIXMAP
			-- Access to 'show tool tips' pixmap.
		require
			has_named_icon: has_named_icon (general_show_tool_tips_name)
		once
			Result := named_icon (general_show_tool_tips_name)
		end

	frozen general_show_tool_tips_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'show tool tips' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_show_tool_tips_name)
		once
			Result := named_icon_buffer (general_show_tool_tips_name)
		end

	frozen general_close_icon: !EV_PIXMAP
			-- Access to 'close' pixmap.
		require
			has_named_icon: has_named_icon (general_close_name)
		once
			Result := named_icon (general_close_name)
		end

	frozen general_close_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'close' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_close_name)
		once
			Result := named_icon_buffer (general_close_name)
		end

	frozen general_arrow_up_icon: !EV_PIXMAP
			-- Access to 'arrow up' pixmap.
		require
			has_named_icon: has_named_icon (general_arrow_up_name)
		once
			Result := named_icon (general_arrow_up_name)
		end

	frozen general_arrow_up_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'arrow up' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_arrow_up_name)
		once
			Result := named_icon_buffer (general_arrow_up_name)
		end

	frozen general_arrow_down_icon: !EV_PIXMAP
			-- Access to 'arrow down' pixmap.
		require
			has_named_icon: has_named_icon (general_arrow_down_name)
		once
			Result := named_icon (general_arrow_down_name)
		end

	frozen general_arrow_down_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'arrow down' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_arrow_down_name)
		once
			Result := named_icon_buffer (general_arrow_down_name)
		end

	frozen general_tick_icon: !EV_PIXMAP
			-- Access to 'tick' pixmap.
		require
			has_named_icon: has_named_icon (general_tick_name)
		once
			Result := named_icon (general_tick_name)
		end

	frozen general_tick_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'tick' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_tick_name)
		once
			Result := named_icon_buffer (general_tick_name)
		end

	frozen general_word_wrap_icon: !EV_PIXMAP
			-- Access to 'word wrap' pixmap.
		require
			has_named_icon: has_named_icon (general_word_wrap_name)
		once
			Result := named_icon (general_word_wrap_name)
		end

	frozen general_word_wrap_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'word wrap' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_word_wrap_name)
		once
			Result := named_icon_buffer (general_word_wrap_name)
		end

	frozen general_send_enter_icon: !EV_PIXMAP
			-- Access to 'send enter' pixmap.
		require
			has_named_icon: has_named_icon (general_send_enter_name)
		once
			Result := named_icon (general_send_enter_name)
		end

	frozen general_send_enter_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'send enter' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_send_enter_name)
		once
			Result := named_icon_buffer (general_send_enter_name)
		end

	frozen general_reset_icon: !EV_PIXMAP
			-- Access to 'reset' pixmap.
		require
			has_named_icon: has_named_icon (general_reset_name)
		once
			Result := named_icon (general_reset_name)
		end

	frozen general_reset_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'reset' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_reset_name)
		once
			Result := named_icon_buffer (general_reset_name)
		end

	frozen general_hand_icon: !EV_PIXMAP
			-- Access to 'hand' pixmap.
		require
			has_named_icon: has_named_icon (general_hand_name)
		once
			Result := named_icon (general_hand_name)
		end

	frozen general_hand_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'hand' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_hand_name)
		once
			Result := named_icon_buffer (general_hand_name)
		end

	frozen general_print_icon: !EV_PIXMAP
			-- Access to 'print' pixmap.
		require
			has_named_icon: has_named_icon (general_print_name)
		once
			Result := named_icon (general_print_name)
		end

	frozen general_print_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'print' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_print_name)
		once
			Result := named_icon_buffer (general_print_name)
		end

	frozen general_undo_history_icon: !EV_PIXMAP
			-- Access to 'undo history' pixmap.
		require
			has_named_icon: has_named_icon (general_undo_history_name)
		once
			Result := named_icon (general_undo_history_name)
		end

	frozen general_undo_history_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'undo history' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_undo_history_name)
		once
			Result := named_icon_buffer (general_undo_history_name)
		end

	frozen general_check_document_icon: !EV_PIXMAP
			-- Access to 'check document' pixmap.
		require
			has_named_icon: has_named_icon (general_check_document_name)
		once
			Result := named_icon (general_check_document_name)
		end

	frozen general_check_document_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'check document' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_check_document_name)
		once
			Result := named_icon_buffer (general_check_document_name)
		end

	frozen general_move_up_icon: !EV_PIXMAP
			-- Access to 'move up' pixmap.
		require
			has_named_icon: has_named_icon (general_move_up_name)
		once
			Result := named_icon (general_move_up_name)
		end

	frozen general_move_up_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'move up' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_move_up_name)
		once
			Result := named_icon_buffer (general_move_up_name)
		end

	frozen general_move_down_icon: !EV_PIXMAP
			-- Access to 'move down' pixmap.
		require
			has_named_icon: has_named_icon (general_move_down_name)
		once
			Result := named_icon (general_move_down_name)
		end

	frozen general_move_down_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'move down' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_move_down_name)
		once
			Result := named_icon_buffer (general_move_down_name)
		end

	frozen general_move_left_icon: !EV_PIXMAP
			-- Access to 'move left' pixmap.
		require
			has_named_icon: has_named_icon (general_move_left_name)
		once
			Result := named_icon (general_move_left_name)
		end

	frozen general_move_left_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'move left' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_move_left_name)
		once
			Result := named_icon_buffer (general_move_left_name)
		end

	frozen general_move_right_icon: !EV_PIXMAP
			-- Access to 'move right' pixmap.
		require
			has_named_icon: has_named_icon (general_move_right_name)
		once
			Result := named_icon (general_move_right_name)
		end

	frozen general_move_right_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'move right' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_move_right_name)
		once
			Result := named_icon_buffer (general_move_right_name)
		end

	frozen general_close_document_icon: !EV_PIXMAP
			-- Access to 'close document' pixmap.
		require
			has_named_icon: has_named_icon (general_close_document_name)
		once
			Result := named_icon (general_close_document_name)
		end

	frozen general_close_document_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'close document' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_close_document_name)
		once
			Result := named_icon_buffer (general_close_document_name)
		end

	frozen general_close_all_documents_icon: !EV_PIXMAP
			-- Access to 'close all documents' pixmap.
		require
			has_named_icon: has_named_icon (general_close_all_documents_name)
		once
			Result := named_icon (general_close_all_documents_name)
		end

	frozen general_close_all_documents_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'close all documents' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_close_all_documents_name)
		once
			Result := named_icon_buffer (general_close_all_documents_name)
		end

	frozen general_show_hidden_icon: !EV_PIXMAP
			-- Access to 'show hidden' pixmap.
		require
			has_named_icon: has_named_icon (general_show_hidden_name)
		once
			Result := named_icon (general_show_hidden_name)
		end

	frozen general_show_hidden_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'show hidden' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_show_hidden_name)
		once
			Result := named_icon_buffer (general_show_hidden_name)
		end

	frozen general_refresh_icon: !EV_PIXMAP
			-- Access to 'refresh' pixmap.
		require
			has_named_icon: has_named_icon (general_refresh_name)
		once
			Result := named_icon (general_refresh_name)
		end

	frozen general_refresh_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'refresh' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_refresh_name)
		once
			Result := named_icon_buffer (general_refresh_name)
		end

	frozen general_filter_icon: !EV_PIXMAP
			-- Access to 'filter' pixmap.
		require
			has_named_icon: has_named_icon (general_filter_name)
		once
			Result := named_icon (general_filter_name)
		end

	frozen general_filter_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'filter' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_filter_name)
		once
			Result := named_icon_buffer (general_filter_name)
		end

	frozen general_information_icon: !EV_PIXMAP
			-- Access to 'information' pixmap.
		require
			has_named_icon: has_named_icon (general_information_name)
		once
			Result := named_icon (general_information_name)
		end

	frozen general_information_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'information' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (general_information_name)
		once
			Result := named_icon_buffer (general_information_name)
		end

	frozen sort_descending_icon: !EV_PIXMAP
			-- Access to 'descending' pixmap.
		require
			has_named_icon: has_named_icon (sort_descending_name)
		once
			Result := named_icon (sort_descending_name)
		end

	frozen sort_descending_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'descending' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (sort_descending_name)
		once
			Result := named_icon_buffer (sort_descending_name)
		end

	frozen sort_acending_icon: !EV_PIXMAP
			-- Access to 'acending' pixmap.
		require
			has_named_icon: has_named_icon (sort_acending_name)
		once
			Result := named_icon (sort_acending_name)
		end

	frozen sort_acending_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'acending' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (sort_acending_name)
		once
			Result := named_icon_buffer (sort_acending_name)
		end

	frozen sort_grouped_icon: !EV_PIXMAP
			-- Access to 'grouped' pixmap.
		require
			has_named_icon: has_named_icon (sort_grouped_name)
		once
			Result := named_icon (sort_grouped_name)
		end

	frozen sort_grouped_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'grouped' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (sort_grouped_name)
		once
			Result := named_icon_buffer (sort_grouped_name)
		end

	frozen command_send_to_external_editor_icon: !EV_PIXMAP
			-- Access to 'send to external editor' pixmap.
		require
			has_named_icon: has_named_icon (command_send_to_external_editor_name)
		once
			Result := named_icon (command_send_to_external_editor_name)
		end

	frozen command_send_to_external_editor_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'send to external editor' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (command_send_to_external_editor_name)
		once
			Result := named_icon_buffer (command_send_to_external_editor_name)
		end

	frozen command_error_info_icon: !EV_PIXMAP
			-- Access to 'error info' pixmap.
		require
			has_named_icon: has_named_icon (command_error_info_name)
		once
			Result := named_icon (command_error_info_name)
		end

	frozen command_error_info_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'error info' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (command_error_info_name)
		once
			Result := named_icon_buffer (command_error_info_name)
		end

	frozen command_system_info_icon: !EV_PIXMAP
			-- Access to 'system info' pixmap.
		require
			has_named_icon: has_named_icon (command_system_info_name)
		once
			Result := named_icon (command_system_info_name)
		end

	frozen command_system_info_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'system info' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (command_system_info_name)
		once
			Result := named_icon_buffer (command_system_info_name)
		end

	frozen command_show_features_of_any_icon: !EV_PIXMAP
			-- Access to 'show features of any' pixmap.
		require
			has_named_icon: has_named_icon (command_show_features_of_any_name)
		once
			Result := named_icon (command_show_features_of_any_name)
		end

	frozen command_show_features_of_any_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'show features of any' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (command_show_features_of_any_name)
		once
			Result := named_icon_buffer (command_show_features_of_any_name)
		end

	frozen command_go_to_definition_icon: !EV_PIXMAP
			-- Access to 'go to definition' pixmap.
		require
			has_named_icon: has_named_icon (command_go_to_definition_name)
		once
			Result := named_icon (command_go_to_definition_name)
		end

	frozen command_go_to_definition_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'go to definition' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (command_go_to_definition_name)
		once
			Result := named_icon_buffer (command_go_to_definition_name)
		end

	frozen refactor_feature_up_icon: !EV_PIXMAP
			-- Access to 'feature up' pixmap.
		require
			has_named_icon: has_named_icon (refactor_feature_up_name)
		once
			Result := named_icon (refactor_feature_up_name)
		end

	frozen refactor_feature_up_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'feature up' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (refactor_feature_up_name)
		once
			Result := named_icon_buffer (refactor_feature_up_name)
		end

	frozen refactor_rename_icon: !EV_PIXMAP
			-- Access to 'rename' pixmap.
		require
			has_named_icon: has_named_icon (refactor_rename_name)
		once
			Result := named_icon (refactor_rename_name)
		end

	frozen refactor_rename_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'rename' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (refactor_rename_name)
		once
			Result := named_icon_buffer (refactor_rename_name)
		end

	frozen context_link_icon: !EV_PIXMAP
			-- Access to 'link' pixmap.
		require
			has_named_icon: has_named_icon (context_link_name)
		once
			Result := named_icon (context_link_name)
		end

	frozen context_link_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'link' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (context_link_name)
		once
			Result := named_icon_buffer (context_link_name)
		end

	frozen context_unlink_icon: !EV_PIXMAP
			-- Access to 'unlink' pixmap.
		require
			has_named_icon: has_named_icon (context_unlink_name)
		once
			Result := named_icon (context_unlink_name)
		end

	frozen context_unlink_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'unlink' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (context_unlink_name)
		once
			Result := named_icon_buffer (context_unlink_name)
		end

	frozen context_sync_icon: !EV_PIXMAP
			-- Access to 'sync' pixmap.
		require
			has_named_icon: has_named_icon (context_sync_name)
		once
			Result := named_icon (context_sync_name)
		end

	frozen context_sync_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'sync' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (context_sync_name)
		once
			Result := named_icon_buffer (context_sync_name)
		end

	frozen search_bottom_reached_icon: !EV_PIXMAP
			-- Access to 'bottom reached' pixmap.
		require
			has_named_icon: has_named_icon (search_bottom_reached_name)
		once
			Result := named_icon (search_bottom_reached_name)
		end

	frozen search_bottom_reached_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'bottom reached' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (search_bottom_reached_name)
		once
			Result := named_icon_buffer (search_bottom_reached_name)
		end

	frozen search_first_reached_icon: !EV_PIXMAP
			-- Access to 'first reached' pixmap.
		require
			has_named_icon: has_named_icon (search_first_reached_name)
		once
			Result := named_icon (search_first_reached_name)
		end

	frozen search_first_reached_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'first reached' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (search_first_reached_name)
		once
			Result := named_icon_buffer (search_first_reached_name)
		end

	frozen windows_minimize_all_icon: !EV_PIXMAP
			-- Access to 'minimize all' pixmap.
		require
			has_named_icon: has_named_icon (windows_minimize_all_name)
		once
			Result := named_icon (windows_minimize_all_name)
		end

	frozen windows_minimize_all_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'minimize all' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (windows_minimize_all_name)
		once
			Result := named_icon_buffer (windows_minimize_all_name)
		end

	frozen windows_raise_all_icon: !EV_PIXMAP
			-- Access to 'raise all' pixmap.
		require
			has_named_icon: has_named_icon (windows_raise_all_name)
		once
			Result := named_icon (windows_raise_all_name)
		end

	frozen windows_raise_all_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'raise all' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (windows_raise_all_name)
		once
			Result := named_icon_buffer (windows_raise_all_name)
		end

	frozen windows_raise_all_unsaved_icon: !EV_PIXMAP
			-- Access to 'raise all unsaved' pixmap.
		require
			has_named_icon: has_named_icon (windows_raise_all_unsaved_name)
		once
			Result := named_icon (windows_raise_all_unsaved_name)
		end

	frozen windows_raise_all_unsaved_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'raise all unsaved' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (windows_raise_all_unsaved_name)
		once
			Result := named_icon_buffer (windows_raise_all_unsaved_name)
		end

	frozen windows_windows_icon: !EV_PIXMAP
			-- Access to 'windows' pixmap.
		require
			has_named_icon: has_named_icon (windows_windows_name)
		once
			Result := named_icon (windows_windows_name)
		end

	frozen windows_windows_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'windows' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (windows_windows_name)
		once
			Result := named_icon_buffer (windows_windows_name)
		end

	frozen toolbar_separator_icon: !EV_PIXMAP
			-- Access to 'separator' pixmap.
		require
			has_named_icon: has_named_icon (toolbar_separator_name)
		once
			Result := named_icon (toolbar_separator_name)
		end

	frozen toolbar_separator_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'separator' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (toolbar_separator_name)
		once
			Result := named_icon_buffer (toolbar_separator_name)
		end

	frozen errors_and_warnings_next_error_icon: !EV_PIXMAP
			-- Access to 'next error' pixmap.
		require
			has_named_icon: has_named_icon (errors_and_warnings_next_error_name)
		once
			Result := named_icon (errors_and_warnings_next_error_name)
		end

	frozen errors_and_warnings_next_error_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'next error' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (errors_and_warnings_next_error_name)
		once
			Result := named_icon_buffer (errors_and_warnings_next_error_name)
		end

	frozen errors_and_warnings_previous_error_icon: !EV_PIXMAP
			-- Access to 'previous error' pixmap.
		require
			has_named_icon: has_named_icon (errors_and_warnings_previous_error_name)
		once
			Result := named_icon (errors_and_warnings_previous_error_name)
		end

	frozen errors_and_warnings_previous_error_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'previous error' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (errors_and_warnings_previous_error_name)
		once
			Result := named_icon_buffer (errors_and_warnings_previous_error_name)
		end

	frozen errors_and_warnings_next_warning_icon: !EV_PIXMAP
			-- Access to 'next warning' pixmap.
		require
			has_named_icon: has_named_icon (errors_and_warnings_next_warning_name)
		once
			Result := named_icon (errors_and_warnings_next_warning_name)
		end

	frozen errors_and_warnings_next_warning_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'next warning' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (errors_and_warnings_next_warning_name)
		once
			Result := named_icon_buffer (errors_and_warnings_next_warning_name)
		end

	frozen errors_and_warnings_previous_warning_icon: !EV_PIXMAP
			-- Access to 'previous warning' pixmap.
		require
			has_named_icon: has_named_icon (errors_and_warnings_previous_warning_name)
		once
			Result := named_icon (errors_and_warnings_previous_warning_name)
		end

	frozen errors_and_warnings_previous_warning_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'previous warning' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (errors_and_warnings_previous_warning_name)
		once
			Result := named_icon_buffer (errors_and_warnings_previous_warning_name)
		end

	frozen errors_and_warnings_filter_icon: !EV_PIXMAP
			-- Access to 'filter' pixmap.
		require
			has_named_icon: has_named_icon (errors_and_warnings_filter_name)
		once
			Result := named_icon (errors_and_warnings_filter_name)
		end

	frozen errors_and_warnings_filter_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'filter' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (errors_and_warnings_filter_name)
		once
			Result := named_icon_buffer (errors_and_warnings_filter_name)
		end

	frozen errors_and_warnings_filter_active_icon: !EV_PIXMAP
			-- Access to 'filter active' pixmap.
		require
			has_named_icon: has_named_icon (errors_and_warnings_filter_active_name)
		once
			Result := named_icon (errors_and_warnings_filter_active_name)
		end

	frozen errors_and_warnings_filter_active_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'filter active' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (errors_and_warnings_filter_active_name)
		once
			Result := named_icon_buffer (errors_and_warnings_filter_active_name)
		end

	frozen errors_and_warnings_expand_errors_icon: !EV_PIXMAP
			-- Access to 'expand errors' pixmap.
		require
			has_named_icon: has_named_icon (errors_and_warnings_expand_errors_name)
		once
			Result := named_icon (errors_and_warnings_expand_errors_name)
		end

	frozen errors_and_warnings_expand_errors_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'expand errors' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (errors_and_warnings_expand_errors_name)
		once
			Result := named_icon_buffer (errors_and_warnings_expand_errors_name)
		end

	frozen priority_high_icon: !EV_PIXMAP
			-- Access to 'high' pixmap.
		require
			has_named_icon: has_named_icon (priority_high_name)
		once
			Result := named_icon (priority_high_name)
		end

	frozen priority_high_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'high' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (priority_high_name)
		once
			Result := named_icon_buffer (priority_high_name)
		end

	frozen priority_low_icon: !EV_PIXMAP
			-- Access to 'low' pixmap.
		require
			has_named_icon: has_named_icon (priority_low_name)
		once
			Result := named_icon (priority_low_name)
		end

	frozen priority_low_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'low' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (priority_low_name)
		once
			Result := named_icon_buffer (priority_low_name)
		end

	frozen view_previous_icon: !EV_PIXMAP
			-- Access to 'previous' pixmap.
		require
			has_named_icon: has_named_icon (view_previous_name)
		once
			Result := named_icon (view_previous_name)
		end

	frozen view_previous_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'previous' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_previous_name)
		once
			Result := named_icon_buffer (view_previous_name)
		end

	frozen view_next_icon: !EV_PIXMAP
			-- Access to 'next' pixmap.
		require
			has_named_icon: has_named_icon (view_next_name)
		once
			Result := named_icon (view_next_name)
		end

	frozen view_next_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'next' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_next_name)
		once
			Result := named_icon_buffer (view_next_name)
		end

	frozen view_editor_icon: !EV_PIXMAP
			-- Access to 'editor' pixmap.
		require
			has_named_icon: has_named_icon (view_editor_name)
		once
			Result := named_icon (view_editor_name)
		end

	frozen view_editor_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'editor' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_editor_name)
		once
			Result := named_icon_buffer (view_editor_name)
		end

	frozen view_flat_icon: !EV_PIXMAP
			-- Access to 'flat' pixmap.
		require
			has_named_icon: has_named_icon (view_flat_name)
		once
			Result := named_icon (view_flat_name)
		end

	frozen view_flat_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'flat' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_flat_name)
		once
			Result := named_icon_buffer (view_flat_name)
		end

	frozen view_clickable_icon: !EV_PIXMAP
			-- Access to 'clickable' pixmap.
		require
			has_named_icon: has_named_icon (view_clickable_name)
		once
			Result := named_icon (view_clickable_name)
		end

	frozen view_clickable_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'clickable' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_clickable_name)
		once
			Result := named_icon_buffer (view_clickable_name)
		end

	frozen view_contracts_icon: !EV_PIXMAP
			-- Access to 'contracts' pixmap.
		require
			has_named_icon: has_named_icon (view_contracts_name)
		once
			Result := named_icon (view_contracts_name)
		end

	frozen view_contracts_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'contracts' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_contracts_name)
		once
			Result := named_icon_buffer (view_contracts_name)
		end

	frozen view_flat_contracts_icon: !EV_PIXMAP
			-- Access to 'flat contracts' pixmap.
		require
			has_named_icon: has_named_icon (view_flat_contracts_name)
		once
			Result := named_icon (view_flat_contracts_name)
		end

	frozen view_flat_contracts_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'flat contracts' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_flat_contracts_name)
		once
			Result := named_icon_buffer (view_flat_contracts_name)
		end

	frozen view_editor_feature_icon: !EV_PIXMAP
			-- Access to 'editor feature' pixmap.
		require
			has_named_icon: has_named_icon (view_editor_feature_name)
		once
			Result := named_icon (view_editor_feature_name)
		end

	frozen view_editor_feature_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'editor feature' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_editor_feature_name)
		once
			Result := named_icon_buffer (view_editor_feature_name)
		end

	frozen view_clickable_feature_icon: !EV_PIXMAP
			-- Access to 'clickable feature' pixmap.
		require
			has_named_icon: has_named_icon (view_clickable_feature_name)
		once
			Result := named_icon (view_clickable_feature_name)
		end

	frozen view_clickable_feature_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'clickable feature' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_clickable_feature_name)
		once
			Result := named_icon_buffer (view_clickable_feature_name)
		end

	frozen view_unmodified_icon: !EV_PIXMAP
			-- Access to 'unmodified' pixmap.
		require
			has_named_icon: has_named_icon (view_unmodified_name)
		once
			Result := named_icon (view_unmodified_name)
		end

	frozen view_unmodified_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'unmodified' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (view_unmodified_name)
		once
			Result := named_icon_buffer (view_unmodified_name)
		end

	frozen new_eiffel_project_icon: !EV_PIXMAP
			-- Access to 'eiffel project' pixmap.
		require
			has_named_icon: has_named_icon (new_eiffel_project_name)
		once
			Result := named_icon (new_eiffel_project_name)
		end

	frozen new_eiffel_project_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'eiffel project' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_eiffel_project_name)
		once
			Result := named_icon_buffer (new_eiffel_project_name)
		end

	frozen new_cluster_icon: !EV_PIXMAP
			-- Access to 'cluster' pixmap.
		require
			has_named_icon: has_named_icon (new_cluster_name)
		once
			Result := named_icon (new_cluster_name)
		end

	frozen new_cluster_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'cluster' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_cluster_name)
		once
			Result := named_icon_buffer (new_cluster_name)
		end

	frozen new_override_cluster_icon: !EV_PIXMAP
			-- Access to 'override cluster' pixmap.
		require
			has_named_icon: has_named_icon (new_override_cluster_name)
		once
			Result := named_icon (new_override_cluster_name)
		end

	frozen new_override_cluster_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'override cluster' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_override_cluster_name)
		once
			Result := named_icon_buffer (new_override_cluster_name)
		end

	frozen new_library_icon: !EV_PIXMAP
			-- Access to 'library' pixmap.
		require
			has_named_icon: has_named_icon (new_library_name)
		once
			Result := named_icon (new_library_name)
		end

	frozen new_library_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'library' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_library_name)
		once
			Result := named_icon_buffer (new_library_name)
		end

	frozen new_precompiled_library_icon: !EV_PIXMAP
			-- Access to 'precompiled library' pixmap.
		require
			has_named_icon: has_named_icon (new_precompiled_library_name)
		once
			Result := named_icon (new_precompiled_library_name)
		end

	frozen new_precompiled_library_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'precompiled library' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_precompiled_library_name)
		once
			Result := named_icon_buffer (new_precompiled_library_name)
		end

	frozen new_reference_icon: !EV_PIXMAP
			-- Access to 'reference' pixmap.
		require
			has_named_icon: has_named_icon (new_reference_name)
		once
			Result := named_icon (new_reference_name)
		end

	frozen new_reference_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'reference' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_reference_name)
		once
			Result := named_icon_buffer (new_reference_name)
		end

	frozen new_feature_icon: !EV_PIXMAP
			-- Access to 'feature' pixmap.
		require
			has_named_icon: has_named_icon (new_feature_name)
		once
			Result := named_icon (new_feature_name)
		end

	frozen new_feature_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'feature' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_feature_name)
		once
			Result := named_icon_buffer (new_feature_name)
		end

	frozen new_class_icon: !EV_PIXMAP
			-- Access to 'class' pixmap.
		require
			has_named_icon: has_named_icon (new_class_name)
		once
			Result := named_icon (new_class_name)
		end

	frozen new_class_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'class' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_class_name)
		once
			Result := named_icon_buffer (new_class_name)
		end

	frozen new_window_icon: !EV_PIXMAP
			-- Access to 'window' pixmap.
		require
			has_named_icon: has_named_icon (new_window_name)
		once
			Result := named_icon (new_window_name)
		end

	frozen new_window_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'window' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_window_name)
		once
			Result := named_icon_buffer (new_window_name)
		end

	frozen new_editor_icon: !EV_PIXMAP
			-- Access to 'editor' pixmap.
		require
			has_named_icon: has_named_icon (new_editor_name)
		once
			Result := named_icon (new_editor_name)
		end

	frozen new_editor_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'editor' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_editor_name)
		once
			Result := named_icon_buffer (new_editor_name)
		end

	frozen new_document_icon: !EV_PIXMAP
			-- Access to 'document' pixmap.
		require
			has_named_icon: has_named_icon (new_document_name)
		once
			Result := named_icon (new_document_name)
		end

	frozen new_document_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'document' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_document_name)
		once
			Result := named_icon_buffer (new_document_name)
		end

	frozen new_metric_icon: !EV_PIXMAP
			-- Access to 'metric' pixmap.
		require
			has_named_icon: has_named_icon (new_metric_name)
		once
			Result := named_icon (new_metric_name)
		end

	frozen new_metric_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'metric' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_metric_name)
		once
			Result := named_icon_buffer (new_metric_name)
		end

	frozen new_supplier_link_icon: !EV_PIXMAP
			-- Access to 'supplier link' pixmap.
		require
			has_named_icon: has_named_icon (new_supplier_link_name)
		once
			Result := named_icon (new_supplier_link_name)
		end

	frozen new_supplier_link_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'supplier link' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_supplier_link_name)
		once
			Result := named_icon_buffer (new_supplier_link_name)
		end

	frozen new_aggregate_supplier_link_icon: !EV_PIXMAP
			-- Access to 'aggregate supplier link' pixmap.
		require
			has_named_icon: has_named_icon (new_aggregate_supplier_link_name)
		once
			Result := named_icon (new_aggregate_supplier_link_name)
		end

	frozen new_aggregate_supplier_link_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'aggregate supplier link' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_aggregate_supplier_link_name)
		once
			Result := named_icon_buffer (new_aggregate_supplier_link_name)
		end

	frozen new_inheritance_link_icon: !EV_PIXMAP
			-- Access to 'inheritance link' pixmap.
		require
			has_named_icon: has_named_icon (new_inheritance_link_name)
		once
			Result := named_icon (new_inheritance_link_name)
		end

	frozen new_inheritance_link_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'inheritance link' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_inheritance_link_name)
		once
			Result := named_icon_buffer (new_inheritance_link_name)
		end

	frozen new_and_icon: !EV_PIXMAP
			-- Access to 'and' pixmap.
		require
			has_named_icon: has_named_icon (new_and_name)
		once
			Result := named_icon (new_and_name)
		end

	frozen new_and_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'and' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_and_name)
		once
			Result := named_icon_buffer (new_and_name)
		end

	frozen new_or_icon: !EV_PIXMAP
			-- Access to 'or' pixmap.
		require
			has_named_icon: has_named_icon (new_or_name)
		once
			Result := named_icon (new_or_name)
		end

	frozen new_or_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'or' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_or_name)
		once
			Result := named_icon_buffer (new_or_name)
		end

	frozen new_include_icon: !EV_PIXMAP
			-- Access to 'include' pixmap.
		require
			has_named_icon: has_named_icon (new_include_name)
		once
			Result := named_icon (new_include_name)
		end

	frozen new_include_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'include' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_include_name)
		once
			Result := named_icon_buffer (new_include_name)
		end

	frozen new_object_icon: !EV_PIXMAP
			-- Access to 'object' pixmap.
		require
			has_named_icon: has_named_icon (new_object_name)
		once
			Result := named_icon (new_object_name)
		end

	frozen new_object_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'object' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_object_name)
		once
			Result := named_icon_buffer (new_object_name)
		end

	frozen new_makefile_icon: !EV_PIXMAP
			-- Access to 'makefile' pixmap.
		require
			has_named_icon: has_named_icon (new_makefile_name)
		once
			Result := named_icon (new_makefile_name)
		end

	frozen new_makefile_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'makefile' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_makefile_name)
		once
			Result := named_icon_buffer (new_makefile_name)
		end

	frozen new_resource_icon: !EV_PIXMAP
			-- Access to 'resource' pixmap.
		require
			has_named_icon: has_named_icon (new_resource_name)
		once
			Result := named_icon (new_resource_name)
		end

	frozen new_resource_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'resource' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_resource_name)
		once
			Result := named_icon_buffer (new_resource_name)
		end

	frozen new_pre_compilation_task_icon: !EV_PIXMAP
			-- Access to 'pre compilation task' pixmap.
		require
			has_named_icon: has_named_icon (new_pre_compilation_task_name)
		once
			Result := named_icon (new_pre_compilation_task_name)
		end

	frozen new_pre_compilation_task_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'pre compilation task' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_pre_compilation_task_name)
		once
			Result := named_icon_buffer (new_pre_compilation_task_name)
		end

	frozen new_post_compilation_task_icon: !EV_PIXMAP
			-- Access to 'post compilation task' pixmap.
		require
			has_named_icon: has_named_icon (new_post_compilation_task_name)
		once
			Result := named_icon (new_post_compilation_task_name)
		end

	frozen new_post_compilation_task_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'post compilation task' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_post_compilation_task_name)
		once
			Result := named_icon_buffer (new_post_compilation_task_name)
		end

	frozen new_target_icon: !EV_PIXMAP
			-- Access to 'target' pixmap.
		require
			has_named_icon: has_named_icon (new_target_name)
		once
			Result := named_icon (new_target_name)
		end

	frozen new_target_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'target' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (new_target_name)
		once
			Result := named_icon_buffer (new_target_name)
		end

	frozen feature_callers_icon: !EV_PIXMAP
			-- Access to 'callers' pixmap.
		require
			has_named_icon: has_named_icon (feature_callers_name)
		once
			Result := named_icon (feature_callers_name)
		end

	frozen feature_callers_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'callers' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_callers_name)
		once
			Result := named_icon_buffer (feature_callers_name)
		end

	frozen feature_callees_icon: !EV_PIXMAP
			-- Access to 'callees' pixmap.
		require
			has_named_icon: has_named_icon (feature_callees_name)
		once
			Result := named_icon (feature_callees_name)
		end

	frozen feature_callees_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'callees' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_callees_name)
		once
			Result := named_icon_buffer (feature_callees_name)
		end

	frozen feature_assigners_icon: !EV_PIXMAP
			-- Access to 'assigners' pixmap.
		require
			has_named_icon: has_named_icon (feature_assigners_name)
		once
			Result := named_icon (feature_assigners_name)
		end

	frozen feature_assigners_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assigners' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_assigners_name)
		once
			Result := named_icon_buffer (feature_assigners_name)
		end

	frozen feature_assignees_icon: !EV_PIXMAP
			-- Access to 'assignees' pixmap.
		require
			has_named_icon: has_named_icon (feature_assignees_name)
		once
			Result := named_icon (feature_assignees_name)
		end

	frozen feature_assignees_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assignees' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_assignees_name)
		once
			Result := named_icon_buffer (feature_assignees_name)
		end

	frozen feature_creators_icon: !EV_PIXMAP
			-- Access to 'creators' pixmap.
		require
			has_named_icon: has_named_icon (feature_creators_name)
		once
			Result := named_icon (feature_creators_name)
		end

	frozen feature_creators_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'creators' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_creators_name)
		once
			Result := named_icon_buffer (feature_creators_name)
		end

	frozen feature_creaters_icon: !EV_PIXMAP
			-- Access to 'creaters' pixmap.
		require
			has_named_icon: has_named_icon (feature_creaters_name)
		once
			Result := named_icon (feature_creaters_name)
		end

	frozen feature_creaters_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'creaters' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_creaters_name)
		once
			Result := named_icon_buffer (feature_creaters_name)
		end

	frozen feature_implementers_icon: !EV_PIXMAP
			-- Access to 'implementers' pixmap.
		require
			has_named_icon: has_named_icon (feature_implementers_name)
		once
			Result := named_icon (feature_implementers_name)
		end

	frozen feature_implementers_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'implementers' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_implementers_name)
		once
			Result := named_icon_buffer (feature_implementers_name)
		end

	frozen feature_ancestors_icon: !EV_PIXMAP
			-- Access to 'ancestors' pixmap.
		require
			has_named_icon: has_named_icon (feature_ancestors_name)
		once
			Result := named_icon (feature_ancestors_name)
		end

	frozen feature_ancestors_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'ancestors' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_ancestors_name)
		once
			Result := named_icon_buffer (feature_ancestors_name)
		end

	frozen feature_descendents_icon: !EV_PIXMAP
			-- Access to 'descendents' pixmap.
		require
			has_named_icon: has_named_icon (feature_descendents_name)
		once
			Result := named_icon (feature_descendents_name)
		end

	frozen feature_descendents_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'descendents' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_descendents_name)
		once
			Result := named_icon_buffer (feature_descendents_name)
		end

	frozen feature_homonyms_icon: !EV_PIXMAP
			-- Access to 'homonyms' pixmap.
		require
			has_named_icon: has_named_icon (feature_homonyms_name)
		once
			Result := named_icon (feature_homonyms_name)
		end

	frozen feature_homonyms_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'homonyms' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (feature_homonyms_name)
		once
			Result := named_icon_buffer (feature_homonyms_name)
		end

	frozen class_ancestors_icon: !EV_PIXMAP
			-- Access to 'ancestors' pixmap.
		require
			has_named_icon: has_named_icon (class_ancestors_name)
		once
			Result := named_icon (class_ancestors_name)
		end

	frozen class_ancestors_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'ancestors' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_ancestors_name)
		once
			Result := named_icon_buffer (class_ancestors_name)
		end

	frozen class_descendents_icon: !EV_PIXMAP
			-- Access to 'descendents' pixmap.
		require
			has_named_icon: has_named_icon (class_descendents_name)
		once
			Result := named_icon (class_descendents_name)
		end

	frozen class_descendents_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'descendents' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_descendents_name)
		once
			Result := named_icon_buffer (class_descendents_name)
		end

	frozen class_clients_icon: !EV_PIXMAP
			-- Access to 'clients' pixmap.
		require
			has_named_icon: has_named_icon (class_clients_name)
		once
			Result := named_icon (class_clients_name)
		end

	frozen class_clients_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'clients' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_clients_name)
		once
			Result := named_icon_buffer (class_clients_name)
		end

	frozen class_supliers_icon: !EV_PIXMAP
			-- Access to 'supliers' pixmap.
		require
			has_named_icon: has_named_icon (class_supliers_name)
		once
			Result := named_icon (class_supliers_name)
		end

	frozen class_supliers_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'supliers' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_supliers_name)
		once
			Result := named_icon_buffer (class_supliers_name)
		end

	frozen class_features_attribute_icon: !EV_PIXMAP
			-- Access to 'attribute' pixmap.
		require
			has_named_icon: has_named_icon (class_features_attribute_name)
		once
			Result := named_icon (class_features_attribute_name)
		end

	frozen class_features_attribute_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'attribute' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_attribute_name)
		once
			Result := named_icon_buffer (class_features_attribute_name)
		end

	frozen class_features_routine_icon: !EV_PIXMAP
			-- Access to 'routine' pixmap.
		require
			has_named_icon: has_named_icon (class_features_routine_name)
		once
			Result := named_icon (class_features_routine_name)
		end

	frozen class_features_routine_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'routine' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_routine_name)
		once
			Result := named_icon_buffer (class_features_routine_name)
		end

	frozen class_features_invariant_icon: !EV_PIXMAP
			-- Access to 'invariant' pixmap.
		require
			has_named_icon: has_named_icon (class_features_invariant_name)
		once
			Result := named_icon (class_features_invariant_name)
		end

	frozen class_features_invariant_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'invariant' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_invariant_name)
		once
			Result := named_icon_buffer (class_features_invariant_name)
		end

	frozen class_features_creator_icon: !EV_PIXMAP
			-- Access to 'creator' pixmap.
		require
			has_named_icon: has_named_icon (class_features_creator_name)
		once
			Result := named_icon (class_features_creator_name)
		end

	frozen class_features_creator_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'creator' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_creator_name)
		once
			Result := named_icon_buffer (class_features_creator_name)
		end

	frozen class_features_deferred_icon: !EV_PIXMAP
			-- Access to 'deferred' pixmap.
		require
			has_named_icon: has_named_icon (class_features_deferred_name)
		once
			Result := named_icon (class_features_deferred_name)
		end

	frozen class_features_deferred_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'deferred' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_deferred_name)
		once
			Result := named_icon_buffer (class_features_deferred_name)
		end

	frozen class_features_once_icon: !EV_PIXMAP
			-- Access to 'once' pixmap.
		require
			has_named_icon: has_named_icon (class_features_once_name)
		once
			Result := named_icon (class_features_once_name)
		end

	frozen class_features_once_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'once' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_once_name)
		once
			Result := named_icon_buffer (class_features_once_name)
		end

	frozen class_features_external_icon: !EV_PIXMAP
			-- Access to 'external' pixmap.
		require
			has_named_icon: has_named_icon (class_features_external_name)
		once
			Result := named_icon (class_features_external_name)
		end

	frozen class_features_external_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'external' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_external_name)
		once
			Result := named_icon_buffer (class_features_external_name)
		end

	frozen class_features_exported_icon: !EV_PIXMAP
			-- Access to 'exported' pixmap.
		require
			has_named_icon: has_named_icon (class_features_exported_name)
		once
			Result := named_icon (class_features_exported_name)
		end

	frozen class_features_exported_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'exported' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (class_features_exported_name)
		once
			Result := named_icon_buffer (class_features_exported_name)
		end

	frozen metric_basic_icon: !EV_PIXMAP
			-- Access to 'basic' pixmap.
		require
			has_named_icon: has_named_icon (metric_basic_name)
		once
			Result := named_icon (metric_basic_name)
		end

	frozen metric_basic_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'basic' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_basic_name)
		once
			Result := named_icon_buffer (metric_basic_name)
		end

	frozen metric_linear_icon: !EV_PIXMAP
			-- Access to 'linear' pixmap.
		require
			has_named_icon: has_named_icon (metric_linear_name)
		once
			Result := named_icon (metric_linear_name)
		end

	frozen metric_linear_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'linear' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_linear_name)
		once
			Result := named_icon_buffer (metric_linear_name)
		end

	frozen metric_ratio_icon: !EV_PIXMAP
			-- Access to 'ratio' pixmap.
		require
			has_named_icon: has_named_icon (metric_ratio_name)
		once
			Result := named_icon (metric_ratio_name)
		end

	frozen metric_ratio_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'ratio' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_ratio_name)
		once
			Result := named_icon_buffer (metric_ratio_name)
		end

	frozen metric_basic_readonly_icon: !EV_PIXMAP
			-- Access to 'basic readonly' pixmap.
		require
			has_named_icon: has_named_icon (metric_basic_readonly_name)
		once
			Result := named_icon (metric_basic_readonly_name)
		end

	frozen metric_basic_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'basic readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_basic_readonly_name)
		once
			Result := named_icon_buffer (metric_basic_readonly_name)
		end

	frozen metric_linear_readonly_icon: !EV_PIXMAP
			-- Access to 'linear readonly' pixmap.
		require
			has_named_icon: has_named_icon (metric_linear_readonly_name)
		once
			Result := named_icon (metric_linear_readonly_name)
		end

	frozen metric_linear_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'linear readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_linear_readonly_name)
		once
			Result := named_icon_buffer (metric_linear_readonly_name)
		end

	frozen metric_ratio_readonly_icon: !EV_PIXMAP
			-- Access to 'ratio readonly' pixmap.
		require
			has_named_icon: has_named_icon (metric_ratio_readonly_name)
		once
			Result := named_icon (metric_ratio_readonly_name)
		end

	frozen metric_ratio_readonly_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'ratio readonly' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_ratio_readonly_name)
		once
			Result := named_icon_buffer (metric_ratio_readonly_name)
		end

	frozen metric_common_criteria_icon: !EV_PIXMAP
			-- Access to 'common criteria' pixmap.
		require
			has_named_icon: has_named_icon (metric_common_criteria_name)
		once
			Result := named_icon (metric_common_criteria_name)
		end

	frozen metric_common_criteria_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'common criteria' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_common_criteria_name)
		once
			Result := named_icon_buffer (metric_common_criteria_name)
		end

	frozen metric_relational_criteria_icon: !EV_PIXMAP
			-- Access to 'relational criteria' pixmap.
		require
			has_named_icon: has_named_icon (metric_relational_criteria_name)
		once
			Result := named_icon (metric_relational_criteria_name)
		end

	frozen metric_relational_criteria_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'relational criteria' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_relational_criteria_name)
		once
			Result := named_icon_buffer (metric_relational_criteria_name)
		end

	frozen metric_text_criteria_icon: !EV_PIXMAP
			-- Access to 'text criteria' pixmap.
		require
			has_named_icon: has_named_icon (metric_text_criteria_name)
		once
			Result := named_icon (metric_text_criteria_name)
		end

	frozen metric_text_criteria_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'text criteria' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_text_criteria_name)
		once
			Result := named_icon_buffer (metric_text_criteria_name)
		end

	frozen metric_group_icon: !EV_PIXMAP
			-- Access to 'group' pixmap.
		require
			has_named_icon: has_named_icon (metric_group_name)
		once
			Result := named_icon (metric_group_name)
		end

	frozen metric_group_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'group' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_group_name)
		once
			Result := named_icon_buffer (metric_group_name)
		end

	frozen metric_folder_icon: !EV_PIXMAP
			-- Access to 'folder' pixmap.
		require
			has_named_icon: has_named_icon (metric_folder_name)
		once
			Result := named_icon (metric_folder_name)
		end

	frozen metric_folder_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'folder' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_folder_name)
		once
			Result := named_icon_buffer (metric_folder_name)
		end

	frozen metric_send_to_archive_icon: !EV_PIXMAP
			-- Access to 'send to archive' pixmap.
		require
			has_named_icon: has_named_icon (metric_send_to_archive_name)
		once
			Result := named_icon (metric_send_to_archive_name)
		end

	frozen metric_send_to_archive_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'send to archive' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_send_to_archive_name)
		once
			Result := named_icon_buffer (metric_send_to_archive_name)
		end

	frozen metric_quick_icon: !EV_PIXMAP
			-- Access to 'quick' pixmap.
		require
			has_named_icon: has_named_icon (metric_quick_name)
		once
			Result := named_icon (metric_quick_name)
		end

	frozen metric_quick_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'quick' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_quick_name)
		once
			Result := named_icon_buffer (metric_quick_name)
		end

	frozen metric_show_details_icon: !EV_PIXMAP
			-- Access to 'show details' pixmap.
		require
			has_named_icon: has_named_icon (metric_show_details_name)
		once
			Result := named_icon (metric_show_details_name)
		end

	frozen metric_show_details_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'show details' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_show_details_name)
		once
			Result := named_icon_buffer (metric_show_details_name)
		end

	frozen metric_run_and_show_details_icon: !EV_PIXMAP
			-- Access to 'run and show details' pixmap.
		require
			has_named_icon: has_named_icon (metric_run_and_show_details_name)
		once
			Result := named_icon (metric_run_and_show_details_name)
		end

	frozen metric_run_and_show_details_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'run and show details' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_run_and_show_details_name)
		once
			Result := named_icon_buffer (metric_run_and_show_details_name)
		end

	frozen metric_export_to_file_icon: !EV_PIXMAP
			-- Access to 'export to file' pixmap.
		require
			has_named_icon: has_named_icon (metric_export_to_file_name)
		once
			Result := named_icon (metric_export_to_file_name)
		end

	frozen metric_export_to_file_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'export to file' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_export_to_file_name)
		once
			Result := named_icon_buffer (metric_export_to_file_name)
		end

	frozen metric_and_icon: !EV_PIXMAP
			-- Access to 'and' pixmap.
		require
			has_named_icon: has_named_icon (metric_and_name)
		once
			Result := named_icon (metric_and_name)
		end

	frozen metric_and_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'and' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_and_name)
		once
			Result := named_icon_buffer (metric_and_name)
		end

	frozen metric_or_icon: !EV_PIXMAP
			-- Access to 'or' pixmap.
		require
			has_named_icon: has_named_icon (metric_or_name)
		once
			Result := named_icon (metric_or_name)
		end

	frozen metric_or_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'or' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_or_name)
		once
			Result := named_icon_buffer (metric_or_name)
		end

	frozen metric_not_common_criteria_icon: !EV_PIXMAP
			-- Access to 'common criteria' pixmap.
		require
			has_named_icon: has_named_icon (metric_not_common_criteria_name)
		once
			Result := named_icon (metric_not_common_criteria_name)
		end

	frozen metric_not_common_criteria_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'common criteria' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_not_common_criteria_name)
		once
			Result := named_icon_buffer (metric_not_common_criteria_name)
		end

	frozen metric_not_relational_criteria_icon: !EV_PIXMAP
			-- Access to 'relational criteria' pixmap.
		require
			has_named_icon: has_named_icon (metric_not_relational_criteria_name)
		once
			Result := named_icon (metric_not_relational_criteria_name)
		end

	frozen metric_not_relational_criteria_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'relational criteria' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_not_relational_criteria_name)
		once
			Result := named_icon_buffer (metric_not_relational_criteria_name)
		end

	frozen metric_not_text_criteria_icon: !EV_PIXMAP
			-- Access to 'text criteria' pixmap.
		require
			has_named_icon: has_named_icon (metric_not_text_criteria_name)
		once
			Result := named_icon (metric_not_text_criteria_name)
		end

	frozen metric_not_text_criteria_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'text criteria' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_not_text_criteria_name)
		once
			Result := named_icon_buffer (metric_not_text_criteria_name)
		end

	frozen metric_not_and_icon: !EV_PIXMAP
			-- Access to 'and' pixmap.
		require
			has_named_icon: has_named_icon (metric_not_and_name)
		once
			Result := named_icon (metric_not_and_name)
		end

	frozen metric_not_and_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'and' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_not_and_name)
		once
			Result := named_icon_buffer (metric_not_and_name)
		end

	frozen metric_not_or_icon: !EV_PIXMAP
			-- Access to 'or' pixmap.
		require
			has_named_icon: has_named_icon (metric_not_or_name)
		once
			Result := named_icon (metric_not_or_name)
		end

	frozen metric_not_or_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'or' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_not_or_name)
		once
			Result := named_icon_buffer (metric_not_or_name)
		end

	frozen metric_domain_application_icon: !EV_PIXMAP
			-- Access to 'application' pixmap.
		require
			has_named_icon: has_named_icon (metric_domain_application_name)
		once
			Result := named_icon (metric_domain_application_name)
		end

	frozen metric_domain_application_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'application' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_domain_application_name)
		once
			Result := named_icon_buffer (metric_domain_application_name)
		end

	frozen metric_domain_custom_icon: !EV_PIXMAP
			-- Access to 'custom' pixmap.
		require
			has_named_icon: has_named_icon (metric_domain_custom_name)
		once
			Result := named_icon (metric_domain_custom_name)
		end

	frozen metric_domain_custom_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'custom' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_domain_custom_name)
		once
			Result := named_icon_buffer (metric_domain_custom_name)
		end

	frozen metric_domain_delayed_icon: !EV_PIXMAP
			-- Access to 'delayed' pixmap.
		require
			has_named_icon: has_named_icon (metric_domain_delayed_name)
		once
			Result := named_icon (metric_domain_delayed_name)
		end

	frozen metric_domain_delayed_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'delayed' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_domain_delayed_name)
		once
			Result := named_icon_buffer (metric_domain_delayed_name)
		end

	frozen metric_unit_target_icon: !EV_PIXMAP
			-- Access to 'target' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_target_name)
		once
			Result := named_icon (metric_unit_target_name)
		end

	frozen metric_unit_target_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'target' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_target_name)
		once
			Result := named_icon_buffer (metric_unit_target_name)
		end

	frozen metric_unit_group_icon: !EV_PIXMAP
			-- Access to 'group' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_group_name)
		once
			Result := named_icon (metric_unit_group_name)
		end

	frozen metric_unit_group_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'group' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_group_name)
		once
			Result := named_icon_buffer (metric_unit_group_name)
		end

	frozen metric_unit_class_icon: !EV_PIXMAP
			-- Access to 'class' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_class_name)
		once
			Result := named_icon (metric_unit_class_name)
		end

	frozen metric_unit_class_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'class' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_class_name)
		once
			Result := named_icon_buffer (metric_unit_class_name)
		end

	frozen metric_unit_generic_icon: !EV_PIXMAP
			-- Access to 'generic' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_generic_name)
		once
			Result := named_icon (metric_unit_generic_name)
		end

	frozen metric_unit_generic_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'generic' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_generic_name)
		once
			Result := named_icon_buffer (metric_unit_generic_name)
		end

	frozen metric_unit_feature_icon: !EV_PIXMAP
			-- Access to 'feature' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_feature_name)
		once
			Result := named_icon (metric_unit_feature_name)
		end

	frozen metric_unit_feature_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'feature' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_feature_name)
		once
			Result := named_icon_buffer (metric_unit_feature_name)
		end

	frozen metric_unit_local_or_argument_icon: !EV_PIXMAP
			-- Access to 'local or argument' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_local_or_argument_name)
		once
			Result := named_icon (metric_unit_local_or_argument_name)
		end

	frozen metric_unit_local_or_argument_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'local or argument' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_local_or_argument_name)
		once
			Result := named_icon_buffer (metric_unit_local_or_argument_name)
		end

	frozen metric_unit_assertion_icon: !EV_PIXMAP
			-- Access to 'assertion' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_assertion_name)
		once
			Result := named_icon (metric_unit_assertion_name)
		end

	frozen metric_unit_assertion_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assertion' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_assertion_name)
		once
			Result := named_icon_buffer (metric_unit_assertion_name)
		end

	frozen metric_unit_line_icon: !EV_PIXMAP
			-- Access to 'line' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_line_name)
		once
			Result := named_icon (metric_unit_line_name)
		end

	frozen metric_unit_line_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'line' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_line_name)
		once
			Result := named_icon_buffer (metric_unit_line_name)
		end

	frozen metric_unit_compilation_icon: !EV_PIXMAP
			-- Access to 'compilation' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_compilation_name)
		once
			Result := named_icon (metric_unit_compilation_name)
		end

	frozen metric_unit_compilation_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'compilation' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_compilation_name)
		once
			Result := named_icon_buffer (metric_unit_compilation_name)
		end

	frozen metric_unit_ratio_icon: !EV_PIXMAP
			-- Access to 'ratio' pixmap.
		require
			has_named_icon: has_named_icon (metric_unit_ratio_name)
		once
			Result := named_icon (metric_unit_ratio_name)
		end

	frozen metric_unit_ratio_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'ratio' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_unit_ratio_name)
		once
			Result := named_icon_buffer (metric_unit_ratio_name)
		end

	frozen metric_filter_icon: !EV_PIXMAP
			-- Access to 'filter' pixmap.
		require
			has_named_icon: has_named_icon (metric_filter_name)
		once
			Result := named_icon (metric_filter_name)
		end

	frozen metric_filter_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'filter' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (metric_filter_name)
		once
			Result := named_icon_buffer (metric_filter_name)
		end

	frozen diagram_zoom_in_icon: !EV_PIXMAP
			-- Access to 'zoom in' pixmap.
		require
			has_named_icon: has_named_icon (diagram_zoom_in_name)
		once
			Result := named_icon (diagram_zoom_in_name)
		end

	frozen diagram_zoom_in_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'zoom in' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_zoom_in_name)
		once
			Result := named_icon_buffer (diagram_zoom_in_name)
		end

	frozen diagram_zoom_out_icon: !EV_PIXMAP
			-- Access to 'zoom out' pixmap.
		require
			has_named_icon: has_named_icon (diagram_zoom_out_name)
		once
			Result := named_icon (diagram_zoom_out_name)
		end

	frozen diagram_zoom_out_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'zoom out' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_zoom_out_name)
		once
			Result := named_icon_buffer (diagram_zoom_out_name)
		end

	frozen diagram_target_cluster_or_class_icon: !EV_PIXMAP
			-- Access to 'target cluster or class' pixmap.
		require
			has_named_icon: has_named_icon (diagram_target_cluster_or_class_name)
		once
			Result := named_icon (diagram_target_cluster_or_class_name)
		end

	frozen diagram_target_cluster_or_class_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'target cluster or class' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_target_cluster_or_class_name)
		once
			Result := named_icon_buffer (diagram_target_cluster_or_class_name)
		end

	frozen diagram_show_legend_icon: !EV_PIXMAP
			-- Access to 'show legend' pixmap.
		require
			has_named_icon: has_named_icon (diagram_show_legend_name)
		once
			Result := named_icon (diagram_show_legend_name)
		end

	frozen diagram_show_legend_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'show legend' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_show_legend_name)
		once
			Result := named_icon_buffer (diagram_show_legend_name)
		end

	frozen diagram_crop_icon: !EV_PIXMAP
			-- Access to 'crop' pixmap.
		require
			has_named_icon: has_named_icon (diagram_crop_name)
		once
			Result := named_icon (diagram_crop_name)
		end

	frozen diagram_crop_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'crop' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_crop_name)
		once
			Result := named_icon_buffer (diagram_crop_name)
		end

	frozen diagram_choose_color_icon: !EV_PIXMAP
			-- Access to 'choose color' pixmap.
		require
			has_named_icon: has_named_icon (diagram_choose_color_name)
		once
			Result := named_icon (diagram_choose_color_name)
		end

	frozen diagram_choose_color_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'choose color' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_choose_color_name)
		once
			Result := named_icon_buffer (diagram_choose_color_name)
		end

	frozen diagram_force_right_angles_icon: !EV_PIXMAP
			-- Access to 'force right angles' pixmap.
		require
			has_named_icon: has_named_icon (diagram_force_right_angles_name)
		once
			Result := named_icon (diagram_force_right_angles_name)
		end

	frozen diagram_force_right_angles_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'force right angles' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_force_right_angles_name)
		once
			Result := named_icon_buffer (diagram_force_right_angles_name)
		end

	frozen diagram_toogle_physics_icon: !EV_PIXMAP
			-- Access to 'toogle physics' pixmap.
		require
			has_named_icon: has_named_icon (diagram_toogle_physics_name)
		once
			Result := named_icon (diagram_toogle_physics_name)
		end

	frozen diagram_toogle_physics_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'toogle physics' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_toogle_physics_name)
		once
			Result := named_icon_buffer (diagram_toogle_physics_name)
		end

	frozen diagram_physics_settings_icon: !EV_PIXMAP
			-- Access to 'physics settings' pixmap.
		require
			has_named_icon: has_named_icon (diagram_physics_settings_name)
		once
			Result := named_icon (diagram_physics_settings_name)
		end

	frozen diagram_physics_settings_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'physics settings' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_physics_settings_name)
		once
			Result := named_icon_buffer (diagram_physics_settings_name)
		end

	frozen diagram_supplier_link_icon: !EV_PIXMAP
			-- Access to 'supplier link' pixmap.
		require
			has_named_icon: has_named_icon (diagram_supplier_link_name)
		once
			Result := named_icon (diagram_supplier_link_name)
		end

	frozen diagram_supplier_link_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'supplier link' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_supplier_link_name)
		once
			Result := named_icon_buffer (diagram_supplier_link_name)
		end

	frozen diagram_inheritance_link_icon: !EV_PIXMAP
			-- Access to 'inheritance link' pixmap.
		require
			has_named_icon: has_named_icon (diagram_inheritance_link_name)
		once
			Result := named_icon (diagram_inheritance_link_name)
		end

	frozen diagram_inheritance_link_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'inheritance link' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_inheritance_link_name)
		once
			Result := named_icon_buffer (diagram_inheritance_link_name)
		end

	frozen diagram_export_to_png_icon: !EV_PIXMAP
			-- Access to 'export to png' pixmap.
		require
			has_named_icon: has_named_icon (diagram_export_to_png_name)
		once
			Result := named_icon (diagram_export_to_png_name)
		end

	frozen diagram_export_to_png_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'export to png' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_export_to_png_name)
		once
			Result := named_icon_buffer (diagram_export_to_png_name)
		end

	frozen diagram_pinned_icon: !EV_PIXMAP
			-- Access to 'pinned' pixmap.
		require
			has_named_icon: has_named_icon (diagram_pinned_name)
		once
			Result := named_icon (diagram_pinned_name)
		end

	frozen diagram_pinned_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'pinned' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_pinned_name)
		once
			Result := named_icon_buffer (diagram_pinned_name)
		end

	frozen diagram_unpinned_icon: !EV_PIXMAP
			-- Access to 'unpinned' pixmap.
		require
			has_named_icon: has_named_icon (diagram_unpinned_name)
		once
			Result := named_icon (diagram_unpinned_name)
		end

	frozen diagram_unpinned_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'unpinned' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_unpinned_name)
		once
			Result := named_icon_buffer (diagram_unpinned_name)
		end

	frozen diagram_anchor_icon: !EV_PIXMAP
			-- Access to 'anchor' pixmap.
		require
			has_named_icon: has_named_icon (diagram_anchor_name)
		once
			Result := named_icon (diagram_anchor_name)
		end

	frozen diagram_anchor_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'anchor' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_anchor_name)
		once
			Result := named_icon_buffer (diagram_anchor_name)
		end

	frozen diagram_remove_anchor_icon: !EV_PIXMAP
			-- Access to 'remove anchor' pixmap.
		require
			has_named_icon: has_named_icon (diagram_remove_anchor_name)
		once
			Result := named_icon (diagram_remove_anchor_name)
		end

	frozen diagram_remove_anchor_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'remove anchor' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_remove_anchor_name)
		once
			Result := named_icon_buffer (diagram_remove_anchor_name)
		end

	frozen diagram_toggle_quality_icon: !EV_PIXMAP
			-- Access to 'toggle quality' pixmap.
		require
			has_named_icon: has_named_icon (diagram_toggle_quality_name)
		once
			Result := named_icon (diagram_toggle_quality_name)
		end

	frozen diagram_toggle_quality_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'toggle quality' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_toggle_quality_name)
		once
			Result := named_icon_buffer (diagram_toggle_quality_name)
		end

	frozen diagram_depth_of_relations_icon: !EV_PIXMAP
			-- Access to 'depth of relations' pixmap.
		require
			has_named_icon: has_named_icon (diagram_depth_of_relations_name)
		once
			Result := named_icon (diagram_depth_of_relations_name)
		end

	frozen diagram_depth_of_relations_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'depth of relations' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_depth_of_relations_name)
		once
			Result := named_icon_buffer (diagram_depth_of_relations_name)
		end

	frozen diagram_fit_to_screen_icon: !EV_PIXMAP
			-- Access to 'fit to screen' pixmap.
		require
			has_named_icon: has_named_icon (diagram_fit_to_screen_name)
		once
			Result := named_icon (diagram_fit_to_screen_name)
		end

	frozen diagram_fit_to_screen_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'fit to screen' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_fit_to_screen_name)
		once
			Result := named_icon_buffer (diagram_fit_to_screen_name)
		end

	frozen diagram_show_labels_icon: !EV_PIXMAP
			-- Access to 'show labels' pixmap.
		require
			has_named_icon: has_named_icon (diagram_show_labels_name)
		once
			Result := named_icon (diagram_show_labels_name)
		end

	frozen diagram_show_labels_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'show labels' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_show_labels_name)
		once
			Result := named_icon_buffer (diagram_show_labels_name)
		end

	frozen diagram_fill_cluster_icon: !EV_PIXMAP
			-- Access to 'fill cluster' pixmap.
		require
			has_named_icon: has_named_icon (diagram_fill_cluster_name)
		once
			Result := named_icon (diagram_fill_cluster_name)
		end

	frozen diagram_fill_cluster_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'fill cluster' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_fill_cluster_name)
		once
			Result := named_icon_buffer (diagram_fill_cluster_name)
		end

	frozen diagram_view_uml_icon: !EV_PIXMAP
			-- Access to 'view uml' pixmap.
		require
			has_named_icon: has_named_icon (diagram_view_uml_name)
		once
			Result := named_icon (diagram_view_uml_name)
		end

	frozen diagram_view_uml_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'view uml' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (diagram_view_uml_name)
		once
			Result := named_icon_buffer (diagram_view_uml_name)
		end

	frozen preference_boolean_icon: !EV_PIXMAP
			-- Access to 'boolean' pixmap.
		require
			has_named_icon: has_named_icon (preference_boolean_name)
		once
			Result := named_icon (preference_boolean_name)
		end

	frozen preference_boolean_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'boolean' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (preference_boolean_name)
		once
			Result := named_icon_buffer (preference_boolean_name)
		end

	frozen preference_color_icon: !EV_PIXMAP
			-- Access to 'color' pixmap.
		require
			has_named_icon: has_named_icon (preference_color_name)
		once
			Result := named_icon (preference_color_name)
		end

	frozen preference_color_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'color' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (preference_color_name)
		once
			Result := named_icon_buffer (preference_color_name)
		end

	frozen preference_string_icon: !EV_PIXMAP
			-- Access to 'string' pixmap.
		require
			has_named_icon: has_named_icon (preference_string_name)
		once
			Result := named_icon (preference_string_name)
		end

	frozen preference_string_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'string' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (preference_string_name)
		once
			Result := named_icon_buffer (preference_string_name)
		end

	frozen preference_list_icon: !EV_PIXMAP
			-- Access to 'list' pixmap.
		require
			has_named_icon: has_named_icon (preference_list_name)
		once
			Result := named_icon (preference_list_name)
		end

	frozen preference_list_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'list' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (preference_list_name)
		once
			Result := named_icon_buffer (preference_list_name)
		end

	frozen preference_numerical_icon: !EV_PIXMAP
			-- Access to 'numerical' pixmap.
		require
			has_named_icon: has_named_icon (preference_numerical_name)
		once
			Result := named_icon (preference_numerical_name)
		end

	frozen preference_numerical_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'numerical' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (preference_numerical_name)
		once
			Result := named_icon_buffer (preference_numerical_name)
		end

	frozen preference_font_icon: !EV_PIXMAP
			-- Access to 'font' pixmap.
		require
			has_named_icon: has_named_icon (preference_font_name)
		once
			Result := named_icon (preference_font_name)
		end

	frozen preference_font_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'font' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (preference_font_name)
		once
			Result := named_icon_buffer (preference_font_name)
		end

	frozen preference_shortcut_icon: !EV_PIXMAP
			-- Access to 'shortcut' pixmap.
		require
			has_named_icon: has_named_icon (preference_shortcut_name)
		once
			Result := named_icon (preference_shortcut_name)
		end

	frozen preference_shortcut_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'shortcut' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (preference_shortcut_name)
		once
			Result := named_icon_buffer (preference_shortcut_name)
		end

	frozen document_eiffel_project_icon: !EV_PIXMAP
			-- Access to 'eiffel project' pixmap.
		require
			has_named_icon: has_named_icon (document_eiffel_project_name)
		once
			Result := named_icon (document_eiffel_project_name)
		end

	frozen document_eiffel_project_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'eiffel project' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (document_eiffel_project_name)
		once
			Result := named_icon_buffer (document_eiffel_project_name)
		end

	frozen document_eiffel_project_compiled_icon: !EV_PIXMAP
			-- Access to 'eiffel project compiled' pixmap.
		require
			has_named_icon: has_named_icon (document_eiffel_project_compiled_name)
		once
			Result := named_icon (document_eiffel_project_compiled_name)
		end

	frozen document_eiffel_project_compiled_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'eiffel project compiled' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (document_eiffel_project_compiled_name)
		once
			Result := named_icon_buffer (document_eiffel_project_compiled_name)
		end

	frozen document_blank_icon: !EV_PIXMAP
			-- Access to 'blank' pixmap.
		require
			has_named_icon: has_named_icon (document_blank_name)
		once
			Result := named_icon (document_blank_name)
		end

	frozen document_blank_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'blank' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (document_blank_name)
		once
			Result := named_icon_buffer (document_blank_name)
		end

	frozen document_eiffel_project_large_icon: !EV_PIXMAP
			-- Access to 'eiffel project large' pixmap.
		require
			has_named_icon: has_named_icon (document_eiffel_project_large_name)
		once
			Result := named_icon (document_eiffel_project_large_name)
		end

	frozen document_eiffel_project_large_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'eiffel project large' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (document_eiffel_project_large_name)
		once
			Result := named_icon_buffer (document_eiffel_project_large_name)
		end

	frozen compile_animation_1_icon: !EV_PIXMAP
			-- Access to 'animation 1' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_1_name)
		once
			Result := named_icon (compile_animation_1_name)
		end

	frozen compile_animation_1_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 1' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_1_name)
		once
			Result := named_icon_buffer (compile_animation_1_name)
		end

	frozen compile_animation_2_icon: !EV_PIXMAP
			-- Access to 'animation 2' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_2_name)
		once
			Result := named_icon (compile_animation_2_name)
		end

	frozen compile_animation_2_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 2' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_2_name)
		once
			Result := named_icon_buffer (compile_animation_2_name)
		end

	frozen compile_animation_3_icon: !EV_PIXMAP
			-- Access to 'animation 3' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_3_name)
		once
			Result := named_icon (compile_animation_3_name)
		end

	frozen compile_animation_3_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 3' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_3_name)
		once
			Result := named_icon_buffer (compile_animation_3_name)
		end

	frozen compile_animation_4_icon: !EV_PIXMAP
			-- Access to 'animation 4' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_4_name)
		once
			Result := named_icon (compile_animation_4_name)
		end

	frozen compile_animation_4_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 4' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_4_name)
		once
			Result := named_icon_buffer (compile_animation_4_name)
		end

	frozen compile_animation_5_icon: !EV_PIXMAP
			-- Access to 'animation 5' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_5_name)
		once
			Result := named_icon (compile_animation_5_name)
		end

	frozen compile_animation_5_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 5' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_5_name)
		once
			Result := named_icon_buffer (compile_animation_5_name)
		end

	frozen compile_animation_6_icon: !EV_PIXMAP
			-- Access to 'animation 6' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_6_name)
		once
			Result := named_icon (compile_animation_6_name)
		end

	frozen compile_animation_6_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 6' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_6_name)
		once
			Result := named_icon_buffer (compile_animation_6_name)
		end

	frozen compile_animation_7_icon: !EV_PIXMAP
			-- Access to 'animation 7' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_7_name)
		once
			Result := named_icon (compile_animation_7_name)
		end

	frozen compile_animation_7_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 7' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_7_name)
		once
			Result := named_icon_buffer (compile_animation_7_name)
		end

	frozen compile_animation_8_icon: !EV_PIXMAP
			-- Access to 'animation 8' pixmap.
		require
			has_named_icon: has_named_icon (compile_animation_8_name)
		once
			Result := named_icon (compile_animation_8_name)
		end

	frozen compile_animation_8_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 8' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_animation_8_name)
		once
			Result := named_icon_buffer (compile_animation_8_name)
		end

	frozen compile_error_icon: !EV_PIXMAP
			-- Access to 'error' pixmap.
		require
			has_named_icon: has_named_icon (compile_error_name)
		once
			Result := named_icon (compile_error_name)
		end

	frozen compile_error_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'error' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_error_name)
		once
			Result := named_icon_buffer (compile_error_name)
		end

	frozen compile_success_icon: !EV_PIXMAP
			-- Access to 'success' pixmap.
		require
			has_named_icon: has_named_icon (compile_success_name)
		once
			Result := named_icon (compile_success_name)
		end

	frozen compile_success_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'success' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (compile_success_name)
		once
			Result := named_icon_buffer (compile_success_name)
		end

	frozen run_animation_1_icon: !EV_PIXMAP
			-- Access to 'animation 1' pixmap.
		require
			has_named_icon: has_named_icon (run_animation_1_name)
		once
			Result := named_icon (run_animation_1_name)
		end

	frozen run_animation_1_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 1' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (run_animation_1_name)
		once
			Result := named_icon_buffer (run_animation_1_name)
		end

	frozen run_animation_2_icon: !EV_PIXMAP
			-- Access to 'animation 2' pixmap.
		require
			has_named_icon: has_named_icon (run_animation_2_name)
		once
			Result := named_icon (run_animation_2_name)
		end

	frozen run_animation_2_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 2' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (run_animation_2_name)
		once
			Result := named_icon_buffer (run_animation_2_name)
		end

	frozen run_animation_3_icon: !EV_PIXMAP
			-- Access to 'animation 3' pixmap.
		require
			has_named_icon: has_named_icon (run_animation_3_name)
		once
			Result := named_icon (run_animation_3_name)
		end

	frozen run_animation_3_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 3' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (run_animation_3_name)
		once
			Result := named_icon_buffer (run_animation_3_name)
		end

	frozen run_animation_4_icon: !EV_PIXMAP
			-- Access to 'animation 4' pixmap.
		require
			has_named_icon: has_named_icon (run_animation_4_name)
		once
			Result := named_icon (run_animation_4_name)
		end

	frozen run_animation_4_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 4' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (run_animation_4_name)
		once
			Result := named_icon_buffer (run_animation_4_name)
		end

	frozen run_animation_5_icon: !EV_PIXMAP
			-- Access to 'animation 5' pixmap.
		require
			has_named_icon: has_named_icon (run_animation_5_name)
		once
			Result := named_icon (run_animation_5_name)
		end

	frozen run_animation_5_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'animation 5' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (run_animation_5_name)
		once
			Result := named_icon_buffer (run_animation_5_name)
		end

	frozen project_settings_system_icon: !EV_PIXMAP
			-- Access to 'system' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_system_name)
		once
			Result := named_icon (project_settings_system_name)
		end

	frozen project_settings_system_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'system' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_system_name)
		once
			Result := named_icon_buffer (project_settings_system_name)
		end

	frozen project_settings_target_icon: !EV_PIXMAP
			-- Access to 'target' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_target_name)
		once
			Result := named_icon (project_settings_target_name)
		end

	frozen project_settings_target_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'target' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_target_name)
		once
			Result := named_icon_buffer (project_settings_target_name)
		end

	frozen project_settings_assertions_icon: !EV_PIXMAP
			-- Access to 'assertions' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_assertions_name)
		once
			Result := named_icon (project_settings_assertions_name)
		end

	frozen project_settings_assertions_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'assertions' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_assertions_name)
		once
			Result := named_icon_buffer (project_settings_assertions_name)
		end

	frozen project_settings_groups_icon: !EV_PIXMAP
			-- Access to 'groups' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_groups_name)
		once
			Result := named_icon (project_settings_groups_name)
		end

	frozen project_settings_groups_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'groups' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_groups_name)
		once
			Result := named_icon_buffer (project_settings_groups_name)
		end

	frozen project_settings_advanced_icon: !EV_PIXMAP
			-- Access to 'advanced' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_advanced_name)
		once
			Result := named_icon (project_settings_advanced_name)
		end

	frozen project_settings_advanced_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'advanced' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_advanced_name)
		once
			Result := named_icon_buffer (project_settings_advanced_name)
		end

	frozen project_settings_warnings_icon: !EV_PIXMAP
			-- Access to 'warnings' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_warnings_name)
		once
			Result := named_icon (project_settings_warnings_name)
		end

	frozen project_settings_warnings_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'warnings' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_warnings_name)
		once
			Result := named_icon_buffer (project_settings_warnings_name)
		end

	frozen project_settings_debug_icon: !EV_PIXMAP
			-- Access to 'debug' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_debug_name)
		once
			Result := named_icon (project_settings_debug_name)
		end

	frozen project_settings_debug_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'debug' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_debug_name)
		once
			Result := named_icon_buffer (project_settings_debug_name)
		end

	frozen project_settings_externals_icon: !EV_PIXMAP
			-- Access to 'externals' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_externals_name)
		once
			Result := named_icon (project_settings_externals_name)
		end

	frozen project_settings_externals_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'externals' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_externals_name)
		once
			Result := named_icon_buffer (project_settings_externals_name)
		end

	frozen project_settings_tasks_icon: !EV_PIXMAP
			-- Access to 'tasks' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_tasks_name)
		once
			Result := named_icon (project_settings_tasks_name)
		end

	frozen project_settings_tasks_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'tasks' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_tasks_name)
		once
			Result := named_icon_buffer (project_settings_tasks_name)
		end

	frozen project_settings_variables_icon: !EV_PIXMAP
			-- Access to 'variables' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_variables_name)
		once
			Result := named_icon (project_settings_variables_name)
		end

	frozen project_settings_variables_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'variables' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_variables_name)
		once
			Result := named_icon_buffer (project_settings_variables_name)
		end

	frozen project_settings_type_mappings_icon: !EV_PIXMAP
			-- Access to 'type mappings' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_type_mappings_name)
		once
			Result := named_icon (project_settings_type_mappings_name)
		end

	frozen project_settings_type_mappings_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'type mappings' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_type_mappings_name)
		once
			Result := named_icon_buffer (project_settings_type_mappings_name)
		end

	frozen project_settings_edit_library_icon: !EV_PIXMAP
			-- Access to 'edit library' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_edit_library_name)
		once
			Result := named_icon (project_settings_edit_library_name)
		end

	frozen project_settings_edit_library_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'edit library' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_edit_library_name)
		once
			Result := named_icon_buffer (project_settings_edit_library_name)
		end

	frozen project_settings_include_file_icon: !EV_PIXMAP
			-- Access to 'include file' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_include_file_name)
		once
			Result := named_icon (project_settings_include_file_name)
		end

	frozen project_settings_include_file_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'include file' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_include_file_name)
		once
			Result := named_icon_buffer (project_settings_include_file_name)
		end

	frozen project_settings_object_file_icon: !EV_PIXMAP
			-- Access to 'object file' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_object_file_name)
		once
			Result := named_icon (project_settings_object_file_name)
		end

	frozen project_settings_object_file_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'object file' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_object_file_name)
		once
			Result := named_icon_buffer (project_settings_object_file_name)
		end

	frozen project_settings_make_file_icon: !EV_PIXMAP
			-- Access to 'make file' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_make_file_name)
		once
			Result := named_icon (project_settings_make_file_name)
		end

	frozen project_settings_make_file_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'make file' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_make_file_name)
		once
			Result := named_icon_buffer (project_settings_make_file_name)
		end

	frozen project_settings_resource_file_icon: !EV_PIXMAP
			-- Access to 'resource file' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_resource_file_name)
		once
			Result := named_icon (project_settings_resource_file_name)
		end

	frozen project_settings_resource_file_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'resource file' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_resource_file_name)
		once
			Result := named_icon_buffer (project_settings_resource_file_name)
		end

	frozen project_settings_task_icon: !EV_PIXMAP
			-- Access to 'task' pixmap.
		require
			has_named_icon: has_named_icon (project_settings_task_name)
		once
			Result := named_icon (project_settings_task_name)
		end

	frozen project_settings_task_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'task' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (project_settings_task_name)
		once
			Result := named_icon_buffer (project_settings_task_name)
		end

	frozen overlay_locked_icon: !EV_PIXMAP
			-- Access to 'locked' pixmap.
		require
			has_named_icon: has_named_icon (overlay_locked_name)
		once
			Result := named_icon (overlay_locked_name)
		end

	frozen overlay_locked_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'locked' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (overlay_locked_name)
		once
			Result := named_icon_buffer (overlay_locked_name)
		end

	frozen overlay_error_icon: !EV_PIXMAP
			-- Access to 'error' pixmap.
		require
			has_named_icon: has_named_icon (overlay_error_name)
		once
			Result := named_icon (overlay_error_name)
		end

	frozen overlay_error_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'error' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (overlay_error_name)
		once
			Result := named_icon_buffer (overlay_error_name)
		end

	frozen overlay_warning_icon: !EV_PIXMAP
			-- Access to 'warning' pixmap.
		require
			has_named_icon: has_named_icon (overlay_warning_name)
		once
			Result := named_icon (overlay_warning_name)
		end

	frozen overlay_warning_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'warning' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (overlay_warning_name)
		once
			Result := named_icon_buffer (overlay_warning_name)
		end

	frozen overlay_packaged_icon: !EV_PIXMAP
			-- Access to 'packaged' pixmap.
		require
			has_named_icon: has_named_icon (overlay_packaged_name)
		once
			Result := named_icon (overlay_packaged_name)
		end

	frozen overlay_packaged_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'packaged' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (overlay_packaged_name)
		once
			Result := named_icon_buffer (overlay_packaged_name)
		end

	frozen overlay_search_icon: !EV_PIXMAP
			-- Access to 'search' pixmap.
		require
			has_named_icon: has_named_icon (overlay_search_name)
		once
			Result := named_icon (overlay_search_name)
		end

	frozen overlay_search_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'search' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (overlay_search_name)
		once
			Result := named_icon_buffer (overlay_search_name)
		end

	frozen overlay_new_icon: !EV_PIXMAP
			-- Access to 'new' pixmap.
		require
			has_named_icon: has_named_icon (overlay_new_name)
		once
			Result := named_icon (overlay_new_name)
		end

	frozen overlay_new_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'new' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (overlay_new_name)
		once
			Result := named_icon_buffer (overlay_new_name)
		end

	frozen information_tag_icon: !EV_PIXMAP
			-- Access to 'tag' pixmap.
		require
			has_named_icon: has_named_icon (information_tag_name)
		once
			Result := named_icon (information_tag_name)
		end

	frozen information_tag_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'tag' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (information_tag_name)
		once
			Result := named_icon_buffer (information_tag_name)
		end

	frozen information_tags_icon: !EV_PIXMAP
			-- Access to 'tags' pixmap.
		require
			has_named_icon: has_named_icon (information_tags_name)
		once
			Result := named_icon (information_tags_name)
		end

	frozen information_tags_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'tags' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (information_tags_name)
		once
			Result := named_icon_buffer (information_tags_name)
		end

	frozen information_no_tag_icon: !EV_PIXMAP
			-- Access to 'no tag' pixmap.
		require
			has_named_icon: has_named_icon (information_no_tag_name)
		once
			Result := named_icon (information_no_tag_name)
		end

	frozen information_no_tag_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'no tag' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (information_no_tag_name)
		once
			Result := named_icon_buffer (information_no_tag_name)
		end

	frozen information_affected_items_icon: !EV_PIXMAP
			-- Access to 'affected items' pixmap.
		require
			has_named_icon: has_named_icon (information_affected_items_name)
		once
			Result := named_icon (information_affected_items_name)
		end

	frozen information_affected_items_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'affected items' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (information_affected_items_name)
		once
			Result := named_icon_buffer (information_affected_items_name)
		end

	frozen information_auto_sweeping_icon: !EV_PIXMAP
			-- Access to 'auto sweeping' pixmap.
		require
			has_named_icon: has_named_icon (information_auto_sweeping_name)
		once
			Result := named_icon (information_auto_sweeping_name)
		end

	frozen information_auto_sweeping_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'auto sweeping' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (information_auto_sweeping_name)
		once
			Result := named_icon_buffer (information_auto_sweeping_name)
		end

	frozen information_sweep_now_icon: !EV_PIXMAP
			-- Access to 'sweep now' pixmap.
		require
			has_named_icon: has_named_icon (information_sweep_now_name)
		once
			Result := named_icon (information_sweep_now_name)
		end

	frozen information_sweep_now_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'sweep now' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (information_sweep_now_name)
		once
			Result := named_icon_buffer (information_sweep_now_name)
		end

	frozen testing_new_unit_test_icon: !EV_PIXMAP
			-- Access to 'new_unit_test' pixmap.
		require
			has_named_icon: has_named_icon (testing_new_unit_test_name)
		once
			Result := named_icon (testing_new_unit_test_name)
		end

	frozen testing_new_unit_test_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'new_unit_test' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_new_unit_test_name)
		once
			Result := named_icon_buffer (testing_new_unit_test_name)
		end

	frozen testing_failure_icon: !EV_PIXMAP
			-- Access to 'failure' pixmap.
		require
			has_named_icon: has_named_icon (testing_failure_name)
		once
			Result := named_icon (testing_failure_name)
		end

	frozen testing_failure_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'failure' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_failure_name)
		once
			Result := named_icon_buffer (testing_failure_name)
		end

	frozen testing_run_last_tests_icon: !EV_PIXMAP
			-- Access to 'run_last_tests' pixmap.
		require
			has_named_icon: has_named_icon (testing_run_last_tests_name)
		once
			Result := named_icon (testing_run_last_tests_name)
		end

	frozen testing_run_last_tests_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'run_last_tests' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_run_last_tests_name)
		once
			Result := named_icon_buffer (testing_run_last_tests_name)
		end

	frozen testing_run_last_failed_tests_first_icon: !EV_PIXMAP
			-- Access to 'run_last_failed_tests_first' pixmap.
		require
			has_named_icon: has_named_icon (testing_run_last_failed_tests_first_name)
		once
			Result := named_icon (testing_run_last_failed_tests_first_name)
		end

	frozen testing_run_last_failed_tests_first_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'run_last_failed_tests_first' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_run_last_failed_tests_first_name)
		once
			Result := named_icon_buffer (testing_run_last_failed_tests_first_name)
		end

	frozen testing_all_test_runs_icon: !EV_PIXMAP
			-- Access to 'all_test_runs' pixmap.
		require
			has_named_icon: has_named_icon (testing_all_test_runs_name)
		once
			Result := named_icon (testing_all_test_runs_name)
		end

	frozen testing_all_test_runs_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'all_test_runs' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_all_test_runs_name)
		once
			Result := named_icon_buffer (testing_all_test_runs_name)
		end

	frozen testing_see_failure_trace_icon: !EV_PIXMAP
			-- Access to 'see_failure_trace' pixmap.
		require
			has_named_icon: has_named_icon (testing_see_failure_trace_name)
		once
			Result := named_icon (testing_see_failure_trace_name)
		end

	frozen testing_see_failure_trace_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'see_failure_trace' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_see_failure_trace_name)
		once
			Result := named_icon_buffer (testing_see_failure_trace_name)
		end

	frozen testing_compare_with_expected_result_icon: !EV_PIXMAP
			-- Access to 'compare_with_expected_result' pixmap.
		require
			has_named_icon: has_named_icon (testing_compare_with_expected_result_name)
		once
			Result := named_icon (testing_compare_with_expected_result_name)
		end

	frozen testing_compare_with_expected_result_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'compare_with_expected_result' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_compare_with_expected_result_name)
		once
			Result := named_icon_buffer (testing_compare_with_expected_result_name)
		end

	frozen testing_tool_icon: !EV_PIXMAP
			-- Access to 'tool' pixmap.
		require
			has_named_icon: has_named_icon (testing_tool_name)
		once
			Result := named_icon (testing_tool_name)
		end

	frozen testing_tool_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'tool' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_tool_name)
		once
			Result := named_icon_buffer (testing_tool_name)
		end

	frozen testing_result_tool_icon: !EV_PIXMAP
			-- Access to 'result_tool' pixmap.
		require
			has_named_icon: has_named_icon (testing_result_tool_name)
		once
			Result := named_icon (testing_result_tool_name)
		end

	frozen testing_result_tool_icon_buffer: !EV_PIXEL_BUFFER
			-- Access to 'result_tool' pixmap pixel buffer.
		require
			has_named_icon: has_named_icon (testing_result_tool_name)
		once
			Result := named_icon_buffer (testing_result_tool_name)
		end

feature -- Icons: Animations

	frozen run_animation_anim: !ARRAY [!EV_PIXMAP]
			-- Access to 'run_animation' pixmap animation items.
		once
			create Result.make (1, 5)
			Result.put (named_icon (run_animation_1_name), 1)
			Result.put (named_icon (run_animation_2_name), 2)
			Result.put (named_icon (run_animation_3_name), 3)
			Result.put (named_icon (run_animation_4_name), 4)
			Result.put (named_icon (run_animation_5_name), 5)
		end

	frozen run_animation_buffer_anim: !ARRAY [!EV_PIXEL_BUFFER]
			-- Access to 'run_animation' pixel buffer animation items.
		once
			create Result.make (1, 5)
			Result.put (named_icon_buffer (run_animation_1_name), 1)
			Result.put (named_icon_buffer (run_animation_2_name), 2)
			Result.put (named_icon_buffer (run_animation_3_name), 3)
			Result.put (named_icon_buffer (run_animation_4_name), 4)
			Result.put (named_icon_buffer (run_animation_5_name), 5)
		end

	frozen compile_animation_anim: !ARRAY [!EV_PIXMAP]
			-- Access to 'compile_animation' pixmap animation items.
		once
			create Result.make (1, 8)
			Result.put (named_icon (compile_animation_1_name), 1)
			Result.put (named_icon (compile_animation_2_name), 2)
			Result.put (named_icon (compile_animation_3_name), 3)
			Result.put (named_icon (compile_animation_4_name), 4)
			Result.put (named_icon (compile_animation_5_name), 5)
			Result.put (named_icon (compile_animation_6_name), 6)
			Result.put (named_icon (compile_animation_7_name), 7)
			Result.put (named_icon (compile_animation_8_name), 8)
		end

	frozen compile_animation_buffer_anim: !ARRAY [!EV_PIXEL_BUFFER]
			-- Access to 'compile_animation' pixel buffer animation items.
		once
			create Result.make (1, 8)
			Result.put (named_icon_buffer (compile_animation_1_name), 1)
			Result.put (named_icon_buffer (compile_animation_2_name), 2)
			Result.put (named_icon_buffer (compile_animation_3_name), 3)
			Result.put (named_icon_buffer (compile_animation_4_name), 4)
			Result.put (named_icon_buffer (compile_animation_5_name), 5)
			Result.put (named_icon_buffer (compile_animation_6_name), 6)
			Result.put (named_icon_buffer (compile_animation_7_name), 7)
			Result.put (named_icon_buffer (compile_animation_8_name), 8)
		end

feature -- Constants: Icon names

	expanded_normal_name: !STRING = "expanded normal"
	expanded_readonly_name: !STRING = "expanded readonly"
	expanded_uncompiled_name: !STRING = "expanded uncompiled"
	expanded_uncompiled_readonly_name: !STRING = "expanded uncompiled readonly"
	expanded_override_normal_name: !STRING = "expanded override normal"
	expanded_override_readonly_name: !STRING = "expanded override readonly"
	expanded_override_uncompiled_name: !STRING = "expanded override uncompiled"
	expanded_override_uncompiled_readonly_name: !STRING = "expanded override uncompiled readonly"
	expanded_overriden_normal_name: !STRING = "expanded overriden normal"
	expanded_overriden_readonly_name: !STRING = "expanded overriden readonly"
	expanded_overriden_uncompiled_name: !STRING = "expanded overriden uncompiled"
	expanded_overriden_uncompiled_readonly_name: !STRING = "expanded overriden uncompiled readonly"
	class_normal_name: !STRING = "class normal"
	class_readonly_name: !STRING = "class readonly"
	class_deferred_name: !STRING = "class deferred"
	class_deferred_readonly_name: !STRING = "class deferred readonly"
	class_frozen_name: !STRING = "class frozen"
	class_frozen_readonly_name: !STRING = "class frozen readonly"
	class_uncompiled_name: !STRING = "class uncompiled"
	class_uncompiled_readonly_name: !STRING = "class uncompiled readonly"
	class_override_normal_name: !STRING = "class override normal"
	class_override_readonly_name: !STRING = "class override readonly"
	class_override_deferred_name: !STRING = "class override deferred"
	class_override_deferred_readonly_name: !STRING = "class override deferred readonly"
	class_override_frozen_name: !STRING = "class override frozen"
	class_override_frozen_readonly_name: !STRING = "class override frozen readonly"
	class_override_uncompiled_name: !STRING = "class override uncompiled"
	class_override_uncompiled_readonly_name: !STRING = "class override uncompiled readonly"
	class_overriden_normal_name: !STRING = "class overriden normal"
	class_overriden_readonly_name: !STRING = "class overriden readonly"
	class_overriden_deferred_name: !STRING = "class overriden deferred"
	class_overriden_deferred_readonly_name: !STRING = "class overriden deferred readonly"
	class_overriden_frozen_name: !STRING = "class overriden frozen"
	class_overriden_frozen_readonly_name: !STRING = "class overriden frozen readonly"
	class_overriden_uncompiled_name: !STRING = "class overriden uncompiled"
	class_overriden_uncompiled_readonly_name: !STRING = "class overriden uncompiled readonly"
	feature_routine_name: !STRING = "feature routine"
	feature_attribute_name: !STRING = "feature attribute"
	feature_once_name: !STRING = "feature once"
	feature_deferred_name: !STRING = "feature deferred"
	feature_external_name: !STRING = "feature external"
	feature_assigner_name: !STRING = "feature assigner"
	feature_deferred_assigner_name: !STRING = "feature deferred assigner"
	feature_frozen_routine_name: !STRING = "feature frozen routine"
	feature_frozen_attribute_name: !STRING = "feature frozen attribute"
	feature_frozen_once_name: !STRING = "feature frozen once"
	feature_frozen_external_name: !STRING = "feature frozen external"
	feature_frozen_assigner_name: !STRING = "feature frozen assigner"
	feature_obsolete_routine_name: !STRING = "feature obsolete routine"
	feature_obsolete_attribute_name: !STRING = "feature obsolete attribute"
	feature_obsolete_once_name: !STRING = "feature obsolete once"
	feature_obsolete_deferred_name: !STRING = "feature obsolete deferred"
	feature_obsolete_external_name: !STRING = "feature obsolete external"
	feature_obsolete_assigner_name: !STRING = "feature obsolete assigner"
	feature_obsolete_deferred_assigner_name: !STRING = "feature obsolete deferred assigner"
	feature_local_variable_name: !STRING = "feature local variable"
	feature_group_name: !STRING = "feature group"
	top_level_folder_clusters_name: !STRING = "top level folder clusters"
	top_level_folder_overrides_name: !STRING = "top level folder overrides"
	top_level_folder_library_name: !STRING = "top level folder library"
	top_level_folder_precompiles_name: !STRING = "top level folder precompiles"
	top_level_folder_references_name: !STRING = "top level folder references"
	top_level_folder_targets_name: !STRING = "top level folder targets"
	folder_features_all_name: !STRING = "folder features all"
	folder_features_some_name: !STRING = "folder features some"
	folder_features_none_name: !STRING = "folder features none"
	folder_cluster_name: !STRING = "folder cluster"
	folder_cluster_readonly_name: !STRING = "folder cluster readonly"
	folder_blank_name: !STRING = "folder blank"
	folder_blank_readonly_name: !STRING = "folder blank readonly"
	folder_library_name: !STRING = "folder library"
	folder_library_readonly_name: !STRING = "folder library readonly"
	folder_precompiled_library_name: !STRING = "folder precompiled library"
	folder_precompiled_library_readonly_name: !STRING = "folder precompiled library readonly"
	folder_assembly_name: !STRING = "folder assembly"
	folder_namespace_name: !STRING = "folder namespace"
	folder_preference_name: !STRING = "folder preference"
	folder_config_name: !STRING = "folder config"
	folder_target_name: !STRING = "folder target"
	folder_hidden_cluster_name: !STRING = "folder hidden cluster"
	folder_hidden_cluster_readonly_name: !STRING = "folder hidden cluster readonly"
	folder_hidden_blank_name: !STRING = "folder hidden blank"
	folder_hidden_blank_readonly_name: !STRING = "folder hidden blank readonly"
	folder_override_cluster_name: !STRING = "folder override cluster"
	folder_override_cluster_readonly_name: !STRING = "folder override cluster readonly"
	folder_override_blank_name: !STRING = "folder override blank"
	folder_override_blank_readonly_name: !STRING = "folder override blank readonly"
	tool_features_name: !STRING = "tool features"
	tool_clusters_name: !STRING = "tool clusters"
	tool_class_name: !STRING = "tool class"
	tool_feature_name: !STRING = "tool feature"
	tool_search_name: !STRING = "tool search"
	tool_advanced_search_name: !STRING = "tool advanced search"
	tool_diagram_name: !STRING = "tool diagram"
	tool_error_name: !STRING = "tool error"
	tool_warning_name: !STRING = "tool warning"
	tool_breakpoints_name: !STRING = "tool breakpoints"
	tool_external_commands_name: !STRING = "tool external commands"
	tool_preferences_name: !STRING = "tool preferences"
	tool_call_stack_name: !STRING = "tool call stack"
	tool_favorites_name: !STRING = "tool favorites"
	tool_output_name: !STRING = "tool output"
	tool_external_output_name: !STRING = "tool external output"
	tool_objects_name: !STRING = "tool objects"
	tool_watch_name: !STRING = "tool watch"
	tool_c_output_name: !STRING = "tool c output"
	tool_config_name: !STRING = "tool config"
	tool_metric_name: !STRING = "tool metric"
	tool_output_successful_name: !STRING = "tool output successful"
	tool_output_failed_name: !STRING = "tool output failed"
	tool_c_output_successful_name: !STRING = "tool c output successful"
	tool_c_output_failed_name: !STRING = "tool c output failed"
	tool_threads_name: !STRING = "tool threads"
	tool_find_results_name: !STRING = "tool find results"
	tool_properties_name: !STRING = "tool properties"
	tool_errors_list_with_errors_and_warnings_name: !STRING = "tool errors list with errors and warnings"
	tool_errors_list_with_errors_name: !STRING = "tool errors list with errors"
	tool_errors_list_with_warnings_name: !STRING = "tool errors list with warnings"
	tool_contract_editor_name: !STRING = "tool contract editor"
	project_melt_name: !STRING = "project melt"
	project_quick_melt_name: !STRING = "project quick melt"
	project_freeze_name: !STRING = "project freeze"
	project_finalize_name: !STRING = "project finalize"
	project_discover_melt_name: !STRING = "project discover melt"
	debug_run_name: !STRING = "debug run"
	debug_pause_name: !STRING = "debug pause"
	debug_stop_name: !STRING = "debug stop"
	debug_restart_name: !STRING = "debug restart"
	debug_show_execution_point_name: !STRING = "debug show execution point"
	debug_run_without_breakpoint_name: !STRING = "debug run without breakpoint"
	debug_run_finalized_name: !STRING = "debug run finalized"
	debug_step_into_name: !STRING = "debug step into"
	debug_step_over_name: !STRING = "debug step over"
	debug_step_out_name: !STRING = "debug step out"
	debug_exception_dialog_name: !STRING = "debug exception dialog"
	debug_disable_assertions_name: !STRING = "debug disable assertions"
	debug_resume_assertions_name: !STRING = "debug resume assertions"
	debug_exception_handling_name: !STRING = "debug exception handling"
	debugger_object_immediate_name: !STRING = "debugger object immediate"
	debugger_object_eiffel_name: !STRING = "debugger object eiffel"
	debugger_object_dotnet_name: !STRING = "debugger object dotnet"
	debugger_object_dotnet_static_name: !STRING = "debugger object dotnet static"
	debugger_object_static_name: !STRING = "debugger object static"
	debugger_object_void_name: !STRING = "debugger object void"
	debugger_object_expanded_name: !STRING = "debugger object expanded"
	debugger_object_dotnet_expanded_name: !STRING = "debugger object dotnet expanded"
	debugger_object_watched_name: !STRING = "debugger object watched"
	debugger_object_watched_disabled_name: !STRING = "debugger object watched disabled"
	debugger_object_expand_name: !STRING = "debugger object expand"
	breakpoints_delete_name: !STRING = "breakpoints delete"
	breakpoints_disable_name: !STRING = "breakpoints disable"
	breakpoints_enable_name: !STRING = "breakpoints enable"
	callstack_active_arrow_name: !STRING = "callstack active arrow"
	callstack_empty_arrow_name: !STRING = "callstack empty arrow"
	callstack_marked_arrow_name: !STRING = "callstack marked arrow"
	callstack_replayed_active_name: !STRING = "callstack replayed active"
	callstack_replayed_empty_name: !STRING = "callstack replayed empty"
	callstack_replayed_marked_name: !STRING = "callstack replayed marked"
	debugger_environment_force_debug_mode_name: !STRING = "debugger environment force debug mode"
	debugger_environment_with_breakpoints_name: !STRING = "debugger environment with breakpoints"
	debugger_environment_without_breakpoints_name: !STRING = "debugger environment without breakpoints"
	execution_record_name: !STRING = "execution record"
	execution_replay_name: !STRING = "execution replay"
	execution_object_storage_name: !STRING = "execution object storage"
	general_blank_name: !STRING = "general blank"
	general_dialog_name: !STRING = "general dialog"
	general_open_name: !STRING = "general open"
	general_save_name: !STRING = "general save"
	general_save_all_name: !STRING = "general save all"
	general_add_name: !STRING = "general add"
	general_edit_name: !STRING = "general edit"
	general_remove_name: !STRING = "general remove"
	general_delete_name: !STRING = "general delete"
	general_document_name: !STRING = "general document"
	general_cut_name: !STRING = "general cut"
	general_copy_name: !STRING = "general copy"
	general_paste_name: !STRING = "general paste"
	general_undo_name: !STRING = "general undo"
	general_redo_name: !STRING = "general redo"
	general_error_name: !STRING = "general error"
	general_mini_error_name: !STRING = "general mini error"
	general_warning_name: !STRING = "general warning"
	general_show_tool_tips_name: !STRING = "general show tool tips"
	general_close_name: !STRING = "general close"
	general_arrow_up_name: !STRING = "general arrow up"
	general_arrow_down_name: !STRING = "general arrow down"
	general_tick_name: !STRING = "general tick"
	general_word_wrap_name: !STRING = "general word wrap"
	general_send_enter_name: !STRING = "general send enter"
	general_reset_name: !STRING = "general reset"
	general_hand_name: !STRING = "general hand"
	general_print_name: !STRING = "general print"
	general_undo_history_name: !STRING = "general undo history"
	general_check_document_name: !STRING = "general check document"
	general_move_up_name: !STRING = "general move up"
	general_move_down_name: !STRING = "general move down"
	general_move_left_name: !STRING = "general move left"
	general_move_right_name: !STRING = "general move right"
	general_close_document_name: !STRING = "general close document"
	general_close_all_documents_name: !STRING = "general close all documents"
	general_show_hidden_name: !STRING = "general show hidden"
	general_refresh_name: !STRING = "general refresh"
	general_filter_name: !STRING = "general filter"
	general_information_name: !STRING = "general information"
	sort_descending_name: !STRING = "sort descending"
	sort_acending_name: !STRING = "sort acending"
	sort_grouped_name: !STRING = "sort grouped"
	command_send_to_external_editor_name: !STRING = "command send to external editor"
	command_error_info_name: !STRING = "command error info"
	command_system_info_name: !STRING = "command system info"
	command_show_features_of_any_name: !STRING = "command show features of any"
	command_go_to_definition_name: !STRING = "command go to definition"
	refactor_feature_up_name: !STRING = "refactor feature up"
	refactor_rename_name: !STRING = "refactor rename"
	context_link_name: !STRING = "context link"
	context_unlink_name: !STRING = "context unlink"
	context_sync_name: !STRING = "context sync"
	search_bottom_reached_name: !STRING = "search bottom reached"
	search_first_reached_name: !STRING = "search first reached"
	windows_minimize_all_name: !STRING = "windows minimize all"
	windows_raise_all_name: !STRING = "windows raise all"
	windows_raise_all_unsaved_name: !STRING = "windows raise all unsaved"
	windows_windows_name: !STRING = "windows windows"
	toolbar_separator_name: !STRING = "toolbar separator"
	errors_and_warnings_next_error_name: !STRING = "errors and warnings next error"
	errors_and_warnings_previous_error_name: !STRING = "errors and warnings previous error"
	errors_and_warnings_next_warning_name: !STRING = "errors and warnings next warning"
	errors_and_warnings_previous_warning_name: !STRING = "errors and warnings previous warning"
	errors_and_warnings_filter_name: !STRING = "errors and warnings filter"
	errors_and_warnings_filter_active_name: !STRING = "errors and warnings filter active"
	errors_and_warnings_expand_errors_name: !STRING = "errors and warnings expand errors"
	priority_high_name: !STRING = "priority high"
	priority_low_name: !STRING = "priority low"
	view_previous_name: !STRING = "view previous"
	view_next_name: !STRING = "view next"
	view_editor_name: !STRING = "view editor"
	view_flat_name: !STRING = "view flat"
	view_clickable_name: !STRING = "view clickable"
	view_contracts_name: !STRING = "view contracts"
	view_flat_contracts_name: !STRING = "view flat contracts"
	view_editor_feature_name: !STRING = "view editor feature"
	view_clickable_feature_name: !STRING = "view clickable feature"
	view_unmodified_name: !STRING = "view unmodified"
	new_eiffel_project_name: !STRING = "new eiffel project"
	new_cluster_name: !STRING = "new cluster"
	new_override_cluster_name: !STRING = "new override cluster"
	new_library_name: !STRING = "new library"
	new_precompiled_library_name: !STRING = "new precompiled library"
	new_reference_name: !STRING = "new reference"
	new_feature_name: !STRING = "new feature"
	new_class_name: !STRING = "new class"
	new_window_name: !STRING = "new window"
	new_editor_name: !STRING = "new editor"
	new_document_name: !STRING = "new document"
	new_metric_name: !STRING = "new metric"
	new_supplier_link_name: !STRING = "new supplier link"
	new_aggregate_supplier_link_name: !STRING = "new aggregate supplier link"
	new_inheritance_link_name: !STRING = "new inheritance link"
	new_and_name: !STRING = "new and"
	new_or_name: !STRING = "new or"
	new_include_name: !STRING = "new include"
	new_object_name: !STRING = "new object"
	new_makefile_name: !STRING = "new makefile"
	new_resource_name: !STRING = "new resource"
	new_pre_compilation_task_name: !STRING = "new pre compilation task"
	new_post_compilation_task_name: !STRING = "new post compilation task"
	new_target_name: !STRING = "new target"
	feature_callers_name: !STRING = "feature callers"
	feature_callees_name: !STRING = "feature callees"
	feature_assigners_name: !STRING = "feature assigners"
	feature_assignees_name: !STRING = "feature assignees"
	feature_creators_name: !STRING = "feature creators"
	feature_creaters_name: !STRING = "feature creaters"
	feature_implementers_name: !STRING = "feature implementers"
	feature_ancestors_name: !STRING = "feature ancestors"
	feature_descendents_name: !STRING = "feature descendents"
	feature_homonyms_name: !STRING = "feature homonyms"
	class_ancestors_name: !STRING = "class ancestors"
	class_descendents_name: !STRING = "class descendents"
	class_clients_name: !STRING = "class clients"
	class_supliers_name: !STRING = "class supliers"
	class_features_attribute_name: !STRING = "class features attribute"
	class_features_routine_name: !STRING = "class features routine"
	class_features_invariant_name: !STRING = "class features invariant"
	class_features_creator_name: !STRING = "class features creator"
	class_features_deferred_name: !STRING = "class features deferred"
	class_features_once_name: !STRING = "class features once"
	class_features_external_name: !STRING = "class features external"
	class_features_exported_name: !STRING = "class features exported"
	metric_basic_name: !STRING = "metric basic"
	metric_linear_name: !STRING = "metric linear"
	metric_ratio_name: !STRING = "metric ratio"
	metric_basic_readonly_name: !STRING = "metric basic readonly"
	metric_linear_readonly_name: !STRING = "metric linear readonly"
	metric_ratio_readonly_name: !STRING = "metric ratio readonly"
	metric_common_criteria_name: !STRING = "metric common criteria"
	metric_relational_criteria_name: !STRING = "metric relational criteria"
	metric_text_criteria_name: !STRING = "metric text criteria"
	metric_group_name: !STRING = "metric group"
	metric_folder_name: !STRING = "metric folder"
	metric_send_to_archive_name: !STRING = "metric send to archive"
	metric_quick_name: !STRING = "metric quick"
	metric_show_details_name: !STRING = "metric show details"
	metric_run_and_show_details_name: !STRING = "metric run and show details"
	metric_export_to_file_name: !STRING = "metric export to file"
	metric_and_name: !STRING = "metric and"
	metric_or_name: !STRING = "metric or"
	metric_not_common_criteria_name: !STRING = "metric not common criteria"
	metric_not_relational_criteria_name: !STRING = "metric not relational criteria"
	metric_not_text_criteria_name: !STRING = "metric not text criteria"
	metric_not_and_name: !STRING = "metric not and"
	metric_not_or_name: !STRING = "metric not or"
	metric_domain_application_name: !STRING = "metric domain application"
	metric_domain_custom_name: !STRING = "metric domain custom"
	metric_domain_delayed_name: !STRING = "metric domain delayed"
	metric_unit_target_name: !STRING = "metric unit target"
	metric_unit_group_name: !STRING = "metric unit group"
	metric_unit_class_name: !STRING = "metric unit class"
	metric_unit_generic_name: !STRING = "metric unit generic"
	metric_unit_feature_name: !STRING = "metric unit feature"
	metric_unit_local_or_argument_name: !STRING = "metric unit local or argument"
	metric_unit_assertion_name: !STRING = "metric unit assertion"
	metric_unit_line_name: !STRING = "metric unit line"
	metric_unit_compilation_name: !STRING = "metric unit compilation"
	metric_unit_ratio_name: !STRING = "metric unit ratio"
	metric_filter_name: !STRING = "metric filter"
	diagram_zoom_in_name: !STRING = "diagram zoom in"
	diagram_zoom_out_name: !STRING = "diagram zoom out"
	diagram_target_cluster_or_class_name: !STRING = "diagram target cluster or class"
	diagram_show_legend_name: !STRING = "diagram show legend"
	diagram_crop_name: !STRING = "diagram crop"
	diagram_choose_color_name: !STRING = "diagram choose color"
	diagram_force_right_angles_name: !STRING = "diagram force right angles"
	diagram_toogle_physics_name: !STRING = "diagram toogle physics"
	diagram_physics_settings_name: !STRING = "diagram physics settings"
	diagram_supplier_link_name: !STRING = "diagram supplier link"
	diagram_inheritance_link_name: !STRING = "diagram inheritance link"
	diagram_export_to_png_name: !STRING = "diagram export to png"
	diagram_pinned_name: !STRING = "diagram pinned"
	diagram_unpinned_name: !STRING = "diagram unpinned"
	diagram_anchor_name: !STRING = "diagram anchor"
	diagram_remove_anchor_name: !STRING = "diagram remove anchor"
	diagram_toggle_quality_name: !STRING = "diagram toggle quality"
	diagram_depth_of_relations_name: !STRING = "diagram depth of relations"
	diagram_fit_to_screen_name: !STRING = "diagram fit to screen"
	diagram_show_labels_name: !STRING = "diagram show labels"
	diagram_fill_cluster_name: !STRING = "diagram fill cluster"
	diagram_view_uml_name: !STRING = "diagram view uml"
	preference_boolean_name: !STRING = "preference boolean"
	preference_color_name: !STRING = "preference color"
	preference_string_name: !STRING = "preference string"
	preference_list_name: !STRING = "preference list"
	preference_numerical_name: !STRING = "preference numerical"
	preference_font_name: !STRING = "preference font"
	preference_shortcut_name: !STRING = "preference shortcut"
	document_eiffel_project_name: !STRING = "document eiffel project"
	document_eiffel_project_compiled_name: !STRING = "document eiffel project compiled"
	document_blank_name: !STRING = "document blank"
	document_eiffel_project_large_name: !STRING = "document eiffel project large"
	compile_animation_1_name: !STRING = "compile animation 1"
	compile_animation_2_name: !STRING = "compile animation 2"
	compile_animation_3_name: !STRING = "compile animation 3"
	compile_animation_4_name: !STRING = "compile animation 4"
	compile_animation_5_name: !STRING = "compile animation 5"
	compile_animation_6_name: !STRING = "compile animation 6"
	compile_animation_7_name: !STRING = "compile animation 7"
	compile_animation_8_name: !STRING = "compile animation 8"
	compile_error_name: !STRING = "compile error"
	compile_success_name: !STRING = "compile success"
	run_animation_1_name: !STRING = "run animation 1"
	run_animation_2_name: !STRING = "run animation 2"
	run_animation_3_name: !STRING = "run animation 3"
	run_animation_4_name: !STRING = "run animation 4"
	run_animation_5_name: !STRING = "run animation 5"
	project_settings_system_name: !STRING = "project settings system"
	project_settings_target_name: !STRING = "project settings target"
	project_settings_assertions_name: !STRING = "project settings assertions"
	project_settings_groups_name: !STRING = "project settings groups"
	project_settings_advanced_name: !STRING = "project settings advanced"
	project_settings_warnings_name: !STRING = "project settings warnings"
	project_settings_debug_name: !STRING = "project settings debug"
	project_settings_externals_name: !STRING = "project settings externals"
	project_settings_tasks_name: !STRING = "project settings tasks"
	project_settings_variables_name: !STRING = "project settings variables"
	project_settings_type_mappings_name: !STRING = "project settings type mappings"
	project_settings_edit_library_name: !STRING = "project settings edit library"
	project_settings_include_file_name: !STRING = "project settings include file"
	project_settings_object_file_name: !STRING = "project settings object file"
	project_settings_make_file_name: !STRING = "project settings make file"
	project_settings_resource_file_name: !STRING = "project settings resource file"
	project_settings_task_name: !STRING = "project settings task"
	overlay_locked_name: !STRING = "overlay locked"
	overlay_error_name: !STRING = "overlay error"
	overlay_warning_name: !STRING = "overlay warning"
	overlay_packaged_name: !STRING = "overlay packaged"
	overlay_search_name: !STRING = "overlay search"
	overlay_new_name: !STRING = "overlay new"
	information_tag_name: !STRING = "information tag"
	information_tags_name: !STRING = "information tags"
	information_no_tag_name: !STRING = "information no tag"
	information_affected_items_name: !STRING = "information affected items"
	information_auto_sweeping_name: !STRING = "information auto sweeping"
	information_sweep_now_name: !STRING = "information sweep now"
	testing_new_unit_test_name: !STRING = "testing new_unit_test"
	testing_failure_name: !STRING = "testing failure"
	testing_run_last_tests_name: !STRING = "testing run_last_tests"
	testing_run_last_failed_tests_first_name: !STRING = "testing run_last_failed_tests_first"
	testing_all_test_runs_name: !STRING = "testing all_test_runs"
	testing_see_failure_trace_name: !STRING = "testing see_failure_trace"
	testing_compare_with_expected_result_name: !STRING = "testing compare_with_expected_result"
	testing_tool_name: !STRING = "testing tool"
	testing_result_tool_name: !STRING = "testing result_tool"

feature {NONE} -- Basic operations

	populate_coordinates_table (a_table: !DS_HASH_TABLE [!TUPLE [x: NATURAL_8; y: NATURAL_8], STRING])
			-- <Precursor>
		do
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}1], expanded_normal_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}1], expanded_readonly_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}1], expanded_uncompiled_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}1], expanded_uncompiled_readonly_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}1], expanded_override_normal_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}1], expanded_override_readonly_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}1], expanded_override_uncompiled_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}1], expanded_override_uncompiled_readonly_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}1], expanded_overriden_normal_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}1], expanded_overriden_readonly_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}1], expanded_overriden_uncompiled_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}1], expanded_overriden_uncompiled_readonly_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}1], class_normal_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}1], class_readonly_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}1], class_deferred_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}1], class_deferred_readonly_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}1], class_frozen_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}1], class_frozen_readonly_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}1], class_uncompiled_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}1], class_uncompiled_readonly_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}1], class_override_normal_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}1], class_override_readonly_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}1], class_override_deferred_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}1], class_override_deferred_readonly_name)
			a_table.force_last ([{NATURAL_8}25, {NATURAL_8}1], class_override_frozen_name)
			a_table.force_last ([{NATURAL_8}26, {NATURAL_8}1], class_override_frozen_readonly_name)
			a_table.force_last ([{NATURAL_8}27, {NATURAL_8}1], class_override_uncompiled_name)
			a_table.force_last ([{NATURAL_8}28, {NATURAL_8}1], class_override_uncompiled_readonly_name)
			a_table.force_last ([{NATURAL_8}29, {NATURAL_8}1], class_overriden_normal_name)
			a_table.force_last ([{NATURAL_8}30, {NATURAL_8}1], class_overriden_readonly_name)
			a_table.force_last ([{NATURAL_8}31, {NATURAL_8}1], class_overriden_deferred_name)
			a_table.force_last ([{NATURAL_8}32, {NATURAL_8}1], class_overriden_deferred_readonly_name)
			a_table.force_last ([{NATURAL_8}33, {NATURAL_8}1], class_overriden_frozen_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}2], class_overriden_frozen_readonly_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}2], class_overriden_uncompiled_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}2], class_overriden_uncompiled_readonly_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}3], feature_routine_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}3], feature_attribute_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}3], feature_once_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}3], feature_deferred_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}3], feature_external_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}3], feature_assigner_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}3], feature_deferred_assigner_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}3], feature_frozen_routine_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}3], feature_frozen_attribute_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}3], feature_frozen_once_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}3], feature_frozen_external_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}3], feature_frozen_assigner_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}3], feature_obsolete_routine_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}3], feature_obsolete_attribute_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}3], feature_obsolete_once_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}3], feature_obsolete_deferred_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}3], feature_obsolete_external_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}3], feature_obsolete_assigner_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}3], feature_obsolete_deferred_assigner_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}3], feature_local_variable_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}3], feature_group_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}4], top_level_folder_clusters_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}4], top_level_folder_overrides_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}4], top_level_folder_library_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}4], top_level_folder_precompiles_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}4], top_level_folder_references_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}4], top_level_folder_targets_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}4], folder_features_all_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}4], folder_features_some_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}4], folder_features_none_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}4], folder_cluster_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}4], folder_cluster_readonly_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}4], folder_blank_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}4], folder_blank_readonly_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}4], folder_library_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}4], folder_library_readonly_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}4], folder_precompiled_library_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}4], folder_precompiled_library_readonly_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}4], folder_assembly_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}4], folder_namespace_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}4], folder_preference_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}4], folder_config_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}4], folder_target_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}4], folder_hidden_cluster_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}4], folder_hidden_cluster_readonly_name)
			a_table.force_last ([{NATURAL_8}25, {NATURAL_8}4], folder_hidden_blank_name)
			a_table.force_last ([{NATURAL_8}26, {NATURAL_8}4], folder_hidden_blank_readonly_name)
			a_table.force_last ([{NATURAL_8}27, {NATURAL_8}4], folder_override_cluster_name)
			a_table.force_last ([{NATURAL_8}28, {NATURAL_8}4], folder_override_cluster_readonly_name)
			a_table.force_last ([{NATURAL_8}29, {NATURAL_8}4], folder_override_blank_name)
			a_table.force_last ([{NATURAL_8}30, {NATURAL_8}4], folder_override_blank_readonly_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}5], tool_features_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}5], tool_clusters_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}5], tool_class_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}5], tool_feature_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}5], tool_search_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}5], tool_advanced_search_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}5], tool_diagram_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}5], tool_error_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}5], tool_warning_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}5], tool_breakpoints_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}5], tool_external_commands_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}5], tool_preferences_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}5], tool_call_stack_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}5], tool_favorites_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}5], tool_output_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}5], tool_external_output_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}5], tool_objects_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}5], tool_watch_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}5], tool_c_output_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}5], tool_config_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}5], tool_metric_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}5], tool_output_successful_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}5], tool_output_failed_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}5], tool_c_output_successful_name)
			a_table.force_last ([{NATURAL_8}25, {NATURAL_8}5], tool_c_output_failed_name)
			a_table.force_last ([{NATURAL_8}26, {NATURAL_8}5], tool_threads_name)
			a_table.force_last ([{NATURAL_8}27, {NATURAL_8}5], tool_find_results_name)
			a_table.force_last ([{NATURAL_8}28, {NATURAL_8}5], tool_properties_name)
			a_table.force_last ([{NATURAL_8}29, {NATURAL_8}5], tool_errors_list_with_errors_and_warnings_name)
			a_table.force_last ([{NATURAL_8}30, {NATURAL_8}5], tool_errors_list_with_errors_name)
			a_table.force_last ([{NATURAL_8}31, {NATURAL_8}5], tool_errors_list_with_warnings_name)
			a_table.force_last ([{NATURAL_8}32, {NATURAL_8}5], tool_contract_editor_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}7], project_melt_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}7], project_quick_melt_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}7], project_freeze_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}7], project_finalize_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}7], project_discover_melt_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}7], debug_run_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}7], debug_pause_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}7], debug_stop_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}7], debug_restart_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}7], debug_show_execution_point_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}7], debug_run_without_breakpoint_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}7], debug_run_finalized_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}7], debug_step_into_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}7], debug_step_over_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}7], debug_step_out_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}7], debug_exception_dialog_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}7], debug_disable_assertions_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}7], debug_resume_assertions_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}7], debug_exception_handling_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}7], debugger_object_immediate_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}7], debugger_object_eiffel_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}7], debugger_object_dotnet_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}7], debugger_object_dotnet_static_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}7], debugger_object_static_name)
			a_table.force_last ([{NATURAL_8}25, {NATURAL_8}7], debugger_object_void_name)
			a_table.force_last ([{NATURAL_8}26, {NATURAL_8}7], debugger_object_expanded_name)
			a_table.force_last ([{NATURAL_8}27, {NATURAL_8}7], debugger_object_dotnet_expanded_name)
			a_table.force_last ([{NATURAL_8}28, {NATURAL_8}7], debugger_object_watched_name)
			a_table.force_last ([{NATURAL_8}29, {NATURAL_8}7], debugger_object_watched_disabled_name)
			a_table.force_last ([{NATURAL_8}30, {NATURAL_8}7], debugger_object_expand_name)
			a_table.force_last ([{NATURAL_8}31, {NATURAL_8}7], breakpoints_delete_name)
			a_table.force_last ([{NATURAL_8}32, {NATURAL_8}7], breakpoints_disable_name)
			a_table.force_last ([{NATURAL_8}33, {NATURAL_8}7], breakpoints_enable_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}8], callstack_active_arrow_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}8], callstack_empty_arrow_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}8], callstack_marked_arrow_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}8], callstack_replayed_active_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}8], callstack_replayed_empty_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}8], callstack_replayed_marked_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}8], debugger_environment_force_debug_mode_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}8], debugger_environment_with_breakpoints_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}8], debugger_environment_without_breakpoints_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}8], execution_record_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}8], execution_replay_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}8], execution_object_storage_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}9], general_blank_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}9], general_dialog_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}9], general_open_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}9], general_save_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}9], general_save_all_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}9], general_add_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}9], general_edit_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}9], general_remove_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}9], general_delete_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}9], general_document_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}9], general_cut_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}9], general_copy_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}9], general_paste_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}9], general_undo_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}9], general_redo_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}9], general_error_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}9], general_mini_error_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}9], general_warning_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}9], general_show_tool_tips_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}9], general_close_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}9], general_arrow_up_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}9], general_arrow_down_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}9], general_tick_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}9], general_word_wrap_name)
			a_table.force_last ([{NATURAL_8}25, {NATURAL_8}9], general_send_enter_name)
			a_table.force_last ([{NATURAL_8}26, {NATURAL_8}9], general_reset_name)
			a_table.force_last ([{NATURAL_8}27, {NATURAL_8}9], general_hand_name)
			a_table.force_last ([{NATURAL_8}28, {NATURAL_8}9], general_print_name)
			a_table.force_last ([{NATURAL_8}29, {NATURAL_8}9], general_undo_history_name)
			a_table.force_last ([{NATURAL_8}30, {NATURAL_8}9], general_check_document_name)
			a_table.force_last ([{NATURAL_8}31, {NATURAL_8}9], general_move_up_name)
			a_table.force_last ([{NATURAL_8}32, {NATURAL_8}9], general_move_down_name)
			a_table.force_last ([{NATURAL_8}33, {NATURAL_8}9], general_move_left_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}10], general_move_right_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}10], general_close_document_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}10], general_close_all_documents_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}10], general_show_hidden_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}10], general_refresh_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}10], general_filter_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}10], general_information_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}11], sort_descending_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}11], sort_acending_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}11], sort_grouped_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}11], command_send_to_external_editor_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}11], command_error_info_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}11], command_system_info_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}11], command_show_features_of_any_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}11], command_go_to_definition_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}11], refactor_feature_up_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}11], refactor_rename_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}11], context_link_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}11], context_unlink_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}11], context_sync_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}11], search_bottom_reached_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}11], search_first_reached_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}11], windows_minimize_all_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}11], windows_raise_all_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}11], windows_raise_all_unsaved_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}11], windows_windows_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}11], toolbar_separator_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}11], errors_and_warnings_next_error_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}11], errors_and_warnings_previous_error_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}11], errors_and_warnings_next_warning_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}11], errors_and_warnings_previous_warning_name)
			a_table.force_last ([{NATURAL_8}25, {NATURAL_8}11], errors_and_warnings_filter_name)
			a_table.force_last ([{NATURAL_8}26, {NATURAL_8}11], errors_and_warnings_filter_active_name)
			a_table.force_last ([{NATURAL_8}27, {NATURAL_8}11], errors_and_warnings_expand_errors_name)
			a_table.force_last ([{NATURAL_8}28, {NATURAL_8}11], priority_high_name)
			a_table.force_last ([{NATURAL_8}29, {NATURAL_8}11], priority_low_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}12], view_previous_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}12], view_next_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}12], view_editor_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}12], view_flat_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}12], view_clickable_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}12], view_contracts_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}12], view_flat_contracts_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}12], view_editor_feature_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}12], view_clickable_feature_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}12], view_unmodified_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}13], new_eiffel_project_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}13], new_cluster_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}13], new_override_cluster_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}13], new_library_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}13], new_precompiled_library_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}13], new_reference_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}13], new_feature_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}13], new_class_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}13], new_window_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}13], new_editor_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}13], new_document_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}13], new_metric_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}13], new_supplier_link_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}13], new_aggregate_supplier_link_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}13], new_inheritance_link_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}13], new_and_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}13], new_or_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}13], new_include_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}13], new_object_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}13], new_makefile_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}13], new_resource_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}13], new_pre_compilation_task_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}13], new_post_compilation_task_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}13], new_target_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}14], feature_callers_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}14], feature_callees_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}14], feature_assigners_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}14], feature_assignees_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}14], feature_creators_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}14], feature_creaters_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}14], feature_implementers_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}14], feature_ancestors_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}14], feature_descendents_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}14], feature_homonyms_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}14], class_ancestors_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}14], class_descendents_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}14], class_clients_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}14], class_supliers_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}14], class_features_attribute_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}14], class_features_routine_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}14], class_features_invariant_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}14], class_features_creator_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}14], class_features_deferred_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}14], class_features_once_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}14], class_features_external_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}14], class_features_exported_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}15], metric_basic_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}15], metric_linear_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}15], metric_ratio_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}15], metric_basic_readonly_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}15], metric_linear_readonly_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}15], metric_ratio_readonly_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}15], metric_common_criteria_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}15], metric_relational_criteria_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}15], metric_text_criteria_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}15], metric_group_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}15], metric_folder_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}15], metric_send_to_archive_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}15], metric_quick_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}15], metric_show_details_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}15], metric_run_and_show_details_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}15], metric_export_to_file_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}15], metric_and_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}15], metric_or_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}15], metric_not_common_criteria_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}15], metric_not_relational_criteria_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}15], metric_not_text_criteria_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}15], metric_not_and_name)
			a_table.force_last ([{NATURAL_8}23, {NATURAL_8}15], metric_not_or_name)
			a_table.force_last ([{NATURAL_8}24, {NATURAL_8}15], metric_domain_application_name)
			a_table.force_last ([{NATURAL_8}25, {NATURAL_8}15], metric_domain_custom_name)
			a_table.force_last ([{NATURAL_8}26, {NATURAL_8}15], metric_domain_delayed_name)
			a_table.force_last ([{NATURAL_8}27, {NATURAL_8}15], metric_unit_target_name)
			a_table.force_last ([{NATURAL_8}28, {NATURAL_8}15], metric_unit_group_name)
			a_table.force_last ([{NATURAL_8}29, {NATURAL_8}15], metric_unit_class_name)
			a_table.force_last ([{NATURAL_8}30, {NATURAL_8}15], metric_unit_generic_name)
			a_table.force_last ([{NATURAL_8}31, {NATURAL_8}15], metric_unit_feature_name)
			a_table.force_last ([{NATURAL_8}32, {NATURAL_8}15], metric_unit_local_or_argument_name)
			a_table.force_last ([{NATURAL_8}33, {NATURAL_8}15], metric_unit_assertion_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}16], metric_unit_line_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}16], metric_unit_compilation_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}16], metric_unit_ratio_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}16], metric_filter_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}17], diagram_zoom_in_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}17], diagram_zoom_out_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}17], diagram_target_cluster_or_class_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}17], diagram_show_legend_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}17], diagram_crop_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}17], diagram_choose_color_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}17], diagram_force_right_angles_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}17], diagram_toogle_physics_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}17], diagram_physics_settings_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}17], diagram_supplier_link_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}17], diagram_inheritance_link_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}17], diagram_export_to_png_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}17], diagram_pinned_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}17], diagram_unpinned_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}17], diagram_anchor_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}17], diagram_remove_anchor_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}17], diagram_toggle_quality_name)
			a_table.force_last ([{NATURAL_8}18, {NATURAL_8}17], diagram_depth_of_relations_name)
			a_table.force_last ([{NATURAL_8}19, {NATURAL_8}17], diagram_fit_to_screen_name)
			a_table.force_last ([{NATURAL_8}20, {NATURAL_8}17], diagram_show_labels_name)
			a_table.force_last ([{NATURAL_8}21, {NATURAL_8}17], diagram_fill_cluster_name)
			a_table.force_last ([{NATURAL_8}22, {NATURAL_8}17], diagram_view_uml_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}18], preference_boolean_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}18], preference_color_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}18], preference_string_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}18], preference_list_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}18], preference_numerical_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}18], preference_font_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}18], preference_shortcut_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}18], document_eiffel_project_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}18], document_eiffel_project_compiled_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}18], document_blank_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}18], document_eiffel_project_large_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}19], compile_animation_1_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}19], compile_animation_2_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}19], compile_animation_3_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}19], compile_animation_4_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}19], compile_animation_5_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}19], compile_animation_6_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}19], compile_animation_7_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}19], compile_animation_8_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}19], compile_error_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}19], compile_success_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}19], run_animation_1_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}19], run_animation_2_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}19], run_animation_3_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}19], run_animation_4_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}19], run_animation_5_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}20], project_settings_system_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}20], project_settings_target_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}20], project_settings_assertions_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}20], project_settings_groups_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}20], project_settings_advanced_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}20], project_settings_warnings_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}20], project_settings_debug_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}20], project_settings_externals_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}20], project_settings_tasks_name)
			a_table.force_last ([{NATURAL_8}10, {NATURAL_8}20], project_settings_variables_name)
			a_table.force_last ([{NATURAL_8}11, {NATURAL_8}20], project_settings_type_mappings_name)
			a_table.force_last ([{NATURAL_8}12, {NATURAL_8}20], project_settings_edit_library_name)
			a_table.force_last ([{NATURAL_8}13, {NATURAL_8}20], project_settings_include_file_name)
			a_table.force_last ([{NATURAL_8}14, {NATURAL_8}20], project_settings_object_file_name)
			a_table.force_last ([{NATURAL_8}15, {NATURAL_8}20], project_settings_make_file_name)
			a_table.force_last ([{NATURAL_8}16, {NATURAL_8}20], project_settings_resource_file_name)
			a_table.force_last ([{NATURAL_8}17, {NATURAL_8}20], project_settings_task_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}21], overlay_locked_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}21], overlay_error_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}21], overlay_warning_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}21], overlay_packaged_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}21], overlay_search_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}21], overlay_new_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}24], information_tag_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}24], information_tags_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}24], information_no_tag_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}24], information_affected_items_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}24], information_auto_sweeping_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}24], information_sweep_now_name)
			a_table.force_last ([{NATURAL_8}1, {NATURAL_8}25], testing_new_unit_test_name)
			a_table.force_last ([{NATURAL_8}2, {NATURAL_8}25], testing_failure_name)
			a_table.force_last ([{NATURAL_8}3, {NATURAL_8}25], testing_run_last_tests_name)
			a_table.force_last ([{NATURAL_8}4, {NATURAL_8}25], testing_run_last_failed_tests_first_name)
			a_table.force_last ([{NATURAL_8}5, {NATURAL_8}25], testing_all_test_runs_name)
			a_table.force_last ([{NATURAL_8}6, {NATURAL_8}25], testing_see_failure_trace_name)
			a_table.force_last ([{NATURAL_8}7, {NATURAL_8}25], testing_compare_with_expected_result_name)
			a_table.force_last ([{NATURAL_8}8, {NATURAL_8}25], testing_tool_name)
			a_table.force_last ([{NATURAL_8}9, {NATURAL_8}25], testing_result_tool_name)
		end

;indexing
	copyright: "Copyright (c) 1984-2008, Eiffel Software"
	license:   "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
	licensing_options: "http://www.eiffel.com/licensing"
	copying: "[
			This file is part of Eiffel Software's Eiffel Development Environment.
			
			Eiffel Software's Eiffel Development Environment is free
			software; you can redistribute it and/or modify it under
			the terms of the GNU General Public License as published
			by the Free Software Foundation, version 2 of the License
			(available at the URL listed under "license" above).
			
			Eiffel Software's Eiffel Development Environment is
			distributed in the hope that it will be useful, but
			WITHOUT ANY WARRANTY; without even the implied warranty
			of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
			See the GNU General Public License for more details.
			
			You should have received a copy of the GNU General Public
			License along with Eiffel Software's Eiffel Development
			Environment; if not, write to the Free Software Foundation,
			Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
		]"
	source: "[
			 Eiffel Software
			 356 Storke Road, Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"

end