parameters: (filename, lines, error)
docstring: Logs an error if there is no newline char at the end of the file.
  
    Args:
      filename: The name of the current file.
      lines: An array of strings, each representing a line of the file.
      error: The function to call with any errors found.
docstring_summary: Logs an error if there is no newline char at the end of the file.
docstring_tokens: Logs an error if there is no newline char at the end of the file .
function: def CheckForNewlineAtEOF(filename, lines, error):
    """Logs an error if there is no newline char at the end of the file.
  
    Args:
      filename: The name of the current file.
      lines: An array of strings, each representing a line of the file.
      error: The function to call with any errors found.
    """
  
    # The array lines() was created by adding two newlines to the
    # original file (go figure), then splitting on \n.
    # To verify that the file ends in \n, we just have to make sure the
    # last-but-two element of lines() exists and is empty.
    if len(lines) < 3 or lines[-2]:
      error(filename, len(lines) - 2, 'whitespace/ending_newline', 5,
            'Could not find a newline character at the end of the file.')
function_tokens: def CheckForNewlineAtEOF ( filename , lines , error ) : # The array lines() was created by adding two newlines to the # original file (go figure), then splitting on \n. # To verify that the file ends in \n, we just have to make sure the # last-but-two element of lines() exists and is empty. if len ( lines ) < 3 or lines [ - 2 ] : error ( filename , len ( lines ) - 2 , 'whitespace/ending_newline' , 5 , 'Could not find a newline character at the end of the file.' )