jxdZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z ddgZGddeZGddeZy) z pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerincludewords)CommentOperatorKeywordNameNumber PunctuationTextGeneric BoogieLexer SilverLexerceZdZdZdZdZdgZdgZdZde fde fd e fd e jfd e jfd e jd feddefeddej feddej"feddefdej*fdefdefgde jfd e jdfde jdfde jfgdej2fgdZy) rz! For Boogie source code. BoogiezIhttps://github.com/boogie-org/boogie/blob/master/Source/Core/BoogiePL.atgboogiez*.bplz2.1\n\s+\\\n //[/!](.*?)\n //(.*?)\n/\*comment)(actionassertassertsassumeasyncatomicaxiombreakcallelseensuresexistsfalseforallfreefunctiongotohavocifimplementation invariantlambdaleftmeasuremodifiesold preserves procedurepublicrequiresreturnreturnsrightthentruetypeuniquevarwhileyield\bsuffix)const)boolintrealrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])\{.*?\} ([{}():;,.])z [a-zA-Z_]\w*[^*/]+#push\*/#pop[*/][0-9]+rootrrJN)__name__ __module__ __qualname____doc__nameurlaliases filenames version_addedr rDocSingle MultilinerrReservedTyperrr Emphr r r IntegertokensY/var/www/photos/backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.pyrrs< D UCjG IM DM TN dO w{{ + 7>> * W&& 2 T$ %:e ,g.>.> ? 1% @',, O I  8( C  & k * d #3 8)) * W&& 0 W&& / g'' (   ' E%FrgceZdZdZdZdgZddgZdZdZde fd e fd e fd e jfd e jfd e jdfeddefeddej"feddej$feddefdej,fdefdefgde jfd e jdfde jdfde jfgdej2fgdZy )!rz! For Silver source code. Silversilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2rrrrrrr)4resultr<r&nullmethodr) predicateprogramdomainr r?r9fielddefinefoldunfoldinhaleexhalenewrrr*r@r,elseifr#fresh constrainingSeqSetMultisetunion intersectionsetminussubset unfoldinginr3r'r%accwildcardwritenoneepsilonpermr>applypackagefoldinglabelforpermrBrC)r7r$r.)IntPermBoolRefRationalrJz[!%&*+=|?:<>/\-\[\]]rKrLz[\w$]\w*rMrNrOrPrQrRrSN)rUrVrWrXrYr[r\rZr]r rr^r_r`rrr Decoratorrbrrr rcr r rdrerfrgrhrrDs> DjG'"I 2CM DM TN dO w{{ + 7>> * W&& 2 C $ %7 F W =e Lgll [ I  $h /  & k * $ 5 :)) * W&& 0 W&& / g'' (   ' G&FrgN)rXpygments.lexerrrrpygments.tokenrrrr r r r r __all__rrrfrgrhrsF65 - (/*/d0*0rg