U
    ]g^                     @   sl   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 deZG d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                   @   s   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defedddejfed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.
    ZBoogiez-https://boogie-docs.readthedocs.io/en/latest/Zboogiez*.bplz2.1\n\s+\\\n//[/!](.*?)\n	//(.*?)\n/\*comment)axiombreakcallensureselseexistsfunctionforallif	invariantZmodifiesZ	procedurerequiresZthenvarwhile\bsuffix)const)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])\{.*?\}([{}():;,.])z[a-zA-Z_]\w*[^*/]+#push\*/#pop[*/][0-9]+rootr   r*   N)__name__
__module____qualname____doc__nameurlaliases	filenamesversion_addedr   r   DocSingle	Multiliner   r   ZReservedTyper   r   r   Emphr
   r   r	   Integertokens rE   rE   @/tmp/pip-unpacked-wheel-zak7uw41/pygments/lexers/verification.pyr      sB   


c                   @   s   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defedddejfed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.
    ZSilverZ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!   ZreturnsfieldZdefinefoldZunfoldZinhaleZexhalenewassertZassumegotor"   r   Zelseifr   ZfreshZconstrainingZSeqSetZMultisetunionintersectionZsetminusZsubsetZ	unfoldinginoldr   r   accZwildcardwritenoneepsilonpermuniqueapplypackageZfoldinglabelZforpermr#   r$   )r    r   r   )ZIntZPermZBoolZRefRationalr*   z[!%&*+=|?:<>/\-\[\]]r+   r,   z[\w$]\w*r-   r.   r/   r0   r1   r2   r3   N)r5   r6   r7   r8   r9   r;   r<   r:   r=   r   r   r>   r?   r@   r   r   r   Z	DecoratorrA   r   r   r   rB   r
   r	   rC   rD   rE   rE   rE   rF   r   A   sB   
		


N)r8   Zpygments.lexerr   r   r   Zpygments.tokenr   r   r   r   r	   r
   r   r   __all__r   r   rE   rE   rE   rF   <module>   s
   
(/