indexing
	description	: "System's root class"

class
	TEST

creation -- TITI
{ANY} -- TOOT
	make

feature
	t1: TUPLE [STRING, INTEGER]
	t2: TUPLE [s: STRING; i: INTEGER]
	t3: TUPLE [x1,x2,x3: STRING; y1,y2: INTEGER; z: BOOLEAN]
	t4: TUPLE []
	t5: TUPLE [x1: STRING; y1, y2: TUPLE[INTEGER, TUPLE[INTEGER]]]
	t6: TUPLE [y1, y2: TUPLE[INTEGER, TUPLE[INTEGER]]; x1: STRING]
	t7: TUPLE [y1, y2: TUPLE[z1:INTEGER; z2,z3: TUPLE[INTEGER]]; x1:TUPLE[z4,z5:INTEGER; z6,z7:STRING]]

feature -- Initialization

	button_id_mask: INTEGER
			-- Button ID mask
		once
			Result := 0b1111
			do_nothing!!Result
		end

	test_recursive (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

	make is
			-- Creation procedure.
		local
			a: ANY
		do
			print ({ARRAY [STRING]}~io)
			print (~io)
			print (~ io)
			print (io~print)
			print (io ~ print)
			print ( io ~
				print)
			print (io -- TOTO
			~ -- TUTU
			--TATA
			print)
			print ((io)~print)
			print ((io) ~ print)
			print ( ( io ) ~print)
			print ( -- TOTO
				(io) --TUTU
				~ print)
			print (io~print ("FDSF"))
			print (io ~ print ("FDSF"))

			print (equal (toto,
				~print))

			!!a
			!!a.default_create
			!! a
			!! a.default_create
			!! a . default_create
			!! a .
				-- Test
				default_create

			!ANY!a
			!ANY!a.default_create
			!ANY! a
			!ANY! a.default_create
			!ANY! a
			!ANY! a . default_create
			! -- TITI
			 ANY
			 --TUTU
			!
			a
			!ANY -- TOTO
			! a
			! ANY ! a
			! ANY ! a 
				-- TEst
				.
				default_create

			print (!ANY!)
			print (! ANY !)
			print (! ANY !.default_create)
			print (! ANY ! . default_create)
			print (! --TOTO
			ANY --TITI
			!
			--TUTU
			.
			-- TATA
			default_create)

			feature {ISE_RUNTIME}.generating_type (objet)
			feature --ttoto
			{ISE_RUNTIME}.generating_type (objet)
			feature{ISE_RUNTIME}.generating_type (objet)

			t2 := ["hello", 10]
			print ((equal ("hello", t2.s) and equal (10, t2.i)).out)
			io.new_line
			
			t3 := ["a", "b", "c", 1, 2, True]
			print ((equal ("a", t3.x1) and equal ("b", t3.x2) and equal ("c", t3.x3) and
					equal (1, t3.y1) and equal (2, t3.y2) and equal (True, t3.z)).out)
			io.new_line
					
			t7 := [[1, [2], [3]], [4, [5], [6]], [7, 8, "a", "b"]]
			print ((equal ([2], t7.y1.z2) and equal ([6], t7.y2.z3) and equal (8, t7.x1.z5)).out)
			io.new_line
		end

end -- class TUPLE_TEST