文件操作 - verification.cpython-311.pyc
返回文件管理
返回主菜单
删除本文件
文件: /usr/lib/python3/dist-packages/pygments/lexers/__pycache__/verification.cpython-311.pyc
编辑文件内容
� �E�c- � � � d Z ddlmZmZmZ ddlmZmZmZm Z m Z m Z m Z m Z ddgZ G d� de� � Z G d� de� � ZdS ) z� pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�include�words)�Comment�Operator�Keyword�Name�Number� Punctuation�Text�Generic� BoogieLexer� SilverLexerc �h � e Zd ZdZdZdZdgZdgZdefdefdefd e j fd e j fd e j d f e d d�� � ef e dd�� � ej f e dd�� � ej f ed� � defdej fdefdefgde j fd e j dfde j dfde j fgd ej fgd �Zd S ) r z< For Boogie source code. .. versionadded:: 2.1 �Boogiez-https://boogie-docs.readthedocs.io/en/latest/�boogiez*.bpl�\n�\s+�\\\n� //[/!](.*?)\n� //(.*?)\n�/\*�comment)�axiom�break�call�ensures�else�exists�function�forall�if� invariant�modifies� procedure�requires�then�var�while�\b��suffix)�const)�bool�int�ref�numbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])�\{.*?\}� ([{}():;,.])z [a-zA-Z_]\w*�[^*/]+�#push�\*/�#pop�[*/]�[0-9]+��rootr r1 N)�__name__� __module__� __qualname__�__doc__�name�url�aliases� filenamesr r �Doc�Single� Multiliner r �Reserved�Typer r r �Emphr r r �Integer�tokens� � �>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyr r sP � � � � � �� � �D� 9�C��j�G�� �I� �D�M� �T�N� �d�O� �w�{� +� �7�>� *� �W�&� � 2� �U� (� � � � � $� %� �U�:�e� ,� ,� ,�g�.>� ?� �U�)�%� 8� 8� 8�'�,� G� �G�I� � � 8�(� C� �� � &� �k� *� �d� #�- �2 ��)� *� �W�&�� 0� �W�&�� /� �g�'� (� � ��� '� �?"� "�F�F�FrM c �f � e Zd ZdZdZdgZddgZdefdefdefd ej fd ej fd ej d f e d d�� � e f e dd�� � ej f e dd�� � e j f ed� � defdej fdefdefgdej fd ej dfdej dfdej fgd ej fgd �Zd S ) r z< For Silver source code. .. versionadded:: 2.2 �Silver�silverz*.silz*.vprr r r r r r r )4�result�true�false�null�methodr � predicate�program�domainr r( �returns�field�define�fold�unfold�inhale�exhale�new�assert�assume�gotor) r" �elseifr �fresh� constraining�Seq�Set�Multiset�union� intersection�setminus�subset� unfolding�in�oldr! r �acc�wildcard�write�none�epsilon�perm�unique�apply�package�folding�label�forpermr* r+ )r& r r# )�Int�Perm�Bool�Ref�Rationalr1 z[!%&*+=|?:<>/\-\[\]]r2 r3 z[\w$]\w*r4 r5 r6 r7 r8 r9 r: N)r< r= r> r? r@ rB rC r r rD rE rF r r r � DecoratorrH r r r rI r r rJ rK rL rM rN r r B sP � � � � � �� � �D��j�G��'�"�I� �D�M� �T�N� �d�O� �w�{� +� �7�>� *� �W�&� � 2� �U� C� � � � � $� %� �U�7�� F� F� F��� W� �U�=�e� L� L� L�g�l� [� �G�I� � � $�h� /� �� � &� �k� *� �$� �5 �: ��)� *� �W�&�� 0� �W�&�� /� �g�'� (� � ��� '� �G&� &�F�F�FrM N)r? �pygments.lexerr r r �pygments.tokenr r r r r r r r �__all__r r rL rM rN �<module>r� s� ��� � 6� 5� 5� 5� 5� 5� 5� 5� 5� 5� � � � � � � � � � � � � � � � � � � � � �-� (��-� -� -� -� -�*� -� -� -�`0� 0� 0� 0� 0�*� 0� 0� 0� 0� 0rM
修改文件时间
将文件时间修改为当前时间的前一年
删除文件