Online Eiffel Documentation
EiffelStudio

EIFFEL_SCAN Text


	class 
		EIFFEL_SCAN

	inherit
		SCANNING
			rename
				make as scanning_make
			end

	ARGUMENTS
		undefine
			copy,
			consistent,
			is_equal,
			setup
		end
	
	create 
		make
	
	feature 
	
		make is
				-- Create a lexical analyser for Eiffel if none,
				-- then use it to analyze the file of name
				-- file_name.
			local
				file_name: STRING
			do
				if argument_count < 1 then
					io.error.putstring ("Usage: eiffel_scan eiffel_class_file.e%N")
				else
					file_name := argument (1)
					scanning_make
					build ("eiffel_lex", "eiffel_regular")
					io.putstring ("Scanning file `")
					io.putstring (file_name)
					io.putstring ("'.%N")
					analyze (file_name)
				end
			end

	end -- class EIFFEL_SCAN