From 54605ddd3a4c42c5ebb126787e157ae83ac7f7c7 Mon Sep 17 00:00:00 2001
From: Sven Gothel <sgothel@jausoft.com>
Date: Fri, 23 Dec 2022 23:41:38 +0100
Subject: initial commit

---
 src/infix_calc_parser.yy | 132 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 132 insertions(+)
 create mode 100644 src/infix_calc_parser.yy

(limited to 'src/infix_calc_parser.yy')

diff --git a/src/infix_calc_parser.yy b/src/infix_calc_parser.yy
new file mode 100644
index 0000000..6b61fcf
--- /dev/null
+++ b/src/infix_calc_parser.yy
@@ -0,0 +1,132 @@
+/*
+ * Author: Sven Gothel <sgothel@jausoft.com>
+ * Copyright (c) 1993-2023 Gothel Software e.K.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining
+ * a copy of this software and associated documentation files (the
+ * "Software"), to deal in the Software without restriction, including
+ * without limitation the rights to use, copy, modify, merge, publish,
+ * distribute, sublicense, and/or sell copies of the Software, and to
+ * permit persons to whom the Software is furnished to do so, subject to
+ * the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be
+ * included in all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ */
+ 
+// Grammar input for Bison >= 3.2
+%require "3.2"
+%language "c++"
+
+%locations // produce infix_calc_yy::location type for more accurate location @ error
+
+%define lr.type lalr // default, smallest table and fastest
+
+%define api.prefix {infix_calc_yy} // namespace
+%define api.parser.class {parser}
+// %define api.pure full // default w/ C++
+%define api.token.raw // use scanner token values, no lookup
+%define api.token.constructor // use complete symbols
+%define api.token.prefix {TOK_}
+%define api.value.type variant // use complete symbols
+// %define api.value.automove // use rvalue std::move -> we use it manually
+
+%parse-param { std::function<infix_calc_yy::parser::symbol_type(infix_calc::compiler&)> yylex } // for parser-ctor only
+%param { infix_calc::compiler& cc} // append: parser-ctor and yylex-call
+
+// %define parse.assert // requires RTTI
+
+// Lookahead Correction (LAC)
+// %define parse.lac full 
+%define parse.lac none // default, faster, LAC not required on this simple grammar
+%define parse.error detailed
+
+// Debugging:
+// %define parse.trace
+
+%code requires {
+  // # define YYDEBUG 1
+  # include <string>
+  # include <functional>
+  # include <infix_calc/infix_calc.hpp>
+  using namespace infix_calc;
+}
+
+%code {
+  // location: parser implementation file after the usual contents of the parser header file
+  # include "infix_calc_parser.hpp"  
+}
+
+%printer { yyo << $$; } <*>;
+
+%token <double> UREAL
+%token <std::string> IDENTIFIER
+%token <std::string> ERROR
+
+%nterm <double> real_number
+%nterm <rpn_token_t> unary_func
+
+%token LPAREN RPAREN EOL
+
+%left SUB ADD
+%left MUL DIV
+%left SIN COS TAN ARCSIN ARCCOS ARCTAN
+%left POW LOG LOG10 EXP
+%left SQRT
+%left NEG
+
+%%
+
+expression    : product
+              | expression ADD product { cc.put_rpn(rpn_token_t::ADD); }
+              | expression SUB product { cc.put_rpn(rpn_token_t::SUB); }
+              ;
+
+product     : operand
+              | product MUL operand { cc.put_rpn(rpn_token_t::MUL); }
+              | product DIV operand { cc.put_rpn(rpn_token_t::DIV); }
+              | product POW operand { cc.put_rpn(rpn_token_t::POW); }
+              ;
+
+operand     : IDENTIFIER { cc.put_rpn(std::move($1)); }
+              | ADD IDENTIFIER  { cc.put_rpn(std::move($2)); }
+              | SUB IDENTIFIER  { cc.put_rpn(std::move($2));
+                                  cc.put_rpn(rpn_token_t::NEG);
+                                }
+              | LPAREN expression RPAREN
+              | unary_func LPAREN expression RPAREN { cc.put_rpn($1); }
+              | real_number { cc.put_rpn($1); }
+              ;
+
+unary_func  : SIN { $$=rpn_token_t::SIN; } |
+              COS { $$=rpn_token_t::COS; } |
+              TAN { $$=rpn_token_t::TAN; } |
+              ARCSIN { $$=rpn_token_t::ARCSIN; } |
+              ARCCOS { $$=rpn_token_t::ARCCOS; } |
+              ARCTAN { $$=rpn_token_t::ARCTAN; } |
+              LOG { $$=rpn_token_t::LOG; } |
+              LOG10 { $$=rpn_token_t::LOG10; } |
+              EXP { $$=rpn_token_t::EXP; } |
+              SQRT { $$=rpn_token_t::SQRT; } |
+              NEG  { $$=rpn_token_t::NEG; } ;
+
+real_number : UREAL { $$=$1; } |
+              ADD UREAL { $$=$2; } |
+              SUB UREAL { $$=$2*(-1); } ;
+
+%%
+
+void
+infix_calc_yy::parser::error (const location_type& l, const std::string& m)
+{
+  std::cerr << l << ": " << m << std::endl;
+}
+
-- 
cgit v1.2.3