| Server IP : 88.223.91.47 / Your IP : 216.73.216.91 Web Server : LiteSpeed System : Linux id-dci-web1986.main-hosting.eu 5.14.0-611.26.1.el9_7.x86_64 #1 SMP PREEMPT_DYNAMIC Thu Jan 29 05:24:47 EST 2026 x86_64 User : u686484674 ( 686484674) PHP Version : 8.0.30 Disable Function : system, exec, shell_exec, passthru, mysql_list_dbs, ini_alter, dl, symlink, link, chgrp, leak, popen, apache_child_terminate, virtual, mb_send_mail MySQL : OFF | cURL : ON | WGET : ON | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /opt/alt/python311/lib/python3.11/site-packages/pygments/lexers/ |
Upload File : |
"""
pygments.lexers.pointless
~~~~~~~~~~~~~~~~~~~~~~~~~
Lexers for Pointless.
:copyright: Copyright 2006-2025 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.
"""
name = 'Pointless'
url = 'https://ptls.dev'
aliases = ['pointless']
filenames = ['*.ptls']
version_added = '2.7'
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),
],
}