summaryrefslogtreecommitdiff
path: root/pygments/lexers/smv.py
diff options
context:
space:
mode:
authorCamil Staps <info@camilstaps.nl>2016-03-02 20:57:48 +0100
committerCamil Staps <info@camilstaps.nl>2016-03-02 20:57:48 +0100
commit3c826b0b3fb0800ef9de05f89027f20d5a7479a8 (patch)
tree5d1d09f5662c8db3984513ae2aa26bb40401d28f /pygments/lexers/smv.py
parent993ea36a42b25b1c6f65ffd9f9055113b3823f90 (diff)
downloadpygments-3c826b0b3fb0800ef9de05f89027f20d5a7479a8.tar.gz
SMV: Modified suffix to include #, $ and -
Diffstat (limited to 'pygments/lexers/smv.py')
-rw-r--r--pygments/lexers/smv.py14
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),