indexing
	description: "EAC information - serialized"
	date: "$Date$"
	revision: "$Revision$"

class
	CACHE_INFO

create
	make

feature {NONE} -- Initalization

	make is
			-- Initialize `assemblies'.
		local
		do
		ensure
		end
		
feature -- Access

	assemblies: ARRAY [CONSUMED_ASSEMBLY]
			-- Array of assemblies in EAC

feature {CACHE_WRITER} -- Element Settings
	
	add_assembly (ass: CONSUMED_ASSEMBLY) is
			-- Add `ass' to `assemblies'.
		require
			non_void_assembly: ass /= Void
			valid_assembly: not assemblies.has (ass)
		do
			assemblies.force (ass, assemblies.count + 1)
		end

	remove_assembly (ass: CONSUMED_ASSEMBLY) is
			-- Remove `ass' from `assemblies'.
		require
			non_void_assembly: ass /= Void
			valid_assembly: assemblies.has (ass)
		local
			i, j: INTEGER
			new: ARRAY [CONSUMED_ASSEMBLY]
		do
			create new.make (1, assemblies.count - 1)
			from
				i := 1
				j := 1
			until
				i > assemblies.count
			loop
				if not assemblies.item (i).is_equal (ass) then
					new.put (assemblies.item (i), j)
					j := j + 1
				end
				i := i + 1
			end
			assemblies := new
		ensure
			removed: not assemblies.has (ass)
		end

end -- class CACHE_INFO