1  /* Input parser for Bison
       2  
       3     Copyright (C) 2000-2003, 2005-2007, 2009-2015, 2018-2021 Free
       4     Software Foundation, Inc.
       5  
       6     This file is part of Bison, the GNU Compiler Compiler.
       7  
       8     This program is free software: you can redistribute it and/or modify
       9     it under the terms of the GNU General Public License as published by
      10     the Free Software Foundation, either version 3 of the License, or
      11     (at your option) any later version.
      12  
      13     This program is distributed in the hope that it will be useful,
      14     but WITHOUT ANY WARRANTY; without even the implied warranty of
      15     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      16     GNU General Public License for more details.
      17  
      18     You should have received a copy of the GNU General Public License
      19     along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
      20  
      21  #ifndef READER_H_
      22  # define READER_H_
      23  
      24  # include "location.h"
      25  # include "symlist.h"
      26  # include "named-ref.h"
      27  
      28  # include "parse-gram.h"
      29  
      30  typedef struct merger_list
      31  {
      32    struct merger_list* next;
      33    uniqstr name;
      34    /* One symbol whose type is the one used by all the symbols on which
      35       this merging function is used.  */
      36    symbol *sym;
      37    /* Where SYM was bound to this merging function.  */
      38    location type_declaration_loc;
      39  } merger_list;
      40  
      41  void free_merger_functions (void);
      42  extern merger_list *merge_functions;
      43  
      44  /* List of the start symbols.  */
      45  extern symbol_list *start_symbols;
      46  
      47  /* Fetch (or create) a token "YY_PARSE_foo" for start symbol "foo".
      48  
      49     We don't use the simple "YY_FOO" because (i) we might get clashes
      50     with some of our symbols (e.g., cast => YY_CAST), and (ii) upcasing
      51     introduces possible clashes between terminal FOO and nonterminal
      52     foo.  */
      53  symbol *switching_token (const symbol *start);
      54  
      55  void grammar_start_symbols_add (symbol_list *syms);
      56  
      57  void grammar_current_rule_begin (symbol *lhs, location loc,
      58                                   named_ref *lhs_named_ref);
      59  void grammar_current_rule_end (location loc);
      60  void grammar_midrule_action (void);
      61  /* Apply %empty to the current rule.  */
      62  void grammar_current_rule_empty_set (location loc);
      63  void grammar_current_rule_prec_set (symbol *precsym, location loc);
      64  void grammar_current_rule_dprec_set (int dprec, location loc);
      65  void grammar_current_rule_merge_set (uniqstr name, location loc);
      66  void grammar_current_rule_expect_sr (int count, location loc);
      67  void grammar_current_rule_expect_rr (int count, location loc);
      68  void grammar_current_rule_symbol_append (symbol *sym, location loc,
      69                                           named_ref *nref);
      70  /* Attach an ACTION to the current rule.  */
      71  void grammar_current_rule_action_append (const char *action, location loc,
      72                                           named_ref *nref, uniqstr tag);
      73  /* Attach a PREDICATE to the current rule.  */
      74  void grammar_current_rule_predicate_append (const char *predicate, location loc);
      75  
      76  /* Read in the grammar specification.  */
      77  void reader (const char *gram);
      78  
      79  /* Was %union seen?  */
      80  extern bool union_seen;
      81  
      82  /* Should rules have a default precedence?  */
      83  extern bool default_prec;
      84  
      85  #endif /* !READER_H_ */