HOME


Mini Shell 1.0
DIR: /lib/python3/dist-packages/pygments/lexers/__pycache__/
Upload File :
Current File : //lib/python3/dist-packages/pygments/lexers/__pycache__/elpi.cpython-312.pyc
�

|�e6��`�dZddlmZmZmZddlmZmZmZm	Z	m
Z
mZmZm
Z
dgZGd�de�Zy)z�
    pygments.lexers.elpi
    ~~~~~~~~~~~~~~~~~~~~

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

    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�bygroups�include)�Text�Comment�Operator�Keyword�Name�String�Number�Punctuation�	ElpiLexerc�
�eZdZdZdZdZdgZdgZdgZdZ	dZ
d	Zd
Zdje�Zdje	e
ee�Zd
jee	e
e�Zdje	e
ee�Zdje
ee	eeee�ZdZdjee�Zdjeee�Zided�g�ded�deej2ej6ej:�dfdeej2ej6�dfdje�eej<ej6ej@�dfdje�eej<ej6ej@�dfdje�eej<ej6ej@�dfdje�eej<ej6ej@�dfdeej<ej6ej:�dfd je�eej<ej6e�fd!je�eej<ej6e�fd"eej<ej6ejBe�fd#je�eej<ej6ej@�d$fd%je�ejBfd&je�ejBfd'ejBfd(je�ej<feefd)ej<fd*ej:dfd+ej:d,fd-ej:d.fd/e"d0fd1ed2fd3ed4fd5e#jHfd6e#jJfd7e&fg�dd8e'fd9e'd:fd;ej6fg�d:d<e'd=fd>e'fg�dd?e#jHfd@ed=fg�ddAeejPej:�dfdBejPfeejPfdCejPfdDed=fed�g�d$dEedFfed�g�dFdGej<fdHej<fdIedJfed�g�ddKej2dLfdDed=fed�g�dLdAeejPej:�dfdBejPfeejPfdCejPfdMed=fdDedJfed�g�d,dNej:fd+ej:d=fg�d.dOej:fd-ej:d=fg�ddPej:fd*ej:d=fg�d0d/e"dQfdRe"d=fdSje�eeejB�fdTefdUefg�d2d1edQfdVed=fed�g�d4d3e&dQfd@e&d=fed�g�Z)yW)XrzN
    Lexer for the Elpi programming language.

    .. versionadded:: 2.11
    �Elpizhttp://github.com/LPCIC/elpi�elpiz*.elpiztext/x-elpiz[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])z({}|-|\$|_)z
({}|{}|{}|{})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
({}|{}|{})�rootz
_elpi-commentz#(:before|:after|:if|:name)(\s*)(\")zelpi-stringz(:index)(\s*\()zelpi-indexing-exprz\b(external pred|pred)(\s+)({})zelpi-pred-itemz)\b(external type|type)(\s+)(({}(,\s*)?)+)z	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+)?)+)zelpi-chr-rule-startz(?=[A-Z_]){}z(?=[a-z_]){}\\�_z({}|!|=>|;)z\[|\]|\||=>�"�`z
elpi-btickz\'z	elpi-tickz\{\{z
elpi-quotez\{[^\{]z
elpi-spillz\(zelpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z
[\+\*\-/\^\.]z	%[^\n]*\nz/\*zelpi-multiline-commentz\s+z\*/z#pop�.z[0-9 _]+z\)z(ctype\s+)(\")z->z\(|\)z\.z\{z
elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:z
elpi-ctype�,z[^` ]+z[^\' ]+z[^\"]+z#pushz\}\}z(lp:)((?=[A-Z_]){})z[^l\}]+zl|\}z\}[^\}]N)*�__name__�
__module__�__qualname__�__doc__�name�url�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
r�Integer�Floatrr�Type�tokens���6/usr/lib/python3/dist-packages/pygments/lexers/elpi.pyrrs�����D�
(�C��h�G��
�I���I��H��H��H�&�I��$�$�Y�/�H� �'�'���(�8�L�I�-�4�4�Y��(�T]�^�O�$�+�+�H�h��(�S�K�,�3�3�H�i��Sb�dm�oz�}F�G�K�s�I��%�%�k�)�<�I� �'�'��I�i�H�L�A���F�O�
�A�
	��O�$�
3�
�g�l�l�D�O�O�V�]�]�
C�
�
� ��'�,�,����!H�
!�
#�
/�
6�
6�|�
D�
�g�)�)�4�?�?�D�M�M�
J�
�
�:�
@�
@��
N�
�g�)�)�4�?�?�D�M�M�
J�
�
�'�
-�
-�l�
;�
�g�)�)�4�?�?�D�M�M�
J�
�
�(�
.�
.�|�
<�
�g�)�)�4�?�?�D�M�M�
J�
�
�(�
�g�)�)�4�?�?�F�M�M�
J�
�
�8�
>�
>�{�
K�
�g�)�)�4�?�?�D�
A�
C�
&�
-�
-�k�
:�
�g�)�)�4�?�?�D�
A�
C�
=�
�g�)�)�4�?�?�D�M�M�4�
P�
R�
0�
7�
7��
E�
�g�)�)�4�?�?�D�M�M�
J�
"�
$��
#�
#�K�
0�$�-�-�@�
�
%�
%�k�
2�D�M�M�B�
�4�=�=�!�
�
"�
"�9�
-�w�/B�/B�C�
�$��
�W�0�0�1�
�6�=�=�-�0�
�6�=�=�,�/�
�F�M�M�;�/�
�k�<�0�
��|�,�
�D�*�+�
�&�.�.�)�
8�&�,�,�G�
�x�(�_0
�A�l	�
�7�#�
�W�6�7�
�T�_�_�%�
�mA�v	!�
�W�f�%�
�7�O�#
�wA�~	�
�&�.�.�)�
�D�&�!�
�A�F	�
�����v�}�}� E�}�U�
�G�L�L�!�
�'�,�,�'�
�w�|�|�$�
�D�&�!��O�$�

�GA�V	�
�D�/�*��O�$� 
�WA�^	���,�,�-��7�&�&�'��4��"��6�?�	
�_A�j	�
�w�|�|�\�2�
�D�&�!��O�$�
�kA�t	�
�����v�}�}� E�}�U�
�G�L�L�!�
�'�,�,�'�
�w�|�|�$�
�4�� �
�D�(�#��O�$�
�uA�F	�
��
�
�&�
�6�=�=�&�)�
�GA�N	�
����'�
�F�M�M�6�*�
�OA�V	�
��
�
�&�
�6�=�=�&�)�
�WA�^	�
�k�7�+�
�k�6�*�
#�
*�
*�;�
7��'�4�=�=�9Y�Z�
���
�d�O�
�_A�l	�
��w�'�
��v�&��F�O�
�mA�v	�
�H�g�&�
�H�f�%��F�O�
�wA�Fr9N)r�pygments.lexerrrr�pygments.tokenrrrr	r
rrr
�__all__rr8r9r:�<module>r>s8���9�8�����-��[�
�[r9