# File estraierpure.rb, line 332
    def set_distinct(name)
      Utility::check_types({ name=>String }) if $DEBUG
      name = name.gsub(/[ \t\r\n\v\f]+/, " ")
      name = name.strip.squeeze(" ")
      @distinct = name
      nil
    end