o
    ‡ÎÖaÕ
  ã                   @   sR   d Z ddlmZmZ ddlmZmZmZmZm	Z	m
Z
mZ dgZG dd„ deƒZdS )zÈ
    pygments.lexers.smv
    ~~~~~~~~~~~~~~~~~~~

    Lexers for the SMV languages.

    :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
é    )Ú
RegexLexerÚwords)ÚCommentÚKeywordÚNameÚNumberÚOperatorÚPunctuationÚTextÚ
NuSMVLexerc                   @   sæ   e Zd ZdZdZdgZdgZg Zddefdefe	dd	d
�e
jfde
fe	dd	d
�e
jfe	dd	d
�e
fe	dd	d
�ejfe	dd	d
�ejfe	dd	d
�e
jfdejfdefdefdejfdejfdejfdejfdejfdejfdefgiZdS )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$#-]))Úsuffixzprocess(?![\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+\bz0[su][bB]\d*_[01_]+z0[su][oO]\d*_[0-7_]+z0[su][dD]\d*_[\d_]+z0[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© r~   r~   ú5/usr/lib/python3/dist-packages/pygments/lexers/smv.pyr      sX    úùÿÿþýýüÓÿN)rl   Úpygments.lexerr   r   Úpygments.tokenr   r   r   r   r   r	   r
   Ú__all__r   r~   r~   r~   r   Ú<module>   s
    
$