diff options
| author | Anteru <bitbucket@ca.sh13.net> | 2019-03-06 18:58:58 +0000 |
|---|---|---|
| committer | Anteru <bitbucket@ca.sh13.net> | 2019-03-06 18:58:58 +0000 |
| commit | 336dc9f7200909200036c80685f9703f40ecd238 (patch) | |
| tree | a18e33f30ede25ebfc833ed661edb88014114484 /pygments/lexers/verification.py | |
| parent | b17601caa391fc3587960e160c57eb96c2dde3e0 (diff) | |
| parent | bce3a972a54517884bcbd45e09e0d3e911fe53d7 (diff) | |
| download | pygments-git-336dc9f7200909200036c80685f9703f40ecd238.tar.gz | |
Merged in roskakori/pygments-vbscript (pull request #673)
Added lexer for VBScript
Diffstat (limited to 'pygments/lexers/verification.py')
| -rw-r--r-- | pygments/lexers/verification.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pygments/lexers/verification.py b/pygments/lexers/verification.py index 3e77e04a..5322e17f 100644 --- a/pygments/lexers/verification.py +++ b/pygments/lexers/verification.py @@ -5,7 +5,7 @@ Lexer for Intermediate Verification Languages (IVLs). - :copyright: Copyright 2006-2016 by the Pygments team, see AUTHORS. + :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ @@ -69,7 +69,7 @@ class SilverLexer(RegexLexer): """ name = 'Silver' aliases = ['silver'] - filenames = ['*.sil'] + filenames = ['*.sil', '*.vpr'] tokens = { 'root': [ @@ -89,7 +89,7 @@ class SilverLexer(RegexLexer): 'constraining', 'Seq', 'Set', 'Multiset', 'union', 'intersection', 'setminus', 'subset', 'unfolding', 'in', 'old', 'forall', 'exists', 'acc', 'wildcard', 'write', 'none', 'epsilon', 'perm', 'unique', - 'apply', 'package', 'folding', 'label'), + 'apply', 'package', 'folding', 'label', 'forperm'), suffix=r'\b'), Keyword), (words(('Int', 'Perm', 'Bool', 'Ref'), suffix=r'\b'), Keyword.Type), include('numbers'), |