File: //opt/alt/python311/lib/python3.11/site-packages/pygments/lexers/__pycache__/whiley.cpython-311.pyc
�
�;f� � �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-2024 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 ZdZdZdZdgZdgZdgZdZ de
fd e j fd
e j
fd ej 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 fd ej fd ej fd eej ej! ej � � fd ed fd!efd"e"fd#efgd ed$fd%ej! fd&ej! fd'efd(efgd)�Z#d*S )+r z4
Lexer for the Whiley programming language.
�Whileyzhttp://whiley.org/z*.whiley�whileyz
text/x-whileyz2.2z\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� mimetypes�
version_addedr
r �Single� Multiliner �Docr r �Reserved� Declarationr r �Constant�Type� Namespacer �Builtinr �Bin�Float�Hex�Integer�Char�Escaper
�tokens� � �I/opt/alt/python311/lib/python3.11/site-packages/pygments/lexers/whiley.pyr r se � � � � � �� � �D�
�C�� �I��j�G� �!�I��M� �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�Fra N)rI �pygments.lexerr r r �pygments.tokenr r r r r
r r r
�__all__r r` ra rb �<module>rf s� ��� � 7� 6� 6� 6� 6� 6� 6� 6� 6� 6� � � � � � � � � � � � � � � � � � � � � �/��a� a� a� a� a�*� a� a� a� a� ara