parameters: (self, request_id: str)
return_statement: return ""
docstring: Get the name of a document knowing only its request ID
  
          - request_id: the request id for which the document is to be searched
docstring_summary: Get the name of a document knowing only its request ID
docstring_tokens: Get the name of a document knowing only its request ID
function: def get_document_name_from_request_id(self, request_id: str) -> str:
          """Get the name of a document knowing only its request ID
  
          - request_id: the request id for which the document is to be searched
          """
          for document_name in list(self.revision_history.keys()):
              if request_id in [self.revision_history[document_name][i]
                                for i in list(
                                        self.revision_history[document_name]
                                )]:
                  return document_name
          return ""
function_tokens: def get_document_name_from_request_id ( self , request_id : str ) -> str : for document_name in list ( self . revision_history . keys ( ) ) : if request_id in [ self . revision_history [ document_name ] [ i ] for i in list ( self . revision_history [ document_name ] ) ] : return document_name return ""