Team Ai
Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face
1likes14kdownloads
rootpythonuser_packagesPython313site-packagespygmentslexers__pycache__smv.cpython-313.pyc
smv.cpython-313.pyc29 linesDownload Raw Back to __pycache__
1�

2�j�3��X�SrSSKJrJr SSKJrJrJrJrJ	r	J4r5Jr S/r"SS\5r
g)z�6pygments.lexers.smv7~~~~~~~~~~~~~~~~~~~8 9Lexers for the SMV languages.10 11:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.12:license: BSD, see LICENSE for details.13�)�14RegexLexer�words)�Comment�Keyword�Name�Number�Operator�Punctuation�Text�15NuSMVLexerc���\rSrSrSrSrS/rS/r/rSr	Sr16SS	\4S17\4\"SSS
9\
R4S\
4\"SSS
9\
R4\"SSS
9\
4\"SSS
9\R"4\"SSS
9\R&4\"SSS
9\
R(4S\R*4S\4S\4S\R.4S\R04S\R24S\R44S\R64S\R:4S\4/0rSr g) r�z18Lexer for the NuSMV language.19�NuSMV�nusmvz*.smvzhttps://nusmv.fbk.euz2.2�rootz(?s)\/\-\-.*?\-\-/z--.*\n)"�MODULE�DEFINE�MDEFINE�	CONSTANTS�VAR�IVAR�	FROZENVAR�INIT�TRANS�INVAR�SPEC�CTLSPEC�LTLSPEC�PSLSPEC�COMPUTE�NAME�	INVARSPEC�FAIRNESS�JUSTICE�20COMPASSION�ISA�ASSIGN�21CONSTRAINT�SIMPWFF�CTLWFF�LTLWFF�PSLWFF�COMPWFF�IN�MIN�MAX�MIRROR�PRED�22PREDICATESz(?![\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__�23__module__�__qualname__�__firstlineno__�__doc__�name�aliases�	filenames�	mimetypes�url�
version_addedrrr�Declaration�Typer�Builtinr	�Word�Constant�Variabler�Integer�Bin�Oct�Decimal�Hexr�24Whitespacer25�tokens�__static_attributes__rl��YD:\code\apps\devtools\python\user_packages\Python313\site-packages\pygments/lexers/smv.pyrrsr����D��i�G��	�I��I�26 �C��M�	�
"�G�,�
�� ��"�+9�
:��
 �
 �
"�#�G�,�
�H�(�*�+2�<�<�
9�
�#�N�
;�W�E�
�)�1?�A��\�\�
���%3�4��
�
�	
�27�$�^�
<�g�>N�>N�O�"�4�=�=�1��H��
�h�'��&�.�.�)�
#�V�Z�Z�0�
$�f�j�j�1�
#�V�^�^�4�
)�6�:�:�6��T�_�_�%�
��-�[.28�0�Fr�N)rq�pygments.lexerrr�pygments.tokenrrrrr	r29r�__all__rrlr�r��<module>r�s3���-�����.��<��<r�
codekingpro/portable-devtools · Team Ai