o

���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-2021 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
    �Whileyz*.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[^\\"]+)�rootrBN)"�__name__�
__module__�__qualname__�__doc__�name�	filenames�aliases�	mimetypesrr�Single�	Multiliner�Docrr�Reserved�Declarationrr�Constant�Type�	Namespacer
�Builtinr�Bin�Float�Hex�Integer�Char�Escaper	�tokens�r\r\�8/usr/lib/python3/dist-packages/pygments/lexers/whiley.pyr
sz





����
�

�
���



�
��L



�
�N)rG�pygments.lexerrrr�pygments.tokenrrrrr	r
rr�__all__r
r\r\r\r]�<module>
s

(