# File lib/rdoc/code_objects.rb, line 573
    def http_url(prefix)
      path = full_name.split("::")
      File.join(prefix, *path) + ".html"
    end