ó
    öÞ j   ã                   óx   • S r SSKJrJrJr  SSKJrJrJrJ	r	J
r
JrJrJr  SS/r " S S\5      r " S S\5      rg)	zá
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Lexer for Intermediate Verification Languages (IVLs).

:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
é    )Ú
RegexLexerÚincludeÚwords)ÚCommentÚOperatorÚKeywordÚNameÚNumberÚPunctuationÚTextÚGenericÚBoogieLexerÚSilverLexerc                   ó¶  • \ rS rSrSrSrSrS/rS/rSr	S\
4S	\
4S
\
4S\R                  4S\R                  4S\R                  S4\" SSS9\4\" SSS9\R"                  4\" SSS9\R$                  4\" S5      S\4S\R,                  4S\4S\4/S\R                  4S\R                  S4S\R                  S4S\R                  4/S\R4                  4/S.rS rg!)"r   é   z
For Boogie source code.
ÚBoogiezIhttps://github.com/boogie-org/boogie/blob/master/Source/Core/BoogiePL.atgÚboogiez*.bplz2.1ú\nú\s+ú\\\nú//[/!](.*?)\nú	//(.*?)\nú/\*Úcomment)(ÚactionÚassertÚassertsÚassumeÚasyncÚatomicÚaxiomÚbreakÚcallÚelseÚensuresÚexistsÚfalseÚforallÚfreeÚfunctionÚgotoÚhavocÚifÚimplementationÚ	invariantÚlambdaÚleftÚmeasureÚmodifiesÚoldÚ	preservesÚ	procedureÚpublicÚrequiresÚreturnÚreturnsÚrightÚthenÚtrueÚtypeÚuniqueÚvarÚwhileÚyieldú\b©Úsuffix)Úconst)ÚboolÚintÚrealÚrefÚnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])ú\{.*?\}ú([{}():;,.])z[a-zA-Z_]\w*ú[^*/]+ú#pushú\*/ú#popú[*/]ú[0-9]+©Úrootr   rK   © N)Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚversion_addedr   r   ÚDocÚSingleÚ	Multiliner   r   ÚReservedÚTyper   r   r   ÚEmphr   r	   r
   ÚIntegerÚtokensÚ__static_attributes__rV   ó    ÚV/var/www/html/gaurav/venv/lib/python3.13/site-packages/pygments/lexers/verification.pyr   r      s<  † ñð €DØ
U€CØˆj€GØ�	€IØ€Mð
 �DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð Tð ñð $ð%ñ �: eÑ,¨g×.>Ñ.>Ð?áÐ1¸%Ñ@À'Ç,Á,ÐOÙ�IÓØ8¸(ÐCØ˜Ÿ™Ð&Ø˜kÐ*à˜dÐ#ð3
ð8 ˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð ˜Ÿ™Ð'ð
ñE%ƒFrj   c                   ó¸  • \ rS rSrSrSrS/rSS/rSrSr	S	\
4S
\
4S\
4S\R                  4S\R                  4S\R                  S4\" SSS9\4\" SSS9\R$                  4\" SSS9\R&                  4\" S5      S\4S\R.                  4S\4S\4/S\R                  4S\R                  S4S\R                  S4S\R                  4/S\R4                  4/S .rS!rg")#r   éD   z
For Silver source code.
ÚSilverÚsilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   r   r   r   r   r   r   )4Úresultr=   r'   ÚnullÚmethodr*   Ú	predicateÚprogramÚdomainr!   r@   r:   ÚfieldÚdefineÚfoldÚunfoldÚinhaleÚexhaleÚnewr   r   r+   rA   r-   Úelseifr$   ÚfreshÚconstrainingÚSeqÚSetÚMultisetÚunionÚintersectionÚsetminusÚsubsetÚ	unfoldingÚinr4   r(   r&   ÚaccÚwildcardÚwriteÚnoneÚepsilonÚpermr?   ÚapplyÚpackageÚfoldingÚlabelÚforpermrC   rD   )r8   r%   r/   )ÚIntÚPermÚBoolÚRefÚRationalrK   z[!%&*+=|?:<>/\-\[\]]rL   rM   z[\w$]\w*rN   rO   rP   rQ   rR   rS   rT   rV   N)rW   rX   rY   rZ   r[   r\   r^   r_   r]   r`   r   r   ra   rb   rc   r   r   r	   Ú	Decoratorre   r   r   r   rf   r   r
   rg   rh   ri   rV   rj   rk   r   r   D   s>  † ñð €DØˆj€GØ˜'Ð"€IØ
2€CØ€Mð
 �DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð Cð ñ	ð $ð	%ñ Ð7ÀÑFÈÏÉÐWÙÐ=ÀeÑLÈgÏlÉlÐ[Ù�IÓØ$ hÐ/Ø˜Ÿ™Ð&Ø˜kÐ*à˜$Ðð5
ð: ˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð ˜Ÿ™Ð'ð
ñG&ƒFrj   N)r[   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__r   r   rV   rj   rk   Ú<module>r�      sF   ðñ÷ 6Ñ 5÷÷ ó ð ˜-Ð
(€ô/�*ô /ôd0�*õ 0rj   