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 
	CPF_RESSOURCE_MANAGER

inherit
	GAME_RESSOURCE_MANAGER

feature {NONE} -- Initialization

	make (a_cpf: CPF_PACKAGE_FILE; a_cpf_index: INTEGER_32)
			-- make Current from the BMP image in the custom package file a_cpf at a_cpf_index.
		require
			img_cpf_index_valid: a_cpf.is_readable and then a_cpf_index > 0 and then a_cpf_index <= a_cpf.sub_files_count
		do
			cpf := a_cpf
			cpf_index := a_cpf_index
		end
	
feature {NONE} -- Implementation

	cpf: CPF_PACKAGE_FILE

	cpf_index: INTEGER_32
	
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