indexing
	description: "Describes an attribute of Eiffel type"

class interface
	EIFFEL_ATTRIBUTE

creation 
	make

feature -- type of this attribute

	type: EIFFEL_TYPE
			-- type of this attribute
	
feature -- value

	set_value (l_val: like value)
			-- set the value

	value: ANY
			-- current value of the attribute
	
invariant

	type_not_void: type /= void;

end -- class EIFFEL_ATTRIBUTE