File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/smv.cpython-310.pyc
Back
o ;j� � @ 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-present 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. ZNuSMVZnusmvz*.smvzhttps://nusmv.fbk.euz2.2�rootz(?s)\/\-\-.*?\-\-/z--.*\n)"ZMODULEZDEFINEZMDEFINEZ CONSTANTSZVARZIVARZ FROZENVARZINITZTRANSZINVARZSPECZCTLSPECZLTLSPECZPSLSPECZCOMPUTE�NAMEZ INVARSPECZFAIRNESSZJUSTICEZ COMPASSIONZISAZASSIGNZ CONSTRAINTZSIMPWFFZCTLWFFZLTLWFFZPSLWFFZCOMPWFF�INZMIN�MAXZMIRRORZPREDZ PREDICATESz (?![\w$#-]))�suffixzprocess(?![\w$#-]))�arrayZofZboolean�integer�real�word)�caseZesac)Zword1�boolZsignedZunsigned�extend�resize�sizeofZuwconstZswconst�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)ZTRUEZFALSEz[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� filenamesZ mimetypes�urlZ version_addedr r r Z Declaration�Typer ZBuiltinr ZWordZConstantZVariabler ZIntegerZBin�OctZDecimalZHexr � Whitespacer �tokens� r> r> �G/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/smv.pyr s\ ����������N)r5 Zpygments.lexerr r Zpygments.tokenr r r r r r r �__all__r r> r> r> r? �<module> s $
| ver. 1.4 |
Github
|
.
| PHP 8.2.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings