�

�E�c���d�dZd
dl
mZmZmZ
d
dlmZmZmZm	Z	m
Z
mZmZ
dg
Z
Gd�de��ZdS)z�
    pygments.lexers.elpi
    ~~~~~~~~~~~~~~~~~~~~

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

    :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�bygroups�include)�Text�Comment�Operator�Keyword�Name�String�Number�	ElpiLexerc��eZ
dZd
ZdZdZdg
Zdg
Zdg
ZdZ	dZ
d	Zd
Zd�
e�
�
Zd�
e	e
ee��Zd
�
ee	e
e��Zd�
e	e
ee��Zd�
e
ee	eeee��ZdZd�
ee��Zd�
eee��Zed�
�
g
ed�
�
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/fd0ed1fd2e"j#fd3e"j$fd4e%fgd5e&fd6e&d7fd8ejfgd9e&d:fd;e&fgd<e"j#fd=ed:fgd>eej'ej��dfd?ej'feej'fd@ej'fdAed:fed�
�
gdBedCfed�
�
gdDejfdEejfdFedGfed�
�
gdHejdIfdAed:fed�
�
gd>eej'ej��dfd?ej'feej'fd@ej'fdJed:fdAedGfed�
�
gdKejfd*ejd:fgdLejfd,ejd:fgdMejfd)ejd:fgd.edNfdOed:fed�
�
gd0e%dNfd=e%d:fed�
�
gdP�Z(dQS)Rr
zN
    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
({}|{}|{})�
_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\}[^\}])�rootrrrrrrr rr!rrrrrN))�__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�Integer�Floatrr�Type�tokens���6/usr/lib/python3/dist-packages/pygments/lexers/elpi.pyr
r
s���������D�
(�C��h�G��
�I���I��H��H��H�&�I��$�$�Y�/�/�H� �'�'���(�8�L�L�I�-�4�4�Y��(�T]�^�^�O�$�+�+�H�h��(�S�S�K�,�3�3�H�i��Sb�dm�oz�}
F�G�G�K�s�I��%�%�k�)�<�<�I� �'�'��I�i�H�H�L�
�G�F�O�O�
�

�G�O�$�$�
3�
�X�g�l�D�O�V�]�
C�
C�
�
� ���'�,���!H�!H�
!�

#�
/�
6�
6�|�
D�
D�
�X�g�)�4�?�D�M�
J�
J�
�
�:�
@�
@��
N�
N�
�X�g�)�4�?�D�M�
J�
J�
�
�'�
-�
-�l�
;�
;�
�X�g�)�4�?�D�M�
J�
J�
�
�(�
.�
.�|�
<�
<�
�X�g�)�4�?�D�M�
J�
J�
�
�(�
�X�g�)�4�?�F�M�
J�
J�
�
�8�
>�
>�{�
K�
K�
�X�g�)�4�?�D�
A�
A�

C
�
&�
-�
-�k�
:�
:�
�X�g�)�4�?�D�
A�
A�

C
�
=�
�X�g�)�4�?�D�M�4�
P�
P�

R
�
0�
7�
7��
E�
E�
�X�g�)�4�?�D�M�
J�
J�
"�
$��
#�
#�K�
0�
0�$�-�@�
�
%�
%�k�
2�
2�D�M�B�
�4�=�!�
�
"�
"�9�
-�
-�w�/B�C�
�$��
�W�0�1�
�6�=�-�0�
�6�=�,�/�
�F�M�;�/�
��|�,�
�D�*�+�
�&�.�)�
8�&�,�G�
�x�(�]
/
�b
�7�#�
�W�6�7�
�T�_�%�
��W�f�%�
�7�O�#
�
�&�.�)�
�D�&�!�
�
�����v�}� E� E�}�U�
�G�L�!�
�'�,�'�
�w�|�$�
�D�&�!��G�O�$�$�

��D�/�*��G�O�$�$� 
�

��,�-��7�&�'��4��"��7�6�?�?�	
��w�|�\�2�
�D�&�!��G�O�$�$�
������v�}� E� E�}�U�
�G�L�!�
�'�,�'�
�w�|�$�
�4�� �
�D�(�#��G�O�$�$�
���
�&�
�6�=�&�)�
�
���'�
�F�M�6�*�
�
��
�&�
�6�=�&�)�
�
��w�'�
��v�&��G�F�O�O�
��H�g�&�
�H�f�%��G�F�O�O�
�gy
�y
�F�F�FrEN)r'�pygments.lexerrrr�pygments.tokenrrrr	r
rr�__all__r
rDrErF�<module>rJ
s��


�
�
�
9�8�8�8�8�8�8�8�8�8�

�

�

�

�

�

�

�

�

�

�

�

�

�

�

�

�

�

��-��S
�S
�S
�S
�S
�
�S
�S
�S
�S
�S
rE