eric6/ThirdParty/Pygments/pygments/lexers/whiley.py

changeset 7701
25f42e208e08
parent 7547
21b0534faebc
child 7983
54c5cfbb1e29
equal deleted inserted replaced
7700:a3cf077a8db3 7701:25f42e208e08
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': [

eric ide

mercurial