�
|�e- � �x � d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
m Z m Z m
Z
ddgZ G d� de� Z G d� de� Zy) z�
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lexer for Intermediate Verification Languages (IVLs).
:copyright: Copyright 2006-2023 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 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 ej0 fgd �Zy ) 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 s5 � ��
�D�
9�C��j�G�� �I�
�D�M�
�T�N�
�d�O�
�w�{�{� +�
�7�>�>� *�
�W�&�&� � 2�
� (� � � $�
%�
�:�e�
,�g�.>�.>� ?�
�)�%�
8�'�,�,� G� �I� �
8�(� C�
�� � � &�
�k� *�
�d� #�-
�2 ��)�)� *�
�W�&�&�� 0�
�W�&�&�� /�
�g�'�'� (�
� ���� '�
�?"�FrM c � � 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 �Zy ) 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 s4 � ��
�D��j�G��'�"�I�
�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&�FrM N)r? �pygments.lexerr r r �pygments.tokenr r r r r
r r r
�__all__r r rL rM rN �<module>r� sF ��� 6� 5� � � � �-�
(��-�*� -�`0�*� 0rM |