note
	description: "Summary description for {WSF_FORM_SELECTABLE_ITEM}."
	date: "$Date$"
	revision: "$Revision$"

deferred class
	WSF_FORM_SELECTABLE_ITEM

feature -- Status report

	is_selected	: BOOLEAN
		deferred
		end

	is_same_value (v: READABLE_STRING_32): BOOLEAN
		deferred
		end

feature -- Change

	set_is_selected (b: like is_selected)
		deferred
		end

end
