403WebShell

403Webshell

Server IP : 15.235.198.142 / Your IP : 216.73.216.190
Web Server : Apache/2.4.58 (Ubuntu)
System : Linux ballsack 6.8.0-45-generic #45-Ubuntu SMP PREEMPT_DYNAMIC Fri Aug 30 12:02:04 UTC 2024 x86_64
User : www-data ( 33)
PHP Version : 8.3.6
Disable Function : NONE
MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF
Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/

Upload File :

[ Back ]

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

�

|�e-��x�dZddlmZmZmZddlmZmZmZm	Z	m
Z
mZmZm
Z
ddgZGd�de�ZGd�de�Zy)	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��eZdZdZdZdZdgZdgZdefdefdefd	e	jfd
e	jfde	jdfe
d
d��efe
dd��ejfe
dd��ej fed�defdej(fdefdefgde	jfde	jdfde	jdfde	jfgdej0fgd�Zy)rz<
    For Boogie source code.

    .. versionadded:: 2.1
    �Boogiez-https://boogie-docs.readthedocs.io/en/latest/�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]+��rootrr1N)�__name__�
__module__�__qualname__�__doc__�name�url�aliases�	filenamesrr�Doc�Single�	Multilinerr�Reserved�Typerrr
�Emphrr	r
�Integer�tokens���>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyrrs5���
�D�
9�C��j�G��	�I�
�D�M�
�T�N�
�d�O�
�w�{�{�+�
�7�>�>�*�
�W�&�&�	�2�
�(��	�$�	
%�
�:�e�
,�g�.>�.>�?�
�)�%�
8�'�,�,�G��I��
8�(�C�
����&�
�k�*�
�d�#�-
�2��)�)�*�
�W�&�&��0�
�W�&�&��/�
�g�'�'�(�	
�����'�
�?"�FrMc��eZdZdZdZdgZddgZdefdefdefd	ejfd
ejfdejdfed
d��e
fedd��ejfedd��e
j fed�defdej(fdefdefgdejfdejdfdejdfdejfgdej.fgd�Zy)rz<
    For 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�oldr!r�acc�wildcard�write�none�epsilon�perm�unique�apply�package�folding�label�forpermr*r+)r&rr#)�Int�Perm�Bool�Ref�Rationalr1z[!%&*+=|?:<>/\-\[\]]r2r3z[\w$]\w*r4r5r6r7r8r9r:N)r<r=r>r?r@rBrCrrrDrErFrrr	�	DecoratorrHrrr
rIrr
rJrKrLrMrNrrBs4���
�D��j�G��'�"�I�
�D�M�
�T�N�
�d�O�
�w�{�{�+�
�7�>�>�*�
�W�&�&�	�2�
�C��	�$�	
%��7��
F����W�
�=�e�
L�g�l�l�[��I��
$�h�/�
����&�
�k�*�
�$��5
�:��)�)�*�
�W�&�&��0�
�W�&�&��/�
�g�'�'�(�	
�����'�
�G&�FrMN)r?�pygments.lexerrrr�pygments.tokenrrrr	r
rrr
�__all__rrrLrMrN�<module>r�sF���6�5�����-�
(��-�*�-�`0�*�0rM

Youez - 2016 - github.com/yon3zu
LinuXploit