1  /* Graphical symbols.
       2  
       3     Copyright (C) 2020-2021 Free Software Foundation, Inc.
       4  
       5     This file is part of Bison, the GNU Compiler Compiler.
       6  
       7     This program is free software: you can redistribute it and/or modify
       8     it under the terms of the GNU General Public License as published by
       9     the Free Software Foundation, either version 3 of the License, or
      10     (at your option) any later version.
      11  
      12     This program is distributed in the hope that it will be useful,
      13     but WITHOUT ANY WARRANTY; without even the implied warranty of
      14     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      15     GNU General Public License for more details.
      16  
      17     You should have received a copy of the GNU General Public License
      18     along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
      19  
      20  #ifndef GLYPHS_H
      21  # define GLYPHS_H
      22  
      23  /* Initialize the following variables.  */
      24  void glyphs_init (void);
      25  
      26  /* In gnulib/lib/unicodeio.h unicode_to_mb uses a buffer of 25 bytes.
      27     In down_arrow, we append one space.  */
      28  typedef char glyph_buffer_t[26];
      29  
      30  /* "→", separates the lhs of a rule from its rhs.  */
      31  extern glyph_buffer_t arrow;
      32  extern int arrow_width;
      33  
      34  /* "•", a point in an item (aka, a dotted rule).  */
      35  extern glyph_buffer_t dot;
      36  extern int dot_width;
      37  
      38  /* "↳ ", below an lhs to announce the rhs.  */
      39  extern glyph_buffer_t down_arrow;
      40  extern int down_arrow_width;
      41  
      42  /* "ε", an empty rhs.  */
      43  extern glyph_buffer_t empty;
      44  extern int empty_width;
      45  
      46  /* " ", separate symbols in the rhs of a derivation.  */
      47  extern const char *derivation_separator;
      48  extern int derivation_separator_width;
      49  
      50  #endif /* GLYPHS_H */