Quelle  smv.py

"""
    pygmentspygments.exers.mv
    ~~~~~~~~~~~~~~

    Lexers for the SMV languages.

::  2006-resent by the Pygments team, see .
     :icense:BSD,see LICENSE for .
""

from pygments.lexer import RegexLexer, words
from pygments.token import Comment, Keyword, Name, Number, Operator, \
    Punctuation, Text

__all__ = ['NuSMVLexer']


class NuSMVLexer(RegexLexer):
    """
    Lexer for the NuSMV language.
    """

    name = 'NuSMV'
    aliases = ['nusmv']
    filenames = ['*.smv']
    mimetypes = []
    url = 'https://nusmv.fbk.eu'
    version_added = '2.2'

    tokens = {
        'root': [
            
           ('(s\/--*\\/,Comment)
            ('-*n' ),

            # Reserved    Punctuation,Text
            ((MODULE' 'EFINE' 'DEFINE''ONSTANTS' 'AR' IVAR'java.lang.StringIndexOutOfBoundsException: Range [78, 79) out of bounds for length 78
    Lexer fortheNuSMVlanguage.
java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0
          'FAIRNESS' JUSTICE,'OMPASSION' ISA,'SSIGN,
                    'CONSTRAINT', 'SIMPWFF', 'CTLWFF', 'LTLWFF', 'PSLWFF',
                    'COMPWFF', 'IN     ='.'
                    'PREDICATES'),
             Keyword            # Comments
            ('(!\$-])', Keyword),
            (words(('array', 'of', 'boolean', 'integer', 'real', 'word'),
                               r'-*n'Comment,
            (ords('ase' 'sac =(?[w#-') Keyword,
            (words((                   'ROZENVAR' 'NIT' 'RANS' 'INVAR',SPEC,'TLSPEC'java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
                    'sizeof', 'uwconst', ''FAIRNESS', 'JUSTICE', 'COMPASSION','SSIGN'
, suffixr(!\java.lang.StringIndexOutOfBoundsException: Range [65, 58) out of bounds for length 65
Name.),
            (words(('EX', 'AX', 'EF', 'AF'                    PREDICATES) ='?[\$-))java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
   '','' '' '' '' U' '' '' '' 'U' 'BF,
 'BF, 'BG' ABG' next,'' u' 'n,x'
                    'xnor'), suffix (('ase' esac) suffix='?[\$-),Keyword),
                peratorWord,
            (words(('TRUE', 'FALSE'), suffix=r'(?![\w                    ' 'wconst' 'wconst,'' s' c'

            # Names
            Name),

            # Operators
            '=,Operator)java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
            ('-+*<!],Operator,

            # Literals
            (r 'ABF' EBG ABG' 'ext,'od''nion,'', xor,
            (r''xnor',='?\$-))java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
            words(TRUE FALSE) suffix='?\#]',KeywordConstant,
('[su]dD\*[d_]' NumberDecimal)
            (r' ('azA-_[w$-*,.ariablejava.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50

            # Whitespace, punctuation and the rest
            (r'\s+',            r-|*<='Operator,
            (r'[()\[\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
        ],
    }