note
	description: "Object representing CIL Local variables."
	date: "$Date$"
	revision: "$Revision$"

class
	CIL_LOCAL_SIGNATURE

create
	make

feature {NONE} -- Initlization

	make
		do
			create locals.make (2)
		end

	locals: ARRAYED_LIST [CIL_LOCAL]
			-- loval variables


feature -- Element Change

	put (a_local: CIL_LOCAL)
			-- Add `local' to end of locals variables.
		do
			locals.force (a_local)
		end

feature -- Removal

	wipe_out
			-- Remove all elements
		do
			locals.wipe_out
		end

feature -- Access

	i_th (i: INTEGER): CIL_LOCAL
			-- Item at `i'-th position
		require
			valid_index: i > 0 and then i <= count
		do
			Result := locals.i_th (i)
		end

feature -- Status Report

	count: INTEGER
			-- Number of local variables.

end