%{
#include <string>
#include <list>
#include "logical_expression_parser/logical_expression_parser_includes.h"
//#include "logical_expression_parser/logical_expression_parser.h"
#include <iostream>
#include <sstream>
using namespace std;
// -----------------------------------------------------------------
void logical_expression_parser_error (string s);
string logical_expression_parser_error_string;
bool logical_expression_parser_reached_end_of_file;
%}
/* Set the name prefix so we can have multiple lexers in the same program. */
%option prefix="logical_expression_parser_"
%%
"(" {
return LEFT_PAREN;
}
")" {
return RIGHT_PAREN;
}
"\n" {
return NEWLINE;
}
( "<=>" | "and" | "or" | "=>" ) {
return BINARY_OPERATOR;
}
[ "p" | "q" | "r" ] {
return ATOMIC;
}
"-" {
return UNARY_OPERATOR;
}
%%
void logical_expression_parser_error(string error_string)
{
ostringstream temp_string;
temp_string << logical_expression_parser_lineno;
// Generic yacc "syntax error" message isn't very useful
if (error_string != "syntax error")
// logical_expression_parser_error_string += "SYNTAX ERROR (line " + temp_string.str() +
// "): " + error_string + "\n";
cerr << "SYNTAX ERROR (line " + temp_string.str() +
"): " + error_string + "\n";
else
// logical_expression_parser_error_string += "SYNTAX ERROR (line " + temp_string.str() +
// ")\n";
cerr << "SYNTAX ERROR (line " + temp_string.str() +
")\n";
}
void logical_expression_parser_scanner_initialize()
{
logical_expression_parser_error_string = "";
}