Your IP : 216.73.216.61
B
̽�\�l � @ s� d Z ddlZddlmZmZmZmZmZ ddlm Z m
Z
m Z m Z m
Z
mZmZmZmZ dddgZG dd� de�ZG d d� de�ZG d
d� de�ZdS ) z�
pygments.lexers.ml
~~~~~~~~~~~~~~~~~~
Lexers for ML family languages.
:copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�
RegexLexer�include�bygroups�default�words) �Text�Comment�Operator�Keyword�Name�String�Number� Punctuation�Error�SMLLexer�
OcamlLexer�OpaLexerc @ s* e Zd ZdZdZdgZdddgZddgZed �Z ed
�Z
ed �Z d Z d
Z
dd� Zdd� Zdd� Zdd� Zdefdejdfgdedfded fd ejd fd ejdfd ejd fgd!d"�d#d$� e D �� efd%ejd&fd'ejd(fd)e j fd*e j fd+e j fd,e j fd-e j fd.e j fd/e j fd0e j!fd1e e j!fd2e
e j!fd3ejd4fd5ed6fd7ejd8fd9ejd:fd;e j"fd<e ed=fd!e efd!e
efgd<e efd!e ed fd!e
ed fde#fd>e#fge$d�ge%d?�d@ejdAfdBejdCfe%dD�e%dE�d>e#fge%d?�dFefdejdfdGejdHfdIejdJfdKedHfdLejdMfe%dD�e%dE�d>e#fg
eej�eej�dNd"�e � ed fge%d?�e%dO�d!e e j&fe$d �ge%d?�d;e j"fdPedQfd!e e j'd fd!e
e j'd fe$d �ge%d?�d;e j"fdPedQfdRe e
f e(e j)ee�d fdRe
e
f e(e j)ee�d fd!e e j)d fd!e
e j)d fe$d �ge%d?�e%dO�d;e j"fdPedQfdSe
edTfd!e ej*fd!e
ej*fd>e#d fge%d?�dUejdVfe%dO�e%dE�d>e#d fge%d?�e%dO�d;e j"fdPedQfdWe(eeej�d fdSe
edXfd!e ej*fd!e
ej*fd>e#d fg e%d?�dUejdYfdZejdVfd[ejfd\e e(eee j+�fd]e
e(eee j+�fe%dO�e%dE�d>e#fg e%d?�d^e e(ejee j+�fd_e
e(ejee j+�fd[ejfe%dO�e%dE�d>e#fge%d?�d!e e j+d fd!e
e j+d fd>e#d fgdFefdejdfd;e j"fe e fd`efdaed fe
e fgdbejfdejdcfddejd fdeejfgdf�Z,dgS )hr zB
For the Standard ML language.
.. versionadded:: 1.5
z Standard MLZsmlz*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml))Zabstype�andZandalso�as�caseZdatatype�do�else�end� exception�fn�funZhandle�if�inZinfixZinfixr�let�localZnonfix�of�op�openZorelse�raise�rec�then�type�val�withZwithtype�whileZeqtype�functorr Zsharing�sigZ signature�structZ structure�where)�:z\|�=z=>z->�#z:>)
�(�)�[�]�{�}�,�;z...�_z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c C s: d| fdt jfdt jfdt jfdt jfdt jfd| dfgS ) Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]z
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\�"z#pop)r �EscapeZInterpol)Zwhatkind� r< �C/opt/alt/python37/lib/python3.7/site-packages/pygments/lexers/ml.py�stringy= s zSMLLexer.stringyc c sP |� d�| jkrt}ntj}|�d�||� d�fV |�d�t|� d�fV d S )N� � )�group�alphanumid_reservedr r � Namespace�startr )�self�match�tokenr< r< r= �long_id_callbackL s
zSMLLexer.long_id_callbackc c sL |� d�| jkrt}n|� d�| jkr,t}nt}|�d�||� d�fV d S )Nr? )rA rB r �symbolicid_reservedr rD )rE rF rG r< r< r= �end_id_callbackT s zSMLLexer.end_id_callbackc c sF |� d�}|| jkr tj}n|| jkr,t}nt}|�d�||fV d S )Nr? )rA rB r
�ReservedrI r r rD )rE rF �strrG r< r< r= � id_callback] s
zSMLLexer.id_callbackz\s+z\(\*�commentz\(|\[|\{�mainz\)|\]|\}z#popz\b(let|if|local)\b(?!\'))rO rO z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')z(%s)�|c c s | ]}t �|�V qd S )N)�re�escape)�.0�zr< r< r= � <genexpr>} s zSMLLexer.<genexpr>z#"�charr: �stringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z
~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(%s)z#\s+(%s)z \b(datatype|abstype)\b(?!\')�dnamez(?=\b(exception)\b(?!\'))�enamez4\b(functor|include|open|signature|structure)\b(?!\')�snamez\b(type|eqtype)\b(?!\')�tnamez \'[\w\']*z(%s)(\.)�dottedz\S+�
whitespacez\b(val|and)\b(?!\')�vnamez\b(fun)\b(?!\'))z#popzmain-fun�fname�
delimiters�corez\sz\b(fun|and)\b(?!\')r_ z\b(val)\b(?!\'))z#poprO r^ z\|z\b(case|handle)\b(?!\'))z#poprO z(?=\b(%s)\b(?!\'))�breakoutz\(�tyvarseqz(%s)(\s*)(=(?!%s))z=(?!%s))z#pop�typbindz\b(and)\b(?!\'))z#popr[ z(=)(\s*)(datatype))z#pop�datbind�datcon)z#poprX z\b(withtype)\b(?!\')z\b(of)\b(?!\')z
(\|)(\s*)(%s)z
(\|)(\s+)(%s)z(exception|and)\b(\s+)(%s)z(exception|and)\b(\s*)(%s)r7 z\)z[^(*)]z#pushz\*\)z[(*)])r] r` ra r\ �rootrO zmain-funrV rW rb rZ r_ r^ r[ rd rX re rY rf rc rN N)-�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�setrB rI Znonid_reservedZ
alphanumid_reZ
symbolicid_rer> rH rJ rM r r Z Multiliner r
rK �joinr �Char�Doubler
�Hex�Integer�Floatr ZLabelZ Decoratorr r r rC ZFunctionr �Variable�Type�Class�tokensr< r< r< r= r s2
c @ s� e Zd ZdZdZdgZddddgZdgZd Zd
Z d Z
d Z d
Z dZ
dZdejfdejfdejfgdefdejjfdejdfdejfdedfdd�e� efd d�e d d d � � efd e
e e
f efdd�e � ejfdd�e� ej fd efd!e j fd"e j fd#e j fd$e j!fd%e j"fd&ej#fd'ej#fd(efd)ej$d*fd+ej%fgd,efd-ed.fd/ed0fd1efgd2ej$fe&d3�d4ej$fd)ej$d0fgdefd5e'fd6ejfd7ejd0fd8ed0fe(d0�gd9�Z)d S ):r z<
For the OCaml language.
.. versionadded:: 0.7
ZOCamlZocamlz*.mlz*.mliz*.mllz*.mlyz text/x-ocaml)0r �assert�begin�classZ
constraintr ZdoneZdowntor r r �external�false�forr �functionr* r r r ZinheritZ initializerZlazyr rF �method�moduleZmutable�new�objectr r" Zprivater# r$ r+ r, r% �to�true�tryr& �valuer' ZvirtualZwhenr) r( ))z!=r0 �&z&&z\(z\)z\*z\+r7 �-z-\.z->z\.z\.\.r. z::z:=z:>r8 z;;�<z<-r/ �>z>]z>\}z\?z\?\?z\[z\[<z\[>z\[\|r4 r9 �`z\{z\{<z\|z\|]z\}�~z[!$%&*+\./:<=>?@^|~-])r ZasrZlandZlorZlslZlxor�mod�orz[!?~]z[=<>@^|&+\*/$%-])Zunit�int�float�boolrW rV �listZarrayz
\\[\\"\'ntbr]z
\\[0-9]{3}z\\x[0-9a-fA-F]{2}z\s+zfalse|true|\(\)|\[\]z\b([A-Z][\w\']*)(?=\s*\.)r\ z\b([A-Z][\w\']*)z \(\*(?![)])rN z\b(%s)\brP z(%s)N���z
(%s|%s)?%sz
[^\W\d][\w']*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z0[xX][\da-fA-F][\da-fA-F_]*z0[oO][0-7][0-7_]*z0[bB][01][01_]*z\d[\d_]*z7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'z'.'�'r: rW z[~?][a-z][\w\']*:z[^(*)]+z\(\*z#pushz\*\)z#popz[(*)]z[^\\"]+zescape-sequencez\\\nz\.z[A-Z][\w\']*(?=\s*\.)z [A-Z][\w\']*z
[a-z_][\w\']*)zescape-sequencerg rN rW r\ )*rh ri rj rk rl rm rn ro �keywordsZkeyoptsZ operatorsZword_operatorsZ prefix_symsZ
infix_symsZ
primitivesr r; r r �Builtin�PseudorC ry r rq r
r ZWordrx r
rv rt �Oct�Binru rr rs rw r r r rz r< r< r< r= r e sf
c @ s� e Zd ZdZdZdgZdgZdgZdZdZ dZ
d Z d
e j
fd e j
fd e j
fgd
edfdefged�defged�eeddd�efde d ejjfdejfdejfdejfdejfdejfdejfd ejfd ejfd e j d fd e j fd!e d"fd#e d$fd%e j d&fd'ej fd(e
d) ej fd*ej!fd+e
d) efd,e
e fd,e e fd-e d.fd/e ej"fd0e e j fd1e j fe efged�d2ej"fe#d3�ged�d4ej"d5fd6ej"d7fe d4 ej"d5fe ej"d$fd/e ej"fe#d$�ged�e#d8�ged�d9ej"d:fe#d$�ged�d2ej"d;fd<ej"d=fe#d$�ged�d>ej"d?fd2ej"d;fe#d$�ged�d@ej"fdAej"fd4ej"d"fdBej"d$fged�dCej"fdAej"fd!ej"d"fd#ej"d$fgdDefd
ed"fdEed$fdAefgdFe j fd e j d$fd!e dGfedH�gdIe j fdJe j d$fd!e dGfedH�gdKe j dLfdMe j dNfgdOe j d$fgdefdPe j dQfdRe j d$fdMe j dNfgd/e j dSfd e j dTfd0e e j d$fd1e j dUfdVe j d$fd!e dUfgdWedXfdYe j dZfd[e j d&fd!e dGfd\e j fgd]ed$fd^efgd_�Z$d`S )ar zU
Lexer for the Opa language (http://opalang.org).
.. versionadded:: 1.5
ZOpaZopaz*.opaz
text/x-opa) r r r| r ZclientZcssZdatabaseZdbr r r r~ Zforallr� r �importrF r� r� �package�parserr$ Zserverr% r& r' r( Z
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]z
\\[\\"\'ntr}]z
\\[0-9]{3}z\\x[0-9a-fA-F]{2}z/\*znested-commentz//.*?$�commentsz\s+zcomments-and-spacesz\b)�prefix�suffix�@z-?.[\d]+([eE][+\-]?\d+)z-?\d+.\d*([eE][+\-]?\d+)z-?\d+[eE][+\-]?\d+z0[xX][\da-fA-F]+z 0[oO][0-7]+z
0[bB][01]+z\d+z#[\da-fA-F]{3,6}r: rW z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'z\{z#pushz\}z#popz<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!r2 z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r. r& r� r0 z#(?=\{)z->)z#popz
type-lhs-1ztype-with-slashz\()z#popz
type-tuplez~?\{)z#popz type-record)z#popz slash-type-1ztype-1�/)z#popztype-1)z#popr& z(?=,))z#popz
type-arrowz
,(?=[^:]*?->)ztype-with-slashz[^()/*]+z[/*]z\)z[^{}/*]+z[^/*]+z\*/z[^\\"{]+rg zescape-sequencez [^\\\'{]+z\'z[\w\-:]+)z#popz html-attrr� )z#popz html-contentz [\w\-:]*>z [\w\-:]+=zhtml-attr-valuez/>)z#popz
single-string)z#poprW )z#poprg z [^"\'{`=<>]+z<!--z html-commentz</)z#popz html-end-tagr� z[^<{]+z-->z[^\-]+|-)zescape-sequencer� zcomments-and-spacesrg r& ztype-1ztype-with-slashz slash-type-1z
type-lhs-1z
type-arrowz
type-tuplez type-recordznested-commentrW z
single-stringz
html-open-tagz html-end-tagz html-attrzhtml-attr-valuez html-contentz html-commentN)%rh ri rj rk rl rm rn ro r� Zident_reZop_reZpunc_rer r; r r r r r
r r� r� r
rv rt r� r� ru rs rr r �Singlerw rC rx r rz r< r< r< r= r � s�
)rk rQ Zpygments.lexerr r r r r Zpygments.tokenr r r r
r r r
r r �__all__r r r r< r< r< r= �<module>
s ,
R\