parameters: (self, path, use_http=False, use_ssl=False, port=8000)
return_statement: return "file://" + path
docstring: Convert a filesystem path to a URI.
  
      Args:
        path: For an http URI, the path relative to the httpd server's
            DocumentRoot; for a file URI, the full path to the file.
        use_http: if True, returns a URI of the form http://127.0.0.1:8000/.
            If False, returns a file:/// URI.
        use_ssl: if True, returns HTTPS URL (https://127.0.0.1:8000/).
            This parameter is ignored if use_http=False.
        port: The port number to append when returning an HTTP URI
docstring_summary: Convert a filesystem path to a URI.
docstring_tokens: Convert a filesystem path to a URI .
function: def FilenameToUri(self, path, use_http=False, use_ssl=False, port=8000):
      """Convert a filesystem path to a URI.
  
      Args:
        path: For an http URI, the path relative to the httpd server's
            DocumentRoot; for a file URI, the full path to the file.
        use_http: if True, returns a URI of the form http://127.0.0.1:8000/.
            If False, returns a file:/// URI.
        use_ssl: if True, returns HTTPS URL (https://127.0.0.1:8000/).
            This parameter is ignored if use_http=False.
        port: The port number to append when returning an HTTP URI
      """
      if use_http:
        protocol = 'http'
        if use_ssl:
          protocol = 'https'
        return "%s://127.0.0.1:%d/%s" % (protocol, port, path)
      return "file://" + path
function_tokens: def FilenameToUri ( self , path , use_http = False , use_ssl = False , port = 8000 ) : if use_http : protocol = 'http' if use_ssl : protocol = 'https' return "%s://127.0.0.1:%d/%s" % ( protocol , port , path ) return "file://" + path