parameters: (self, url)
return_statement: return trace_files
docstring: Given a URL, returns the set of filenames of traces that were generated
         for this URL.
docstring_summary: Given a URL, returns the set of filenames of traces that were generated
         for this URL.
docstring_tokens: Given a URL returns the set of filenames of traces that were generated for this URL .
function: def GetTraceFilesForURL(self, url):
      """Given a URL, returns the set of filenames of traces that were generated
         for this URL."""
      trace_files = [f for f in self._traces_dict.keys()
          if self._traces_dict[f]["url"] == url]
      return trace_files
function_tokens: def GetTraceFilesForURL ( self , url ) : trace_files = [ f for f in self . _traces_dict . keys ( ) if self . _traces_dict [ f ] [ "url" ] == url ] return trace_files