indexing
	description: "Not implemented yet."
	date: "$Date$"

class
	SYNTAX_WARNING

create
	make

feature {NONE} -- Initialization

	make (s, e: INTEGER; f: STRING; c: INTEGER; m: STRING) is
			-- Create a new SYNTAX_WARNING instance.
		do
		end

end -- class SYNTAX_WARNING