§
    XŠtja  ã                   ó†   — 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.
    Ú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   r1   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© ó    úZ/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/pygments/lexers/verification.pyr   r      sU  € € € € € ðð ð €DØ
9€CØˆj€GØ�	€IØ€Mð
 �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€FrN   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Ú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   rA   rD   r   r   rE   rF   rG   r   r   r	   Ú	DecoratorrI   r   r   r   rJ   r   r
   rK   rL   rM   rN   rO   r   r   A   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€FrN   N)r?   Úpygments.lexerr   r   r   Úpygments.tokenr   r   r   r	   r
   r   r   r   Ú__all__r   r   rM   rN   rO   ú<module>rˆ      sþ   ððð ð 6Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5Ð 5ðð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ˜-Ð
(€ð,ð ,ð ,ð ,ð ,�*ñ ,ô ,ð ,ð^0ð 0ð 0ð 0ð 0�*ñ 0ô 0ð 0ð 0ð 0rN   