% Copyright 2012-2022, 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 <
http://www.gnu.org/licenses/>.
\let\currentparsernamespace\parsernamespace
\let\parsernamespace\indexpseudonamespace % use the correct namespace
\input yypretty.sty % input standard prettified tokens first
% so that we can change their appearance below
\let\parsernamespace\cwebclinknamespace
\prettywordpair{.origin&}{{$\cdot\cdot$}}% special . name in \ld\ scripts
\let\parsernamespace\currentparsernamespace
\prettywordpairwvis{comma}{{\tt,}}{,}
\prettywordpairwvis{semicolon}{{\tt;}}{;}
\prettywordpair@@{file\_NAME\_list}{{\ifinheader\itbold\else\it\fi file\_{\rm name}\_list}}
\prettywordpair@@{high\_level\_library\_NAME\_list}{{\ifinheader\itbold\else\it\fi high\_level\_library\_{\rm name}\_list}}
\prettywordpair@@{low\_level\_library\_NAME\_list}{{\ifinheader\itbold\else\it\fi low\_level\_library\_{\rm name}\_list}}
\prettywordpair@@{NAME}{{\rm name}}
\prettywordpair@@wvis{LNAME}{{\rm name$_{\rm L}$}}{name_L}
\prettywordpair@@{END}{{\rm end}}
\prettywordpair@@{UNARY}{{\rm unary}}
\prettywordpair@@{VERSIONK}{{\tt VERSION}$_{\rm K}$}
\prettytoken{ALIGN}
\prettytoken{MIN}
\prettytoken{MAX}
\prettytoken{TARGET}
\prettytoken{ASSERT}
\prettytoken{INSERT}
\prettywordpair@@wvis{PLUSEQ}{{}$\MRL{+{\K}}${}}{=+}
\prettywordpair@@wvis{MINUSEQ}{{}$\MRL{-{\K}}${}}{=-}
\prettywordpair@@wvis{MULTEQ}{{}$\MRL{\times{\K}}${}}{=*}
\prettywordpair@@wvis{DIVEQ}{{}$\MRL{{\div}{\K}}${}}{=/}
\prettywordpair@@wvis{ANDEQ}{{}$\Xandxeq${}}{=W}
\prettywordpair@@wvis{OREQ}{{}$\Xorxeq${}}{=V}
\prettywordpair@@wvis{LSHIFTEQ}{{}$\MRL{\ll{\K}}${}}{=<<}
\prettywordpair@@wvis{RSHIFTEQ}{{}$\MRL{\gg{\K}}${}}{=>>}
\prettywordpair@@wvis{NE}{{}$\not=${}}{= }
\prettywordpair@@wvis{LE}{{}$\leq${}}{<=}
\prettywordpair@@wvis{GE}{{}$\geq${}}{>=}
\prettywordpair@@wvis{EQ}{{}$=${}}{=}
\prettywordpair@@wvis{OROR}{{}$\V${}}{||}
\prettywordpair@@wvis{ANDAND}{{}$\W${}}{&&}
\prettywordpair@@wvis{LSHIFT}{{}$\ll${}}{<<}
\prettywordpair@@wvis{RSHIFT}{{}$\gg${}}{>>}
\prettywordpair@@wvis{=}{{}$\K${}}{=:}
\prettywordpair@@{+}{{}$+${}}
\prettywordpair@@{-}{{}$-${}}
\prettywordpair@@{!}{{}$\CM${}}
\prettywordpair@@{~}{{}$\R${}}
\prettywordpair@@{^}{{}$\XOR${}}
\prettywordpair@@{|}{{}$\OR${}}
\prettywordpair@@{&}{{}$\AND${}}
\prettywordpair@@{\{}{{\ntt@\{}}% the purpose is to adjust the indexing
\prettywordpair@@{\}}{{\ntt@\}}}% the purpose is to adjust the indexing
% the switches below are sloppy, since the macros in the index
% read a-z as letters (category 11) whereas the parser records them as
% non-letters, it would be beter to use category 12 throughout (by,
% for example passing the context as a stream of character codes
\def\gtsymswitch{%
exp \raw exp *left *right\raw {%
{}$>${}%
}
}
\def\gtsymswitchdefault{{\tt >}}
\def\ltsymswitch{%
exp \raw exp *left *right\raw {%
{}$<${}%
}
}
\def\ltsymswitchdefault{{\tt <}}
\setspecialcharsfrom\gtsymswitch
\setspecialcharsfrom\ltsymswitch
% the visual key switches below slightly abuse the properties of
% \yyifsamestring, namely that it ignores the category code of the characters
\prettywordpair@@wvis{>}{{%
\let\default\gtsymswitchdefault
\switchon{#1}\in\gtsymswitch
}}{%
\yyifsamestring{exp}{#1}{> exp}{%
\yyifsamestring{*left}{#1}{> exp}{%
\yyifsamestring{*right}{#1}{> exp}{>}%
}%
}%
}
\prettywordpair@@wvis{<}{{%
\let\default\ltsymswitchdefault
\switchon{#1}\in\ltsymswitch
}}{%
\yyifsamestring{exp}{#1}{< exp}{%
\yyifsamestring{*left}{#1}{< exp}{%
\yyifsamestring{*right}{#1}{< exp}{<}%
}%
}%
}
\def\astsymswitch{%
exp \raw exp *left *right\raw {%
{}$\times${}%
}
}
\def\astsymswitchdefault{{\tt *}}
\setspecialcharsfrom\astsymswitch
\prettywordpair@@wvis{*}{%
{%
\let\default\astsymswitchdefault
\switchon{#1}\in\astsymswitch
}%
}{%
\yyifsamestring{exp}{#1}{* exp}{%
\yyifsamestring{*left}{#1}{* exp}{%
\yyifsamestring{*right}{#1}{* exp}{*}%
}%
}%
}
\prettywordpair@@{/}{{}$/${}}
\expandafter\prettywordpair@@\expandafter{\harmlesscomment}{{}$\div${}}
