deferred class
	FILE_SIZE_SCANNER

inherit
	RHYTHMBOX_CONSTANTS
		redefine
			User_config_dir
		end

	EL_MODULE_LIO; EL_MODULE_EXECUTABLE

feature {NONE} -- Initialization

	make
		do
			make_from_file (Rhythmbox_db_path)
		end

feature -- Access

	size_count: NATURAL_64

feature {NONE} -- Event handlers

	increment_size_count
			--
		do
			size_count := size_count + node.to_natural_64
		end

feature {NONE} -- Deferred

	make_from_file (a_file_path: FILE_PATH)
		deferred
		end

	node: EL_DOCUMENT_NODE_STRING
		deferred
		end

feature {NONE} -- Constants

	User_config_dir: DIR_PATH
		once
			if Executable.Is_work_bench then
				Result := "$EIFFEL_LOOP/example/manage-mp3/test-data/rhythmdb"
				Result.expand
			else
				Result := Precursor
			end
		end

end