File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/verifpal.cpython-310.pyc
Back
o ;jh � @ sV d Z ddlmZmZmZmZ ddlmZmZm Z m Z m Z m Z dgZ G dd� de�ZdS )z� pygments.lexers.verifpal ~~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Verifpal languages. :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�words�bygroups�default)�Comment�Keyword�Name�String� Punctuation� Whitespace� VerifpalLexerc @ sN e Zd ZdZdZdgZdgZdgZdZdZ de j fd e e jeeeee�fd e e jeeeeeee�fd e e jeeje�d fd e e jee�dfde eeeeeee�d feddd�e jd feddd�e jfdefdefeddd�ejfeddd�e jfdefde jfgdefdefde jfed �gde jfed d d�e eje�d fed �gd �Zd S )!r z For Verifpal code. ZVerifpalZverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz2.16z//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z (knows)( +)(private|public)( +)�sharedz(queries)( +)(\[)�queriesu" (\w+)( +)(->|→)( *)(\w+)( *)(\:))Z generatesZleaksz\b)�suffix)ZphaseZ preconditionu [\[\(\)\]\?:=→^,]z->)�password)ZAEAD_DECZAEAD_ENC�ASSERTZBLINDZCONCATZDECZENC�G�HASHZHKDFZMACZPKE_DECZPKE_ENCZPW_HASHZRINGSIGNZ RINGSIGNVERIFZ SHAMIR_JOINZ SHAMIR_SPLITZSIGNZ SIGNVERIFZSPLITZUNBLIND�_�nilz\s+z\w+z [\^\[\],]z +z#pop)zconfidentiality?zauthentication?z freshness?zunlinkability?z equivalence?z( ))�rootr r N)�__name__� __module__� __qualname__�__doc__�name�aliases� filenamesZ mimetypes�urlZ version_addedr �Singler r ZBuiltinr r r r ZConstantr ZFunctionZVariabler ZPseudo�tokens� r! r! �L/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/verifpal.pyr sR ����� �� �N)r Zpygments.lexerr r r r Zpygments.tokenr 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