文件操作 - elpi.cpython-311.pyc
返回文件管理
返回主菜单
删除本文件
文件: /usr/lib/python3/dist-packages/pygments/lexers/__pycache__/elpi.cpython-311.pyc
编辑文件内容
� �E�c� � �d � d Z ddlmZmZmZ ddlmZmZmZm Z m Z m Z m Z dgZ G d� 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 � � e Zd ZdZdZdZdgZdgZdgZdZ dZ d Z d Z d � e � � Zd � e e e e� � Zd � ee e e� � Zd� e e e e� � Zd� e ee ee ee� � ZdZd� ee� � Zd� eee� � Z ed� � g ed� � d eej ej e j � � dfd eej ej � � dfd� e� � eej ej e j � � dfd� e� � eej ej e j � � dfd � e� � eej ej e j � � dfd � e� � eej ej e j � � dfd eej ej e j � � dfd � e� � eej ej e� � fd � e� � eej ej e� � fd! eej ej e j! e� � fd"� e� � eej ej e j � � d#fd$� e� � e j! fd%� e� � e j! fd&e j! fd'� e� � ej feefd(ej fd)e j dfd*e j d+fd,e j d-fd.ed/fd0ed1fd2e"j# fd3e"j$ fd4e%fgd5e&fd6e&d7fd8ej fgd9e&d:fd;e&fgd<e"j# fd=ed:fgd> eej' e j � � dfd?ej' feej' fd@ej' fdAed:f ed� � gdBedCf ed� � gdDej fdEej fdFedGf ed� � gdHej dIfdAed:f ed� � gd> eej' e j � � dfd?ej' feej' fd@ej' fdJed:fdAedGf ed� � gdKe j fd*e j d:fgdLe j fd,e j d:fgdMe j fd)e j d:fgd.edNfdOed:f ed� � gd0e%dNfd=e%d:f ed� � gdP�Z(dQS )Rr zN Lexer for the Elpi programming language. .. versionadded:: 2.11 �Elpiz http://github.com/LPCIC/elpi�elpiz*.elpiz text/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\}[^\}])�rootr r r r r r r r r! r r r r r 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_rer r r �Moder � Whitespacer �Double� Declarationr �Function�Variabler �Integer�Floatr r �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�FrE N)r' �pygments.lexerr r r �pygments.tokenr r r r r r r �__all__r rD rE rF �<module>rJ s� ��� � 9� 8� 8� 8� 8� 8� 8� 8� 8� 8� � � � � � � � � � � � � � � � � � � �-��S� S� S� S� S� � S� S� S� S� SrE
修改文件时间
将文件时间修改为当前时间的前一年
删除文件