3 pygments.lexers.pony |
3 pygments.lexers.pony |
4 ~~~~~~~~~~~~~~~~~~~~ |
4 ~~~~~~~~~~~~~~~~~~~~ |
5 |
5 |
6 Lexers for Pony and related languages. |
6 Lexers for Pony and related languages. |
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 Text, Comment, Operator, Keyword, Name, String, \ |
13 from pygments.token import Text, Comment, Operator, Keyword, Name, String, \ |
68 (r'(\d+\.\d*|\.\d+|\d+)[eE][+-]?\d+', Number.Float), |
68 (r'(\d+\.\d*|\.\d+|\d+)[eE][+-]?\d+', Number.Float), |
69 (r'0x[0-9a-fA-F]+', Number.Hex), |
69 (r'0x[0-9a-fA-F]+', Number.Hex), |
70 (r'\d+', Number.Integer), |
70 (r'\d+', Number.Integer), |
71 (r'(true|false)\b', Name.Builtin), |
71 (r'(true|false)\b', Name.Builtin), |
72 (r'_\d*', Name), |
72 (r'_\d*', Name), |
73 (r'_?[a-z][\w\'_]*', Name) |
73 (r'_?[a-z][\w\']*', Name) |
74 ], |
74 ], |
75 'typename': [ |
75 'typename': [ |
76 (_caps + r'?((?:\s)*)(_?[A-Z]\w*)', |
76 (_caps + r'?((?:\s)*)(_?[A-Z]\w*)', |
77 bygroups(Keyword, Text, Name.Class), '#pop') |
77 bygroups(Keyword, Text, Name.Class), '#pop') |
78 ], |
78 ], |