
    ,h^                     x    d Z ddlmZmZmZ ddlmZmZmZm	Z	m
Z
mZmZmZ ddgZ G d de      Z G d de      Zy)	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                      e Zd ZdZdZdZdgZdgZdZde	fde	fd	e	fd
e
j                  fde
j                  fde
j                  df edd      ef edd      ej                   f edd      ej"                  f ed      defdej*                  fdefdefgde
j                  fde
j                  dfde
j                  dfde
j                  fgdej2                  fgdZy) 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   r1   N)__name__
__module____qualname____doc__nameurlaliases	filenamesversion_addedr   r   DocSingle	Multiliner   r   ReservedTyper   r   r   Emphr   r	   r
   Integertokens     ^/var/www/html/Resume-Scraper/venv/lib/python3.12/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''(	
 '
?"FrN   c                      e Zd ZdZdZdgZddgZdZdZde	fd	e	fd
e	fde
j                  fde
j                  fde
j                  df edd      ef edd      ej"                  f edd      ej$                  f ed      defdej,                  fdefdefgde
j                  fde
j                  dfde
j                  dfde
j                  fgdej2                  fgdZy )!r   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Rationalr1   z[!%&*+=|?:<>/\-\[\]]r2   r3   z[\w$]\w*r4   r5   r6   r7   r8   r9   r:   N)r<   r=   r>   r?   r@   rB   rC   rA   rD   r   r   rE   rF   rG   r   r   r	   	DecoratorrI   r   r   r   rJ   r   r
   rK   rL   rM   rN   rO   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&FrN   N)r?   pygments.lexerr   r   r   pygments.tokenr   r   r   r	   r
   r   r   r   __all__r   r   rM   rN   rO   <module>r      sF    6 5   -
(,* ,^0* 0rN   