File: //lib/python3/dist-packages/pygments/lexers/__pycache__/verification.cpython-311.pyc
�
�E�c- � � � d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
m Z m Z m
Z
ddgZ G d� de� � Z G d� de� � ZdS ) z�
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lexer for Intermediate Verification Languages (IVLs).
:copyright: Copyright 2006-2022 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 �h � e Zd ZdZdZdZdgZdgZdefdefdefd e j
fd
e j fd e j d f e
d
d�� � ef e
dd�� � ej f e
dd�� � ej f ed� � defdej fdefdefgde j fd e j dfde j dfde j fgd ej fgd �Zd S ) r z<
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 r1 N)�__name__�
__module__� __qualname__�__doc__�name�url�aliases� filenamesr r �Doc�Single� Multiliner r �Reserved�Typer r r
�Emphr r r
�Integer�tokens� � �>/usr/lib/python3/dist-packages/pygments/lexers/verification.pyr r sP � � � � � �� �
�D�
9�C��j�G�� �I�
�D�M�
�T�N�
�d�O�
�w�{� +�
�7�>� *�
�W�&� � 2�
�U� (� � � � � $�
%�
�U�:�e�
,�
,�
,�g�.>� ?�
�U�)�%�
8�
8�
8�'�,� G� �G�I� � �
8�(� C�
�� � &�
�k� *�
�d� #�-
�2 ��)� *�
�W�&�� 0�
�W�&�� /�
�g�'� (�
� ��� '�
�?"� "�F�F�FrM c �f � e Zd ZdZdZdgZddgZdefdefdefd ej fd
ej
fd ej d f e d
d�� � e
f e dd�� � ej f e dd�� � e
j f ed� � defdej fdefdefgdej fd ej dfdej dfdej fgd ej fgd �Zd S ) r z<
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�Rationalr1 z[!%&*+=|?:<>/\-\[\]]r2 r3 z[\w$]\w*r4 r5 r6 r7 r8 r9 r: N)r< r= r> r? r@ rB rC r r rD rE rF r r r � DecoratorrH r r r
rI r r
rJ rK rL rM rN r r B sP � � � � � �� �
�D��j�G��'�"�I�
�D�M�
�T�N�
�d�O�
�w�{� +�
�7�>� *�
�W�&� � 2�
�U� C� � � � � $�
%� �U�7��
F�
F�
F��� W�
�U�=�e�
L�
L�
L�g�l� [� �G�I� � �
$�h� /�
�� � &�
�k� *�
�$� �5
�: ��)� *�
�W�&�� 0�
�W�&�� /�
�g�'� (�
� ��� '�
�G&� &�F�F�FrM N)r? �pygments.lexerr r r �pygments.tokenr r r r r
r r r
�__all__r r rL rM rN �<module>r� s� ��� � 6� 5� 5� 5� 5� 5� 5� 5� 5� 5� � � � � � � � � � � � � � � � � � � � � �-�
(��-� -� -� -� -�*� -� -� -�`0� 0� 0� 0� 0�*� 0� 0� 0� 0� 0rM