§
    £E±c-  ã                   ó†   — d Z ddlmZmZmZ ddlmZmZmZm	Z	m
Z
mZmZmZ ddgZ G d„ de¦  «        Z G d„ de¦  «        ZdS )	zò
    pygments.lexers.verification
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    Lexer for Intermediate Verification Languages (IVLs).

    :copyright: Copyright 2006-2022 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                   óh  — e Zd ZdZdZdZdgZdgZdefdefdefd	e	j
        fd
e	j        fde	j        df edd¬¦  «        ef edd¬¦  «        ej        f edd¬¦  «        ej        f ed¦  «        defdej        fdefdefgde	j        fde	j        dfde	j        dfde	j        fgdej        fgdœZdS )r   z<
    For Boogie source code.

    .. versionadded:: 2.1
    ÚBoogiez-https://boogie-docs.readthedocs.io/en/latest/Úboogiez*.bplú\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   r1   N)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesr   r   ÚDocÚSingleÚ	Multiliner   r   ÚReservedÚTyper   r   r   ÚEmphr   r	   r
   ÚIntegerÚtokens© ó    ú>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyr   r      sP  € € € € € ðð ð
 €DØ
9€CØˆj€GØ�	€Ið
 �DˆMØ�TˆNØ�dˆOØ˜wœ{Ð+Ø˜7œ>Ð*Ø�WÔ&¨	Ð2àˆUð (ð ð	ñ ô ð $ð	%ð
 ˆU�: eÐ,Ñ,Ô,¨gÔ.>Ð?àˆUÐ)°%Ð8Ñ8Ô8¸'¼,ÐGØˆG�IÑÔØ8¸(ÐCØ˜œÐ&Ø˜kÐ*à˜dÐ#ð-
ð2 ˜Ô)Ð*Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�gÔ'Ð(ð	
ð ˜œÐ'ð
ð?"ð "€F€F€FrM   c                   óf  — e Zd ZdZdZdgZddgZdefdefdefd	ej	        fd
ej
        fdej        df edd¬¦  «        ef edd¬¦  «        ej        f edd¬¦  «        ej        f ed¦  «        defdej        fdefdefgdej        fdej        dfdej        dfdej        fgdej        fgdœZdS )r   z<
    For Silver source code.

    .. versionadded:: 2.2
    ÚSilverÚsilverz*.silz*.vprr   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ÚRationalr1   z[!%&*+=|?:<>/\-\[\]]r2   r3   z[\w$]\w*r4   r5   r6   r7   r8   r9   r:   N)r<   r=   r>   r?   r@   rB   rC   r   r   rD   rE   rF   r   r   r	   Ú	DecoratorrH   r   r   r   rI   r   r
   rJ   rK   rL   rM   rN   r   r   B   sP  € € € € € ðð ð
 €DØˆj€GØ˜'Ð"€Ið
 �DˆMØ�TˆNØ�dˆOØ˜wœ{Ð+Ø˜7œ>Ð*Ø�WÔ&¨	Ð2àˆUð Cð ð	ñ 	ô 	ð $ð	%ð ˆUÐ7ÀÐFÑFÔFÈÌÐWØˆUÐ=ÀeÐLÑLÔLÈgÌlÐ[ØˆG�IÑÔØ$ hÐ/Ø˜œÐ&Ø˜kÐ*à˜$Ðð5
ð: ˜Ô)Ð*Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�gÔ'Ð(ð	
ð ˜œÐ'ð
ðG&ð &€F€F€FrM   N)r?   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__r   r   rL   rM   rN   ú<module>r‡      sþ   ððð ð 6Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5ðð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ˜-Ð
(€ð-ð -ð -ð -ð -�*ñ -ô -ð -ð`0ð 0ð 0ð 0ð 0�*ñ 0ô 0ð 0ð 0ð 0rM   