
    L&i-                         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     i/home/geonatureadmin/si_en_reseau/tutos/venv/lib/python3.11/site-packages/pygments/lexers/verification.pyr   r      sP        
 D
9CjG	I
 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'(	
 '
?" "FFFrM   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jG'"I
 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& &FFFrM   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   