class OBSOLETE_ obsolete "Use a different one"

feature

	obsolete_attribute: INTEGER obsolete "Use something else"
		attribute
		end

	obsolete_function (one: INTEGER): INTEGER obsolete "Use something else"
		do
		end

	obsolete_procedure (one: INTEGER) obsolete "Use something else"
		do
		end

end
