indexing
	description: "Properties of an Eiffel feature"

class interface
	EIFFEL_FEATURE

feature 

	name: STRING
			-- of of this feature

	restricted_export: ARRAY [EIFFEL_TYPE]
			-- classes which can see this feature, "Void" list implies
			-- that export is to ANY
	
invariant

	name_not_void: name /= void;

end -- class EIFFEL_FEATURE