+
    TBie
                     ^    R t ^ RIHtHtHtHt ^ RIHtHtH	t	H
t
HtHt R.t ! R R]4      tR# )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                      ] tR t^tRtRtR.tR.tR.tRt	Rt
RR	]P                  3R
]! ]P                  ]]]]]4      3R]! ]P                  ]]]]]]]4      3R]! ]P                  ]]P(                  ]4      R3R]! ]P                  ]]4      R3R]! ]]]]]]]4      R3]! RRR7      ]P                  R3]! RRR7      ]P                  3R]3R]3]! RRR7      ]P(                  3]! R RR7      ]P,                  3R]3R]P.                  3.RR]3R]3R]P.                  3]! R4      .RR]P.                  3]! R!RR7      ]! ]P2                  ]4      R3]! R4      ./tRtR# )"r   z
For Verifpal code.
Verifpalverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz2.16rootz//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z(knows)( +)(private|public)( +)sharedz(queries)( +)(\[)queriesu"   (\w+)( +)(->|→)( *)(\w+)( *)(\:)z\b)suffixu   [\[\(\)\]\?:=→^,]z->z\s+z\w+z	[\^\[\],]z +z#popz( ) N)	generatesleaks)phaseprecondition)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_nil)zconfidentiality?zauthentication?z
freshness?zunlinkability?zequivalence?)__name__
__module____qualname____firstlineno____doc__namealiases	filenames	mimetypesurlversion_addedr   Singler   r   Builtinr   r	   r
   r   Constantr   FunctionVariabler   Pseudotokens__static_attributes__r       =/usr/lib/python3.14/site-packages/pygments/lexers/verifpal.pyr   r      s    DlGI"#I
 CM 	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#FrE   N)r6   pygments.lexerr   r   r   r   pygments.tokenr   r   r   r	   r
   r   __all__r   r   rE   rF   <module>rJ      s3    @ ?  
/J /rE   