U

`a�[��@sZdZd
dl
mZmZmZ
d
dlmZmZmZm	Z	m
Z
mZmZm
Z

dg
ZGdd�de�ZdS)z�
    pygments.lexers.whiley
    ~~~~~~~~~~~~~~~~~~~~~~

    Lexers for the Whiley language.

    :copyright: Copyright 2006-2017 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
eZ
dZd
ZdZdg
Zdg
Zdg
Zdefde	j
fde	jfd	ej
fd
e	jfeddd
�ejfeddd
�ejfdeejeeeej�fdejfdejfdeejeeeej�fdeejeeeej�fdejfeddd
�ejfdejfdejfdejfdejfdejfdejfdeejejej�fdedfdefd e fd!efgded"fd#ejfd$ejfd%efd&efgd'�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�returnZswitchZcase�default�break�continueZrequiresZensures�where�assertZassume�allZnoZsome�in�is�new�throw�tryZcatch�debug�skipZfailZfiniteZtotalz\b)
�suffix)Zfunction�methodZpublicZprivateZ	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�u32Zu64ZuintZnatZtoStringz[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	MultilinerZDocrrZReservedZDeclarationrrZConstantZTypeZ	Namespacer
ZBuiltinrZBinZFloatZHexZIntegerZCharZEscaper	�tokens�r1r1�8/usr/lib/python3/dist-packages/pygments/lexers/whiley.pyr
sx





����
�

�
���



�
��L



��N)r+Zpygments.lexerrrrZpygments.tokenrrrrr	r
rr�__all__r
r1r1r1r2�<module>s

(