a lc-@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 invariantZmodifiesZ procedurerequiresZthenvarwhile\bsuffix)const)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])\{.*?\} ([{}():;,.])z [a-zA-Z_]\w*[^*/]+#push\*/#pop[*/][0-9]+rootrr,N)__name__ __module__ __qualname____doc__nameurlaliases filenamesr rDocSingle MultilinerrReservedTyperrr Emphr rr IntegertokensrGrGX/var/www/html/django/DPS/env/lib/python3.9/site-packages/pygments/lexers/verification.pyr s@   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#returnsfieldZdefinefoldZunfoldZinhaleZexhalenewassertZassumeZgotor$r ZelseifrZfreshZ constrainingZSeqSetZMultisetunion intersectionZsetminusZsubsetZ unfoldinginoldrraccZwildcardwritenoneepsilonpermuniqueapplypackageZfoldinglabelZforpermr%r&)r"rr!)ZIntZPermZBoolZRefRationalr,z[!%&*+=|?:<>/\-\[\]]r-r.z[\w$]\w*r/r0r1r2r3r4r5N)r7r8r9r:r;r=r>r rr?r@rArrr DecoratorrCrrr rDr r rErFrGrGrGrHrBs>      N)r:Zpygments.lexerrrrZpygments.tokenrrrrr r r r __all__r rrGrGrGrHs  (0