o ȷe-@sldZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z ddgZGdddeZGdddeZdS) z pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerincludewords)CommentOperatorKeywordNameNumber PunctuationTextGeneric BoogieLexer SilverLexerc@seZdZdZdZdZdgZdgZdefdefdefd e j fd e j fd e j d fe d ddefe dddejfe dddejfeddefdejfdefdefgde j fd e j dfde j dfde j fgdejfgdZdS)r z< 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]+rootrr/N)__name__ __module__ __qualname____doc__nameurlaliases filenamesr rDocSingle MultilinerrReservedTyperrr Emphr rr IntegertokensrJrJS/var/www/ideatree/venv/lib/python3.10/site-packages/pygments/lexers/verification.pyr sB    c@seZdZdZdZdgZddgZdefdefdefd ej fd ej fd ej d fe d dde fe dddejfe ddde jfeddefdejfdefdefgdej fd ej dfdej dfdej fgdejfgdZdS)rz< For Silver source code. .. versionadded:: 2.2 Silversilverz*.silz*.vprrrrrrrr)4resulttruefalsenullmethodr predicateprogramdomainrr&returnsfielddefinefoldunfoldinhaleexhalenewassertassumegotor'r elseifrfresh constrainingSeqSetMultisetunion intersectionsetminussubset unfoldinginoldrraccwildcardwritenoneepsilonpermuniqueapplypackagefoldinglabelforpermr(r))r$rr!)IntPermBoolRefRationalr/z[!%&*+=|?:<>/\-\[\]]r0r1z[\w$]\w*r2r3r4r5r6r7r8N)r:r;r<r=r>r@rAr rrBrCrDrrr DecoratorrFrrr rGr r rHrIrJrJrJrKrBs@       N)r=pygments.lexerrrrpygments.tokenrrrrr r r r __all__r rrJrJrJrKs  (0