indexing
	description: "Push_b button containing an application method as %
					% an attribute"
	date: "$Date$"
	id: "$Id$"
	revision: "$Revision$"

class

	APPLICATION_METHOD_PUSH_B
	
	--| FIXME extracted from Build, minor changes.
	--| No known bugs or work to be done.

inherit

	EV_LIST_ITEM

creation

	make

feature {NONE} -- Initialization

	make (an_application_method: APPLICATION_METHOD; a_parent: EV_COMBO_BOX) is
			-- Create a push_b button with `an_application method'
			-- as identifier, `a_parent' as parent and call `set_default'.
		require else
			valid_application_method: an_application_method /= Void
		do
			default_create
			set_text (an_application_method.method_name)
			a_parent.extend (Current)
			application_method := an_application_method	
		ensure then
			application_method_set: application_method = an_application_method
		end

feature -- Attribute

	application_method: APPLICATION_METHOD	

end -- class APPLICATION_METHOD_PUSH_B