[C++20] Clean up using-declarations.

[ginac.git] / ginsh / ginsh_lexer.lpp

diff --git a/ginsh/ginsh_lexer.lpp b/ginsh/ginsh_lexer.lpp
index 7fbc513cc5857604283b5c41c12451d62bb54dc5..4218193e1a563630a05fb616cfa3ccf0ed596910 100644 (file)
--- a/ginsh/ginsh_lexer.lpp
+++ b/ginsh/ginsh_lexer.lpp
@@ -4,7 +4,7 @@
  *  This file must be processed with flex. */
 
 /*
  *  This file must be processed with flex. */
 
 /*

- *  GiNaC Copyright (C) 1999-2014 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
  *
  *  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


@@ -26,6 +26,8 @@
  *  Definitions
  */
 
  *  Definitions
  */
 

+%option nounput
+

 %pointer
 
 %{
 %pointer
 
 %{


@@ -36,6 +38,9 @@
 #include "ginsh.h"
 #include "ginsh_parser.hpp"
 
 #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
 #define YY_INPUT(buf, result, max_size) (result = ginsh_input(buf, max_size))
 
 // Table of all used symbols


@@ -142,7 +147,7 @@ real_symbols    return T_REAL_SYMBOLS;
  */
 
 static int line_length = 0;
  */
 
 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
 static char *line_ptr;
 
 // Input function that uses libreadline for interactive input


@@ -206,7 +211,7 @@ static int ginsh_input(char *buf, int max_size)
 
 // List of input files to be processed
 int num_files = 0;
 
 // 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.
 
 // EOF encountered, connect to next file. If this was the last file,
 // connect to stdin. If this was stdin, terminate the scanner.


@@ -218,7 +223,7 @@ int yywrap()
        fclose(yyin);
        if (num_files) {
                yyin = fopen(*file_list, "r");
        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;
                }
                        cerr << "Can't open " << *file_list << endl;
                        return 1;
                }