# File lib_wpm/wpm.rb, line 2173
    def view
      make_attr_desc{ |attr_desc|
        attr_desc += ' name="' + escapeHTML(@properties.name) + '"'
        if (@properties.has_page?) then
          attr_desc += ' src="' + escapeHTML(driver.page_path(@properties.page)) + '"'
        elsif (@properties.has_src?) then
          attr_desc += ' src="' + escapeHTML(@properties.src) + '"'
        else
          raise 'internal error'
        end
        yield('<frame' + attr_desc + ' />')
      }

      nil
    end