K ie \dZddlmZmZmZmZddlmZmZm Z m Z m Z m Z dgZ GddeZy)z pygments.lexers.verifpal ~~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Verifpal languages. :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerwordsbygroupsdefault)CommentKeywordNameString Punctuation Whitespace VerifpalLexerceZdZdZdZdgZdgZdgZdZdZ de jfd e e jeeeeefd e e jeeeeeeefd e e jeej&ed fd e e jeedfde eeeeeeed fedde jd fedde jfdefdefeddej&fedde j*fdefde j,fgdefdefde j,fedgde j,fedde ej0ed fedgdZy )!r z For Verifpal code. Verifpalverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz2.16z//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z(knows)( +)(private|public)( +)sharedz(queries)( +)(\[)queriesu"(\w+)( +)(->|→)( *)(\w+)( *)(\:)) generatesleaksz\b)suffix)phase preconditionu[\[\(\)\]\?:=→^,]z->)password)AEAD_DECAEAD_ENCASSERTBLINDCONCATDECENCGHASHHKDFMACPKE_DECPKE_ENCPW_HASHRINGSIGN RINGSIGNVERIF SHAMIR_JOIN SHAMIR_SPLITSIGN SIGNVERIFSPLITUNBLIND_nilz\s+z\w+z [\^\[\],]z +z#pop)zconfidentiality?zauthentication?z freshness?zunlinkability?z equivalence?z( ))rootrrN)__name__ __module__ __qualname____doc__namealiases filenames mimetypesurl version_addedrSinglerr Builtinr r r rConstantrFunctionVariablerPseudotokens^/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/pygments/lexers/verifpal.pyr r s  DlGI"#I CMw~~ & 18DLL*V\^hjuxB4C D CXdll\fhsuBHJTVacmFn o /$,, T[TdTdfp1qs{ | !8DLL*k#RT] ^ 2HVZQ\^hjpr|J5KMU V )% 8$,, Q .u =t|| L #[ 1 K = /1A1A B 4=B C ]]   Z T]] #' ,; ' J  T]] # FO  T]] # 6>CE gnnj 18 = FO  9#FrDN)r5pygments.lexerrrrrpygments.tokenrrr r r r __all__r rCrDrErIs3@?  /J/rD