o
    Ñ­jh
  ã                   @   sV   d Z ddlmZmZmZmZ ddlmZmZm	Z	m
Z
mZmZ dgZG dd„ deƒZdS )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 Zd ZdZdZdgZdgZdgZdZdZ	de
jfd	eejeeeeeƒfd
eejeeeeeeeƒfdeejeejeƒdfdeejeeƒdfdeeeeeeeeƒdfeddd�ejdfeddd�ejfdefdefeddd�ejfeddd�ejfdefdejfgdefdefdejfedƒgdejfeddd�eejeƒdfedƒgdœZd S )!r   z
    For Verifpal code.
    ÚVerifpalÚverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz2.16z//.*$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)zconfidentiality?zauthentication?z
freshness?zunlinkability?zequivalence?z( ))Úrootr   r   N)Ú__name__Ú
__module__Ú__qualname__Ú__doc__ÚnameÚaliasesÚ	filenamesÚ	mimetypesÚurlÚversion_addedr   ÚSingler   r   ÚBuiltinr   r	   r
   r   ÚConstantr   ÚFunctionÚVariabler   ÚPseudoÚtokens© rA   rA   úU/var/www/html/CropPilot/venv/lib/python3.10/site-packages/pygments/lexers/verifpal.pyr      sR    üûíüÿþû
äN)r3   Úpygments.lexerr   r   r   r   Úpygments.tokenr   r   r   r	   r
   r   Ú__all__r   rA   rA   rA   rB   Ú<module>   s
    
 