U
`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*.bpl\n\s+
//[/!](.*?)\n //(.*?)\n/\*comment)axiombreakcallensureselseexistsfunctionforallif 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
r r Integertokens r> r> >/usr/lib/python3/dist-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*.vprr r r r r r )7resulttrueZfalseZnullmethodr Z predicateZprogramZdomainr r ZreturnsZfieldZdefiner r r ZfoldZunfoldZinhaleZexhalenewassertZassumeZgotor r Zelseifr ZfreshZ constrainingZSeqSetZMultisetunion intersectionZsetminusZsubsetZ unfoldinginoldr r ZaccZwildcardwriteZnoneepsilonZpermuniqueZapplypackageZfoldingZlabelZforpermr! r" )ZIntZPermZBoolZRefr' z[!%&*+=|?:<>/\-\[\]]r( z[\w$]\w*r) r* r+ r, r- r. r/ N)r1 r2 r3 r4 r5 r6 r7 r r r8 r9 r: r r r; r r r
r r r< r= r> r> r> r? r
@ s8
N)r4 Zpygments.lexerr r r Zpygments.tokenr r r r r r
r __all__r r
r> r> r> r? s
$-