check/parser_bugs.cpp

   1 /// @file parser_a_b.cpp Check for some silly bugs in the parser.
   2 #include "ginac.h"
   3 #include <string>
   4 #include <iostream>
   5 #include <stdexcept>
   6 #include <sstream>
   7 using namespace GiNaC;
   8
   9 // - a - b was misparsed as -a + b due to a bug in parser::parse_unary_expr()
  10 static int check1(std::ostream& err_str)
  11 {
  12         const std::string srep("-a-b");
  13         parser reader;
  14         ex e = reader(srep);
  15         ex a = reader.get_syms()["a"];
  16         ex b = reader.get_syms()["b"];
  17         ex g = - a - b;
  18         ex d = (e - g).expand();
  19         if (!d.is_zero()) {
  20                 err_str << "\"" << srep << "\" was misparsed as \""
  21                         << e << "\"" << std::endl;
  22                 return 1;
  23         }
  24         return 0;
  25 }
  26
  27 /// Parser was rejecting the valid expression '5 - (3*x)/10'.
  28 static int check2(std::ostream& err_str)
  29 {
  30         const std::string srep("5-(3*x)/10");
  31         parser reader;
  32         ex e = reader(srep);
  33         ex x = reader.get_syms()["x"];
  34         ex g = 5 - (3*x)/10;
  35         ex d = (e - g).expand();
  36         if (!d.is_zero()) {
  37                 err_str << "\"" << srep << "\" was misparsed as \""
  38                         << e << "\"" << std::endl;
  39                 return 1;
  40         }
  41         return 0;
  42 }
  43
  44 int main(int argc, char** argv)
  45 {
  46         std::cout << "checking for parser bugs. " << std::flush;
  47         std::ostringstream err_str;
  48         int errors = 0;
  49         errors += check1(err_str);
  50         errors += check2(err_str);
  51         if (errors) {
  52                 std::cout << "Yes, unfortunately:" << std::endl;
  53                 std::cout << err_str.str();
  54         } else {
  55                 std::cout << "Not found. ";
  56         }
  57         return errors;
  58 }
  59