YBFjh ddZddlmZmZmZmZddlmZmZm Z m Z m Z m Z dgZ GddeZdS)z pygments.lexers.verifpal ~~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Verifpal languages. :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerwordsbygroupsdefault)CommentKeywordNameString Punctuation Whitespace VerifpalLexercveZdZdZdZdgZdgZdgZdZdZ de j fd e e jeeeeefd e e jeeeeeeefd e e jeejed fd e e jeedfde eeeeeeed fedde jd fedde jfdefdefeddejfedde jfdefde jfgdefdefde jfedgde jfedde ejed fedgdZd S)!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 rConstantrFunctionVariablerPseudotokensFC:\PYTHON\_runtimes\venv\Lib\site-packages\pygments/lexers/verifpal.pyr r sf DlGI"#I CMw~ & 188DL*V\^hjuxB4C4C D CXXdl\fhsuBHJTVacmFnFn o /$, T[Tdfp1q1qs{ | !88DL*k#R#RT] ^ 2HHVZQ\^hjpr|J5K5KMU V U)% 8 8 8$, Q U.u = = =t| L #[ 1 K U= / / /1A B U4=B CCC ]   Z T] #' ,; ' J  T] # GFOO  T] # U6>CEEE Xgnj 1 18 = GFOO  9##FFFrDN)r5pygments.lexerrrrrpygments.tokenrrr r r r __all__r rCrDrErIs@???????????  /////J/////rD