§
    xÅj   ã                   ó†   — 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-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                   ól  — e Zd ZdZdZdZdgZdgZd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.
    Ú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   rJ   N)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚversion_addedr   r   ÚDocÚSingleÚ	Multiliner   r   ÚReservedÚTyper   r   r   ÚEmphr   r	   r
   ÚIntegerÚtokens© ó    úMC:\Projects\Historical\venv\Lib\site-packages\pygments/lexers/verification.pyr   r      sW  € € € € € ðð ð €DØ
U€CØˆj€GØ�	€IØ€Mð
 �DˆMØ�TˆNØ�dˆOØ˜wœ{Ð+Ø˜7œ>Ð*Ø�WÔ&¨	Ð2àˆUð Tð ðñ ô ð $ð%ð ˆU�: eÐ,Ñ,Ô,¨gÔ.>Ð?àˆUÐ1¸%Ð@Ñ@Ô@À'Ä,ÐOØˆG�IÑÔØ8¸(ÐCØ˜œÐ&Ø˜kÐ*à˜dÐ#ð3
ð8 ˜Ô)Ð*Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�gÔ'Ð(ð	
ð ˜œÐ'ð
ðE%ð %€F€F€Frg   c                   ón  — e Zd ZdZdZdgZddgZdZd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.
    Ú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?   r9   ÚfieldÚdefineÚfoldÚunfoldÚinhaleÚexhaleÚnewr   r   r*   r@   r,   Úelseifr#   ÚfreshÚconstrainingÚSeqÚSetÚMultisetÚunionÚintersectionÚsetminusÚsubsetÚ	unfoldingÚinr3   r'   r%   ÚaccÚwildcardÚwriteÚnoneÚepsilonÚpermr>   ÚapplyÚpackageÚfoldingÚlabelÚforpermrB   rC   )r7   r$   r.   )ÚIntÚPermÚBoolÚRefÚRationalrJ   z[!%&*+=|?:<>/\-\[\]]rK   rL   z[\w$]\w*rM   rN   rO   rP   rQ   rR   rS   N)rU   rV   rW   rX   rY   r[   r\   rZ   r]   r   r   r^   r_   r`   r   r   r	   Ú	Decoratorrb   r   r   r   rc   r   r
   rd   re   rf   rg   rh   r   r   D   sZ  € € € € € ðð ð €DØˆj€GØ˜'Ð"€IØ
2€CØ€Mð
 �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€Frg   N)rX   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__r   r   rf   rg   rh   ú<module>r™      sþ   ððð ð 6Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5ðð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ˜-Ð
(€ð/ð /ð /ð /ð /�*ñ /ô /ð /ðd0ð 0ð 0ð 0ð 0�*ñ 0ô 0ð 0ð 0ð 0rg   