B
`D @ 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*.bplz\nz\s+z\\\nz
//[/!](.*?)\nz //(.*?)\nz/\*comment)axiombreakcallensureselseexistsfunctionforallif invariantZmodifiesZ procedurerequiresZthenvarwhilez\b)suffix)const)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])z\{.*?\}z ([{}():;,.])z [a-zA-Z_]\w*z[^*/]+z#pushz\*/z#popz[*/]z[0-9]+)rootr r" N)__name__
__module__ __qualname____doc__namealiases filenamesr r DocSingle Multiliner r ZReservedTyper r r Emphr
r r Integertokens r2 r2 d/home/kop/projects/devel/pgwui/test_venv/lib/python3.7/site-packages/pygments/lexers/verification.pyr
s2
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*.vprz\nz\s+z\\\nz
//[/!](.*?)\nz //(.*?)\nz/\*r )4resulttruefalsenullmethodr predicateprogramdomainr r ZreturnsfieldZdefinefoldZunfoldZinhaleZexhalenewassertZassumegotor r Zelseifr ZfreshZ constrainingZSeqSetZMultisetunion intersectionZsetminusZsubsetZ unfoldinginoldr r accZwildcardwritenoneepsilonZpermuniqueapplypackageZfoldinglabelZforpermz\b)r )r r r )ZIntZPermZBoolZRefRationalr" z[!%&*+=|?:<>/\-\[\]]z\{.*?\}z ([{}():;,.])z[\w$]\w*z[^*/]+z#pushz\*/z#popz[*/]z[0-9]+)r# r r" N)r$ r% r& r' r( r) r* r r r+ r, r- r r r Z Decoratorr. r r r r/ r
r r0 r1 r2 r2 r2 r3 r A s2
N)r' Zpygments.lexerr r r Zpygments.tokenr r r r r r
r r __all__r
r r2 r2 r2 r3 s
(/