note
	description: "Every class that used CPF facility must inherit from this class"
	author: "Louis Marchand"
	date: "Thu, 02 Apr 2015 03:58:25 +0000"
	revision: "2.0"

deferred class interface
	CPF_RESSOURCE_MANAGER

invariant
	cpf_valid: cpf.is_readable
	cpf_index_valid: cpf_index > 0 and cpf_index <= cpf.sub_files_count

end -- class CPF_RESSOURCE_MANAGER

Generated by ISE EiffelStudio