B
    b-                 @   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-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               @   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*.bplz\nz\s+z\\\nz//[/!](.*?)\nz	//(.*?)\nz/\*comment)axiombreakZ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__nameZurlaliases	filenamesr   r   DocSingle	Multiliner   r   ZReservedTyper   r   r   Emphr
   r   r	   Integertokens r1   r1   ;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
    ZSilverZsilverz*.silz*.vprz\nz\s+z\\\nz//[/!](.*?)\nz	//(.*?)\nz/\*r   )4resulttrueZfalseZnullmethodr   Z	predicateZprogramdomainr   r   ZreturnsZfieldZdefineZ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   ZaccZwildcardwriteZnoneepsilonZpermuniqueZapplypackageZfoldingZlabelZforpermz\b)r   )r   r   r   )ZIntZPermZBoolZRefZ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+   r,   r   r   r   Z	Decoratorr-   r   r   r   r.   r
   r	   r/   r0   r1   r1   r1   r2   r   B   s2   




N)r&   Zpygments.lexerr   r   r   Zpygments.tokenr   r   r   r   r	   r
   r   r   __all__r   r   r1   r1   r1   r2   <module>	   s
   (0