
    |ef
                     \    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y)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 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      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y) r   z8
    For Verifpal code.

    .. versionadded:: 2.16
    Verifpalverifpalz*.vpztext/x-verifpalzhttps://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)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     :/usr/lib/python3/dist-packages/pygments/lexers/verifpal.pyr   r      s    DlGI"#I
 C w~~&18DLL*V\^hju  xB  4C  DCXdll\fhsu  BH  JT  Va  cm  Fn  o/$,,
T[TdTdfp1qs{|!8DLL*k#RT]^2HVZQ\^hjpr|  J  5K  MU  V)%8$,,Q.u=t||L#[1K =/1A1AB 4 =B	C
 ]] Z T]]#'
, ;'JT]]#FO	
 T]]# 6>CEgnnj18= FO
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 0rC   