indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	TEST_IF_STATEMENT_01

feature -- Access

a_function:STRING is
  --
  local
  	i,j,k:INTEGER
  	a,b,c:REAL
  	bo,ba:BOOLEAN
  do

	if bo then
		i:= i
	elseif ba then
		i:= j
	elseif ba then
		i:= k
	elseif ba then
		i:= k
	elseif ba then
		i:= k
	else
		k:= i
	end



	k:=i
	i.out.adapt_size
	k.set_item (12)

	if bo then
		i:= i
		if bo then
			i:= i
		elseif ba then
			if ba then
				i:= j
			else
				j:=i
			end
			i:= j
		elseif bo then
			i:= j
		elseif bo then
			i:= j
		end

	end

  end


end