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

deferred class
	TEST_INHERITANCE_02
	inherit
	TEST_INHERITANCE_UNDEFINE_01
	redefine
		is_equal,
		out,
		conforms_to
	select
		test2
	end
	TEST_INHERITANCE_REDEFINE_01
	rename test as out2
	undefine
		is_equal,
		out,
		conforms_to
	end


feature -- Access


ac_function(a_arg,b_arg:INTEGER):INTEGER is
   ---
   local
   	testa,test1a,test2a:ANY
   	tes3,test4:LINKED_LIST[ANY]
   do
		testa.deep_clone (test2a).do_nothing
   end

a_integer:INTEGER
	--This is an integer

a_STRING:STRING
	--This is an integer
feature -- Command

a_command is
    -- this is a command
  do

  end

a_function:STRING is
  --
  local
  	i:INTEGER
  	c,b:REAL
  	bo:BOOLEAN
  do
	 i.out.adapt_size
	 c.set_item (b.to_double)

  end

b_function(a_arg:INTEGER):INTEGER is
   ---
   local
   	long_string:FILE
   do
		long_string.stamp (10)
   end

c_function(a_arg,b_arg:INTEGER):INTEGER is
   ---
   local
   	testa,test1a,test2a:ANY
   	tes3,test4:LINKED_LIST[ANY]
   do
		testa.deep_clone (test2a).do_nothing
   end


		is_equal (other: like Current): BOOLEAN is
			-- Is `other' attached to an object considered
			-- equal to current object?

		do
			Result := standard_is_equal (other)

		end

	out: STRING is
			-- New string containing terse printable representation
			-- of current object
		do
			Result := tagged_out

		end

	conforms_to (other: ANY): BOOLEAN is
			-- Does type of current object conform to type
			-- of `other' (as per Eiffel: The Language, chapter 13)?

		do

		end


end