class BITS_SYMBOL_AS

inherit

	BASIC_TYPE
		redefine
			set, simple_format, is_deep_equal
		end

feature -- Attributes

	bits_symbol: ID_AS;
			-- Bits value

feature -- Initialization

	set is
			-- Yacc initilization
		do
			bits_symbol ?= yacc_arg (0);
		ensure then
			bits_symbol_exists: bits_symbol /= Void
		end;

	is_deep_equal (other: TYPE): BOOLEAN is
		local
			o: BITS_SYMBOL_AS
		do
			o ?= other;
			Result := o /= Void and then
				bits_symbol.is_equal (o.bits_symbol)
		end;

	dump: STRING is
			-- Debug purpose
		do
			!!Result.make (5 + bits_symbol.count);
			Result.append ("BIT ");
			Result.append (bits_symbol);
   		end;

	simple_format (ctxt: FORMAT_CONTEXT) is
			-- Reconstitute text.
		do
			ctxt.begin;
			ctxt.put_string ("BIT ");
			ctxt.prepare_for_feature (bits_symbol, Void);
			ctxt.put_current_feature;
			ctxt.commit;
		end

end