File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/elpi.cpython-310.pyc
Back
o ;j� � @ 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-present 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)� RocqLexerc @ 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�Zi ded�g�ded�deejeje j �d fd 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(e� d�eej eje j!�d%fd)eej eje j!�d%fd*eej eje j �d fd+e� d�eej eje�fd,e� d-�eej eje�fd.eej eje j"e�fd/e� d0�eej eje j!�d1fd2e� �e j"fd3e� d4�e j"fd5e j"fd e� d6�ej feefd7ej fd8e j d fd9e j d:fd;e j d<fd=e d>fd?ed@fdAe dBfdCe#j$fdDe#j%fdEe&fg �ddFe'fdGe'fdHejfg�d dIe#j$fdJe dKfg�d%dLeej(e j �d fdMej(fdNejfeej(fdOej(fdPedKfed�g�d1dQe dRfed�g�dRdSej fdTej fdUe dVfed�g�d dWejfdPedKfdXejfedY�dJejdKfdAej(dZfed�edZ�g�d"eej(fdPedKfdXejfdMejfedY�dJejdKfdAej(dZfed�edZ�g �dYd[eejejej �d fd\eejejej �d"fg�dZdMej(feej(fedY�dAej(d]fdJej(dKfed�g�d:d^e j fd9e j dKfg�d<d_e j fd;e j dKfg�d d`e j fd8e j dKfg�d>dae dKfdHejfdbee#e �dcfdde� d�ee#e j"�fdee)e*�fg�dced�dae dKfg�d@d?ed]fdfedKfed�g�dBdAe d]fed�dJe dKfgi�Z+dgS )hr z2 Lexer for the Elpi programming language. ZElpiz http://github.com/LPCIC/elpiZelpiz*.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)\)�rootz _elpi-commentz#(:before|:after|:if|:name)(\s*)(\")z elpi-stringz(:index)(\s*)(\()zelpi-indexing-exprz \b(external pred|pred)(\s+)(zelpi-pred-itemz\b(func)(\s+)(zelpi-func-itemz \b(external type|type)(\s+)((z (,\s*)?)+)z 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+)?)+)zelpi-chr-rule-startz (?=[A-Z_])z (?=[a-z_])(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]*\nz5/(?:\\\n)?[*](?:[^*]|[*](?!(?:\\\n)?/))*[*](?:\\\n)?/z\s+z[0-9 _]+z\)z#popz(ctype\s+)(\")z->Zpropz\(|\)z\.z\{z elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:�,z_elpi-inner-pred-funz_elpi-type-itemz(\()(\s*)(pred)z(\()(\s*)(func)z#pushz[^` ]+z[^\' ]+z[^\"]+z\}\}z (lp:)(\{\{)zelpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z\}[^\}]N),�__name__� __module__� __qualname__�__doc__�name�url�aliases� filenamesZ mimetypesZ 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 Z Declarationr ZFunctionZVariabler ZIntegerZFloatr r �Typer r �tokens� r$ r$ �H/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/elpi.pyr s� *���� � � � � ��� � �� � ��<��A��E��N��R��X ��b ��m��q ��z �� � �� � �� � �� � �� � �� � � �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.4 |
Github
|
.
| PHP 8.2.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings