indexing description: "" date: "$Date$" revision: "$Revision$" class TEST_AGENT feature test_agent is do print (agent io.print ("FDFSD")) print (agent io.print (?)) print (agent io.print) print (agent print) print (agent print (?)) print (agent print ("REWR")) end test_inline (a_dir: DIRECTORY) is -- Process files and directories under `a_dir'. require a_dir_not_void: a_dir /= Void a_dir_exists: a_dir.exists local dir_names, file_names: ARRAY [STRING] do dir_names := a_dir.directory_names if dir_names /= Void then dir_names.do_all (agent (a_path: STRING; a_dir_name: STRING) local l_dir: DIRECTORY do create l_dir.make (a_path + operating_environment.Directory_separator.out + a_dir_name) if l_dir.exists then test_recursive (l_dir) end end (a_dir.name, ?)) end a_dir.open_read file_names := a_dir.filenames if file_names /= Void then file_names.do_all (agent (a_path: STRING; a_dir_name: STRING) do update_eiffel_class ( a_path + operating_environment.Directory_separator.out + a_dir_name) end (a_dir.name, ?)) end end end