
    5h^                     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-2025 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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\R4                  4/S.rS rg!)"r      z
For Boogie source code.
Boogiez-https://boogie-docs.readthedocs.io/en/latest/boogiez*.bplz2.1\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	filenamesversion_addedr   r   DocSingle	Multiliner   r   ReservedTyper   r   r   Emphr   r	   r
   Integertokens__static_attributes__r=       g/var/www/html/cementerio_25MayoBackend/env/lib/python3.13/site-packages/pygments/lexers/verification.pyr   r      s:    D
9CjG	IM
 DMTNdOw{{+7>>*W&&	2 ( 	 $	%
 :e,g.>.>?)%8',,GI8(C&k*d#-
2 ))*W&&0W&&/g''(	
 '
?"FrQ   c                      \ rS rSrSrSrS/rS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\R4                  4/S .rS!rg")#r   A   z
For Silver source code.
Silversilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   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   rD   rG   r   r   rH   rI   rJ   r   r   r	   	DecoratorrL   r   r   r   rM   r   r
   rN   rO   rP   r=   rQ   rR   r   r   A   s>    DjG'"I
2CM
 DMTNdOw{{+7>>*W&&	2 C 	 $	% 7FW=eLgll[I$h/&k*$5
: ))*W&&0W&&/g''(	
 '
G&FrQ   N)rB   pygments.lexerr   r   r   pygments.tokenr   r   r   r	   r
   r   r   r   __all__r   r   r=   rQ   rR   <module>r      sF    6 5   -
(,* ,^0* 0rQ   