class WORDS
   -- An hashed set of words, usually read from a file

inherit
   HASHED_SET[STRING]

create {ANY}
   make

feature {ANY}
   add_from_file (a_file_name: STRING)
         -- Add to Current the words read from the file named `a_file_name'. If
         -- it does not exists or if it is not a file nothing is done.
      require
         a_file_name /= Void
      local
         words: ARRAY[STRING]; line: STRING; file: TEXT_FILE_READ
      do
         create file.connect_to(a_file_name)
         if file.is_connected then
            from
               file.read_line
            until
               file.end_of_input
		   loop
               line := file.last_string
               if line /= Void then
                  words := line.split
                  if words /= Void then
                     words.for_each(agent add(?))
                  end
               end

               file.read_line
            end
         end
      end

   print_all
      do
         for_each(agent std_output.put_line)
      end

end -- class WORDS
-- Copyright (C) 2008-2017: ,2009 Paolo Redaelli
-- eiffel-gcc-xml  is free software: you can redistribute it and/or modify it
-- under the terms of the GNU General Public License as publhed by the Free
-- Software Foundation, either version 2 of the License, or (at your option)
-- any later version.
-- eiffel-gcc-xml is distributed in the hope that it will be useful, but
-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
-- more details.
-- You should have received a copy of the GNU General Public License along with
-- th program.  If not, see <http://www.gnu.org/licenses/>.