% Copyright 2012-2020, Alexander Shibakov % This file is part of SPLinT % % SPLinT 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. % % SPLinT 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 SPLinT. If not, see . % the original, minimal bootstrapping macros were designed to process % \prodstyle{\%token} declarations only and are enough to establish the % interface between the \bison\ parser and the \bison\ lexer; to serve % the secondary task of providing typesetting information to % the \bison\ parser, all forms of token declarations must be processed. \restorecslist{bootstrap}\yyunion % get the original bootstrap macros \def\precdecls#1#2#3#4#5{#3} \def\symbolprec#1#2{% \toksa{}\toksb{}% #1% \yytoksempty\toksb{}{\immediate\write\tokendefs{\noexpand\tokenpp{\the\toksb}}}% } \savecslist{bootstrap}\yyunion