U
    luf-                     @   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-2023 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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.

    .. versionadded:: 2.1
    ZBoogiez-https://boogie-docs.readthedocs.io/en/latest/Zboogiez*.bpl\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	filenamesr   r   DocSingle	Multiliner   r   ZReservedTyper   r   r   Emphr
   r   r	   Integertokens rD   rD   @/tmp/pip-unpacked-wheel-7eq1ciah/pygments/lexers/verification.pyr      s@   


c                   @   s   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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.

    .. versionadded:: 2.2
    ZSilverZsilverz*.silz*.vprr   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   Z	Decoratorr@   r   r   r   rA   r
   r	   rB   rC   rD   rD   rD   rE   r   B   s>   
		


N)r8   Zpygments.lexerr   r   r   Zpygments.tokenr   r   r   r   r	   r
   r   r   __all__r   r   rD   rD   rD   rE   <module>   s
   
(0