-- Feature external visibility controler

class VISIBLE_I 

inherit
	SHARED_WORKBENCH
	SHARED_GENERATION
	SHARED_BYTE_CONTEXT
		rename
			context as byte_context
		end
		
feature

	renamings: HASH_TABLE [STRING, STRING];
			-- Renaming table

	is_visible (feat: FEATURE_I; class_id: INTEGER): BOOLEAN is
			-- Is feature name `feat_name' visible in context 
			-- of class `class_id'?
		do
			-- Do nothing
		end;

feature 

	real_name (feat: FEATURE_I; class_id: INTEGER): STRING is
			-- Real external name for `feat' in context
			-- of `class_id'.
		require
			good_argument: feat /= Void;
			valid_class_id: class_id > 0
			feat_is_visible: is_visible (feat, class_id)
		do
			Result := feat.feature_name;
			if renamings /= Void and then renamings.has (Result) then
				Result := renamings.found_item
			end;
		end;

	set_renamings (t: like renamings) is
			-- Assign `t' to `renamings'.
		do
			renamings := t;
		end;

	mark_visible (remover: REMOVER; feat_table: FEATURE_TABLE) is
			-- Mark visible features from `feat_table'.
		do
			-- Do nothing
		end;

	has_visible: BOOLEAN is
			-- Has the current object some visible features ?
		do
			-- Do nothing
		end;

	generate_cecil_table (a_class: CLASS_C) is
			-- Generate cecil table
		require
			has_visible;
		do
		end;

	make_byte_code (ba: BYTE_ARRAY; tbl: FEATURE_TABLE) is
			-- Produce byte code for current visible clause
		do
		end;

	trace is
		do
			io.error.put_string (generator);
		end;

end