# File lib_wpm/wpm.rb, line 2925
    def view
      make_attr_desc{|attr_desc|
        attr_desc += ' name="' + escapeHTML(action_id) + '"'
        attr_desc += ' type="checkbox"'
        attr_desc += ' value="' + escapeHTML((@properties.has_value?) ? @properties.value : '') + '"'
        if (@properties.has_checked?) then
          if (@properties.checked) then
            attr_desc += ' checked="checked"'
          end
        elsif (@properties.has_value? && @properties.has_selected?) then
          if (@properties.value == @properties.selected) then
            attr_desc += ' checked="checked"'
          end
        end
        yield('<input' + attr_desc + ' />')
      }

      nil
    end