a
T_\ @ 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-2020 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)axiombreakZcallensureselseexistsfunctionforallif invariantZmodifiesZ procedurerequiresZthenvarwhile\bsuffix)Zconst)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 rA rA >/usr/lib/python3/dist-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 Z predicateZprogramZdomainr r returnsZfieldZdefineZfoldZunfoldZinhaleZexhalenewassertZassumeZgotor! r Zelseifr ZfreshZ constrainingZSeqSetZMultisetunion intersectionZsetminusZsubsetZ unfoldinginoldr r ZaccZwildcardwriteZnoneepsilonZpermuniqueZapplypackageZfoldingZlabelZforpermr" r# )r r r )ZIntZPermZBoolZRefZRationalr( z[!%&*+=|?:<>/\-\[\]]r) r* z[\w$]\w*r+ r, r- r. r/ r0 r1 N)r3 r4 r5 r6 r7 r8 r9 r r r: r; r< r r r Z Decoratorr= r r r r> r
r r? r@ rA rA rA rB r B s>
N)r6 Zpygments.lexerr r r Zpygments.tokenr r r r r r
r r __all__r
r rA rA rA rB s
(/