indexing
	description: "Description of an Eiffel parameter"

class interface
	EIFFEL_PARAMETER

creation 
	make

feature 

	conforms_to_parameter (object: ANY): BOOLEAN
			-- object conforms to type of parameter

	name: STRING
			-- name of the parameter

	type: EIFFEL_TYPE
			-- type of the parameter
	
invariant

	name_exists: name /= void;
	type_exists: type /= void;

end -- class EIFFEL_PARAMETER