indexing
	description: "Representation of a redefine clause"
--	attribute: create {CLASS_INTERFACE_ATTRIBUTE}.make_class_interface_attribute ((create {CLASS_INTERFACE_TYPE}).auto_dual) end

class
	REDEFINE_CLAUSE
	
inherit
 	INHERITANCE_CLAUSE
 
feature -- Access

	eiffel_keyword: STRING is
		indexing
			description: "Eiffel keyword for inheritance clause"
		do
			Result := Redefine_keyword
		end

	Redefine_keyword: STRING is "redefine"
		indexing
			description: "Redefine keyword"
		end
		
feature -- Basic Operations

	string_representation: STRING is
		indexing
			description: "Give a string representation of the inheritance clause."
		do
			Result := source_name
		end
	
 end -- class REDEFINE_CLAUSE