3 pygments.lexers.whiley |
3 pygments.lexers.whiley |
4 ~~~~~~~~~~~~~~~~~~~~~~ |
4 ~~~~~~~~~~~~~~~~~~~~~~ |
5 |
5 |
6 Lexers for the Whiley language. |
6 Lexers for the Whiley language. |
7 |
7 |
8 :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. |
8 :copyright: Copyright 2006-2020 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, bygroups, words |
12 from pygments.lexer import RegexLexer, bygroups, words |
13 from pygments.token import Comment, Keyword, Name, Number, Operator, \ |
13 from pygments.token import Comment, Keyword, Name, Number, Operator, \ |
95 # string literal |
95 # string literal |
96 (r'"', String, 'string'), |
96 (r'"', String, 'string'), |
97 |
97 |
98 # operators and punctuation |
98 # operators and punctuation |
99 (r'[{}()\[\],.;]', Punctuation), |
99 (r'[{}()\[\],.;]', Punctuation), |
100 (u'[+\\-*/%&|<>^!~@=:?' |
100 (r'[+\-*/%&|<>^!~@=:?' |
101 # unicode operators |
101 # unicode operators |
102 u'\u2200\u2203\u2205\u2282\u2286\u2283\u2287' |
102 r'\u2200\u2203\u2205\u2282\u2286\u2283\u2287' |
103 u'\u222A\u2229\u2264\u2265\u2208\u2227\u2228' |
103 r'\u222A\u2229\u2264\u2265\u2208\u2227\u2228' |
104 u']', Operator), |
104 r']', Operator), |
105 |
105 |
106 # identifier |
106 # identifier |
107 (r'[a-zA-Z_]\w*', Name), |
107 (r'[a-zA-Z_]\w*', Name), |
108 ], |
108 ], |
109 'string': [ |
109 'string': [ |