o
aD @ 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
Boogieboogiez*.bpl\n\s+\\\n
//[/!](.*?)\n //(.*?)\n/\*comment)axiombreakcallensureselseexistsfunctionforallif invariantmodifies procedurerequiresthenvarwhile\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 ReservedTyper r r Emphr
r r Integertokens rI rI >/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
Silversilverz*.silz*.vprr r r r r r r )4resulttruefalsenullmethodr predicateprogramdomainr r& returnsfielddefinefoldunfoldinhaleexhalenewassertassumegotor' r elseifr fresh constrainingSeqSetMultisetunion intersectionsetminussubset unfoldinginoldr r accwildcardwritenoneepsilonpermuniqueapplypackagefoldinglabelforpermr( r) )r$ r r! )IntPermBoolRefRationalr/ z[!%&*+=|?:<>/\-\[\]]r0 r1 z[\w$]\w*r2 r3 r4 r5 r6 r7 r8 N)r: r; r< r= r> r? r@ r r rA rB rC r r r DecoratorrE r r r rF r
r rG rH rI rI rI rJ r A s@
N)r= pygments.lexerr r r pygments.tokenr r r r r r
r r __all__r
r rI rI rI rJ s
(/