parameters: (self, diff_lines)
docstring: Parse header info.
  
      Parse the header information, the two lines starting with '---' and '+++'
      respectively. Gather the in (source) file name and out (new) file name
      locally. The first line in diff_lines should be a header line starting
      with '---'. Raise an Error exception if no header info is found. Matched
      lines are consumed (remove from diff_lines).
  
      Arguments:
        diff_lines: a list of diff lines read from the patch.
docstring_summary: Parse header info.
docstring_tokens: Parse header info .
function: def Parse(self, diff_lines):
      ''' Parse header info.
  
      Parse the header information, the two lines starting with '---' and '+++'
      respectively. Gather the in (source) file name and out (new) file name
      locally. The first line in diff_lines should be a header line starting
      with '---'. Raise an Error exception if no header info is found. Matched
      lines are consumed (remove from diff_lines).
  
      Arguments:
        diff_lines: a list of diff lines read from the patch.
      '''
      match = self._MatchHeader(RE_HEADER_ORIGINAL_FILE, diff_lines)
      self.in_file_name = match.group(1)
      match = self._MatchHeader(RE_HEADER_OUT_FILE, diff_lines)
      self.out_file_name = match.group(1)
function_tokens: def Parse ( self , diff_lines ) : match = self . _MatchHeader ( RE_HEADER_ORIGINAL_FILE , diff_lines ) self . in_file_name = match . group ( 1 ) match = self . _MatchHeader ( RE_HEADER_OUT_FILE , diff_lines ) self . out_file_name = match . group ( 1 )