ó
    Û&…g^  ã                   ó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-2024 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.
ÚBoogiez-https://boogie-docs.readthedocs.io/en/latest/Úboogiez*.bplz2.1ú\nú\s+ú\\\nú//[/!](.*?)\nú	//(.*?)\nú/\*Úcomment)ÚaxiomÚbreakÚcallÚensuresÚelseÚexistsÚfunctionÚforallÚifÚ	invariantÚmodifiesÚ	procedureÚrequiresÚthenÚvarÚwhileú\b©Úsuffix)Úconst)ÚboolÚintÚrefÚnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])ú\{.*?\}ú([{}():;,.])z[a-zA-Z_]\w*ú[^*/]+ú#pushú\*/ú#popú[*/]ú[0-9]+©Úrootr   r2   © 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__r=   ó    Ú>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyr   r      s:  † ñð €DØ
9€CØˆj€GØ�	€IØ€Mð
 �DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð (ð ñ	ð $ð	%ñ
 �: eÑ,¨g×.>Ñ.>Ð?áÐ)°%Ñ8¸'¿,¹,ÐGÙ�IÓØ8¸(ÐCØ˜Ÿ™Ð&Ø˜kÐ*à˜dÐ#ð-
ð2 ˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð ˜Ÿ™Ð'ð
ñ?"ƒFrQ   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   éA   z
For Silver source code.
ÚSilverÚsilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   r   r   r   r   r   r   )4ÚresultÚtrueÚfalseÚnullÚmethodr!   Ú	predicateÚprogramÚdomainr   r)   ÚreturnsÚfieldÚdefineÚfoldÚunfoldÚinhaleÚexhaleÚnewÚassertÚassumeÚgotor*   r#   Úelseifr   ÚfreshÚconstrainingÚSeqÚSetÚMultisetÚunionÚintersectionÚsetminusÚsubsetÚ	unfoldingÚinÚoldr"   r    ÚaccÚwildcardÚwriteÚnoneÚepsilonÚpermÚuniqueÚapplyÚpackageÚfoldingÚlabelÚforpermr+   r,   )r'   r   r$   )ÚIntÚPermÚBoolÚRefÚRationalr2   z[!%&*+=|?:<>/\-\[\]]r3   r4   z[\w$]\w*r5   r6   r7   r8   r9   r:   r;   r=   N)r>   r?   r@   rA   rB   rC   rE   rF   rD   rG   r   r   rH   rI   rJ   r   r   r	   Ú	DecoratorrL   r   r   r   rM   r   r
   rN   rO   rP   r=   rQ   rR   r   r   A   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&ƒFrQ   N)rB   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__r   r   r=   rQ   rR   Ú<module>rŒ      sF   ðñ÷ 6Ñ 5÷÷ ó ð ˜-Ð
(€ô,�*ô ,ô^0�*õ 0rQ   