
    Mhe
                     d    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e          ZdS )z
    pygments.lexers.verifpal
    ~~~~~~~~~~~~~~~~~~~~~~~~

    Lexers for Verifpal languages.

    :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
    )
RegexLexerwordsbygroupsdefault)CommentKeywordNameStringPunctuation
WhitespaceVerifpalLexerc                   v   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          ej        df edd          ej        fdefdef edd          ej        f e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           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     X/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/pygments/lexers/verifpal.pyr   r      sf         DlGI"#I
 CM w~&188DL*V\^hju  xB  4C  4C  DCXXdl\fhsu  BH  JT  Va  cm  Fn  Fn  o/$,
T[Tdfp1q1qs{|!88DL*k#R#RT]^2HHVZQ\^hjpr|  J  5K  5K  MU  VU)%888$,QU.u===t|L#[1K U=///1ABU 4 =B	C C C
 ] Z T]#'
, ;'JT]#GFOO	
 T]#U 6>CE E EXgnj118= GFOO
9# #FFFrD   N)r5   pygments.lexerr   r   r   r   pygments.tokenr   r   r	   r
   r   r   __all__r   rC   rD   rE   <module>rI      s     @ ? ? ? ? ? ? ? ? ? ? ?                
/ / / / /J / / / / /rD   