android-notify 1.60.0__py3-none-any.whl → 1.60.1__py3-none-any.whl

venv/Lib/site-packages/pygments/lexers/elpi.py

@@ -1,175 +0,0 @@
-"""
-    pygments.lexers.elpi
-    ~~~~~~~~~~~~~~~~~~~~
-
-    Lexer for the `Elpi <http://github.com/LPCIC/elpi>`_ programming language.
-
-    :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
-    :license: BSD, see LICENSE for details.
-"""
-
-from pygments.lexer import RegexLexer, bygroups, include, using
-from pygments.token import Text, Comment, Operator, Keyword, Name, String, \
-    Number, Punctuation
-
-__all__ = ['ElpiLexer']
-
-from pygments.lexers.theorem import CoqLexer
-
-class ElpiLexer(RegexLexer):
-    """
-    Lexer for the Elpi programming language.
-    """
-
-    name = 'Elpi'
-    url = 'http://github.com/LPCIC/elpi'
-    aliases = ['elpi']
-    filenames = ['*.elpi']
-    mimetypes = ['text/x-elpi']
-    version_added = '2.11'
-
-    lcase_re = r"[a-z]"
-    ucase_re = r"[A-Z]"
-    digit_re = r"[0-9]"
-    schar2_re = r"([+*^?/<>`'@#~=&!])"
-    schar_re = rf"({schar2_re}|-|\$|_)"
-    idchar_re = rf"({lcase_re}|{ucase_re}|{digit_re}|{schar_re})"
-    idcharstarns_re = rf"({idchar_re}*(\.({lcase_re}|{ucase_re}){idchar_re}*)*)"
-    symbchar_re = rf"({lcase_re}|{ucase_re}|{digit_re}|{schar_re}|:)"
-    constant_re = rf"({ucase_re}{idchar_re}*|{lcase_re}{idcharstarns_re}|{schar2_re}{symbchar_re}*|_{idchar_re}+)"
-    symbol_re = r"(,|<=>|->|:-|;|\?-|->|&|=>|\bas\b|\buvar\b|<|=<|=|==|>=|>|\bi<|\bi=<|\bi>=|\bi>|\bis\b|\br<|\br=<|\br>=|\br>|\bs<|\bs=<|\bs>=|\bs>|@|::|\[\]|`->|`:|`:=|\^|-|\+|\bi-|\bi\+|r-|r\+|/|\*|\bdiv\b|\bi\*|\bmod\b|\br\*|~|\bi~|\br~)"
-    escape_re = rf"\(({constant_re}|{symbol_re})\)"
-    const_sym_re = rf"({constant_re}|{symbol_re}|{escape_re})"
-
-    tokens = {
-        'root': [
-            include('elpi')
-        ],
-
-        'elpi': [
-            include('_elpi-comment'),
-
-            (r"(:before|:after|:if|:name)(\s*)(\")",
-             bygroups(Keyword.Mode, Text.Whitespace, String.Double),
-             'elpi-string'),
-            (r"(:index)(\s*)(\()", bygroups(Keyword.Mode, Text.Whitespace, Punctuation),
-             'elpi-indexing-expr'),
-            (rf"\b(external pred|pred)(\s+)({const_sym_re})",
-             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
-             'elpi-pred-item'),
-            (rf"\b(external type|type)(\s+)(({const_sym_re}(,\s*)?)+)",
-             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
-             'elpi-type'),
-            (rf"\b(kind)(\s+)(({const_sym_re}|,)+)",
-             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
-             'elpi-type'),
-            (rf"\b(typeabbrev)(\s+)({const_sym_re})",
-             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
-             'elpi-type'),
-            (r"\b(typeabbrev)(\s+)(\([^)]+\))",
-             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
-             'elpi-type'),
-            (r"\b(accumulate)(\s+)(\")",
-             bygroups(Keyword.Declaration, Text.Whitespace, String.Double),
-             'elpi-string'),
-            (rf"\b(accumulate|namespace|local)(\s+)({constant_re})",
-             bygroups(Keyword.Declaration, Text.Whitespace, Text)),
-            (rf"\b(shorten)(\s+)({constant_re}\.)",
-             bygroups(Keyword.Declaration, Text.Whitespace, Text)),
-            (r"\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)",
-             bygroups(Keyword.Declaration, Text.Whitespace, Name.Variable, Text)),
-            (rf"\b(constraint)(\s+)(({const_sym_re}(\s+)?)+)",
-             bygroups(Keyword.Declaration, Text.Whitespace, Name.Function),
-             'elpi-chr-rule-start'),
-
-            (rf"(?=[A-Z_]){constant_re}", Name.Variable),
-            (rf"(?=[a-z_])({constant_re}|_)\\", Name.Variable),
-            (r"_", Name.Variable),
-            (rf"({symbol_re}|!|=>|;)", Keyword.Declaration),
-            (constant_re, Text),
-            (r"\[|\]|\||=>", Keyword.Declaration),
-            (r'"', String.Double, 'elpi-string'),
-            (r'`', String.Double, 'elpi-btick'),
-            (r'\'', String.Double, 'elpi-tick'),
-            (r'\{\{', Punctuation, 'elpi-quote'),
-            (r'\{[^\{]', Text, 'elpi-spill'),
-            (r"\(", Punctuation, 'elpi-in-parens'),
-            (r'\d[\d_]*', Number.Integer),
-            (r'-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)', Number.Float),
-            (r"[\+\*\-/\^\.]", Operator),
-        ],
-        '_elpi-comment': [
-            (r'%[^\n]*\n', Comment),
-            (r'/(?:\\\n)?[*](?:[^*]|[*](?!(?:\\\n)?/))*[*](?:\\\n)?/', Comment),
-            (r"\s+", Text.Whitespace),
-        ],
-        'elpi-indexing-expr':[
-            (r'[0-9 _]+', Number.Integer),
-            (r'\)', Punctuation, '#pop'),
-        ],
-        'elpi-type': [
-            (r"(ctype\s+)(\")", bygroups(Keyword.Type, String.Double), 'elpi-string'),
-            (r'->', Keyword.Type),
-            (constant_re, Keyword.Type),
-            (r"\(|\)", Keyword.Type),
-            (r"\.", Text, '#pop'),
-            include('_elpi-comment'),
-        ],
-        'elpi-chr-rule-start': [
-            (r"\{", Punctuation, 'elpi-chr-rule'),
-            include('_elpi-comment'),
-        ],
-        'elpi-chr-rule': [
-           (r"\brule\b", Keyword.Declaration),
-           (r"\\", Keyword.Declaration),
-           (r"\}", Punctuation, '#pop:2'),
-           include('elpi'),
-        ],
-        'elpi-pred-item': [
-            (r"[io]:", Keyword.Mode, 'elpi-ctype'),
-            (r"\.", Text, '#pop'),
-            include('_elpi-comment'),
-        ],
-        'elpi-ctype': [
-            (r"(ctype\s+)(\")", bygroups(Keyword.Type, String.Double), 'elpi-string'),
-            (r'->', Keyword.Type),
-            (constant_re, Keyword.Type),
-            (r"\(|\)", Keyword.Type),
-            (r",", Text, '#pop'),
-            (r"\.", Text, '#pop:2'),
-            include('_elpi-comment'),
-        ],
-        'elpi-btick': [
-            (r'[^` ]+', String.Double),
-            (r'`', String.Double, '#pop'),
-        ],
-        'elpi-tick': [
-            (r'[^\' ]+', String.Double),
-            (r'\'', String.Double, '#pop'),
-        ],
-        'elpi-string': [
-            (r'[^\"]+', String.Double),
-            (r'"', String.Double, '#pop'),
-        ],
-        'elpi-quote': [
-            (r'\}\}', Punctuation, '#pop'),
-            (r"\s+", Text.Whitespace),
-            (r"(lp:)(\{\{)", bygroups(Number, Punctuation), 'elpi-quote-exit'),
-            (rf"(lp:)((?=[A-Z_]){constant_re})", bygroups(Number, Name.Variable)),
-            (r"((?!lp:|\}\}).)+", using(CoqLexer)),
-        ],
-        'elpi-quote-exit': [
-            include('elpi'),
-            (r'\}\}', Punctuation, '#pop'),
-        ],
-        'elpi-spill': [
-            (r'\{[^\{]', Text, '#push'),
-            (r'\}[^\}]', Text, '#pop'),
-            include('elpi'),
-        ],
-        'elpi-in-parens': [
-            (r"\(", Punctuation, '#push'),
-            include('elpi'),
-            (r"\)", Punctuation, '#pop'),
-        ],
-    }

