文件操作 - smv.cpython-311.pyc
返回文件管理
返回主菜单
删除本文件
文件: /usr/lib/python3/dist-packages/pygments/lexers/__pycache__/smv.cpython-311.pyc
编辑文件内容
� �E�c� � �` � d Z ddlmZmZ ddlmZmZmZmZm Z m Z m Z dgZ G d� de� � Z dS )z� pygments.lexers.smv ~~~~~~~~~~~~~~~~~~~ Lexers for the SMV languages. :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�words)�Comment�Keyword�Name�Number�Operator� Punctuation�Text� NuSMVLexerc � � e Zd ZdZdZdgZdgZg Zddefdef e dd � � � e j fd e f e d d � � � e j f e d d � � � e f e dd � � � e j f e dd � � � ej f e dd � � � e j fde j fdefdefdej fdej fdej fdej fdej fdej fdefgiZ dS ) r zB Lexer for the NuSMV language. .. versionadded:: 2.2 �NuSMV�nusmvz*.smv�rootz(?s)\/\-\-.*?\-\-/z--.*\n)"�MODULE�DEFINE�MDEFINE� CONSTANTS�VAR�IVAR� FROZENVAR�INIT�TRANS�INVAR�SPEC�CTLSPEC�LTLSPEC�PSLSPEC�COMPUTE�NAME� INVARSPEC�FAIRNESS�JUSTICE� COMPASSION�ISA�ASSIGN� CONSTRAINT�SIMPWFF�CTLWFF�LTLWFF�PSLWFF�COMPWFF�IN�MIN�MAX�MIRROR�PRED� PREDICATESz (?![\w$#-]))�suffixzprocess(?![\w$#-]))�array�of�boolean�integer�real�word)�case�esac)�word1�bool�signed�unsigned�extend�resize�sizeof�uwconst�swconst�init�self�count�abs�max�min) �EX�AX�EF�AF�EG�AG�E�F�O�G�H�X�Y�Z�A�U�S�V�T�BU�EBF�ABF�EBG�ABG�next�mod�union�in�xor�xnor)�TRUE�FALSEz[a-zA-Z_][\w$#-]*z:=z [-&|+*/<>!=]z\-?\d+\bz0[su][bB]\d*_[01_]+z0[su][oO]\d*_[0-7_]+z0[su][dD]\d*_[\d_]+z0[su][hH]\d*_[\da-fA-F_]+z\s+z[()\[\]{};?:.,]N) �__name__� __module__� __qualname__�__doc__�name�aliases� filenames� mimetypesr r r � Declaration�Typer �Builtinr �Word�Constant�Variabler �Integer�Bin�Oct�Decimal�Hexr � Whitespacer �tokens� � �5/usr/lib/python3/dist-packages/pygments/lexers/smv.pyr r s� � � � � � �� � �D��i�G�� �I��I� � "�G� ,� �� � �U� "� +9� :� :� :� � � "� #�G� ,� �U�H�(�*� *� *�+2�<� 9� �U�#�N� ;� ;� ;�W� E� �U� )�1?�A� A� A� �\� � �U� � %3�4� 4� 4� � � � �U�$�^� <� <� <�g�>N� O� "�4�=� 1� �H� � �h� '� �&�.� )� #�V�Z� 0� $�f�j� 1� #�V�^� 4� )�6�:� 6� �T�_� %� �� -�[. �0�F�F�Fr� N)rn �pygments.lexerr r �pygments.tokenr r r r r r r �__all__r r� r� r� �<module>r� s� ��� � -� ,� ,� ,� ,� ,� ,� ,�� � � � � � � � � � � � � � � � � � �.��<� <� <� <� <�� <� <� <� <� <r�
修改文件时间
将文件时间修改为当前时间的前一年
删除文件