note
	description: "[
		Utilties to support the kernel library's {DISPOSABLE} implementation.
	]"
	legal   : "See notice at end of class."
	status  : "See notice at end of class.";
	author  : "Paul Bates (paul.a.bates@gmail.com)"
	date    : "$Date$"
	revision: "$Revision$"
	
class
	DISPOSE_UTILITIES

feature -- Basic operations

	dispose_of (a_obj: detachable ANY)
			-- Attemps to dispose of an object, if it implements {DISPOSABLE}.
			--
			-- `a_obj': An object to attempt to dispose of.
		do
			if attached {DISPOSABLE} a_obj as l_disposable then
				l_disposable.dispose
			end
		end

end