|e XdZddlmZmZddlmZmZmZmZm Z m Z m Z dgZ GddeZ y)z pygments.lexers.smv ~~~~~~~~~~~~~~~~~~~ Lexers for the SMV languages. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerwords)CommentKeywordNameNumberOperator PunctuationText NuSMVLexerceZdZdZdZdgZdgZgZddefdefe dd e jfd e fe d d e jfe d d e fe dd e jfe dd ej fe dd e j"fde j$fdefdefdej(fdej*fdej,fdej.fdej0fdej4fdefgiZy)r zB Lexer for the NuSMV language. .. versionadded:: 2.2 NuSMVnusmvz*.smvrootz(?s)\/\-\-.*?\-\-/z--.*\n)"MODULEDEFINEMDEFINE CONSTANTSVARIVAR FROZENVARINITTRANSINVARSPECCTLSPECLTLSPECPSLSPECCOMPUTENAME INVARSPECFAIRNESSJUSTICE COMPASSIONISAASSIGN CONSTRAINTSIMPWFFCTLWFFLTLWFFPSLWFFCOMPWFFINMINMAXMIRRORPRED PREDICATESz (?![\w$#-]))suffixzprocess(?![\w$#-]))arrayofbooleanintegerrealword)caseesac)word1boolsignedunsignedextendresizesizeofuwconstswconstinitselfcountabsmaxmin)EXAXEFAFEGAGEFOGHXYZAUSVTBUEBFABFEBGABGnextmodunioninxorxnor)TRUEFALSEz[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__namealiases filenames mimetypesrrr DeclarationTyperBuiltinr WordConstantVariablerIntegerBinOctDecimalHexr Whitespacer tokens5/usr/lib/python3/dist-packages/pygments/lexers/smv.pyr r sh DiG II  "G ,  " +9 :  "#G , H(*+2<< 9 #N ;W E )1?A\\ %34   $^ N>N O"4== 1H  h '&.. ) #VZZ 0 $fjj 1 #V^^ 4 )6:: 6T__ %  -[. 0FrN)rnpygments.lexerrrpygments.tokenrrrrr r r __all__r rrrrs3- .<<r