File: //lib/python3/dist-packages/pygments/lexers/__pycache__/whiley.cpython-311.pyc
�
�E�c� � �h � d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
m Z m Z m
Z
dgZ G d� de� � ZdS )z�
pygments.lexers.whiley
~~~~~~~~~~~~~~~~~~~~~~
Lexers for the Whiley language.
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�
RegexLexer�bygroups�words)�Comment�Keyword�Name�Number�Operator� Punctuation�String�Text� WhileyLexerc � � e Zd ZdZdZdZdgZdgZdgZde fde
j fd e
j fd
e
j fd e
j f ed d
�� � ej f edd
�� � ej fd eej e ee ej � � fdej fdej fd eej e ee ej � � fd eej e ee ej � � fdej f edd
�� � ej fdej fdej fdej fdej fdej fd e
j fd ee
j e
j e
j � � fd e
d fd efd!e!fd"efgd e
d#fd$e
j fd%e
j fd&e
fd'e
fgd(�Z"d)S )*r zO
Lexer for the Whiley programming language.
.. versionadded:: 2.2
�Whileyzhttp://whiley.org/z*.whiley�whileyz
text/x-whileyz\s+z//.*z/\*\*/z(?s)/\*\*.*?\*/z
(?s)/\*.*?\*/) �if�else�while�for�do�return�switch�case�default�break�continue�requires�ensures�where�assert�assume�all�no�some�in�is�new�throw�try�catch�debug�skip�fail�finite�totalz\b)�suffix)�function�method�public�private� protected�export�nativez-(constant|type)(\s+)([a-zA-Z_]\w*)(\s+)(is)\bz(true|false|null)\bz (bool|byte|int|real|any|void)\bz#(import)(\s+)(\*)([^\S\n]+)(from)\bz-(import)(\s+)([a-zA-Z_]\w*)([^\S\n]+)(from)\bz(package|import)\b) �i8�i16�i32�i64�u8�u16�u32�u64�uint�nat�toStringz[01]+bz[0-9]+\.[0-9]+z[0-9]+\.(?!\.)z0x[0-9a-fA-F]+z[0-9]+z'[^\\]'z(')(\\['"\\btnfr])(')�"�stringz
[{}()\[\],.;]zg[+\-*/%&|<>^!~@=:?\u2200\u2203\u2205\u2282\u2286\u2283\u2287\u222A\u2229\u2264\u2265\u2208\u2227\u2228]z [a-zA-Z_]\w*z#popz \\[btnfr]z\\u[0-9a-fA-F]{4}z\\.z[^\\"]+)�rootrD N)#�__name__�
__module__� __qualname__�__doc__�name�url� filenames�aliases� mimetypesr
r �Single� Multiliner �Docr r �Reserved� Declarationr r �Constant�Type� Namespacer �Builtinr �Bin�Float�Hex�Integer�Char�Escaper
�tokens� � �8/usr/lib/python3/dist-packages/pygments/lexers/whiley.pyr r s` � � � � � �� �
�D�
�C�� �I��j�G� �!�I� �T�N� �g�n� %�
��)� *�
��� ,�
�w� 0� 1� �U� #� ,1�
2� 2� 2� 4;�3C�
E� �U� $�,1�3� 3� 3�4;�4G�
I� >�
�X�g�)�4��t�W�=M�
N�
N�
P�
#�W�%5� 6�
/�� � >�
3�
�X�g�'��{�D�'�BS�
T�
T�
V�
=�
�X�g�'��t�T�7�;L�
M�
M�
O�
"�G�$5� 6� �U� � %*�+� +� +� -1�L�
:� ��
� #� �� � -�
�� � -� ��
� +�
��� '� �V�[� )�
)�
�X�f�k�6�=�&�+�
>�
>�
@� �6�8� $� �{� +�� �
� �d� #�SJ
�X �6�6� "�
�6�=� )�
!�6�=� 1�
�V� �
�� �
�YS� S�F�F�Fr` N)rI �pygments.lexerr r r �pygments.tokenr r r r r
r r r
�__all__r r_ r` ra �<module>re s� ��� � 7� 6� 6� 6� 6� 6� 6� 6� 6� 6� � � � � � � � � � � � � � � � � � � � � �/��b� b� b� b� b�*� b� b� b� b� br`