K i^xdZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z ddgZGddeZGddeZy) z pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerincludewords)CommentOperatorKeywordNameNumber PunctuationTextGeneric BoogieLexer SilverLexerceZdZdZdZdZdgZdgZdZde fde fd e fd e jfd e jfd e jd feddefeddej feddej"feddefdej*fdefdefgde jfd e jdfde jdfde jfgdej2fgdZy) rz! For Boogie source code. Boogiez-https://boogie-docs.readthedocs.io/en/latest/boogiez*.bplz2.1\n\s+\\\n //[/!](.*?)\n //(.*?)\n/\*comment)axiombreakcallensureselseexistsfunctionforallif invariantmodifies procedurerequiresthenvarwhile\bsuffix)const)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])\{.*?\} ([{}():;,.])z [a-zA-Z_]\w*[^*/]+#push\*/#pop[*/][0-9]+rootrr1N)__name__ __module__ __qualname____doc__nameurlaliases filenames version_addedr rDocSingle MultilinerrReservedTyperrr Emphr r r Integertokensb/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/pygments/lexers/verification.pyrrs: D 9CjG IM DM TN dO w{{ + 7>> * W&& 2 ( $  % :e ,g.>.> ? )% 8',, G I  8( C  & k * d #- 2)) * W&& 0 W&& / g'' (   ' ?"FrNceZdZdZdZdgZddgZdZdZde fd e fd e fd e jfd e jfd e jdfeddefeddej"feddej$feddefdej,fdefdefgde jfd e jdfde jdfde jfgdej2fgdZy )!rz! For Silver source code. Silversilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2rrrrrrr)4resulttruefalsenullmethodr predicateprogramdomainrr(returnsfielddefinefoldunfoldinhaleexhalenewassertassumegotor)r"elseifrfresh constrainingSeqSetMultisetunion intersectionsetminussubset unfoldinginoldr!raccwildcardwritenoneepsilonpermuniqueapplypackagefoldinglabelforpermr*r+)r&rr#)IntPermBoolRefRationalr1z[!%&*+=|?:<>/\-\[\]]r2r3z[\w$]\w*r4r5r6r7r8r9r:N)r<r=r>r?r@rBrCrArDr rrErFrGrrr DecoratorrIrrr rJr r rKrLrMrNrOrrAs> DjG'"I 2CM DM TN dO w{{ + 7>> * W&& 2 C $ %7 F W =e Lgll [ I  $h /  & k * $ 5 :)) * W&& 0 W&& / g'' (   ' G&FrNN)r?pygments.lexerrrrpygments.tokenrrrr r r r r __all__rrrMrNrOrsF65 - (,*,^0*0rN