-- Abstract description of a renaming pair

class RENAME_AS

inherit

	AST_EIFFEL
		redefine
			simple_format
		end

feature -- Attributes

	old_name: FEATURE_NAME;
			-- Name of the renamed feature

	new_name: FEATURE_NAME;
			-- New name

feature -- Initialization

	set is
			-- Yacc initialization
		do
			old_name ?= yacc_arg (0);
			new_name ?= yacc_arg (1);
		ensure then
			old_name_exists: old_name /= Void;
			new_name_exists: new_name /= Void;
		end;

feature -- Formatter

	simple_format (ctxt : FORMAT_CONTEXT) is
			-- Reconstitute text.
		do
			ctxt.begin;
			old_name.simple_format (ctxt);
			ctxt.put_space;
			ctxt.put_text_item (ti_As_keyword);
			ctxt.put_space;
			new_name.simple_format (ctxt);
			ctxt.commit
		end;

	set_old_name (o: like old_name) is
		do
			old_name := o
		end;

	set_new_name (n: like new_name) is
		do
			new_name := n
		end;
	
end