a
    ñ»j   ã                   @   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-present 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.
    ÚBoogiezIhttps://github.com/boogie-org/boogie/blob/master/Source/Core/BoogiePL.atgÚboogiez*.bplz2.1ú\nú\s+ú\\\nú//[/!](.*?)\nú	//(.*?)\nú/\*Úcomment)(ÚactionÚassertZassertsÚassumeÚasyncZatomicÚaxiomÚbreakÚcallÚelseÚensuresÚexistsÚfalseÚforallÚfreeÚfunctionÚgotoZhavocÚifÚimplementationÚ	invariantÚlambdaÚleftÚmeasureZmodifiesÚoldZ	preservesZ	procedureÚpublicÚrequiresÚreturnÚreturnsÚrightZthenÚtrueÚtypeÚuniqueÚvarÚwhileÚyieldú\b©Úsuffix)Úconst)ÚboolÚintÚrealÚrefÚnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])ú\{.*?\}ú([{}():;,.])z[a-zA-Z_]\w*ú[^*/]+ú#pushú\*/ú#popú[*/]ú[0-9]+©Úrootr   rA   N)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚversion_addedr   r   ÚDocÚSingleÚ	Multiliner   r   ÚReservedÚTyper   r   r   ÚEmphr
   r   r	   ÚIntegerÚtokens© r]   r]   úBE:\soccer\ml_env\Lib\site-packages\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.
    ÚSilverÚsilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   r   r   r   r   r   r   )4Úresultr3   r"   ÚnullÚmethodr%   Ú	predicateÚprogramÚdomainr   r6   r1   ÚfieldZdefineÚfoldZunfoldZinhaleZexhaleÚnewr   r   r&   r7   r'   Zelseifr   ZfreshZconstrainingZSeqÚSetZMultisetÚunionÚintersectionZsetminusZsubsetZ	unfoldingÚinr-   r#   r!   ÚaccZwildcardÚwriteÚnoneÚepsilonÚpermr5   ÚapplyÚpackageZfoldingÚlabelZforpermr9   r:   )r/   r    r)   )ZIntZPermZBoolZRefÚRationalrA   z[!%&*+=|?:<>/\-\[\]]rB   rC   z[\w$]\w*rD   rE   rF   rG   rH   rI   rJ   N)rL   rM   rN   rO   rP   rR   rS   rQ   rT   r   r   rU   rV   rW   r   r   r   Ú	DecoratorrY   r   r   r   rZ   r
   r	   r[   r\   r]   r]   r]   r^   r   D   sB   
	÷	÷
æ

üÿÝN)rO   Zpygments.lexerr   r   r   Zpygments.tokenr   r   r   r   r	   r
   r   r   Ú__all__r   r   r]   r]   r]   r^   Ú<module>   s
   
(2