�
|�ef
� �\ � d Z ddlmZmZmZmZ ddlmZmZm Z m
Z
m Z m Z dgZ
G d� 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 � � e Zd ZdZdZdgZdgZdgZdZde j fd e e j eeeee� fd e e j eeeeeee� fd
e e j eej$ e� d fd e e j ee� d
fd e eeeeeee� d f edd�� e j d f edd�� e j fdefdef edd�� ej$ f edd�� e j( fdefde j* fgdefdefde j* f ed� gde j* f ed d �� e ej. e� d f ed� 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( ))�rootr r N)�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�urlr �Singler r �Builtinr r
r r �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#�FrC N)r5 �pygments.lexerr r r r �pygments.tokenr r r r
r r �__all__r
rB rC rD �<module>rH s3 ��� @� ?�� � �
��0�J� 0rC |