a
;@bD @ sl d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
m Z m Z m
Z
ddgZG dd deZG dd deZdS ) z
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lexer for Intermediate Verification Languages (IVLs).
:copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)
RegexLexerincludewords)CommentOperatorKeywordNameNumber PunctuationTextGeneric BoogieLexer SilverLexerc @ s e Zd ZdZdZdgZdgZdefdefdefdej fd ej
fd
ej d fe d d
de
fe dd
de
jfe dd
de
jfeddefdejfdefdefgdej fd
ej dfdej dfdej fgdejfgd Zd S ) r
z^
For `Boogie `_ source code.
.. versionadded:: 2.1
ZBoogieZboogiez*.bpl\n\s+\\\n
//[/!](.*?)\n //(.*?)\n/\*comment)axiombreakcallensureselseexistsfunctionforallif invariantZmodifiesZ procedurerequiresZthenvarwhile\bsuffix)const)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])\{.*?\} ([{}():;,.])z [a-zA-Z_]\w*[^*/]+#push\*/#pop[*/][0-9]+rootr r* N)__name__
__module__ __qualname____doc__namealiases filenamesr r DocSingle Multiliner r ZReservedTyper r r Emphr
r r Integertokens rC rC ;lib/python3.9/site-packages/pygments/lexers/verification.pyr
s>
c @ s e Zd ZdZdZdgZddgZdefdefdefd ej fd
ej
fd ej d fe d
dde
fe dddejfe ddde
jfeddefdejfdefdefgdej fd ej dfdej dfdej fgd ejfgd Zd S ) r zk
For `Silver `_ source code.
.. versionadded:: 2.2
ZSilverZsilverz*.silz*.vprr r r r r r r )4resulttrueZfalseZnullmethodr predicateZprogramdomainr r! returnsZfieldZdefineZfoldZunfoldZinhaleZexhalenewassertZassumeZgotor" r Zelseifr ZfreshZ constrainingZSeqSetZMultisetunion intersectionZsetminusZsubsetZ unfoldinginoldr r ZaccZwildcardwriteZnoneepsilonZpermuniqueZapplypackageZfoldingZlabelZforpermr# r$ )r r r )ZIntZPermZBoolZRefZRationalr* z[!%&*+=|?:<>/\-\[\]]r+ r, z[\w$]\w*r- r. r/ r0 r1 r2 r3 N)r5 r6 r7 r8 r9 r: r; r r r< r= r> r r r Z Decoratorr? r r r r@ r
r rA rB rC rC rC rD r A s>
N)r8 Zpygments.lexerr r r Zpygments.tokenr r r r r r
r r __all__r
r rC rC rC rD s
(/