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__/elpi.cpython-310.pyc
o

���aO�@sVdZddlmZmZmZddlmZmZmZm	Z	m
Z
mZmZdgZ
Gdd�de�ZdS)z�
    pygments.lexers.elpi
    ~~~~~~~~~~~~~~~~~~~~

    Lexer for the `Elpi <http://github.com/LPCIC/elpi>`_ programming language.

    :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�bygroups�include)�Text�Comment�Operator�Keyword�Name�String�Number�	ElpiLexerc@s�eZdZdZdZdgZdgZdgZdZdZ	dZ
d	Zd
�e�Z
d�ee	e
e
�Zd�ee�Zd
�ee	e
e
�Zd�e	eeeeee�ZdZd�ee�Zd�eee�Zed�ged�deejejej�dfdeejej�dfd�e�eejejej�dfd�e�eejejej�dfd�e�eejejej�dfd�e�eejejej�dfdeejejej�dfd�e�eejeje�fd�e�eejeje�fd eejejej e�fd!�e�eejejej�d"fd#�e�ej fd$�e�ej fd%ej fd&�e�ejfeefd'ejfd(ejdfd)ejd*fd+ejd,fd-ed.fd/ed0fd1e!j"fd2e!j#fd3e$fgd4e%fd5e%d6fd7ejfgd8e%d9fd:e%fgd;e!j"fd<ed9fgd=eej&ej�dfd>ej&feej&fd?ej&fd@ed9fed�gdAedBfed�gdCejfdDejfdEedFfed�gdGejdHfd@ed9fed�gd=eej&ej�dfeej&fd?ej&fdIed9fd@edFfed�gdJejfd)ejd9fgdKejfd+ejd9fgdLejfd(ejd9fgd-edMfdNed9fed�gd/e$dMfd<e$d9fed�gdO�Z'dPS)Qrzo
    Lexer for the `Elpi <http://github.com/LPCIC/elpi>`_ programming language.

    .. versionadded::2.11
    �Elpi�elpiz*.elpiztext/x-elpiz[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])z({}|-|\$|_)z
({}|{}|{}|{})z({}+|(?=\.[a-z])\.{}+)z({}|{}|{}|{}|:)z({}{}*|{}{}*|{}{}*|_{}+)z�(,|<=>|->|:-|;|\?-|->|&|=>|\bas\b|\buvar\b|<|=<|=|==|>=|>|\bi<|\bi=<|\bi>=|\bi>|\bis\b|\br<|\br=<|\br>=|\br>|\bs<|\bs=<|\bs>=|\bs>|@|::|\[\]|`->|`:|`:=|\^|-|\+|\bi-|\bi\+|r-|r\+|/|\*|\bdiv\b|\bi\*|\bmod\b|\br\*|~|\bi~|\br~)z\(({}|{})\)z
({}|{}|{})�
_elpi-commentz#(:before|:after|:if|:name)(\s*)(\")�elpi-stringz(:index)(\s*\()�elpi-indexing-exprz\b(external pred|pred)(\s+)({})�elpi-pred-itemz)\b(external type|type)(\s+)(({}(,\s*)?)+)�	elpi-typez\b(kind)(\s+)(({}|,)+)z\b(typeabbrev)(\s+)({})z\b(accumulate)(\s+)(\")z'\b(accumulate|namespace|local)(\s+)({})z\b(shorten)(\s+)({}\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z \b(constraint)(\s+)(({}(\s+)?)+)�elpi-chr-rule-startz(?=[A-Z_]){}z(?=[a-z_]){}\\�_z({}|!|=>|;)z\[|\]|\||=>�"�`�
elpi-btickz\'�	elpi-tickz\{[^\{]�
elpi-spillz\(�elpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z
[\+\*\-/\^\.]z	%[^\n]*\nz/\*�elpi-multiline-commentz\s+z\*/z#pop�.z[0-9 _]+z\)z(ctype\s+)(\")z->z\(|\)z\.z\{�
elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:�
elpi-ctype�,z[^` ]+z[^\' ]+z[^\"]+z#pushz\}[^\}])�rootrrrrrrrrrrrrrrN)(�__name__�
__module__�__qualname__�__doc__�name�aliases�	filenames�	mimetypes�lcase_re�ucase_re�digit_re�	schar2_re�format�schar_re�	idchar_re�idcharstarns_re�symbchar_re�constant_re�	symbol_re�	escape_re�const_sym_rerrr�Moder�
Whitespacer
�Double�Declarationr	�Function�Variabler�Integer�Floatrr�Type�tokens�rArA�6/usr/lib/python3/dist-packages/pygments/lexers/elpi.pyrs�



� ����	��
��	
�
�
���
�N)r%�pygments.lexerrrr�pygments.tokenrrrrr	r
r�__all__rrArArArB�<module>s

$

https://t.me/RX1948 - 2025