12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273 |
- """
- pygments.lexers.hare
- ~~~~~~~~~~~~~~~~~~~~
- Lexers for the Hare language.
- :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
- :license: BSD, see LICENSE for details.
- """
- from pygments.lexer import RegexLexer, include, words
- from pygments.token import Comment, Operator, Keyword, Name, String, \
- Number, Punctuation, Whitespace
- __all__ = ['HareLexer']
- class HareLexer(RegexLexer):
- """
- Lexer for the Hare programming language.
- """
- name = 'Hare'
- url = 'https://harelang.org/'
- aliases = ['hare']
- filenames = ['*.ha']
- mimetypes = ['text/x-hare']
- version_added = '2.19'
- _ws = r'(?:\s|//.*?\n|/[*].*?[*]/)+'
- _ws1 = r'\s*(?:/[*].*?[*]/\s*)?'
- tokens = {
- 'whitespace': [
- (r'^use.*;', Comment.Preproc),
- (r'@[a-z]+', Comment.Preproc),
- (r'\n', Whitespace),
- (r'\s+', Whitespace),
- (r'//.*?$', Comment.Single),
- ],
- 'statements': [
- (r'"', String, 'string'),
- (r'`[^`]*`', String),
- (r"'(\\.|\\[0-7]{1,3}|\\x[a-fA-F0-9]{1,2}|[^\\\'\n])'", String.Char),
- (r'(\d+\.\d*|\.\d+|\d+)[eE][+-]?\d+[LlUu]*', Number.Float),
- (r'(\d+\.\d*|\.\d+|\d+[fF])[fF]?', Number.Float),
- (r'0x[0-9a-fA-F]+[LlUu]*', Number.Hex),
- (r'0o[0-7]+[LlUu]*', Number.Oct),
- (r'\d+[zui]?(\d+)?', Number.Integer),
- (r'[~!%^&*+=|?:<>/-]', Operator),
- (words(('as', 'is', '=>', '..', '...')), Operator),
- (r'[()\[\],.{};]+', Punctuation),
- (words(('abort', 'align', 'alloc', 'append', 'assert', 'case',
- 'const', 'def', 'defer', 'delete', 'else', 'enum', 'export',
- 'fn', 'for', 'free', 'if', 'let', 'len', 'match', 'offset',
- 'return', 'static', 'struct', 'switch', 'type', 'union',
- 'yield', 'vastart', 'vaarg', 'vaend'),
- suffix=r'\b'), Keyword),
- (r'(bool|int|uint|uintptr|u8|u16|u32|u64|i8|i16|i32|i64|f32|f64|null|done|never|void|nullable|rune|size|valist)\b',
- Keyword.Type),
- (r'(true|false|null)\b', Name.Builtin),
- (r'[a-zA-Z_]\w*', Name),
- ],
- 'string': [
- (r'"', String, '#pop'),
- (r'\\([\\abfnrtv"\']|x[a-fA-F0-9]{2,4}|'
- r'u[a-fA-F0-9]{4}|U[a-fA-F0-9]{8}|[0-7]{1,3})', String.Escape),
- (r'[^\\"\n]+', String), # all other characters
- (r'\\', String), # stray backslash
- ],
- 'root': [
- include('whitespace'),
- include('statements'),
- ],
- }
|