o Th^@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 invariantmodifies procedurerequiresthenvarwhile\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 IntegertokensrKrK]/home/air/segue/gemini/back/venv/lib/python3.10/site-packages/pygments/lexers/verification.pyr sD    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&returnsfielddefinefoldunfoldinhaleexhalenewassertassumegotor'r elseifrfresh constrainingSeqSetMultisetunion intersectionsetminussubset unfoldinginoldrraccwildcardwritenoneepsilonpermuniqueapplypackagefoldinglabelforpermr(r))r$rr!)IntPermBoolRefRationalr/z[!%&*+=|?:<>/\-\[\]]r0r1z[\w$]\w*r2r3r4r5r6r7r8N)r:r;r<r=r>r@rAr?rBr rrCrDrErrr DecoratorrGrrr rHr r rIrJrKrKrKrLrAsD       N)r=pygments.lexerrrrpygments.tokenrrrrr r r r __all__r rrKrKrKrLs  (/