__ __ __ __ _____ _ _ _____ _ _ _ | \/ | \ \ / / | __ \ (_) | | / ____| | | | | | \ / |_ __\ V / | |__) | __ ___ ____ _| |_ ___ | (___ | |__ ___| | | | |\/| | '__|> < | ___/ '__| \ \ / / _` | __/ _ \ \___ \| '_ \ / _ \ | | | | | | |_ / . \ | | | | | |\ V / (_| | || __/ ____) | | | | __/ | | |_| |_|_(_)_/ \_\ |_| |_| |_| \_/ \__,_|\__\___| |_____/|_| |_|\___V 2.1 if you need WebShell for Seo everyday contact me on Telegram Telegram Address : @jackleetFor_More_Tools:
�
�&�g^ � �x � S r SSKJrJrJr SSKJrJrJrJ r J
r
J r J r J
r
SS/r " S S\5 r " S S\5 rg) z�
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lexer for Intermediate Verification Languages (IVLs).
:copyright: Copyright 2006-2024 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 � � \ rS rSrSrSrSrS/rS/rSr S\
4S \
4S
\
4S \ R 4S \ R 4S
\ R S4\" SSS9\4\" SSS9\R" 4\" SSS9\R$ 4\" S5 S\4S\R, 4S\4S\4/S\ R 4S
\ R S4S\ R S 4S \ R 4/S \R4 4/S .rS r g!)"r � z
For Boogie source code.
�Boogiez-https://boogie-docs.readthedocs.io/en/latest/�boogiez*.bplz2.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= � �>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyr r s: � �� �D�
9�C��j�G�� �I��M�
�D�M�
�T�N�
�d�O�
�w�{�{� +�
�7�>�>� *�
�W�&�&� � 2�
� (� � � $�
%�
�:�e�
,�g�.>�.>� ?�
�)�%�
8�'�,�,� G� �I� �
8�(� C�
�� � � &�
�k� *�
�d� #�-
�2 ��)�)� *�
�W�&�&�� 0�
�W�&�&�� /�
�g�'�'� (�
� ���� '�
�?"�FrQ c � � \ rS rSrSrSrS/rSS/rSrSr S \
4S
\
4S \
4S \ R 4S
\ R 4S\ R S4\" SSS9\4\" SSS9\R$ 4\" SSS9\R& 4\" S5 S\4S\R. 4S\4S\4/S\ R 4S\ R S4S \ R S 4S \ R 4/S \R4 4/S .rS!r g")#r �A z
For Silver source code.
�Silver�silverz*.silz*.vprz&https://github.com/viperproject/silverz2.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��j�G��'�"�I�
2�C��M�
�D�M�
�T�N�
�d�O�
�w�{�{� +�
�7�>�>� *�
�W�&�&� � 2�
� C� � � $�
%� �7��
F���� W�
�=�e�
L�g�l�l� [� �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�*� 0rQ