diff options
author | Camil Staps <info@camilstaps.nl> | 2016-03-02 20:57:48 +0100 |
---|---|---|
committer | Camil Staps <info@camilstaps.nl> | 2016-03-02 20:57:48 +0100 |
commit | 3c826b0b3fb0800ef9de05f89027f20d5a7479a8 (patch) | |
tree | 5d1d09f5662c8db3984513ae2aa26bb40401d28f /pygments/lexers/smv.py | |
parent | 993ea36a42b25b1c6f65ffd9f9055113b3823f90 (diff) | |
download | pygments-3c826b0b3fb0800ef9de05f89027f20d5a7479a8.tar.gz |
SMV: Modified suffix to include #, $ and -
Diffstat (limited to 'pygments/lexers/smv.py')
-rw-r--r-- | pygments/lexers/smv.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/pygments/lexers/smv.py b/pygments/lexers/smv.py index 00316315..17b5e4f4 100644 --- a/pygments/lexers/smv.py +++ b/pygments/lexers/smv.py @@ -38,22 +38,22 @@ class NuSMVLexer(RegexLexer): 'PSLSPEC','COMPUTE','NAME','INVARSPEC','FAIRNESS','JUSTICE', 'COMPASSION','ISA','ASSIGN','CONSTRAINT','SIMPWFF','CTLWFF', 'LTLWFF','PSLWFF','COMPWFF','IN','MIN','MAX','MIRROR','PRED', - 'PREDICATES'), suffix=r'\b'), Keyword.Declaration), + 'PREDICATES'), suffix=r'(?![\w$#-])'), Keyword.Declaration), (r'\bprocess\b', Keyword), (words(('array','of','boolean','integer','real','word'), - suffix=r'\b'), Keyword.Type), - (words(('case','esac'), suffix=r'\b'), Keyword), + suffix=r'(?![\w$#-])'), Keyword.Type), + (words(('case','esac'), suffix=r'(?![\w$#-])'), Keyword), (words(('word1','bool','signed','unsigned','extend','resize', 'sizeof','uwconst','swconst','init','self','count','abs','max', - 'min'), suffix=r'\b'), Name.Builtin), + 'min'), suffix=r'(?![\w$#-])'), Name.Builtin), (words(('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'), suffix=r'\b'), + 'mod','union','in','xor','xnor'), suffix=r'(?![\w$#-])'), Operator.Word), - (words(('TRUE','FALSE'), suffix=r'\b'), Keyword.Constant), + (words(('TRUE','FALSE'), suffix=r'(?![\w$#-])'), Keyword.Constant), # Names - (r'[a-zA-Z_][\w\$#-]*', Name.Variable), + (r'[a-zA-Z_][\w$#-]*', Name.Variable), # Operators (r':=', Operator), |