Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pygments/lexers/__pycache__/smv.cpython-39.pyc
Ðазад
a a�h� � @ sR d Z ddlmZmZ ddlmZmZmZmZm Z m Z m Z dgZ G dd� de�Z dS )z� pygments.lexers.smv ~~~~~~~~~~~~~~~~~~~ Lexers for the SMV languages. :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�words)�Comment�Keyword�Name�Number�Operator� Punctuation�Text� NuSMVLexerc @ s� e Zd ZdZdZdgZdgZg ZdZdZ dde fd e fe d d d �e j fd e fe dd d �e jfe dd d �e fe dd d �ejfe dd d �ejfe dd d �e jfdejfdefdefdejfdejfdejfdejfdejfdej fd e fgiZ d S ) r z' Lexer for the NuSMV language. �NuSMV�nusmvz*.smvzhttps://nusmv.fbk.euz2.2�rootz(?s)\/\-\-.*?\-\-/z--.*\n)"�MODULEZDEFINEZMDEFINEZ CONSTANTSZVARZIVARZ FROZENVARZINITZTRANSZINVARZSPECZCTLSPECZLTLSPECZPSLSPECZCOMPUTE�NAMEZ INVARSPECZFAIRNESSZJUSTICEZ COMPASSIONZISAZASSIGNZ CONSTRAINTZSIMPWFFZCTLWFFZLTLWFFZPSLWFFZCOMPWFF�INZMIN�MAXZMIRRORZPREDZ PREDICATESz (?![\w$#-]))�suffixzprocess(?![\w$#-]))�arrayZof�boolean�integer�real�word)�caseZesac)Zword1�bool�signedZunsigned�extend�resizeZsizeofZuwconstZswconst�init�self�count�abs�max�min) ZEXZAXZEFZAFZEGZAG�E�F�O�G�H�X�Y�Z�A�U�S�V�TZBUZEBFZABFZEBGZABG�next�mod�union�in�xorZxnor)�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� mimetypes�url� version_addedr r r � Declaration�Typer �Builtinr �Word�Constant�Variabler �Integer�Bin�Oct�Decimal�Hexr � Whitespacer �tokens� rO rO ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/lib/python3.9/site-packages/pygments/lexers/smv.pyr sZ ����������N)r; Zpygments.lexerr r Zpygments.tokenr r r r r r r �__all__r rO rO rO rP �<module> s $
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка