% Copyright 2012-2014, 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 . \prettywordpair{\%}{{$\langle\star\rangle$}} \prettywordpair{\%nondeterministic-parser}{{$\langle$non...ic-parser$\rangle$}} \prettywordpair{PERCENT_NONDETERMINISTIC_PARSER}{PER...NON...IC\_PARSER} \prettywordpair{semi}{{\tt;}} \prettywordpair{TAG}{{{\tt<}{\it tag\/}{\tt>}}} \prettywordpair{}{{{\tt<}{\it tag\/}{\tt>}}} \prettywordpair{FLEX_OPTION}{{$\langle$\bf option$\rangle_{\rm f}$}} \prettywordpair{FLEX_STATE_X}{{$\langle$\bf state-x$\rangle_{\rm f}$}} \prettywordpair{FLEX_STATE_S}{{$\langle$\bf state-s$\rangle_{\rm f}$}} \prettywordpair{ID}{{\cyr\lqq{\rm identifier}\rqq}} \prettywordpair{ID_COLON}{{\cyr\lqq{\rm identifier: }\rqq}} \prettywordpair{NUL}{{$\Lambda$}} \prettywordpair{INT}{{\bf int}} \prettywordpair{CHAR}{{\bf char}} \prettywordpair{STRING}{{\cyr\lqq{\tt string}\rqq}}