* This file must be processed with flex. */
/*
- * GiNaC Copyright (C) 1999-2015 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2020 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
#include "ginsh.h"
#include "ginsh_parser.hpp"
+using namespace std;
+using namespace GiNaC;
+
#define YY_INPUT(buf, result, max_size) (result = ginsh_input(buf, max_size))
// Table of all used symbols
*/
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;
}