
    Mh^                         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-2025 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     \/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/pygments/lexers/verification.pyr   r      sU         D
9CjG	IM
 DMTNdOw{+7>*W&	2U ( 	   $	%
 U:e,,,g.>?U)%888',GGI8(C&k*d#-
2 )*W&0W&/g'(	
 '
?" "FFFrN   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jG'"I
2CM
 DMTNdOw{+7>*W&	2U C 	 	 	 $	% U7FFFWU=eLLLgl[GI$h/&k*$5
: )*W&0W&/g'(	
 '
G& &FFFrN   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   