note
	description: "Clonable objects"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 2005, Eric Bezault and others"
	license: "MIT License"
	date: "$Date: 2016-05-06 19:15:38 +0000 (Fri, 06 May 2016) $"
	revision: "$Revision: 98678 $"

class 
	KL_CLONABLE

inherit
	ANY

	KL_IMPORTED_ANY_ROUTINES
		export
			{NONE} all
		end

create 
	default_create

feature -- Duplication

	cloned_object: like Current
			-- Clone of current object
		do
			Result := twin
		ensure
			cloned_not_void: Result /= Void
			same_type: Any_.same_types (Result, Current)
			is_equal: Result.is_equal (Current)
		end
	
end -- class KL_CLONABLE

Generated by ISE EiffelStudio