Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pygments/lexers/__pycache__/elpi.cpython-39.pyc
Ðазад
a a�h� � @ sj d Z ddlmZmZmZmZ ddlmZmZm Z m Z m Z m Z m Z mZ dgZddlmZ G dd� de�ZdS )z� pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi <http://github.com/LPCIC/elpi>`_ programming language. :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�bygroups�include�using)�Text�Comment�Operator�Keyword�Name�String�Number� Punctuation� ElpiLexer)�CoqLexerc @ s� e Zd ZdZdZdZdgZdgZdgZdZ dZ d Z d Z d Z d e � d �Zd e � de � de � de� d� Zd e� de � de � de� d� Zd e � de � de � de� d� Zd e � e� de � e� de � e� de� d� ZdZde� de� d�Zd e� de� de� d�Zed�ged�deejeje j �dfd eejeje �d fd e� d�eej eje j!�d fd e� d!�eej eje j!�d"fd#e� d$�eej eje j!�d"fd%e� d�eej eje j!�d"fd&eej eje j!�d"fd'eej eje j �dfd(e� d�eej eje�fd)e� d*�eej eje�fd+eej eje j"e�fd,e� d-�eej eje j!�d.fd/e� �e j"fd0e� d1�e j"fd2e j"fd e� d3�ej feefd4ej fd5e j dfd6e j d7fd8e j d9fd:e d;fd<ed=fd>e d?fd@e#j$fdAe#j%fdBe&fg dCe'fdDe'fdEejfgdFe#j$fdGe dHfgdIeej(e j �dfdJej(feej(fdKej(fdLedHfed�gdMe dNfed�gdOej fdPej fdQe dRfed�gdSejdTfdLedHfed�gdIeej(e j �dfdJej(feej(fdKej(fdUedHfdLedRfed�gdVe j fd6e j dHfgdWe j fd8e j dHfgdXe j fd5e j dHfgdYe dHfdEejfdZee#e �d[fd\e� d�ee#e j"�fd]e)e*�fged�dYe dHfgd<ed^fd_edHfed�gd>e d^fed�dGe dHfgd`�Z+daS )br z2 Lexer for the Elpi programming language. �Elpiz http://github.com/LPCIC/elpi�elpiz*.elpiz text/x-elpiz2.11z[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])�(z|-|\$|_)�|�)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+)((z (,\s*)?)+)� elpi-typez\b(kind)(\s+)((z|,)+)z\b(typeabbrev)(\s+)(z \b(typeabbrev)(\s+)(\([^)]+\))z\b(accumulate)(\s+)(\")z$\b(accumulate|namespace|local)(\s+)(z\b(shorten)(\s+)(z\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z\b(constraint)(\s+)((z (\s+)?)+)�elpi-chr-rule-startz (?=[A-Z_])z (?=[a-z_])(z|_)\\�_z|!|=>|;)z \[|\]|\||=>�"�`� elpi-btickz\'� elpi-tickz\{\{� elpi-quotez\{[^\{]� elpi-spillz\(�elpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z [\+\*\-/\^\.]z %[^\n]*\nz5/(?:\\\n)?[*](?:[^*]|[*](?!(?:\\\n)?/))*[*](?:\\\n)?/z\s+z[0-9 _]+z\)z#popz(ctype\s+)(\")z->z\(|\)z\.z\{� elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:� elpi-ctype�,z[^` ]+z[^\' ]+z[^\"]+z\}\}z (lp:)(\{\{)�elpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z#pushz\}[^\}])�rootr r r r r r# r r$ r r r r r& r! r" N),�__name__� __module__� __qualname__�__doc__�name�url�aliases� filenames� mimetypes� version_addedZlcase_reZucase_reZdigit_reZ schar2_reZschar_reZ idchar_reZidcharstarns_reZ symbchar_reZ constant_reZ symbol_reZ escape_reZ const_sym_rer r r ZModer � Whitespacer �Doubler � Declarationr �Function�Variabler �Integer�Floatr r �Typer r �tokens� r; r; ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/lib/python3.9/site-packages/pygments/lexers/elpi.pyr s *��� � � � ��� � �� � �5��� �� �� � � � �����N)r+ Zpygments.lexerr r r r Zpygments.tokenr r r r r r r r �__all__Zpygments.lexers.theoremr r r; r; r; r< �<module> s (
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка