3
� �X�
� @ sV d Z ddlmZmZ ddlmZmZmZmZm Z m
Z
m Z m Z dgZ
G dd� de�ZdS )z�
pygments.lexers.smv
~~~~~~~~~~~~~~~~~~~
Lexers for the SMV languages.
:copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�
RegexLexer�words)�Comment�Generic�Keyword�Name�Number�Operator� Punctuation�Text�
NuSMVLexerc ' @ s� e Zd ZdZdZdgZdgZg Zddefdefe dod*d+�e
j fd,e
fe dpd*d+�e
j fe dqd*d+�e
fe drd*d+�e
jfe dsd*d+�ejfe dtd*d+�e
jfdde
jfdeefdfefdgejfdhejfdiejfdjejfdkejfdlejfdmefgiZ dnS )ur zB
Lexer for the NuSMV language.
.. versionadded:: 2.2
ZNuSMVZnusmvz*.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)"r r r r r r r r r r r r r r r r r r r r! r" r# r$ r% r& r' r( r) r* r+ r, r- r. r/ )r1 r2 r3 r4 r5 r6 )r7 r8 )r9 r: r; r< r= r> r? r@ rA rB rC rD rE rF rG ) rH rI rJ rK rL rM rN rO rP rQ rR rS rT rU rV rW rX rY rZ r[ r\ r] r^ r_ r` ra rb rc rd re )rf rg ) �__name__�
__module__� __qualname__�__doc__�name�aliases� filenamesZ mimetypesr r r Z DeclarationZTyper ZBuiltinr ZWordZConstantZVariabler ZIntegerZBinZOctZDecZHexr �
Whitespacer
�tokens� rq rq �/usr/lib/python3.6/smv.pyr sP N)rk Zpygments.lexerr r Zpygments.tokenr r r r r r r
r �__all__r rq rq rq rr �<module>
s (