U YSh^@sldZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z ddgZGdddeZGdddeZdS) 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 SilverLexerc@seZdZdZdZdZdgZdgZdZde fde fd e fd e j fd e j fd e j d fedddefedddejfedddejfeddefdejfdefdefgde j fd e j dfde j dfde j fgdejfgdZdS) r z! For Boogie source code. Boogiez-https://boogie-docs.readthedocs.io/en/latest/boogiez*.bplz2.1\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 filenames version_addedr rDocSingle MultilinerrReservedTyperrr Emphr rr IntegertokensrHrHO/root/rtd-docs/venv/lib/python3.8/site-packages/pygments/lexers/verification.pyr sB   c@seZdZdZdZdgZddgZdZdZde fd e fd e fd e j fd e j fd e j dfedddefedddejfedddejfeddefdejfdefdefgde 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#ZreturnsfieldZdefinefoldZunfoldZinhaleZexhalenewassertZassumeZgotor$r ZelseifrZfreshZ constrainingZSeqSetZMultisetunion intersectionZsetminusZsubsetZ unfoldinginoldrraccZwildcardwritenoneepsilonpermuniqueapplypackageZfoldinglabelZforpermr%r&)r"rr!)ZIntZPermZBoolZRefRationalr,z[!%&*+=|?:<>/\-\[\]]r-r.z[\w$]\w*r/r0r1r2r3r4r5N)r7r8r9r:r;r=r>r<r?r rr@rArBrrr DecoratorrDrrr rEr r rFrGrHrHrHrIrAsB      N)r:Zpygments.lexerrrrZpygments.tokenrrrrr r r r __all__r rrHrHrHrIs  (/