�
|�e�
� �X � d Z ddlmZmZ ddlmZmZmZmZm Z m
Z
m Z dgZ G d� de� Z
y)z�
pygments.lexers.smv
~~~~~~~~~~~~~~~~~~~
Lexers for the SMV languages.
:copyright: Copyright 2006-2023 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. fdej0 fdej4 fdefgiZ y) 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 sh � �� �D��i�G�� �I��I� �
"�G� ,�
�� � � "� +9�
:� �
�
�
"� #�G� ,�
�H�(�*�+2�<�<�
9�
�#�N�
;�W� E�
� )�1?�A� �\�\�
� � � %3�4� �
�
�
�
�$�^�
<�g�>N�>N� O� "�4�=�=� 1� �H� �
�h� '� �&�.�.� )�
#�V�Z�Z� 0�
$�f�j�j� 1�
#�V�^�^� 4�
)�6�:�:� 6� �T�_�_� %�
�� -�[.
�0�Fr� N)rn �pygments.lexerr r �pygments.tokenr r r r r r
r �__all__r r� r� r� �<module>r� s3 ��� -�� � � �.��<�� <r� |