Ë
    |í¼e-  ã                   óx   — 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y)	zò
    pygments.lexers.verification
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    Lexer for Intermediate Verification Languages (IVLs).

    :copyright: Copyright 2006-2023 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                   ó¼  — 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j0                  fgdœZy)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      s5  „ ñð
 €DØ
9€CØˆj€GØ�	€Ið
 �DˆMØ�TˆNØ�dˆOØ˜wŸ{™{Ð+Ø˜7Ÿ>™>Ð*Ø�W×&Ñ&¨	Ð2áð (ð ô	ð $ð	%ñ
 �: eÔ,¨g×.>Ñ.>Ð?áÐ)°%Ô8¸'¿,¹,ÐGÙ�IÓØ8¸(ÐCØ˜Ÿ™Ð&Ø˜kÐ*à˜dÐ#ð-
ð2 ˜×)Ñ)Ð*Ø�W×&Ñ&¨Ð0Ø�W×&Ñ&¨Ð/Ø�g×'Ñ'Ð(ð	
ð ˜Ÿ™Ð'ð
ñ?"�FrM   c                   óº  — 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y)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   s4  „ ñð
 €DØˆj€GØ˜'Ð"€Ið
 �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&�FrM   N)r?   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__r   r   rL   rM   rN   ú<module>r‡      sF   ðñ÷ 6Ñ 5÷÷ ó ð ˜-Ð
(€ô-�*ô -ô`0�*õ 0rM   