B
    (d-                 @   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
    Boogiez-https://boogie-docs.readthedocs.io/en/latest/boogiez*.bplz\nz\s+z\\\nz//[/!](.*?)\nz	//(.*?)\nz/\*comment)axiombreakcallensureselseexistsfunctionforallif	invariantZmodifiesZ	procedurerequiresZthenvarwhilez\b)suffix)const)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])z\{.*?\}z([{}():;,.])z[a-zA-Z_]\w*z[^*/]+z#pushz\*/z#popz[*/]z[0-9]+)rootr   r$   N)__name__
__module____qualname____doc__nameurlaliases	filenamesr   r   DocSingle	Multiliner   r   ReservedTyper   r   r   Emphr
   r   r	   Integertokens r6   r6   i/work/yifan.wang/ringdown/master-ringdown-env/lib/python3.7/site-packages/pygments/lexers/verification.pyr      s4   




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
    Silversilverz*.silz*.vprz\nz\s+z\\\nz//[/!](.*?)\nz	//(.*?)\nz/\*r   )4resulttruefalsenullmethodr   	predicateprogramdomainr   r   ZreturnsfieldZdefinefoldZunfoldZinhaleZexhalenewassertZassumeZgotor   r   Zelseifr   ZfreshZconstrainingZSeqSetZMultisetunionintersectionZsetminusZsubsetZ	unfoldinginoldr   r   accZwildcardwritenoneepsilonZpermuniqueapplypackageZfoldinglabelZforpermz\b)r   )r   r   r   )ZIntZPermZBoolZRefRationalr$   z[!%&*+=|?:<>/\-\[\]]z\{.*?\}z([{}():;,.])z[\w$]\w*z[^*/]+z#pushz\*/z#popz[*/]z[0-9]+)r%   r   r$   N)r&   r'   r(   r)   r*   r,   r-   r   r   r.   r/   r0   r   r   r   	Decoratorr2   r   r   r   r3   r
   r	   r4   r5   r6   r6   r6   r7   r   B   s2   




N)r)   Zpygments.lexerr   r   r   Zpygments.tokenr   r   r   r   r	   r
   r   r   __all__r   r   r6   r6   r6   r7   <module>	   s
   (0