// A Bison parser, made by GNU Bison 3.8.2. // Skeleton interface for Bison LALR(1) parsers in C++ // Copyright (C) 2002-2015, 2018-2021 Free Software Foundation, Inc. // 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 // the Free Software Foundation, either version 3 of the License, or // (at your option) any later version. // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // You should have received a copy of the GNU General Public License // along with this program. If not, see . // As a special exception, you may create a larger work that contains // part or all of the Bison parser skeleton and distribute that work // under terms of your choice, so long as that work isn't itself a // parser generator using the skeleton or a modified version thereof // as a parser skeleton. Alternatively, if you modify or redistribute // the parser skeleton itself, you may (at your option) remove this // special exception, which will cause the skeleton and the resulting // Bison output files to be licensed under the GNU General Public // License without this special exception. // This special exception was added by the Free Software Foundation in // version 2.2 of Bison. /** ** \file ./SysYFParser.h ** Define the yy::parser class. */ // C++ LALR(1) parser skeleton written by Akim Demaille. // DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual, // especially those whose name start with YY_ or yy_. They are // private implementation details that can be changed or removed. #ifndef YY_YY_HOME_CJB_COMPILER_EDUCODER_EDUCODER_2021FALL_COMPILER_IR_LAB_SYSYF_TA_BUILD_SYSYFPARSER_H_INCLUDED # define YY_YY_HOME_CJB_COMPILER_EDUCODER_EDUCODER_2021FALL_COMPILER_IR_LAB_SYSYF_TA_BUILD_SYSYFPARSER_H_INCLUDED // "%code requires" blocks. #line 12 "../../grammar/SysYFParser.yy" #include #include "SyntaxTree.h" class SysYFDriver; #line 55 "./SysYFParser.h" # include # include // std::abort # include # include # include # include #if defined __cplusplus # define YY_CPLUSPLUS __cplusplus #else # define YY_CPLUSPLUS 199711L #endif // Support move semantics when possible. #if 201103L <= YY_CPLUSPLUS # define YY_MOVE std::move # define YY_MOVE_OR_COPY move # define YY_MOVE_REF(Type) Type&& # define YY_RVREF(Type) Type&& # define YY_COPY(Type) Type #else # define YY_MOVE # define YY_MOVE_OR_COPY copy # define YY_MOVE_REF(Type) Type& # define YY_RVREF(Type) const Type& # define YY_COPY(Type) const Type& #endif // Support noexcept when possible. #if 201103L <= YY_CPLUSPLUS # define YY_NOEXCEPT noexcept # define YY_NOTHROW #else # define YY_NOEXCEPT # define YY_NOTHROW throw () #endif // Support constexpr when possible. #if 201703 <= YY_CPLUSPLUS # define YY_CONSTEXPR constexpr #else # define YY_CONSTEXPR #endif # include "location.hh" #include #ifndef YY_ASSERT # include # define YY_ASSERT assert #endif #ifndef YY_ATTRIBUTE_PURE # if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__) # define YY_ATTRIBUTE_PURE __attribute__ ((__pure__)) # else # define YY_ATTRIBUTE_PURE # endif #endif #ifndef YY_ATTRIBUTE_UNUSED # if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__) # define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__)) # else # define YY_ATTRIBUTE_UNUSED # endif #endif /* Suppress unused-variable warnings by "using" E. */ #if ! defined lint || defined __GNUC__ # define YY_USE(E) ((void) (E)) #else # define YY_USE(E) /* empty */ #endif /* Suppress an incorrect diagnostic about yylval being uninitialized. */ #if defined __GNUC__ && ! defined __ICC && 406 <= __GNUC__ * 100 + __GNUC_MINOR__ # if __GNUC__ * 100 + __GNUC_MINOR__ < 407 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ _Pragma ("GCC diagnostic push") \ _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") # else # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ _Pragma ("GCC diagnostic push") \ _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") \ _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") # endif # define YY_IGNORE_MAYBE_UNINITIALIZED_END \ _Pragma ("GCC diagnostic pop") #else # define YY_INITIAL_VALUE(Value) Value #endif #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN # define YY_IGNORE_MAYBE_UNINITIALIZED_END #endif #ifndef YY_INITIAL_VALUE # define YY_INITIAL_VALUE(Value) /* Nothing. */ #endif #if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__ # define YY_IGNORE_USELESS_CAST_BEGIN \ _Pragma ("GCC diagnostic push") \ _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"") # define YY_IGNORE_USELESS_CAST_END \ _Pragma ("GCC diagnostic pop") #endif #ifndef YY_IGNORE_USELESS_CAST_BEGIN # define YY_IGNORE_USELESS_CAST_BEGIN # define YY_IGNORE_USELESS_CAST_END #endif # ifndef YY_CAST # ifdef __cplusplus # define YY_CAST(Type, Val) static_cast (Val) # define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast (Val) # else # define YY_CAST(Type, Val) ((Type) (Val)) # define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val)) # endif # endif # ifndef YY_NULLPTR # if defined __cplusplus # if 201103L <= __cplusplus # define YY_NULLPTR nullptr # else # define YY_NULLPTR 0 # endif # else # define YY_NULLPTR ((void*)0) # endif # endif /* Debug traces. */ #ifndef YYDEBUG # define YYDEBUG 1 #endif namespace yy { #line 195 "./SysYFParser.h" /// A Bison parser. class SysYFParser { public: #ifdef YYSTYPE # ifdef __GNUC__ # pragma GCC message "bison: do not #define YYSTYPE in C++, use %define api.value.type" # endif typedef YYSTYPE value_type; #else /// A buffer to store and retrieve objects. /// /// Sort of a variant, but does not keep track of the nature /// of the stored data, since that knowledge is available /// via the current parser state. class value_type { public: /// Type of *this. typedef value_type self_type; /// Empty construction. value_type () YY_NOEXCEPT : yyraw_ () , yytypeid_ (YY_NULLPTR) {} /// Construct and fill. template value_type (YY_RVREF (T) t) : yytypeid_ (&typeid (T)) { YY_ASSERT (sizeof (T) <= size); new (yyas_ ()) T (YY_MOVE (t)); } #if 201103L <= YY_CPLUSPLUS /// Non copyable. value_type (const self_type&) = delete; /// Non copyable. self_type& operator= (const self_type&) = delete; #endif /// Destruction, allowed only if empty. ~value_type () YY_NOEXCEPT { YY_ASSERT (!yytypeid_); } # if 201103L <= YY_CPLUSPLUS /// Instantiate a \a T in here from \a t. template T& emplace (U&&... u) { YY_ASSERT (!yytypeid_); YY_ASSERT (sizeof (T) <= size); yytypeid_ = & typeid (T); return *new (yyas_ ()) T (std::forward (u)...); } # else /// Instantiate an empty \a T in here. template T& emplace () { YY_ASSERT (!yytypeid_); YY_ASSERT (sizeof (T) <= size); yytypeid_ = & typeid (T); return *new (yyas_ ()) T (); } /// Instantiate a \a T in here from \a t. template T& emplace (const T& t) { YY_ASSERT (!yytypeid_); YY_ASSERT (sizeof (T) <= size); yytypeid_ = & typeid (T); return *new (yyas_ ()) T (t); } # endif /// Instantiate an empty \a T in here. /// Obsolete, use emplace. template T& build () { return emplace (); } /// Instantiate a \a T in here from \a t. /// Obsolete, use emplace. template T& build (const T& t) { return emplace (t); } /// Accessor to a built \a T. template T& as () YY_NOEXCEPT { YY_ASSERT (yytypeid_); YY_ASSERT (*yytypeid_ == typeid (T)); YY_ASSERT (sizeof (T) <= size); return *yyas_ (); } /// Const accessor to a built \a T (for %printer). template const T& as () const YY_NOEXCEPT { YY_ASSERT (yytypeid_); YY_ASSERT (*yytypeid_ == typeid (T)); YY_ASSERT (sizeof (T) <= size); return *yyas_ (); } /// Swap the content with \a that, of same type. /// /// Both variants must be built beforehand, because swapping the actual /// data requires reading it (with as()), and this is not possible on /// unconstructed variants: it would require some dynamic testing, which /// should not be the variant's responsibility. /// Swapping between built and (possibly) non-built is done with /// self_type::move (). template void swap (self_type& that) YY_NOEXCEPT { YY_ASSERT (yytypeid_); YY_ASSERT (*yytypeid_ == *that.yytypeid_); std::swap (as (), that.as ()); } /// Move the content of \a that to this. /// /// Destroys \a that. template void move (self_type& that) { # if 201103L <= YY_CPLUSPLUS emplace (std::move (that.as ())); # else emplace (); swap (that); # endif that.destroy (); } # if 201103L <= YY_CPLUSPLUS /// Move the content of \a that to this. template void move (self_type&& that) { emplace (std::move (that.as ())); that.destroy (); } #endif /// Copy the content of \a that to this. template void copy (const self_type& that) { emplace (that.as ()); } /// Destroy the stored \a T. template void destroy () { as ().~T (); yytypeid_ = YY_NULLPTR; } private: #if YY_CPLUSPLUS < 201103L /// Non copyable. value_type (const self_type&); /// Non copyable. self_type& operator= (const self_type&); #endif /// Accessor to raw memory as \a T. template T* yyas_ () YY_NOEXCEPT { void *yyp = yyraw_; return static_cast (yyp); } /// Const accessor to raw memory as \a T. template const T* yyas_ () const YY_NOEXCEPT { const void *yyp = yyraw_; return static_cast (yyp); } /// An auxiliary type to compute the largest semantic type. union union_type { // CompUnit char dummy1[sizeof (SysYF::Ptr)]; // Block char dummy2[sizeof (SysYF::Ptr)]; // OptionRet // Exp // RelExp // EqExp // LAndExp // LOrExp // CondExp char dummy3[sizeof (SysYF::Ptr)]; // FuncDef char dummy4[sizeof (SysYF::Ptr)]; // FuncFParam char dummy5[sizeof (SysYF::Ptr)]; // InitVal // InitValList // CommaInitValList char dummy6[sizeof (SysYF::Ptr)]; // LVal char dummy7[sizeof (SysYF::Ptr)]; // Number char dummy8[sizeof (SysYF::Ptr)]; // Stmt // IfStmt char dummy9[sizeof (SysYF::Ptr)]; // ConstDef // VarDef char dummy10[sizeof (SysYF::Ptr)]; // ArrayExpList // ExpList // CommaExpList char dummy11[sizeof (SysYF::PtrVec)]; // FParamList // CommaFParamList char dummy12[sizeof (SysYF::PtrVec)]; // GlobalDecl char dummy13[sizeof (SysYF::PtrVec)]; // BlockItemList // BlockItem char dummy14[sizeof (SysYF::PtrVec)]; // ConstDecl // ConstDefList // VarDecl // VarDefList char dummy15[sizeof (SysYF::PtrVec)]; // BType char dummy16[sizeof (SysYF::SyntaxTree::Type)]; // FLOATCONST char dummy17[sizeof (float)]; // INTCONST char dummy18[sizeof (int)]; // IDENTIFIER // STRINGCONST char dummy19[sizeof (std::string)]; }; /// The size of the largest semantic type. enum { size = sizeof (union_type) }; /// A buffer to store semantic values. union { /// Strongest alignment constraints. long double yyalign_me_; /// A buffer large enough to store any of the semantic values. char yyraw_[size]; }; /// Whether the content is built: if defined, the name of the stored type. const std::type_info *yytypeid_; }; #endif /// Backward compatibility (Bison 3.8). typedef value_type semantic_type; /// Symbol locations. typedef location location_type; /// Syntax errors thrown from user actions. struct syntax_error : std::runtime_error { syntax_error (const location_type& l, const std::string& m) : std::runtime_error (m) , location (l) {} syntax_error (const syntax_error& s) : std::runtime_error (s.what ()) , location (s.location) {} ~syntax_error () YY_NOEXCEPT YY_NOTHROW; location_type location; }; /// Token kinds. struct token { enum token_kind_type { TOK_YYEMPTY = -2, TOK_YYEOF = 0, // "end of file" TOK_YYerror = 256, // error TOK_YYUNDEF = 304, // "invalid token" TOK_END = 305, // END TOK_ERROR = 258, // ERROR TOK_PLUS = 259, // PLUS TOK_MINUS = 260, // MINUS TOK_MULTIPLY = 261, // MULTIPLY TOK_DIVIDE = 262, // DIVIDE TOK_MODULO = 263, // MODULO TOK_LTE = 264, // LTE TOK_GT = 265, // GT TOK_GTE = 266, // GTE TOK_EQ = 267, // EQ TOK_NEQ = 268, // NEQ TOK_ASSIGN = 269, // ASSIGN TOK_SEMICOLON = 270, // SEMICOLON TOK_COMMA = 271, // COMMA TOK_LPARENTHESE = 272, // LPARENTHESE TOK_RPARENTHESE = 273, // RPARENTHESE TOK_LBRACKET = 274, // LBRACKET TOK_RBRACKET = 275, // RBRACKET TOK_LBRACE = 276, // LBRACE TOK_RBRACE = 277, // RBRACE TOK_ELSE = 278, // ELSE TOK_IF = 279, // IF TOK_INT = 280, // INT TOK_RETURN = 281, // RETURN TOK_VOID = 282, // VOID TOK_WHILE = 283, // WHILE TOK_IDENTIFIER = 284, // IDENTIFIER TOK_FLOATCONST = 285, // FLOATCONST TOK_INTCONST = 286, // INTCONST TOK_LETTER = 287, // LETTER TOK_EOL = 288, // EOL TOK_COMMENT = 289, // COMMENT TOK_BLANK = 290, // BLANK TOK_CONST = 291, // CONST TOK_BREAK = 292, // BREAK TOK_CONTINUE = 293, // CONTINUE TOK_NOT = 294, // NOT TOK_AND = 295, // AND TOK_OR = 296, // OR TOK_MOD = 297, // MOD TOK_FLOAT = 298, // FLOAT TOK_LOGICAND = 299, // LOGICAND TOK_LOGICOR = 300, // LOGICOR TOK_LT = 301, // LT TOK_STRINGCONST = 302, // STRINGCONST TOK_LRBRACKET = 303, // LRBRACKET TOK_UPLUS = 306, // UPLUS TOK_UMINUS = 307, // UMINUS TOK_UNOT = 308 // UNOT }; /// Backward compatibility alias (Bison 3.6). typedef token_kind_type yytokentype; }; /// Token kind, as returned by yylex. typedef token::token_kind_type token_kind_type; /// Backward compatibility alias (Bison 3.6). typedef token_kind_type token_type; /// Symbol kinds. struct symbol_kind { enum symbol_kind_type { YYNTOKENS = 53, ///< Number of tokens. S_YYEMPTY = -2, S_YYEOF = 0, // "end of file" S_YYerror = 1, // error S_YYUNDEF = 2, // "invalid token" S_END = 3, // END S_ERROR = 4, // ERROR S_PLUS = 5, // PLUS S_MINUS = 6, // MINUS S_MULTIPLY = 7, // MULTIPLY S_DIVIDE = 8, // DIVIDE S_MODULO = 9, // MODULO S_LTE = 10, // LTE S_GT = 11, // GT S_GTE = 12, // GTE S_EQ = 13, // EQ S_NEQ = 14, // NEQ S_ASSIGN = 15, // ASSIGN S_SEMICOLON = 16, // SEMICOLON S_COMMA = 17, // COMMA S_LPARENTHESE = 18, // LPARENTHESE S_RPARENTHESE = 19, // RPARENTHESE S_LBRACKET = 20, // LBRACKET S_RBRACKET = 21, // RBRACKET S_LBRACE = 22, // LBRACE S_RBRACE = 23, // RBRACE S_ELSE = 24, // ELSE S_IF = 25, // IF S_INT = 26, // INT S_RETURN = 27, // RETURN S_VOID = 28, // VOID S_WHILE = 29, // WHILE S_IDENTIFIER = 30, // IDENTIFIER S_FLOATCONST = 31, // FLOATCONST S_INTCONST = 32, // INTCONST S_LETTER = 33, // LETTER S_EOL = 34, // EOL S_COMMENT = 35, // COMMENT S_BLANK = 36, // BLANK S_CONST = 37, // CONST S_BREAK = 38, // BREAK S_CONTINUE = 39, // CONTINUE S_NOT = 40, // NOT S_AND = 41, // AND S_OR = 42, // OR S_MOD = 43, // MOD S_FLOAT = 44, // FLOAT S_LOGICAND = 45, // LOGICAND S_LOGICOR = 46, // LOGICOR S_LT = 47, // LT S_STRINGCONST = 48, // STRINGCONST S_LRBRACKET = 49, // LRBRACKET S_UPLUS = 50, // UPLUS S_UMINUS = 51, // UMINUS S_UNOT = 52, // UNOT S_YYACCEPT = 53, // $accept S_Begin = 54, // Begin S_CompUnit = 55, // CompUnit S_GlobalDecl = 56, // GlobalDecl S_ConstDecl = 57, // ConstDecl S_ConstDefList = 58, // ConstDefList S_BType = 59, // BType S_ConstDef = 60, // ConstDef S_VarDecl = 61, // VarDecl S_VarDefList = 62, // VarDefList S_VarDef = 63, // VarDef S_ArrayExpList = 64, // ArrayExpList S_InitVal = 65, // InitVal S_InitValList = 66, // InitValList S_CommaInitValList = 67, // CommaInitValList S_ExpList = 68, // ExpList S_CommaExpList = 69, // CommaExpList S_FuncFParam = 70, // FuncFParam S_FParamList = 71, // FParamList S_CommaFParamList = 72, // CommaFParamList S_FuncDef = 73, // FuncDef S_Block = 74, // Block S_BlockItemList = 75, // BlockItemList S_BlockItem = 76, // BlockItem S_Stmt = 77, // Stmt S_IfStmt = 78, // IfStmt S_OptionRet = 79, // OptionRet S_LVal = 80, // LVal S_Exp = 81, // Exp S_RelExp = 82, // RelExp S_EqExp = 83, // EqExp S_LAndExp = 84, // LAndExp S_LOrExp = 85, // LOrExp S_CondExp = 86, // CondExp S_Number = 87 // Number }; }; /// (Internal) symbol kind. typedef symbol_kind::symbol_kind_type symbol_kind_type; /// The number of tokens. static const symbol_kind_type YYNTOKENS = symbol_kind::YYNTOKENS; /// A complete symbol. /// /// Expects its Base type to provide access to the symbol kind /// via kind (). /// /// Provide access to semantic value and location. template struct basic_symbol : Base { /// Alias to Base. typedef Base super_type; /// Default constructor. basic_symbol () YY_NOEXCEPT : value () , location () {} #if 201103L <= YY_CPLUSPLUS /// Move constructor. basic_symbol (basic_symbol&& that) : Base (std::move (that)) , value () , location (std::move (that.location)) { switch (this->kind ()) { case symbol_kind::S_CompUnit: // CompUnit value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_Block: // Block value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_OptionRet: // OptionRet case symbol_kind::S_Exp: // Exp case symbol_kind::S_RelExp: // RelExp case symbol_kind::S_EqExp: // EqExp case symbol_kind::S_LAndExp: // LAndExp case symbol_kind::S_LOrExp: // LOrExp case symbol_kind::S_CondExp: // CondExp value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_FuncDef: // FuncDef value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_FuncFParam: // FuncFParam value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_InitVal: // InitVal case symbol_kind::S_InitValList: // InitValList case symbol_kind::S_CommaInitValList: // CommaInitValList value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_LVal: // LVal value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_Number: // Number value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_Stmt: // Stmt case symbol_kind::S_IfStmt: // IfStmt value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_ConstDef: // ConstDef case symbol_kind::S_VarDef: // VarDef value.move< SysYF::Ptr > (std::move (that.value)); break; case symbol_kind::S_ArrayExpList: // ArrayExpList case symbol_kind::S_ExpList: // ExpList case symbol_kind::S_CommaExpList: // CommaExpList value.move< SysYF::PtrVec > (std::move (that.value)); break; case symbol_kind::S_FParamList: // FParamList case symbol_kind::S_CommaFParamList: // CommaFParamList value.move< SysYF::PtrVec > (std::move (that.value)); break; case symbol_kind::S_GlobalDecl: // GlobalDecl value.move< SysYF::PtrVec > (std::move (that.value)); break; case symbol_kind::S_BlockItemList: // BlockItemList case symbol_kind::S_BlockItem: // BlockItem value.move< SysYF::PtrVec > (std::move (that.value)); break; case symbol_kind::S_ConstDecl: // ConstDecl case symbol_kind::S_ConstDefList: // ConstDefList case symbol_kind::S_VarDecl: // VarDecl case symbol_kind::S_VarDefList: // VarDefList value.move< SysYF::PtrVec > (std::move (that.value)); break; case symbol_kind::S_BType: // BType value.move< SysYF::SyntaxTree::Type > (std::move (that.value)); break; case symbol_kind::S_FLOATCONST: // FLOATCONST value.move< float > (std::move (that.value)); break; case symbol_kind::S_INTCONST: // INTCONST value.move< int > (std::move (that.value)); break; case symbol_kind::S_IDENTIFIER: // IDENTIFIER case symbol_kind::S_STRINGCONST: // STRINGCONST value.move< std::string > (std::move (that.value)); break; default: break; } } #endif /// Copy constructor. basic_symbol (const basic_symbol& that); /// Constructors for typed symbols. #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, location_type&& l) : Base (t) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const location_type& l) : Base (t) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::Ptr&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::Ptr& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::PtrVec&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::PtrVec& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::PtrVec&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::PtrVec& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::PtrVec&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::PtrVec& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::PtrVec&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::PtrVec& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::PtrVec&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::PtrVec& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, SysYF::SyntaxTree::Type&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const SysYF::SyntaxTree::Type& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, float&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const float& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, int&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const int& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif #if 201103L <= YY_CPLUSPLUS basic_symbol (typename Base::kind_type t, std::string&& v, location_type&& l) : Base (t) , value (std::move (v)) , location (std::move (l)) {} #else basic_symbol (typename Base::kind_type t, const std::string& v, const location_type& l) : Base (t) , value (v) , location (l) {} #endif /// Destroy the symbol. ~basic_symbol () { clear (); } /// Destroy contents, and record that is empty. void clear () YY_NOEXCEPT { // User destructor. symbol_kind_type yykind = this->kind (); basic_symbol& yysym = *this; (void) yysym; switch (yykind) { default: break; } // Value type destructor. switch (yykind) { case symbol_kind::S_CompUnit: // CompUnit value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_Block: // Block value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_OptionRet: // OptionRet case symbol_kind::S_Exp: // Exp case symbol_kind::S_RelExp: // RelExp case symbol_kind::S_EqExp: // EqExp case symbol_kind::S_LAndExp: // LAndExp case symbol_kind::S_LOrExp: // LOrExp case symbol_kind::S_CondExp: // CondExp value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_FuncDef: // FuncDef value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_FuncFParam: // FuncFParam value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_InitVal: // InitVal case symbol_kind::S_InitValList: // InitValList case symbol_kind::S_CommaInitValList: // CommaInitValList value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_LVal: // LVal value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_Number: // Number value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_Stmt: // Stmt case symbol_kind::S_IfStmt: // IfStmt value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_ConstDef: // ConstDef case symbol_kind::S_VarDef: // VarDef value.template destroy< SysYF::Ptr > (); break; case symbol_kind::S_ArrayExpList: // ArrayExpList case symbol_kind::S_ExpList: // ExpList case symbol_kind::S_CommaExpList: // CommaExpList value.template destroy< SysYF::PtrVec > (); break; case symbol_kind::S_FParamList: // FParamList case symbol_kind::S_CommaFParamList: // CommaFParamList value.template destroy< SysYF::PtrVec > (); break; case symbol_kind::S_GlobalDecl: // GlobalDecl value.template destroy< SysYF::PtrVec > (); break; case symbol_kind::S_BlockItemList: // BlockItemList case symbol_kind::S_BlockItem: // BlockItem value.template destroy< SysYF::PtrVec > (); break; case symbol_kind::S_ConstDecl: // ConstDecl case symbol_kind::S_ConstDefList: // ConstDefList case symbol_kind::S_VarDecl: // VarDecl case symbol_kind::S_VarDefList: // VarDefList value.template destroy< SysYF::PtrVec > (); break; case symbol_kind::S_BType: // BType value.template destroy< SysYF::SyntaxTree::Type > (); break; case symbol_kind::S_FLOATCONST: // FLOATCONST value.template destroy< float > (); break; case symbol_kind::S_INTCONST: // INTCONST value.template destroy< int > (); break; case symbol_kind::S_IDENTIFIER: // IDENTIFIER case symbol_kind::S_STRINGCONST: // STRINGCONST value.template destroy< std::string > (); break; default: break; } Base::clear (); } /// The user-facing name of this symbol. std::string name () const YY_NOEXCEPT { return SysYFParser::symbol_name (this->kind ()); } /// Backward compatibility (Bison 3.6). symbol_kind_type type_get () const YY_NOEXCEPT; /// Whether empty. bool empty () const YY_NOEXCEPT; /// Destructive move, \a s is emptied into this. void move (basic_symbol& s); /// The semantic value. value_type value; /// The location. location_type location; private: #if YY_CPLUSPLUS < 201103L /// Assignment operator. basic_symbol& operator= (const basic_symbol& that); #endif }; /// Type access provider for token (enum) based symbols. struct by_kind { /// The symbol kind as needed by the constructor. typedef token_kind_type kind_type; /// Default constructor. by_kind () YY_NOEXCEPT; #if 201103L <= YY_CPLUSPLUS /// Move constructor. by_kind (by_kind&& that) YY_NOEXCEPT; #endif /// Copy constructor. by_kind (const by_kind& that) YY_NOEXCEPT; /// Constructor from (external) token numbers. by_kind (kind_type t) YY_NOEXCEPT; /// Record that this symbol is empty. void clear () YY_NOEXCEPT; /// Steal the symbol kind from \a that. void move (by_kind& that); /// The (internal) type number (corresponding to \a type). /// \a empty when empty. symbol_kind_type kind () const YY_NOEXCEPT; /// Backward compatibility (Bison 3.6). symbol_kind_type type_get () const YY_NOEXCEPT; /// The symbol kind. /// \a S_YYEMPTY when empty. symbol_kind_type kind_; }; /// Backward compatibility for a private implementation detail (Bison 3.6). typedef by_kind by_type; /// "External" symbols: returned by the scanner. struct symbol_type : basic_symbol { /// Superclass. typedef basic_symbol super_type; /// Empty symbol. symbol_type () YY_NOEXCEPT {} /// Constructor for valueless symbols, and symbols from each type. #if 201103L <= YY_CPLUSPLUS symbol_type (int tok, location_type l) : super_type (token_kind_type (tok), std::move (l)) #else symbol_type (int tok, const location_type& l) : super_type (token_kind_type (tok), l) #endif { #if !defined _MSC_VER || defined __clang__ YY_ASSERT (tok == token::TOK_YYEOF || tok == token::TOK_YYerror || (token::TOK_YYUNDEF <= tok && tok <= token::TOK_END) || (token::TOK_ERROR <= tok && tok <= token::TOK_WHILE) || (token::TOK_LETTER <= tok && tok <= token::TOK_LT) || tok == token::TOK_LRBRACKET || (token::TOK_UPLUS <= tok && tok <= token::TOK_UNOT)); #endif } #if 201103L <= YY_CPLUSPLUS symbol_type (int tok, float v, location_type l) : super_type (token_kind_type (tok), std::move (v), std::move (l)) #else symbol_type (int tok, const float& v, const location_type& l) : super_type (token_kind_type (tok), v, l) #endif { #if !defined _MSC_VER || defined __clang__ YY_ASSERT (tok == token::TOK_FLOATCONST); #endif } #if 201103L <= YY_CPLUSPLUS symbol_type (int tok, int v, location_type l) : super_type (token_kind_type (tok), std::move (v), std::move (l)) #else symbol_type (int tok, const int& v, const location_type& l) : super_type (token_kind_type (tok), v, l) #endif { #if !defined _MSC_VER || defined __clang__ YY_ASSERT (tok == token::TOK_INTCONST); #endif } #if 201103L <= YY_CPLUSPLUS symbol_type (int tok, std::string v, location_type l) : super_type (token_kind_type (tok), std::move (v), std::move (l)) #else symbol_type (int tok, const std::string& v, const location_type& l) : super_type (token_kind_type (tok), v, l) #endif { #if !defined _MSC_VER || defined __clang__ YY_ASSERT (tok == token::TOK_IDENTIFIER || tok == token::TOK_STRINGCONST); #endif } }; /// Build a parser object. SysYFParser (SysYFDriver& driver_yyarg); virtual ~SysYFParser (); #if 201103L <= YY_CPLUSPLUS /// Non copyable. SysYFParser (const SysYFParser&) = delete; /// Non copyable. SysYFParser& operator= (const SysYFParser&) = delete; #endif /// Parse. An alias for parse (). /// \returns 0 iff parsing succeeded. int operator() (); /// Parse. /// \returns 0 iff parsing succeeded. virtual int parse (); #if YYDEBUG /// The current debugging stream. std::ostream& debug_stream () const YY_ATTRIBUTE_PURE; /// Set the current debugging stream. void set_debug_stream (std::ostream &); /// Type for debugging levels. typedef int debug_level_type; /// The current debugging level. debug_level_type debug_level () const YY_ATTRIBUTE_PURE; /// Set the current debugging level. void set_debug_level (debug_level_type l); #endif /// Report a syntax error. /// \param loc where the syntax error is found. /// \param msg a description of the syntax error. virtual void error (const location_type& loc, const std::string& msg); /// Report a syntax error. void error (const syntax_error& err); /// The user-facing name of the symbol whose (internal) number is /// YYSYMBOL. No bounds checking. static std::string symbol_name (symbol_kind_type yysymbol); // Implementation of make_symbol for each token kind. #if 201103L <= YY_CPLUSPLUS static symbol_type make_YYEOF (location_type l) { return symbol_type (token::TOK_YYEOF, std::move (l)); } #else static symbol_type make_YYEOF (const location_type& l) { return symbol_type (token::TOK_YYEOF, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_YYerror (location_type l) { return symbol_type (token::TOK_YYerror, std::move (l)); } #else static symbol_type make_YYerror (const location_type& l) { return symbol_type (token::TOK_YYerror, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_YYUNDEF (location_type l) { return symbol_type (token::TOK_YYUNDEF, std::move (l)); } #else static symbol_type make_YYUNDEF (const location_type& l) { return symbol_type (token::TOK_YYUNDEF, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_END (location_type l) { return symbol_type (token::TOK_END, std::move (l)); } #else static symbol_type make_END (const location_type& l) { return symbol_type (token::TOK_END, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_ERROR (location_type l) { return symbol_type (token::TOK_ERROR, std::move (l)); } #else static symbol_type make_ERROR (const location_type& l) { return symbol_type (token::TOK_ERROR, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_PLUS (location_type l) { return symbol_type (token::TOK_PLUS, std::move (l)); } #else static symbol_type make_PLUS (const location_type& l) { return symbol_type (token::TOK_PLUS, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_MINUS (location_type l) { return symbol_type (token::TOK_MINUS, std::move (l)); } #else static symbol_type make_MINUS (const location_type& l) { return symbol_type (token::TOK_MINUS, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_MULTIPLY (location_type l) { return symbol_type (token::TOK_MULTIPLY, std::move (l)); } #else static symbol_type make_MULTIPLY (const location_type& l) { return symbol_type (token::TOK_MULTIPLY, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_DIVIDE (location_type l) { return symbol_type (token::TOK_DIVIDE, std::move (l)); } #else static symbol_type make_DIVIDE (const location_type& l) { return symbol_type (token::TOK_DIVIDE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_MODULO (location_type l) { return symbol_type (token::TOK_MODULO, std::move (l)); } #else static symbol_type make_MODULO (const location_type& l) { return symbol_type (token::TOK_MODULO, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LTE (location_type l) { return symbol_type (token::TOK_LTE, std::move (l)); } #else static symbol_type make_LTE (const location_type& l) { return symbol_type (token::TOK_LTE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_GT (location_type l) { return symbol_type (token::TOK_GT, std::move (l)); } #else static symbol_type make_GT (const location_type& l) { return symbol_type (token::TOK_GT, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_GTE (location_type l) { return symbol_type (token::TOK_GTE, std::move (l)); } #else static symbol_type make_GTE (const location_type& l) { return symbol_type (token::TOK_GTE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_EQ (location_type l) { return symbol_type (token::TOK_EQ, std::move (l)); } #else static symbol_type make_EQ (const location_type& l) { return symbol_type (token::TOK_EQ, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_NEQ (location_type l) { return symbol_type (token::TOK_NEQ, std::move (l)); } #else static symbol_type make_NEQ (const location_type& l) { return symbol_type (token::TOK_NEQ, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_ASSIGN (location_type l) { return symbol_type (token::TOK_ASSIGN, std::move (l)); } #else static symbol_type make_ASSIGN (const location_type& l) { return symbol_type (token::TOK_ASSIGN, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_SEMICOLON (location_type l) { return symbol_type (token::TOK_SEMICOLON, std::move (l)); } #else static symbol_type make_SEMICOLON (const location_type& l) { return symbol_type (token::TOK_SEMICOLON, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_COMMA (location_type l) { return symbol_type (token::TOK_COMMA, std::move (l)); } #else static symbol_type make_COMMA (const location_type& l) { return symbol_type (token::TOK_COMMA, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LPARENTHESE (location_type l) { return symbol_type (token::TOK_LPARENTHESE, std::move (l)); } #else static symbol_type make_LPARENTHESE (const location_type& l) { return symbol_type (token::TOK_LPARENTHESE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_RPARENTHESE (location_type l) { return symbol_type (token::TOK_RPARENTHESE, std::move (l)); } #else static symbol_type make_RPARENTHESE (const location_type& l) { return symbol_type (token::TOK_RPARENTHESE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LBRACKET (location_type l) { return symbol_type (token::TOK_LBRACKET, std::move (l)); } #else static symbol_type make_LBRACKET (const location_type& l) { return symbol_type (token::TOK_LBRACKET, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_RBRACKET (location_type l) { return symbol_type (token::TOK_RBRACKET, std::move (l)); } #else static symbol_type make_RBRACKET (const location_type& l) { return symbol_type (token::TOK_RBRACKET, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LBRACE (location_type l) { return symbol_type (token::TOK_LBRACE, std::move (l)); } #else static symbol_type make_LBRACE (const location_type& l) { return symbol_type (token::TOK_LBRACE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_RBRACE (location_type l) { return symbol_type (token::TOK_RBRACE, std::move (l)); } #else static symbol_type make_RBRACE (const location_type& l) { return symbol_type (token::TOK_RBRACE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_ELSE (location_type l) { return symbol_type (token::TOK_ELSE, std::move (l)); } #else static symbol_type make_ELSE (const location_type& l) { return symbol_type (token::TOK_ELSE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_IF (location_type l) { return symbol_type (token::TOK_IF, std::move (l)); } #else static symbol_type make_IF (const location_type& l) { return symbol_type (token::TOK_IF, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_INT (location_type l) { return symbol_type (token::TOK_INT, std::move (l)); } #else static symbol_type make_INT (const location_type& l) { return symbol_type (token::TOK_INT, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_RETURN (location_type l) { return symbol_type (token::TOK_RETURN, std::move (l)); } #else static symbol_type make_RETURN (const location_type& l) { return symbol_type (token::TOK_RETURN, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_VOID (location_type l) { return symbol_type (token::TOK_VOID, std::move (l)); } #else static symbol_type make_VOID (const location_type& l) { return symbol_type (token::TOK_VOID, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_WHILE (location_type l) { return symbol_type (token::TOK_WHILE, std::move (l)); } #else static symbol_type make_WHILE (const location_type& l) { return symbol_type (token::TOK_WHILE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_IDENTIFIER (std::string v, location_type l) { return symbol_type (token::TOK_IDENTIFIER, std::move (v), std::move (l)); } #else static symbol_type make_IDENTIFIER (const std::string& v, const location_type& l) { return symbol_type (token::TOK_IDENTIFIER, v, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_FLOATCONST (float v, location_type l) { return symbol_type (token::TOK_FLOATCONST, std::move (v), std::move (l)); } #else static symbol_type make_FLOATCONST (const float& v, const location_type& l) { return symbol_type (token::TOK_FLOATCONST, v, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_INTCONST (int v, location_type l) { return symbol_type (token::TOK_INTCONST, std::move (v), std::move (l)); } #else static symbol_type make_INTCONST (const int& v, const location_type& l) { return symbol_type (token::TOK_INTCONST, v, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LETTER (location_type l) { return symbol_type (token::TOK_LETTER, std::move (l)); } #else static symbol_type make_LETTER (const location_type& l) { return symbol_type (token::TOK_LETTER, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_EOL (location_type l) { return symbol_type (token::TOK_EOL, std::move (l)); } #else static symbol_type make_EOL (const location_type& l) { return symbol_type (token::TOK_EOL, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_COMMENT (location_type l) { return symbol_type (token::TOK_COMMENT, std::move (l)); } #else static symbol_type make_COMMENT (const location_type& l) { return symbol_type (token::TOK_COMMENT, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_BLANK (location_type l) { return symbol_type (token::TOK_BLANK, std::move (l)); } #else static symbol_type make_BLANK (const location_type& l) { return symbol_type (token::TOK_BLANK, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_CONST (location_type l) { return symbol_type (token::TOK_CONST, std::move (l)); } #else static symbol_type make_CONST (const location_type& l) { return symbol_type (token::TOK_CONST, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_BREAK (location_type l) { return symbol_type (token::TOK_BREAK, std::move (l)); } #else static symbol_type make_BREAK (const location_type& l) { return symbol_type (token::TOK_BREAK, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_CONTINUE (location_type l) { return symbol_type (token::TOK_CONTINUE, std::move (l)); } #else static symbol_type make_CONTINUE (const location_type& l) { return symbol_type (token::TOK_CONTINUE, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_NOT (location_type l) { return symbol_type (token::TOK_NOT, std::move (l)); } #else static symbol_type make_NOT (const location_type& l) { return symbol_type (token::TOK_NOT, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_AND (location_type l) { return symbol_type (token::TOK_AND, std::move (l)); } #else static symbol_type make_AND (const location_type& l) { return symbol_type (token::TOK_AND, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_OR (location_type l) { return symbol_type (token::TOK_OR, std::move (l)); } #else static symbol_type make_OR (const location_type& l) { return symbol_type (token::TOK_OR, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_MOD (location_type l) { return symbol_type (token::TOK_MOD, std::move (l)); } #else static symbol_type make_MOD (const location_type& l) { return symbol_type (token::TOK_MOD, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_FLOAT (location_type l) { return symbol_type (token::TOK_FLOAT, std::move (l)); } #else static symbol_type make_FLOAT (const location_type& l) { return symbol_type (token::TOK_FLOAT, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LOGICAND (location_type l) { return symbol_type (token::TOK_LOGICAND, std::move (l)); } #else static symbol_type make_LOGICAND (const location_type& l) { return symbol_type (token::TOK_LOGICAND, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LOGICOR (location_type l) { return symbol_type (token::TOK_LOGICOR, std::move (l)); } #else static symbol_type make_LOGICOR (const location_type& l) { return symbol_type (token::TOK_LOGICOR, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LT (location_type l) { return symbol_type (token::TOK_LT, std::move (l)); } #else static symbol_type make_LT (const location_type& l) { return symbol_type (token::TOK_LT, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_STRINGCONST (std::string v, location_type l) { return symbol_type (token::TOK_STRINGCONST, std::move (v), std::move (l)); } #else static symbol_type make_STRINGCONST (const std::string& v, const location_type& l) { return symbol_type (token::TOK_STRINGCONST, v, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_LRBRACKET (location_type l) { return symbol_type (token::TOK_LRBRACKET, std::move (l)); } #else static symbol_type make_LRBRACKET (const location_type& l) { return symbol_type (token::TOK_LRBRACKET, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_UPLUS (location_type l) { return symbol_type (token::TOK_UPLUS, std::move (l)); } #else static symbol_type make_UPLUS (const location_type& l) { return symbol_type (token::TOK_UPLUS, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_UMINUS (location_type l) { return symbol_type (token::TOK_UMINUS, std::move (l)); } #else static symbol_type make_UMINUS (const location_type& l) { return symbol_type (token::TOK_UMINUS, l); } #endif #if 201103L <= YY_CPLUSPLUS static symbol_type make_UNOT (location_type l) { return symbol_type (token::TOK_UNOT, std::move (l)); } #else static symbol_type make_UNOT (const location_type& l) { return symbol_type (token::TOK_UNOT, l); } #endif class context { public: context (const SysYFParser& yyparser, const symbol_type& yyla); const symbol_type& lookahead () const YY_NOEXCEPT { return yyla_; } symbol_kind_type token () const YY_NOEXCEPT { return yyla_.kind (); } const location_type& location () const YY_NOEXCEPT { return yyla_.location; } /// Put in YYARG at most YYARGN of the expected tokens, and return the /// number of tokens stored in YYARG. If YYARG is null, return the /// number of expected tokens (guaranteed to be less than YYNTOKENS). int expected_tokens (symbol_kind_type yyarg[], int yyargn) const; private: const SysYFParser& yyparser_; const symbol_type& yyla_; }; private: #if YY_CPLUSPLUS < 201103L /// Non copyable. SysYFParser (const SysYFParser&); /// Non copyable. SysYFParser& operator= (const SysYFParser&); #endif /// Stored state numbers (used for stacks). typedef unsigned char state_type; /// The arguments of the error message. int yy_syntax_error_arguments_ (const context& yyctx, symbol_kind_type yyarg[], int yyargn) const; /// Generate an error message. /// \param yyctx the context in which the error occurred. virtual std::string yysyntax_error_ (const context& yyctx) const; /// Compute post-reduction state. /// \param yystate the current state /// \param yysym the nonterminal to push on the stack static state_type yy_lr_goto_state_ (state_type yystate, int yysym); /// Whether the given \c yypact_ value indicates a defaulted state. /// \param yyvalue the value to check static bool yy_pact_value_is_default_ (int yyvalue) YY_NOEXCEPT; /// Whether the given \c yytable_ value indicates a syntax error. /// \param yyvalue the value to check static bool yy_table_value_is_error_ (int yyvalue) YY_NOEXCEPT; static const signed char yypact_ninf_; static const signed char yytable_ninf_; /// Convert a scanner token kind \a t to a symbol kind. /// In theory \a t should be a token_kind_type, but character literals /// are valid, yet not members of the token_kind_type enum. static symbol_kind_type yytranslate_ (int t) YY_NOEXCEPT; /// Convert the symbol name \a n to a form suitable for a diagnostic. static std::string yytnamerr_ (const char *yystr); /// For a symbol, its name in clear. static const char* const yytname_[]; // Tables. // YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing // STATE-NUM. static const short yypact_[]; // YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM. // Performed when YYTABLE does not specify something else to do. Zero // means the default is an error. static const signed char yydefact_[]; // YYPGOTO[NTERM-NUM]. static const short yypgoto_[]; // YYDEFGOTO[NTERM-NUM]. static const signed char yydefgoto_[]; // YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If // positive, shift that token. If negative, reduce the rule whose // number is the opposite. If YYTABLE_NINF, syntax error. static const short yytable_[]; static const unsigned char yycheck_[]; // YYSTOS[STATE-NUM] -- The symbol kind of the accessing symbol of // state STATE-NUM. static const signed char yystos_[]; // YYR1[RULE-NUM] -- Symbol kind of the left-hand side of rule RULE-NUM. static const signed char yyr1_[]; // YYR2[RULE-NUM] -- Number of symbols on the right-hand side of rule RULE-NUM. static const signed char yyr2_[]; #if YYDEBUG // YYRLINE[YYN] -- Source line where rule number YYN was defined. static const short yyrline_[]; /// Report on the debug stream that the rule \a r is going to be reduced. virtual void yy_reduce_print_ (int r) const; /// Print the state stack on the debug stream. virtual void yy_stack_print_ () const; /// Debugging level. int yydebug_; /// Debug stream. std::ostream* yycdebug_; /// \brief Display a symbol kind, value and location. /// \param yyo The output stream. /// \param yysym The symbol. template void yy_print_ (std::ostream& yyo, const basic_symbol& yysym) const; #endif /// \brief Reclaim the memory associated to a symbol. /// \param yymsg Why this token is reclaimed. /// If null, print nothing. /// \param yysym The symbol. template void yy_destroy_ (const char* yymsg, basic_symbol& yysym) const; private: /// Type access provider for state based symbols. struct by_state { /// Default constructor. by_state () YY_NOEXCEPT; /// The symbol kind as needed by the constructor. typedef state_type kind_type; /// Constructor. by_state (kind_type s) YY_NOEXCEPT; /// Copy constructor. by_state (const by_state& that) YY_NOEXCEPT; /// Record that this symbol is empty. void clear () YY_NOEXCEPT; /// Steal the symbol kind from \a that. void move (by_state& that); /// The symbol kind (corresponding to \a state). /// \a symbol_kind::S_YYEMPTY when empty. symbol_kind_type kind () const YY_NOEXCEPT; /// The state number used to denote an empty symbol. /// We use the initial state, as it does not have a value. enum { empty_state = 0 }; /// The state. /// \a empty when empty. state_type state; }; /// "Internal" symbol: element of the stack. struct stack_symbol_type : basic_symbol { /// Superclass. typedef basic_symbol super_type; /// Construct an empty symbol. stack_symbol_type (); /// Move or copy construction. stack_symbol_type (YY_RVREF (stack_symbol_type) that); /// Steal the contents from \a sym to build this. stack_symbol_type (state_type s, YY_MOVE_REF (symbol_type) sym); #if YY_CPLUSPLUS < 201103L /// Assignment, needed by push_back by some old implementations. /// Moves the contents of that. stack_symbol_type& operator= (stack_symbol_type& that); /// Assignment, needed by push_back by other implementations. /// Needed by some other old implementations. stack_symbol_type& operator= (const stack_symbol_type& that); #endif }; /// A stack with random access from its top. template > class stack { public: // Hide our reversed order. typedef typename S::iterator iterator; typedef typename S::const_iterator const_iterator; typedef typename S::size_type size_type; typedef typename std::ptrdiff_t index_type; stack (size_type n = 200) YY_NOEXCEPT : seq_ (n) {} #if 201103L <= YY_CPLUSPLUS /// Non copyable. stack (const stack&) = delete; /// Non copyable. stack& operator= (const stack&) = delete; #endif /// Random access. /// /// Index 0 returns the topmost element. const T& operator[] (index_type i) const { return seq_[size_type (size () - 1 - i)]; } /// Random access. /// /// Index 0 returns the topmost element. T& operator[] (index_type i) { return seq_[size_type (size () - 1 - i)]; } /// Steal the contents of \a t. /// /// Close to move-semantics. void push (YY_MOVE_REF (T) t) { seq_.push_back (T ()); operator[] (0).move (t); } /// Pop elements from the stack. void pop (std::ptrdiff_t n = 1) YY_NOEXCEPT { for (; 0 < n; --n) seq_.pop_back (); } /// Pop all elements from the stack. void clear () YY_NOEXCEPT { seq_.clear (); } /// Number of elements on the stack. index_type size () const YY_NOEXCEPT { return index_type (seq_.size ()); } /// Iterator on top of the stack (going downwards). const_iterator begin () const YY_NOEXCEPT { return seq_.begin (); } /// Bottom of the stack. const_iterator end () const YY_NOEXCEPT { return seq_.end (); } /// Present a slice of the top of a stack. class slice { public: slice (const stack& stack, index_type range) YY_NOEXCEPT : stack_ (stack) , range_ (range) {} const T& operator[] (index_type i) const { return stack_[range_ - i]; } private: const stack& stack_; index_type range_; }; private: #if YY_CPLUSPLUS < 201103L /// Non copyable. stack (const stack&); /// Non copyable. stack& operator= (const stack&); #endif /// The wrapped container. S seq_; }; /// Stack type. typedef stack stack_type; /// The stack. stack_type yystack_; /// Push a new state on the stack. /// \param m a debug message to display /// if null, no trace is output. /// \param sym the symbol /// \warning the contents of \a s.value is stolen. void yypush_ (const char* m, YY_MOVE_REF (stack_symbol_type) sym); /// Push a new look ahead token on the state on the stack. /// \param m a debug message to display /// if null, no trace is output. /// \param s the state /// \param sym the symbol (for its value and location). /// \warning the contents of \a sym.value is stolen. void yypush_ (const char* m, state_type s, YY_MOVE_REF (symbol_type) sym); /// Pop \a n symbols from the stack. void yypop_ (int n = 1) YY_NOEXCEPT; /// Constants. enum { yylast_ = 194, ///< Last index in yytable_. yynnts_ = 35, ///< Number of nonterminal symbols. yyfinal_ = 14 ///< Termination state number. }; // User arguments. SysYFDriver& driver; }; inline SysYFParser::symbol_kind_type SysYFParser::yytranslate_ (int t) YY_NOEXCEPT { // YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to // TOKEN-NUM as returned by yylex. static const signed char translate_table[] = { 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 2, 3, 50, 51, 52 }; // Last valid token kind. const int code_max = 308; if (t <= 0) return symbol_kind::S_YYEOF; else if (t <= code_max) return static_cast (translate_table[t]); else return symbol_kind::S_YYUNDEF; } // basic_symbol. template SysYFParser::basic_symbol::basic_symbol (const basic_symbol& that) : Base (that) , value () , location (that.location) { switch (this->kind ()) { case symbol_kind::S_CompUnit: // CompUnit value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_Block: // Block value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_OptionRet: // OptionRet case symbol_kind::S_Exp: // Exp case symbol_kind::S_RelExp: // RelExp case symbol_kind::S_EqExp: // EqExp case symbol_kind::S_LAndExp: // LAndExp case symbol_kind::S_LOrExp: // LOrExp case symbol_kind::S_CondExp: // CondExp value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_FuncDef: // FuncDef value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_FuncFParam: // FuncFParam value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_InitVal: // InitVal case symbol_kind::S_InitValList: // InitValList case symbol_kind::S_CommaInitValList: // CommaInitValList value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_LVal: // LVal value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_Number: // Number value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_Stmt: // Stmt case symbol_kind::S_IfStmt: // IfStmt value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_ConstDef: // ConstDef case symbol_kind::S_VarDef: // VarDef value.copy< SysYF::Ptr > (YY_MOVE (that.value)); break; case symbol_kind::S_ArrayExpList: // ArrayExpList case symbol_kind::S_ExpList: // ExpList case symbol_kind::S_CommaExpList: // CommaExpList value.copy< SysYF::PtrVec > (YY_MOVE (that.value)); break; case symbol_kind::S_FParamList: // FParamList case symbol_kind::S_CommaFParamList: // CommaFParamList value.copy< SysYF::PtrVec > (YY_MOVE (that.value)); break; case symbol_kind::S_GlobalDecl: // GlobalDecl value.copy< SysYF::PtrVec > (YY_MOVE (that.value)); break; case symbol_kind::S_BlockItemList: // BlockItemList case symbol_kind::S_BlockItem: // BlockItem value.copy< SysYF::PtrVec > (YY_MOVE (that.value)); break; case symbol_kind::S_ConstDecl: // ConstDecl case symbol_kind::S_ConstDefList: // ConstDefList case symbol_kind::S_VarDecl: // VarDecl case symbol_kind::S_VarDefList: // VarDefList value.copy< SysYF::PtrVec > (YY_MOVE (that.value)); break; case symbol_kind::S_BType: // BType value.copy< SysYF::SyntaxTree::Type > (YY_MOVE (that.value)); break; case symbol_kind::S_FLOATCONST: // FLOATCONST value.copy< float > (YY_MOVE (that.value)); break; case symbol_kind::S_INTCONST: // INTCONST value.copy< int > (YY_MOVE (that.value)); break; case symbol_kind::S_IDENTIFIER: // IDENTIFIER case symbol_kind::S_STRINGCONST: // STRINGCONST value.copy< std::string > (YY_MOVE (that.value)); break; default: break; } } template SysYFParser::symbol_kind_type SysYFParser::basic_symbol::type_get () const YY_NOEXCEPT { return this->kind (); } template bool SysYFParser::basic_symbol::empty () const YY_NOEXCEPT { return this->kind () == symbol_kind::S_YYEMPTY; } template void SysYFParser::basic_symbol::move (basic_symbol& s) { super_type::move (s); switch (this->kind ()) { case symbol_kind::S_CompUnit: // CompUnit value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_Block: // Block value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_OptionRet: // OptionRet case symbol_kind::S_Exp: // Exp case symbol_kind::S_RelExp: // RelExp case symbol_kind::S_EqExp: // EqExp case symbol_kind::S_LAndExp: // LAndExp case symbol_kind::S_LOrExp: // LOrExp case symbol_kind::S_CondExp: // CondExp value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_FuncDef: // FuncDef value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_FuncFParam: // FuncFParam value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_InitVal: // InitVal case symbol_kind::S_InitValList: // InitValList case symbol_kind::S_CommaInitValList: // CommaInitValList value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_LVal: // LVal value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_Number: // Number value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_Stmt: // Stmt case symbol_kind::S_IfStmt: // IfStmt value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_ConstDef: // ConstDef case symbol_kind::S_VarDef: // VarDef value.move< SysYF::Ptr > (YY_MOVE (s.value)); break; case symbol_kind::S_ArrayExpList: // ArrayExpList case symbol_kind::S_ExpList: // ExpList case symbol_kind::S_CommaExpList: // CommaExpList value.move< SysYF::PtrVec > (YY_MOVE (s.value)); break; case symbol_kind::S_FParamList: // FParamList case symbol_kind::S_CommaFParamList: // CommaFParamList value.move< SysYF::PtrVec > (YY_MOVE (s.value)); break; case symbol_kind::S_GlobalDecl: // GlobalDecl value.move< SysYF::PtrVec > (YY_MOVE (s.value)); break; case symbol_kind::S_BlockItemList: // BlockItemList case symbol_kind::S_BlockItem: // BlockItem value.move< SysYF::PtrVec > (YY_MOVE (s.value)); break; case symbol_kind::S_ConstDecl: // ConstDecl case symbol_kind::S_ConstDefList: // ConstDefList case symbol_kind::S_VarDecl: // VarDecl case symbol_kind::S_VarDefList: // VarDefList value.move< SysYF::PtrVec > (YY_MOVE (s.value)); break; case symbol_kind::S_BType: // BType value.move< SysYF::SyntaxTree::Type > (YY_MOVE (s.value)); break; case symbol_kind::S_FLOATCONST: // FLOATCONST value.move< float > (YY_MOVE (s.value)); break; case symbol_kind::S_INTCONST: // INTCONST value.move< int > (YY_MOVE (s.value)); break; case symbol_kind::S_IDENTIFIER: // IDENTIFIER case symbol_kind::S_STRINGCONST: // STRINGCONST value.move< std::string > (YY_MOVE (s.value)); break; default: break; } location = YY_MOVE (s.location); } // by_kind. inline SysYFParser::by_kind::by_kind () YY_NOEXCEPT : kind_ (symbol_kind::S_YYEMPTY) {} #if 201103L <= YY_CPLUSPLUS inline SysYFParser::by_kind::by_kind (by_kind&& that) YY_NOEXCEPT : kind_ (that.kind_) { that.clear (); } #endif inline SysYFParser::by_kind::by_kind (const by_kind& that) YY_NOEXCEPT : kind_ (that.kind_) {} inline SysYFParser::by_kind::by_kind (token_kind_type t) YY_NOEXCEPT : kind_ (yytranslate_ (t)) {} inline void SysYFParser::by_kind::clear () YY_NOEXCEPT { kind_ = symbol_kind::S_YYEMPTY; } inline void SysYFParser::by_kind::move (by_kind& that) { kind_ = that.kind_; that.clear (); } inline SysYFParser::symbol_kind_type SysYFParser::by_kind::kind () const YY_NOEXCEPT { return kind_; } inline SysYFParser::symbol_kind_type SysYFParser::by_kind::type_get () const YY_NOEXCEPT { return this->kind (); } } // yy #line 2907 "./SysYFParser.h" #endif // !YY_YY_HOME_CJB_COMPILER_EDUCODER_EDUCODER_2021FALL_COMPILER_IR_LAB_SYSYF_TA_BUILD_SYSYFPARSER_H_INCLUDED