venv/Lib/site-packages/pygments/lexers/email.py

@@ -1,132 +0,0 @@
-"""
-    pygments.lexers.email
-    ~~~~~~~~~~~~~~~~~~~~~
-
-    Lexer for the raw E-mail.
-
-    :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
-    :license: BSD, see LICENSE for details.
-"""
-
-from pygments.lexer import RegexLexer, DelegatingLexer, bygroups
-from pygments.lexers.mime import MIMELexer
-from pygments.token import Text, Keyword, Name, String, Number, Comment
-from pygments.util import get_bool_opt
-
-__all__ = ["EmailLexer"]
-
-
-class EmailHeaderLexer(RegexLexer):
-    """
-    Sub-lexer for raw E-mail. This lexer only process header part of e-mail.
-
-    .. versionadded:: 2.5
-    """
-
-    def __init__(self, **options):
-        super().__init__(**options)
-        self.highlight_x = get_bool_opt(options, "highlight-X-header", False)
-
-    def get_x_header_tokens(self, match):
-        if self.highlight_x:
-            # field
-            yield match.start(1), Name.Tag, match.group(1)
-
-            # content
-            default_actions = self.get_tokens_unprocessed(
-                match.group(2), stack=("root", "header"))
-            yield from default_actions
-        else:
-            # lowlight
-            yield match.start(1), Comment.Special, match.group(1)
-            yield match.start(2), Comment.Multiline, match.group(2)
-
-    tokens = {
-        "root": [
-            (r"^(?:[A-WYZ]|X400)[\w\-]*:", Name.Tag, "header"),
-            (r"^(X-(?:\w[\w\-]*:))([\s\S]*?\n)(?![ \t])", get_x_header_tokens),
-        ],
-        "header": [
-            # folding
-            (r"\n[ \t]", Text.Whitespace),
-            (r"\n(?![ \t])", Text.Whitespace, "#pop"),
-
-            # keywords
-            (r"\bE?SMTPS?\b", Keyword),
-            (r"\b(?:HE|EH)LO\b", Keyword),
-
-            # mailbox
-            (r"[\w\.\-\+=]+@[\w\.\-]+", Name.Label),
-            (r"<[\w\.\-\+=]+@[\w\.\-]+>", Name.Label),
-
-            # domain
-            (r"\b(\w[\w\.-]*\.[\w\.-]*\w[a-zA-Z]+)\b", Name.Function),
-
-            # IPv4
-            (r"(?<=\b)(?:(?:25[0-5]|2[0-4][0-9]|1?[0-9][0-9]?)\.){3}(?:25[0"
-             r"-5]|2[0-4][0-9]|1?[0-9][0-9]?)(?=\b)",
-             Number.Integer),
-
-            # IPv6
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){1,7}:(?!\b)", Number.Hex),
-            (r"(?<=\b):((:[0-9a-fA-F]{1,4}){1,7}|:)(?=\b)", Number.Hex),
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){7,7}[0-9a-fA-F]{1,4}(?=\b)", Number.Hex),
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}(?=\b)", Number.Hex),
-            (r"(?<=\b)[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})(?=\b)", Number.Hex),
-            (r"(?<=\b)fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]{1,}(?=\b)", Number.Hex),
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}(?=\b)", Number.Hex),
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}(?=\b)",
-             Number.Hex),
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}(?=\b)",
-             Number.Hex),
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}(?=\b)",
-             Number.Hex),
-            (r"(?<=\b)::(ffff(:0{1,4}){0,1}:){0,1}((25[0-5]|(2[0-4]|1{0,1}"
-             r"[0-9]){0,1}[0-9])\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}"
-             r"[0-9])(?=\b)",
-             Number.Hex),
-            (r"(?<=\b)([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1{0,1}[0-9])"
-             r"{0,1}[0-9])\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])(?=\b)",
-             Number.Hex),
-
-            # Date time
-            (r"(?:(Sun|Mon|Tue|Wed|Thu|Fri|Sat),\s+)?(0[1-9]|[1-2]?[0-9]|3["
-             r"01])\s+(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)\s+("
-             r"19[0-9]{2}|[2-9][0-9]{3})\s+(2[0-3]|[0-1][0-9]):([0-5][0-9])"
-             r"(?::(60|[0-5][0-9]))?(?:\.\d{1,5})?\s+([-\+][0-9]{2}[0-5][0-"
-             r"9]|\(?(?:UTC?|GMT|(?:E|C|M|P)(?:ST|ET|DT)|[A-IK-Z])\)?)",
-             Name.Decorator),
-
-            # RFC-2047 encoded string
-            (r"(=\?)([\w-]+)(\?)([BbQq])(\?)([\[\w!\"#$%&\'()*+,-./:;<=>@[\\"
-             r"\]^_`{|}~]+)(\?=)",
-             bygroups(String.Affix, Name.Constant, String.Affix, Keyword.Constant,
-                      String.Affix, Number.Hex, String.Affix)),
-
-            # others
-            (r'[\s]+', Text.Whitespace),
-            (r'[\S]', Text),
-        ],
-    }
-
-
-class EmailLexer(DelegatingLexer):
-    """
-    Lexer for raw E-mail.
-
-    Additional options accepted:
-
-    `highlight-X-header`
-        Highlight the fields of ``X-`` user-defined email header. (default:
-        ``False``).
-    """
-
-    name = "E-mail"
-    aliases = ["email", "eml"]
-    filenames = ["*.eml"]
-    mimetypes = ["message/rfc822"]
-    url = "https://en.wikipedia.org/wiki/Email#Message_format"
-    version_added = '2.5'
-
-    def __init__(self, **options):
-        super().__init__(EmailHeaderLexer, MIMELexer, Comment, **options)