Your IP : 216.73.216.213
B
˽�\� � @ sZ d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
mZmZm
Z
dgZG dd� de�ZdS )z�
pygments.lexers.whiley
~~~~~~~~~~~~~~~~~~~~~~
Lexers for the Whiley language.
:copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�
RegexLexer�bygroups�words)�Comment�Keyword�Name�Number�Operator�Punctuation�String�Text�WhileyLexerc @ sb e Zd ZdZdZdgZdgZdgZdefde j
fde jfd ej
fd
e jfeddd
�ejfeddd
�ejfdeejeeeej�fdejfdejfdeejeeeej�fdeejeeeej�fdejfeddd
�ejfdejfdejfdejfdejfdejfdejfdeejejej�fdedfdefd e fd!efgded"fd#ejfd$ejfd%efd&efgd'�Z!d(S ))r
zO
Lexer for the Whiley programming language.
.. versionadded:: 2.2
ZWhileyz*.whileyZwhileyz
text/x-whileyz\s+z//.*z/\*\*/z(?s)/\*\*.*?\*/z
(?s)/\*.*?\*/)�if�else�while�forZdo�return�switchZcase�default�break�continue�requiresZensures�where�assertZassume�all�noZsome�in�is�new�throw�tryZcatch�debug�skipZfailZfinite�totalz\b)�suffix)�function�method�publicZprivateZ protectedZexportZnativez-(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)Zi8Zi16Zi32Zi64�u8�u16�u32Zu64ZuintZnat�toStringz[01]+bz[0-9]+\.[0-9]+z[0-9]+\.(?!\.)z0x[0-9a-fA-F]+z[0-9]+z'[^\\]'z(')(\\['"\\btnfr])(')�"�stringz
[{}()\[\],.;]u= [+\-*/%&|<>^!~@=:?∀∃∅⊂⊆⊃⊇∪∩≤≥∈∧∨]z[a-zA-Z_]\w*z#popz \\[btnfr]z\\u[0-9a-fA-F]{4}z\\.z[^\\"]+)�rootr- N)"�__name__�
__module__�__qualname__�__doc__�name� filenames�aliasesZ mimetypesr r �SingleZ Multiliner ZDocr r ZReservedZDeclarationr r ZConstantZTypeZ Namespacer
ZBuiltinr �BinZFloatZHexZIntegerZCharZEscaper �tokens� r9 r9 �G/opt/alt/python37/lib/python3.7/site-packages/pygments/lexers/whiley.pyr
s\ N)r2 Zpygments.lexerr r r Zpygments.tokenr r r r r r
r r �__all__r
r9 r9 r9 r: �<module>
s (