* This file must be processed with flex. */
/*
- * GiNaC Copyright (C) 1999-2011 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2016 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* Definitions
*/
+%option nounput
+
%pointer
%{
*/
static int line_length = 0;
-static char *line_read = NULL;
+static char *line_read = nullptr;
static char *line_ptr;
// Input function that uses libreadline for interactive input
// List of input files to be processed
int num_files = 0;
-char **file_list = NULL;
+char **file_list = nullptr;
// EOF encountered, connect to next file. If this was the last file,
// connect to stdin. If this was stdin, terminate the scanner.
fclose(yyin);
if (num_files) {
yyin = fopen(*file_list, "r");
- if (yyin == NULL) {
+ if (yyin == nullptr) {
cerr << "Can't open " << *file_list << endl;
return 1;
}