parameters: (file, original_resources)
docstring: Reads resource ids from a GRIT-produced header file.
  
    Args:
      file: File to a GRIT-produced header file to read from.
      original_resources: Dict of resource ids to resource names to add to.
docstring_summary: Reads resource ids from a GRIT-produced header file.
docstring_tokens: Reads resource ids from a GRIT - produced header file .
function: def ReadResourceIdsFromFile(file, original_resources):
    """Reads resource ids from a GRIT-produced header file.
  
    Args:
      file: File to a GRIT-produced header file to read from.
      original_resources: Dict of resource ids to resource names to add to.
    """
    for resource_name, resource_id in _GetResourceNameIdPairsIter(file.read()):
      original_resources[int(resource_id)] = resource_name
function_tokens: def ReadResourceIdsFromFile ( file , original_resources ) : for resource_name , resource_id in _GetResourceNameIdPairsIter ( file . read ( ) ) : original_resources [ int ( resource_id ) ] = resource_name