note
	legal: "See notice at end of class."
	status: "See notice at end of class."
	description: "[
			Example of a lexical analyzer based on the Eiffel syntax.
			The analyzer itself is found in the file ``eiffel_lex'', which
			is created according to the file  ``eiffel_token'' if not
			previously built and stored.
		]"

class APPLICATION

inherit
	ARGUMENTS

create
	make

feature -- Initialization

	make
			-- Create a lexical analyser for Eiffel if none,
			-- then use it to analyze the file of name
			-- `file_name'.
		local
			file_name: STRING;
			l_scanner: EIFFEL_SCAN
			ut: FILE_UTILITIES
		do
			if argument_count < 1 or else argument (1).is_empty then
				io.error.putstring ("Usage: eiffel_scan eiffel_class_file.e%N")
			else
				file_name := argument (1)
				if ut.file_exists (file_name) then
					create l_scanner.make
					check l_scanner.initialized end
					l_scanner.analyze (file_name)
				end
			end
		end -- make

note
	copyright:	"Copyright (c) 1984-2006, Eiffel Software and others"
	license:	"Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
			 Eiffel Software
			 356 Storke Road, Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"


end