File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/sieve.cpython-310.pyc
Back
o ;j� � @ sR d Z ddlmZmZ ddlmZmZmZmZm Z m Z mZ dgZG dd� de�Z dS )a pygments.lexers.sieve ~~~~~~~~~~~~~~~~~~~~~ Lexer for Sieve file format. https://tools.ietf.org/html/rfc5228 https://tools.ietf.org/html/rfc5173 https://tools.ietf.org/html/rfc5229 https://tools.ietf.org/html/rfc5230 https://tools.ietf.org/html/rfc5232 https://tools.ietf.org/html/rfc5235 https://tools.ietf.org/html/rfc5429 https://tools.ietf.org/html/rfc8580 :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�bygroups)�Comment�Name�Literal�String�Text�Punctuation�Keyword� SieveLexerc @ s� e Zd ZdZdZddgZdgZdZdZde fd e fd ejfde ejej�fdejfd ejfde ejej�fdejfdejfdefdejdfgdefde dfgd�ZdS )r z! Lexer for sieve format. ZSievez*.sivz*.sieveZsievez=https://en.wikipedia.org/wiki/Sieve_(mail_filtering_language)z2.6z\s+z[();,{}\[\]]z(?i)requirea (?i)(:)(addresses|all|contains|content|create|copy|comparator|count|days|detail|domain|fcc|flags|from|handle|importance|is|localpart|length|lowerfirst|lower|matches|message|mime|options|over|percent|quotewildcard|raw|regex|specialuse|subject|text|under|upperfirst|upper|value)z�(?i)(address|addflag|allof|anyof|body|discard|elsif|else|envelope|ereject|exists|false|fileinto|if|hasflag|header|keep|notify_method_capability|notify|not|redirect|reject|removeflag|setflag|size|spamtest|stop|string|true|vacation|virustest)z(?i)setz([0-9.]+)([kmgKMG])?z#.*$z/\*.*\*/z"[^"]*?"ztext:�textz [^.].*?\nz^\.z#pop)�rootr N)�__name__� __module__�__qualname__�__doc__�name� filenames�aliases�urlZ version_addedr r r � Namespacer r ZTagZBuiltinZDeclarationr �Numberr �SingleZ Multiliner �tokens� r r �I/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/sieve.pyr sR ����������%� �N)r Zpygments.lexerr r Zpygments.tokenr r r r r r r �__all__r r r r r �<module> s $
| ver. 1.4 |
Github
|
.
| PHP 8.2.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings