403Webshell
Server IP : 127.0.0.1  /  Your IP : 216.73.216.109
Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10
System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64
User : SERVERWEB ( 0)
PHP Version : 8.1.10
Disable Function : NONE
MySQL : OFF |  cURL : ON |  WGET : OFF |  Perl : OFF |  Python : OFF |  Sudo : OFF |  Pkexec : OFF
Directory :  C:/cygwin64/lib/python3.9/site-packages/pygments/lexers/__pycache__/

Upload File :
current_dir [ Writeable] document_root [ Writeable]

 

Command :

[ Back ]     

Current File : C:/cygwin64/lib/python3.9/site-packages/pygments/lexers/__pycache__/verification.cpython-39.pyc
a

SҼ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
    ZBoogieZboogiez*.bpl�\n�\s+�\\\n�
//[/!](.*?)\n�	//(.*?)\n�/\*�comment)�axiom�break�call�ensures�else�exists�function�forall�if�	invariantZmodifiesZ	procedure�requiresZthen�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�	MultilinerrZReserved�Typerrr�Emphr
rr	�Integer�tokens�rCrC�@/usr/lib/python3.9/site-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
    ZSilverZsilverz*.silz*.vprrrrrrrr)4�result�trueZfalseZnull�methodr�	predicateZprogram�domainrr!�returnsZfieldZdefineZfoldZunfoldZinhaleZexhale�new�assertZassumeZgotor"rZelseifrZfreshZconstrainingZSeq�SetZMultiset�union�intersectionZsetminusZsubsetZ	unfolding�in�oldrrZaccZwildcard�writeZnone�epsilonZperm�uniqueZapply�packageZfoldingZlabelZforpermr#r$)r rr)ZIntZPermZBoolZRefZRationalr*z[!%&*+=|?:<>/\-\[\]]r+r,z[\w$]\w*r-r.r/r0r1r2r3N)r5r6r7r8r9r:r;rrr<r=r>rrrZ	Decoratorr?rrrr@r
r	rArBrCrCrCrDrAs>
	�	�
�

���N)r8Zpygments.lexerrrrZpygments.tokenrrrrr	r
rr�__all__r
rrCrCrCrD�<module>s

(/

Youez - 2016 - github.com/yon3zu
LinuXploit