�
|�e� � �` � d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
m Z m Z m
Z
dgZ G d� de� Zy)z�
pygments.lexers.whiley
~~~~~~~~~~~~~~~~~~~~~~
Lexers for the Whiley language.
:copyright: Copyright 2006-2023 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
�� ej2 fdej6 fdej8 fdej8 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"y))*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 sS � ��
�D�
�C�� �I��j�G� �!�I� �T�N� �g�n�n� %�
��)�)� *�
���� ,�
�w� 0� 0� 1� � #� ,1�
2� 4;�3C�3C�
E� � $�,1�3�4;�4G�4G�
I� >�
�g�)�)�4��t�W�=M�=M�
N�
P�
#�W�%5�%5� 6�
/�� � � >�
3�
�g�'�'��{�D�'�BS�BS�
T�
V�
=�
�g�'�'��t�T�7�;L�;L�
M�
O�
"�G�$5�$5� 6� � � %*�+� -1�L�L�
:� ��
�
� #� �� � � -�
�� � � -� ��
�
� +�
���� '� �V�[�[� )�
)�
�f�k�k�6�=�=�&�+�+�
>�
@� �6�8� $� �{� +�� �
� �d� #�SJ
�X �6�6� "�
�6�=�=� )�
!�6�=�=� 1�
�V� �
�� �
�YS�Fr` N)rI �pygments.lexerr r r �pygments.tokenr r r r r
r r r
�__all__r r_ r` ra �<module>re s8 ��� 7� 6� � � � �/��b�*� br` |