+
    TBi^                     z    R t ^ RIHtHtHt ^ RIHtHtHtH	t	H
t
HtHtHt RR.t ! R R]4      t ! R R]4      tR# )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                      ] tR t^tRtRtRtR.tR.tRt	RR]
3R	]
3R
]
3R]P                  3R]P                  3R]P                  R3]! RRR7      ]3]! RRR7      ]P"                  3]! R RR7      ]P$                  3]! R4      R]3R]P,                  3R]3R]3.RR]P                  3R]P                  R3R]P                  R3R]P                  3.RR]P4                  3./tRtR# )!r   z
For Boogie source code.
Boogiez-https://boogie-docs.readthedocs.io/en/latest/boogiez*.bplz2.1root\n\s+\\\n//[/!](.*?)\n	//(.*?)\n/\*comment\bsuffixnumbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])\{.*?\}([{}():;,.])z[a-zA-Z_]\w*[^*/]+#push\*/#pop[*/][0-9]+ N)axiombreakcallensureselseexistsfunctionforallif	invariantmodifies	procedurerequiresthenvarwhile)const)boolintref)__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&       A/usr/lib/python3.14/site-packages/pygments/lexers/verification.pyr   r      sC    D
9CjG	IM 	DMTNdOw{{+7>>*W&&	2 ( 	 $	%
 :e,g.>.>?)%8',,GI8(C&k*d#-
0 	))*W&&0W&&/g''(	
 	'
?"FrN   c                      ] tR t^AtRtRtR.tRR.tRtRt	RR	]
3R
]
3R]
3R]P                  3R]P                  3R]P                  R3]! RRR7      ]3]! R RR7      ]P$                  3]! R!RR7      ]P&                  3]! R4      R]3R]P.                  3R]3R]3.RR]P                  3R]P                  R3R]P                  R3R]P                  3.RR]P4                  3./tRtR# )"r   z
For Silver source code.
Silversilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r   r   r   r   r   r   r   r   r   r   r   z[!%&*+=|?:<>/\-\[\]]r   r   z[\w$]\w*r    r!   r"   r#   r$   r%   r&   N)4resulttruefalsenullmethodr-   	predicateprogramdomainr'   r5   returnsfielddefinefoldunfoldinhaleexhalenewassertassumegotor6   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forperm)r3   r*   r0   )IntPermBoolRefRational)r;   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   r&   rN   rO   r   r   A   sG    DjG'"I
2CM 	DMTNdOw{{+7>>*W&&	2 C 	 $	% 7FW=eLgll[I$h/&k*$5
8 	))*W&&0W&&/g''(	
 	'
G&FrN   N)r?   pygments.lexerr   r   r   pygments.tokenr   r   r   r   r	   r
   r   r   __all__r   r   r&   rN   rO   <module>r      sF    6 5   -
(,* ,^0* 0rN   