o
niy @ 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
Boogieboogiez*.bpl\n\s+
//[/!](.*?)\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
r r Integertokens rE rE g/home/ubuntu/SoloSpeech/.venv/lib/python3.10/site-packages/wandb/vendor/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
Silversilverz*.silz*.vprr r r r r r )7resulttruefalsenullmethodr predicateprogramdomainr r$ returnsfielddefiner" r r foldunfoldinhaleexhalenewassertassumegotor% r elseifr fresh constrainingSeqSetMultisetunion intersectionsetminussubset unfoldinginoldr r accwildcardwritenoneepsilonpermuniqueapplypackagefoldinglabelforpermr& r' )IntPermBoolRefr- z[!%&*+=|?:<>/\-\[\]]r. z[\w$]\w*r/ r0 r1 r2 r3 r4 r5 N)r7 r8 r9 r: r; r< r= r r r> r? r@ r r rB r r r
r r rC rD rE rE rE rF r
@ s:
N)r: pygments.lexerr r r pygments.tokenr r r r r r
r __all__r r
rE rE rE rF s
$-