|e-xdZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z ddgZGddeZGddeZy) z pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerincludewords)CommentOperatorKeywordNameNumber PunctuationTextGeneric BoogieLexer SilverLexerceZdZdZdZdZdgZdgZdefdefdefd e jfd e jfd e jd fe d defe ddejfe ddej feddefdej(fdefdefgde jfd e jdfde jdfde jfgdej0fgdZy)rz< For Boogie source code. .. versionadded:: 2.1 Boogiez-https://boogie-docs.readthedocs.io/en/latest/boogiez*.bpl\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 filenamesr rDocSingle MultilinerrReservedTyperrr Emphr r r Integertokens>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyrrs5 D 9CjG I DM TN dO w{{ + 7>> * W&& 2 ( $  % :e ,g.>.> ? )% 8',, G I  8( C  & k * d #- 2)) * W&& 0 W&& / g'' (   ' ?"FrMceZdZdZdZdgZddgZdefdefdefd ejfd ejfd ejd fe d de fe ddejfe dde j feddefdej(fdefdefgdejfd ejdfdejdfdejfgdej.fgdZy)rz< For Silver source code. .. versionadded:: 2.2 Silversilverz*.silz*.vprrrrrrrr)4resulttruefalsenullmethodr predicateprogramdomainrr(returnsfielddefinefoldunfoldinhaleexhalenewassertassumegotor)r"elseifrfresh constrainingSeqSetMultisetunion intersectionsetminussubset unfoldinginoldr!raccwildcardwritenoneepsilonpermuniqueapplypackagefoldinglabelforpermr*r+)r&rr#)IntPermBoolRefRationalr1z[!%&*+=|?:<>/\-\[\]]r2r3z[\w$]\w*r4r5r6r7r8r9r:N)r<r=r>r?r@rBrCr rrDrErFrrr DecoratorrHrrr rIr r rJrKrLrMrNrrBs4 DjG'"I DM TN dO w{{ + 7>> * W&& 2 C $ %7 F W =e Lgll [ I  $h /  & k * $ 5 :)) * W&& 0 W&& / g'' (   ' G&FrMN)r?pygments.lexerrrrpygments.tokenrrrr r r r r __all__rrrLrMrNrsF65 - (-*-`0*0rM