File: //opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/smv.cpython-310.pyc
o
;j�
� @ sR d Z ddlmZmZ ddlmZmZmZmZm Z m
Z
m Z dgZ G dd� de�Z
dS )z�
pygments.lexers.smv
~~~~~~~~~~~~~~~~~~~
Lexers for the SMV languages.
:copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�
RegexLexer�words)�Comment�Keyword�Name�Number�Operator� Punctuation�Text�
NuSMVLexerc @ s� e Zd ZdZdZdgZdgZg ZdZdZ dde
fd e
fe d
d d �e j
fd
e fe dd d �e jfe dd d �e fe dd d �ejfe dd d �ejfe dd d �e jfdejfdefdefdejfdejfdejfdejfdejfdej fd e fgiZ d S ) r z'
Lexer for the NuSMV language.
ZNuSMVZnusmvz*.smvzhttps://nusmv.fbk.euz2.2�rootz(?s)\/\-\-.*?\-\-/z--.*\n)"ZMODULEZDEFINEZMDEFINEZ CONSTANTSZVARZIVARZ FROZENVARZINITZTRANSZINVARZSPECZCTLSPECZLTLSPECZPSLSPECZCOMPUTE�NAMEZ INVARSPECZFAIRNESSZJUSTICEZ
COMPASSIONZISAZASSIGNZ
CONSTRAINTZSIMPWFFZCTLWFFZLTLWFFZPSLWFFZCOMPWFF�INZMIN�MAXZMIRRORZPREDZ
PREDICATESz (?![\w$#-]))�suffixzprocess(?![\w$#-]))�arrayZofZboolean�integer�real�word)�caseZesac)Zword1�boolZsignedZunsigned�extend�resize�sizeofZuwconstZswconst�init�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 mimetypes�urlZ
version_addedr r r Z Declaration�Typer ZBuiltinr ZWordZConstantZVariabler ZIntegerZBin�OctZDecimalZHexr
�
Whitespacer �tokens� r> r> �G/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/smv.pyr s\ ����������N)r5 Zpygments.lexerr r Zpygments.tokenr r r r r r r
�__all__r r> r> r> r? �<module> s
$