-- Abstract description of an item in the class indexing list

class INDEX_AS

inherit

	AST_EIFFEL
		redefine
			simple_format
		end

feature -- Attributes

	tag: ID_AS;
			-- Tag of the index list

	index_list: EIFFEL_LIST [ATOMIC_AS];
			-- Indexes

feature -- Equivalence

	is_equiv (other: like Current): BOOLEAN is
		do
			Result := deep_equal (tag, other.tag) and then
						deep_equal (index_list, other.index_list)
		end;

feature -- Initialization

	set is
			-- Yacc initialization
		do
			tag ?= yacc_arg (0);
			index_list ?= yacc_arg (1);
		ensure then
			list_exists: index_list /= Void;
		end;

	
	simple_format (ctxt: FORMAT_CONTEXT) is
			-- Reconstitute text.
		do
			ctxt.begin;
			if tag /= Void then
				tag.simple_format (ctxt);
				ctxt.put_text_item (ti_Colon);
				ctxt.put_space
			end;

			ctxt.space_between_tokens;
			ctxt.set_separator (ti_Comma);
			index_list.simple_format (ctxt);
			ctxt.commit;
		end;

end