YBFjadZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z ddgZGddeZGddeZdS) z pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerincludewords)CommentOperatorKeywordNameNumber PunctuationTextGeneric BoogieLexer SilverLexercleZdZdZdZdZdgZdgZdZde fde fd e fd e j fd e j fd e j d feddefeddejfeddejfeddefdejfdefdefgde j fd e j dfde j dfde j fgdejfgdZdS) 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 IntegertokensJC:\PYTHON\_runtimes\venv\Lib\site-packages\pygments/lexers/verification.pyrrsU D 9CjG IM DM TN dO w{ + 7> * W& 2 U( $  % U:e , , ,g.> ? U)% 8 8 8', G GI   8( C  & k * d #- 2) * W& 0 W& / g' (   ' ?""FFFrNcneZdZdZdZdgZddgZdZdZde fd e fd e fd e j fd e j fd e j dfeddefeddejfeddejfeddefdejfdefdefgde j fd e j dfde j dfde j fgdejfgdZd S)!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 rKrLrMrNrOrrAsZ DjG'"I 2CM DM TN dO w{ + 7> * W& 2 UC   $ %U7 F F F W U=e L L Lgl [ GI   $h /  & k * $ 5 :) * W& 0 W& / g' (   ' G&&FFFrNN)r?pygments.lexerrrrpygments.tokenrrrr r r r r __all__rrrMrNrOrs6555555555 - (,,,,,*,,,^00000*00000rN