B
`a[y @ sh d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
m Z m Z ddgZ
G dd deZG dd deZdS ) z
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lexer for Intermediate Verification Languages (IVLs).
:copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
)
RegexLexerincludewords)CommentOperatorKeywordNameNumber Punctuation
Whitespace BoogieLexer SilverLexerc
@ s e Zd ZdZdZdgZdgZdefdefdej fdej
fd ej d
fe d d d
e
fe dd d
e
jfe dd d
e
jfeddefdefdefg dej fd ej dfdej dfdej fgdejfgdZdS ) r z^
For `Boogie `_ source code.
.. versionadded:: 2.1
ZBoogieZboogiez*.bplz\nz\s+z
//[/!](.*?)\nz //(.*?)\nz/\*comment)axiombreakZcallensureselseexistsfunctionforallif invariantZmodifiesZ procedurerequiresZthenvarwhilez\b)suffix)Zconst)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])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
r r Integertokens r. r. ;lib/python3.7/site-packages/pygments/lexers/verification.pyr s.
c @ s e Zd ZdZdZdgZddgZdefdefdej fd ej
fd
ej d fe d d
de
fe dd
de
jfeddefdefdefg dej fd
ej dfdej dfdej fgdejfgdZdS ) r
zk
For `Silver `_ source code.
.. versionadded:: 2.2
ZSilverZsilverz*.silz*.vprz\nz\s+z
//[/!](.*?)\nz //(.*?)\nz/\*r )7resulttrueZfalseZnullmethodr Z predicateZprogramZdomainr r ZreturnsZfieldZdefiner r r ZfoldZunfoldZinhaleZexhalenewassertZassumeZgotor r Zelseifr ZfreshZ constrainingZSeqSetZMultisetunion intersectionZsetminusZsubsetZ unfoldinginoldr r ZaccZwildcardwriteZnoneepsilonZpermuniqueZapplypackageZfoldingZlabelZforpermz\b)r )ZIntZPermZBoolZRefr 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+ r r r
r r r, r- r. r. r. r/ r
@ s,
N)r$ Zpygments.lexerr r r Zpygments.tokenr r r r r r
r __all__r r
r. r. r. r/
s
$-