U

`a�[y�@shdZd
dl
mZmZmZ
d
dlmZmZmZm	Z	m
Z
mZmZ
ddgZ
Gdd�de�ZGdd�de�ZdS)	z�
    pygments.lexers.verification
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    Lexer for Intermediate Verification Languages (IVLs).

    :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�include�words)�Comment�Operator�Keyword�Name�Number�Punctuation�
Whitespace�BoogieLexer�SilverLexerc
@s�eZ
dZd
ZdZdg
Zdg
Zdefdefdej	fdej
fd	ejd
feddd
�e
feddd
�e
jfeddd
�e
jfed�
defdefdefgdejfd	ejdfdejdfdejfgdejfg
d�ZdS)rz^
    For `Boogie <https://boogie.codeplex.com/>`_ source code.

    .. versionadded:: 2.1
    ZBoogieZboogiez*.bpl�\n�\s+�
//[/!](.*?)\n�	//(.*?)\n�/\*�comment)�axiom�break�call�ensures�else�exists�function�forall�if�	invariantZmodifiesZ	procedure�requiresZthen�var�while�\b�
�suffix)
Zconst)�bool�int�ref�numbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])�([{}():;,.])z[a-zA-Z_]\w*�[^*/]+�#push�\*/�#pop�[*/]�[0-9]+��rootrr'N)�__name__�
__module__�__qualname__�__doc__�name�aliases�	filenamesrr�Doc�Single�	MultilinerrZReserved�Typerrr
rr	�Integer�tokens�r>r>�>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyrs:







��


�




���c@s�eZ
dZd
ZdZdg
ZddgZdefdefdej	fd	ej
fd
ejdfedd
d�e
fedd
d�e
jfed�
defdefdefgdejfd
ejdfdejdfdejfgdejfg
d�ZdS)r
zk
    For `Silver <https://bitbucket.org/viperproject/silver>`_ source code.

    .. versionadded:: 2.2
    ZSilverZsilverz*.silz*.vprrrrrrr)7�result�trueZfalseZnull�methodrZ	predicateZprogramZdomainrrZreturnsZfieldZdefinerrrZfoldZunfoldZinhaleZexhale�new�assertZassumeZgotor rZelseifrZfreshZconstrainingZSeq�SetZMultiset�union�intersectionZsetminusZsubsetZ	unfolding�in�oldrrZaccZwildcard�writeZnone�epsilonZperm�uniqueZapply�packageZfoldingZlabelZforpermr!r")ZIntZPermZBoolZRefr'z[!%&*+=|?:<>/\-\[\]]r(z[\w$]\w*r)r*r+r,r-r.r/N)r1r2r3r4r5r6r7rrr8r9r:rrr;rrr
rr	r<r=r>r>r>r?r
@s8








�
�

�




���N)r4Zpygments.lexerrrrZpygments.tokenrrrrr	r
r�__all__rr
r>r>r>r?�<module>s


$-