1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
3

V'ícÕ
ã@sRdZddlmZmZddlmZmZmZmZm	Z	m
Z
mZdgZGdd„deƒZ
dS)zÈ
    pygments.lexers.smv
    ~~~~~~~~~~~~~~~~~~~

    Lexers for the SMV languages.

    :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
é)Ú
RegexLexerÚwords)ÚCommentÚKeywordÚNameÚNumberÚOperatorÚPunctuationÚTextÚ
NuSMVLexerc'@sæeZdZdZdZdgZdgZgZddefdefe	dod*d+e
jfd,e
fe	dpd*d+e
jfe	dqd*d+e
fe	drd*d+e
jfe	dsd*d+ejfe	dtd*d+e
jfdde
jfdeefdfefdgejfdhejfdiejfdjejfdkejfdlejfdmefgiZdnS)urzB
    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
rrrrrrrrrrrrrrrrrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.)r0r1r2r3r4r5)r6r7)r8r9r:r;r<r=r>r?r@rArBrCrDrErF)rGrHrIrJrKrLrMrNrOrPrQrRrSrTrUrVrWrXrYrZr[r\r]r^r_r`rarbrcrd)rerf)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesrrrZDeclarationÚTyperZBuiltinrÚWordÚConstantÚVariablerZIntegerZBinÚOctÚDecimalZHexr
Ú
Whitespacer	Útokens©rwrwú7/tmp/pip-build-gk9425m9/Pygments/pygments/lexers/smv.pyrsPN)rjZpygments.lexerrrZpygments.tokenrrrrrr	r
Ú__all__rrwrwrwrxÚ<module>	s$