U
    -ef
                     @   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-2023 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
    )
RegexLexerwordsbygroupsdefault)CommentKeywordNameStringPunctuation
WhitespaceVerifpalLexerc                   @   sJ  e Zd ZdZdZdgZdgZdg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   z8
    For Verifpal code.

    .. versionadded:: 2.16
    ZVerifpalZverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z(knows)( +)(private|public)( +)sharedz(queries)( +)(\[)queriesu"   (\w+)( +)(->|→)( *)(\w+)( *)(\:))Z	generatesZleaksz\b)suffix)Zphasepreconditionu   [\[\(\)\]\?:=→^,]z->)password)ZAEAD_DECZAEAD_ENCASSERTZBLINDZCONCATZDECZENCGHASHZHKDFZMACZPKE_DECZPKE_ENCZPW_HASHZRINGSIGNZRINGSIGNVERIFZSHAMIR_JOINZSHAMIR_SPLITZSIGNZ	SIGNVERIFZSPLITZ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urlr   Singler   r   Builtinr   r	   r
   r   Constantr   FunctionVariabler   Pseudotokens r(   r(   Y/var/www/html/Darija-Ai-Train/env/lib/python3.8/site-packages/pygments/lexers/verifpal.pyr      sP   
 N)r   Zpygments.lexerr   r   r   r   Zpygments.tokenr   r   r   r	   r
   r   __all__r   r(   r(   r(   r)   <module>   s   
 