# File lib_wpm/wpm.rb, line 1535
    def set_property(name, attr_map, value)
      case (name)
      when 'times'
        @times = get_property(attr_map, value, 'number', 'accessor', 'eval')
      when 'index'
        @index = get_property(attr_map, value, 'accessor')
      else
        raise PropertyError, "unknown property: #{name.inspect}: at #{widget_id.inspect}"
      end
    end