ServerSync/lib/pygments/lexers/__pycache__/verification.cpython-314.pyc

+
<00><0C>i^<00><00>z<00>Rt^R
I
HtHtHt^RIHtHtHtH	t	H
t
HtHtH
t
RR.t!RR]4t!RR]4tR#)z<>
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Lexer for Intermediate Verification Languages (IVLs).

:copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)<03>
RegexLexer<EFBFBD>include<64>words)<08>Comment<6E>Operator<6F>Keyword<72>Name<6D>Number<65>Punctuation<6F>Text<78>Generic<69>BoogieLexer<65>SilverLexerc<00><>
<00>]t
Rt^tR
tRtRtR.
tR.
tRt	RR]
3R	]
3R
]
3R]P3R]P3R
]PR3]!RRR7]3]!RRR7]P"3]!R RR7]P$3]!R4
R]3R]P,3R]3R]3.RR]P3R
]PR3R]PR3R]P3.RR]P43.
/tRtR#)!r
z
For Boogie source code.
<EFBFBD>Boogiez-https://boogie-docs.readthedocs.io/en/latest/<2F>boogiez*.bplz2.1<EFBFBD>root<6F>\n<>\s+<2B>\\\n<>
//[/!](.*?)\n<>	//(.*?)\n<>/\*<2A>comment<6E>\b<>
<01>suffix<69>numbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])<29>\{.*?\}<7D>([{}():;,.])z[a-zA-Z_]\w*<2A>[^*/]+<2B>#push<73>\*/<2F>#pop<6F>[*/]<5D>[0-9]+<2B>N)<10>axiom<6F>break<61>call<6C>ensures<65>else<73>exists<74>function<6F>forall<6C>if<69>	invariant<6E>modifies<65>	procedure<72>requires<65>then<65>var<61>while)
<01>const)<03>bool<6F>int<6E>ref)<1D>__name__<5F>
__module__<EFBFBD>__qualname__<5F>__firstlineno__<5F>__doc__<5F>name<6D>url<72>aliases<65>	filenames<65>
version_addedrr<00>Doc<6F>Single<6C>	Multilinerr<00>Reserved<65>Typerrr<00>Emphr
rr	<00>Integer<65>tokens<6E>__static_attributes__r&<00><00>C/tmp/pip-target-qd_sq_1j/lib/python/pygments/lexers/verification.pyr
r
sC
<00><00><08><14>D<EFBFBD>
9<EFBFBD>C<EFBFBD><17>j<EFBFBD>G<EFBFBD><18>	<09>I<EFBFBD><19>M<EFBFBD>	<0F>
<12>D<EFBFBD>M<EFBFBD>
<13>T<EFBFBD>N<EFBFBD>
<14>d<EFBFBD>O<EFBFBD>
<1D>w<EFBFBD>{<7B>{<7B>+<2B>
<19>7<EFBFBD>><3E>><3E>*<2A>
<13>W<EFBFBD>&<26>&<26>	<09>2<>
<12>(<28><1A>	<1B>$<24>	
%<25>
<13>:<3A>e<EFBFBD>
,<2C>g<EFBFBD>.><3E>.><3E>?<3F>
<12>)<29>%<25>
8<>'<27>,<2C>,<2C>G<><13>I<EFBFBD><1E>
8<>(<28>C<>
<17><17><1C><1C>&<26>
<1C>k<EFBFBD>*<2A>
<1C>d<EFBFBD>#<23>-
<EFBFBD>0	<12>
<16><07>)<29>)<29>*<2A>
<13>W<EFBFBD>&<26>&<26><07>0<>
<13>W<EFBFBD>&<26>&<26><06>/<2F>
<14>g<EFBFBD>'<27>'<27>(<28>	
<EFBFBD>	<12>
<16><06><0E><0E>'<27>
<EFBFBD>?"<06>FrNc<00><>
<00>]t
Rt^AtR
tRtR.
tRR.tRtRt	RR	]
3R
]
3R]
3R]P3R
]P3R]PR3]!RRR7]3]!R RR7]P$3]!R!RR7]P&3]!R4
R]3R]P.3R]3R]3.RR]P3R]PR3R]PR3R]P3.RR]P43.
/tRtR#)"rz
For Silver source code.
<EFBFBD>Silver<65>silverz*.silz*.vprz&https://github.com/viperproject/silverz2.2rrrrrrrrrrrz[!%&*+=|?:<>/\-\[\]]rrz[\w$]\w*r r!r"r#r$r%r&N)4<>result<6C>true<75>false<73>null<6C>methodr-<00>	predicate<74>program<61>domainr'r5<00>returns<6E>field<6C>define<6E>fold<6C>unfold<6C>inhale<6C>exhale<6C>new<65>assert<72>assume<6D>gotor6r/<00>elseifr+<00>fresh<73>constraining<6E>Seq<65>Set<65>Multiset<65>union<6F>intersection<6F>setminus<75>subset<65>	unfolding<6E>in<69>oldr.r,<00>acc<63>wildcard<72>write<74>none<6E>epsilon<6F>perm<72>unique<75>apply<6C>package<67>folding<6E>label<65>forperm)r3r*r0)<05>Int<6E>Perm<72>Bool<6F>Ref<65>Rational)r;r<r=r>r?r@rBrCrArDrrrErFrGrrr<00>	DecoratorrIrrrrJr
r	rKrLrMr&rNrOrrAsG
<00><00><08><14>D<EFBFBD><17>j<EFBFBD>G<EFBFBD><18>'<27>"<22>I<EFBFBD>
2<EFBFBD>C<EFBFBD><19>M<EFBFBD>	<0F>
<12>D<EFBFBD>M<EFBFBD>
<13>T<EFBFBD>N<EFBFBD>
<14>d<EFBFBD>O<EFBFBD>
<1D>w<EFBFBD>{<7B>{<7B>+<2B>
<19>7<EFBFBD>><3E>><3E>*<2A>
<13>W<EFBFBD>&<26>&<26>	<09>2<>
<12>C
<01><1A>	<1B>$<24>	
%<25><13>7<><05>
F<><04><0E><0E>W<>
<12>=<3D>e<EFBFBD>
L<>g<EFBFBD>l<EFBFBD>l<EFBFBD>[<5B><13>I<EFBFBD><1E>
$<24>h<EFBFBD>/<2F>
<17><17><1C><1C>&<26>
<1C>k<EFBFBD>*<2A>
<18>$<24><1F>5
<EFBFBD>8	<12>
<16><07>)<29>)<29>*<2A>
<13>W<EFBFBD>&<26>&<26><07>0<>
<13>W<EFBFBD>&<26>&<26><06>/<2F>
<14>g<EFBFBD>'<27>'<27>(<28>	
<EFBFBD>	<12>
<16><06><0E><0E>'<27>
<EFBFBD>G
&<06>FrNN)r?<00>pygments.lexerrrr<00>pygments.tokenrrrrr	r
rr<00>__all__r
rr&rNrO<00><module>r<>
sF<00>


<01>
<04>
6<>5<>

<1F>

<1F>

<1F><19>-<2D>
(<28><07>,
<06>*<2A>,
<06>^
0
<06>*<2A>0
rN