File: //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