3 pygments.lexers.smv |
3 pygments.lexers.smv |
4 ~~~~~~~~~~~~~~~~~~~ |
4 ~~~~~~~~~~~~~~~~~~~ |
5 |
5 |
6 Lexers for the SMV languages. |
6 Lexers for the SMV languages. |
7 |
7 |
8 :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. |
8 :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. |
9 :license: BSD, see LICENSE for details. |
9 :license: BSD, see LICENSE for details. |
10 """ |
10 """ |
11 |
11 |
12 from pygments.lexer import RegexLexer, words |
12 from pygments.lexer import RegexLexer, words |
13 from pygments.token import Comment, Generic, Keyword, Name, Number, \ |
13 from pygments.token import Comment, Keyword, Name, Number, Operator, \ |
14 Operator, Punctuation, Text |
14 Punctuation, Text |
15 |
15 |
16 __all__ = ['NuSMVLexer'] |
16 __all__ = ['NuSMVLexer'] |
17 |
17 |
18 |
18 |
19 class NuSMVLexer(RegexLexer): |
19 class NuSMVLexer(RegexLexer): |