|ef \dZddlmZmZmZmZddlmZmZm Z m Z m Z m Z dgZ GddeZy)z pygments.lexers.verifpal ~~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Verifpal languages. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerwordsbygroupsdefault)CommentKeywordNameString Punctuation Whitespace VerifpalLexerceZdZdZdZdgZdgZdgZdZde jfde e jeeeeefd e e jeeeeeeefd e e jeej$ed fd e e jeed fde eeeeeeed fedde jd fedde jfdefdefeddej$fedde j(fdefde j*fgdefdefde j*fedgde j*fedde ej.ed fedgdZy) r z8 For Verifpal code. .. versionadded:: 2.16 Verifpalverifpalz*.vpztext/x-verifpalzhttps://verifpal.comz//.*$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 mimetypesurlrSinglerr Builtinr r r rConstantrFunctionVariablerPseudotokens:/usr/lib/python3/dist-packages/pygments/lexers/verifpal.pyr r s DlGI"#I Cw~~ & 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#FrCN)r5pygments.lexerrrrrpygments.tokenrrr r r r __all__r rBrCrDrHs3@?  0J0rC