| Server IP : 85.214.239.14 / Your IP : 3.15.223.129 Web Server : Apache/2.4.62 (Debian) System : Linux h2886529.stratoserver.net 4.9.0 #1 SMP Tue Jan 9 19:45:01 MSK 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.18 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /proc/2/root/lib/python3/dist-packages/pygments/lexers/ |
Upload File : |
"""
pygments.lexers.pointless
~~~~~~~~~~~~~~~~~~~~~~~~~
Lexers for Pointless.
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
from pygments.lexer import RegexLexer, words
from pygments.token import Comment, Error, Keyword, Name, Number, Operator, \
Punctuation, String, Text
__all__ = ['PointlessLexer']
class PointlessLexer(RegexLexer):
"""
For Pointless source code.
.. versionadded:: 2.7
"""
name = 'Pointless'
url = 'https://ptls.dev'
aliases = ['pointless']
filenames = ['*.ptls']
ops = words([
"+", "-", "*", "/", "**", "%", "+=", "-=", "*=",
"/=", "**=", "%=", "|>", "=", "==", "!=", "<", ">",
"<=", ">=", "=>", "$", "++",
])
keywords = words([
"if", "then", "else", "where", "with", "cond",
"case", "and", "or", "not", "in", "as", "for",
"requires", "throw", "try", "catch", "when",
"yield", "upval",
], suffix=r'\b')
tokens = {
'root': [
(r'[ \n\r]+', Text),
(r'--.*$', Comment.Single),
(r'"""', String, 'multiString'),
(r'"', String, 'string'),
(r'[\[\](){}:;,.]', Punctuation),
(ops, Operator),
(keywords, Keyword),
(r'\d+|\d*\.\d+', Number),
(r'(true|false)\b', Name.Builtin),
(r'[A-Z][a-zA-Z0-9]*\b', String.Symbol),
(r'output\b', Name.Variable.Magic),
(r'(export|import)\b', Keyword.Namespace),
(r'[a-z][a-zA-Z0-9]*\b', Name.Variable)
],
'multiString': [
(r'\\.', String.Escape),
(r'"""', String, '#pop'),
(r'"', String),
(r'[^\\"]+', String),
],
'string': [
(r'\\.', String.Escape),
(r'"', String, '#pop'),
(r'\n', Error),
(r'[^\\"]+', String),
],
}