
    -                     x    S r SSKJrJrJr  SSKJrJrJrJ	r	J
r
JrJrJr  SS/r " S S\5      r " S S\5      rg)	z
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Lexer for Intermediate Verification Languages (IVLs).

:copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
    )
RegexLexerincludewords)CommentOperatorKeywordNameNumberPunctuationTextGenericBoogieLexerSilverLexerc                      \ rS rSrSrSrSrS/rS/rS\	4S\	4S	\	4S
\
R                  4S\
R                  4S\
R                  S4\" SSS9\4\" SSS9\R                   4\" SSS9\R"                  4\" S5      S\4S\R*                  4S\4S\4/S\
R                  4S\
R                  S4S\
R                  S4S\
R                  4/S\R2                  4/S.rSrg )!r      z0
For Boogie source code.

.. versionadded:: 2.1
Boogiez-https://boogie-docs.readthedocs.io/en/latest/boogiez*.bpl\n\s+\\\n//[/!](.*?)\n	//(.*?)\n/\*comment)axiombreakcallensureselseexistsfunctionforallif	invariantmodifies	procedurerequiresthenvarwhile\bsuffix)const)boolintrefnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])\{.*?\}([{}():;,.])z[a-zA-Z_]\w*[^*/]+#push\*/#pop[*/][0-9]+rootr   r2    N)__name__
__module____qualname____firstlineno____doc__nameurlaliases	filenamesr   r   DocSingle	Multiliner   r   ReservedTyper   r   r   Emphr   r	   r
   Integertokens__static_attributes__r=       /lib/third_party/pygments/lexers/verification.pyr   r      s5   
 D
9CjG	I
 DMTNdOw{{+7>>*W&&	2 ( 	 $	%
 :e,g.>.>?)%8',,GI8(C&k*d#-
2 ))*W&&0W&&/g''(	
 '
?"FrP   c                      \ rS rSrSrSrS/rSS/rS\4S\4S	\4S
\	R                  4S\	R                  4S\	R                  S4\" SSS9\4\" SSS9\R                   4\" SSS9\R"                  4\" S5      S\4S\R*                  4S\4S\4/S\	R                  4S\	R                  S4S\	R                  S4S\	R                  4/S\R0                  4/S.rSrg )!r   B   z0
For Silver source code.

.. versionadded:: 2.2
Silversilverz*.silz*.vprr   r   r   r   r   r   r   )4resulttruefalsenullmethodr!   	predicateprogramdomainr   r)   returnsfielddefinefoldunfoldinhaleexhalenewassertassumegotor*   r#   elseifr   freshconstrainingSeqSetMultisetunionintersectionsetminussubset	unfoldinginoldr"   r    accwildcardwritenoneepsilonpermuniqueapplypackagefoldinglabelforpermr+   r,   )r'   r   r$   )IntPermBoolRefRationalr2   z[!%&*+=|?:<>/\-\[\]]r3   r4   z[\w$]\w*r5   r6   r7   r8   r9   r:   r;   r=   N)r>   r?   r@   rA   rB   rC   rE   rF   r   r   rG   rH   rI   r   r   r	   	DecoratorrK   r   r   r   rL   r   r
   rM   rN   rO   r=   rP   rQ   r   r   B   s4   
 DjG'"I
 DMTNdOw{{+7>>*W&&	2 C 	 $	% 7FW=eLgll[I$h/&k*$5
: ))*W&&0W&&/g''(	
 '
G&FrP   N)rB   pygments.lexerr   r   r   pygments.tokenr   r   r   r	   r
   r   r   r   __all__r   r   r=   rP   rQ   <module>r      sF    6 5   -
(-* -`0* 0rP   