Your IP : 216.73.216.213

Current Path : /opt/alt/python37/lib/python3.7/site-packages/pygments/lexers/__pycache__/
Upload File :
Current File : //opt/alt/python37/lib/python3.7/site-packages/pygments/lexers/__pycache__/smv.cpython-37.opt-1.pyc

B

̽�\�
�@sVdZddlmZmZddlmZmZmZmZm	Z	m
Z
mZmZdgZ
Gdd�de�ZdS)z�
    pygments.lexers.smv
    ~~~~~~~~~~~~~~~~~~~

    Lexers for the SMV languages.

    :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�words)�Comment�Generic�Keyword�Name�Number�Operator�Punctuation�Text�
NuSMVLexerc@s�eZdZdZdZdgZdgZgZddefdefe	dd	d
�e
jfde
fe	dd	d
�e
jfe	d
d	d
�e
fe	dd	d
�e
jfe	dd	d
�ejfe	dd	d
�e
jfde
jfdefdefdejfdejfdejfdejfdejfdejfdefgiZdS)rzB
    Lexer for the NuSMV language.

    .. versionadded:: 2.2
    ZNuSMVZnusmvz*.smv�rootz(?s)\/\-\-.*?\-\-/z--.*\n)"ZMODULEZDEFINEZMDEFINEZ	CONSTANTSZVARZIVARZ	FROZENVARZINITZTRANSZINVARZSPECZCTLSPECZLTLSPECZPSLSPECZCOMPUTE�NAMEZ	INVARSPECZFAIRNESSZJUSTICEZ
COMPASSIONZISAZASSIGNZ
CONSTRAINTZSIMPWFFZCTLWFFZLTLWFFZPSLWFFZCOMPWFF�INZMIN�MAXZMIRRORZPREDZ
PREDICATESz(?![\w$#-]))�suffixzprocess(?![\w$#-]))ZarrayZofZbooleanZinteger�realZword)ZcaseZesac)Zword1�bool�signedZunsigned�extendZresizeZsizeofZuwconstZswconstZinit�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	mimetypesrrrZDeclarationZTyperZBuiltinr	ZWordZConstantZVariablerZIntegerZBinZOctZDecZHexr�
Whitespacer
�tokens�r6r6�D/opt/alt/python37/lib/python3.7/site-packages/pygments/lexers/smv.pyrs@N)r0Zpygments.lexerrrZpygments.tokenrrrrrr	r
r�__all__rr6r6r6r7�<module>
s(