3
� �X"/ � @ sp d Z ddlZddlmZmZ ddlmZmZmZm Z m
Z
m Z m Z m
Z
ddgZG dd� de�ZG dd� de�ZdS ) z�
pygments.lexers.prolog
~~~~~~~~~~~~~~~~~~~~~~
Lexers for Prolog and Prolog-like languages.
:copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�
RegexLexer�bygroups)�Text�Comment�Operator�Keyword�Name�String�Number� Punctuation� PrologLexer� LogtalkLexerc @ s@ e Zd ZdZdZdgZddddgZdgZej ej
B Z d e j
fd
e jd fd e j
fd
ejfdejfdejfdejfdejfdejfdejfdefdefdejfdejfdefdefdefdefd e e j e�fd e e j e e�fd e e j e e�fd ejfd ejfd!e j!fd"e fgd#e jd$fd
e jd%fd&e jfd'e jfgd(�Z"d)d*� Z#d+S ),r z!
Lexer for Prolog files.
ZPrologZprologz*.eclz*.prologz*.proz*.plz
text/x-prologz^#.*z/\*znested-commentz%.*z0\'.z0b[01]+z0o[0-7]+z0x[0-9a-fA-F]+z\d\d?\'[a-zA-Z0-9]+z%(\d+\.\d*|\d*\.\d+)([eE][+-]?[0-9]+)?z\d+z[\[\](){}|.,;!]z:-|-->z`"(?:\\x[0-9a-fA-F]+\\|\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{8}|\\[0-7]+\\|\\["\nabcefnrstv]|[^\\"])*"z'(?:''|[^'])*'zis\bz5(<|>|=<|>=|==|=:=|=|/|//|\*|\+|-)(?=\s|[a-zA-Z0-9\[])z(mod|div|not)\b�_z ([a-z]+)(:)uB ([a-zÀ---][\w$À---]*)(\s*)(:-|-->)u> ([a-zÀ---][\w$À---]*)(\s*)(\()u3 [a-zÀ---][\w$À---]*u! [#&*+\-./:<=>?@\\^~¡-¿‐-〿]+z [A-Z_]\w*u \s+|[ --]z\*/z#popz#pushz[^*/]+z[*/])�rootznested-commentc C s d| kS )Nz:-� )�textr r � /usr/lib/python3.6/prolog.py� analyse_textT s zPrologLexer.analyse_textN)$�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�re�UNICODE� MULTILINE�flagsr �SingleZ Multiliner ZCharr
�Bin�Oct�HexZIntegerZFloatr �DoubleZAtomr r r r Z NamespaceZFunctionr �Variable�tokensr r r r r r sT
c S @ s, e Zd ZdZdZdgZddgZdgZdedfd e fd
e fd e
fd e
fd
e fde j fde j
fde jfde fdejfdefdefdefdefdefdefdefdefdefd efd efd efd efd efd!efd"efd#efd$efd%efd&efd'efd(efd)efd*efd+efd,efd-efd.efd/efd0efd1efd2efd3efd4efd5efd6efd7efd8efd9efd:efd;efd<efd=efd>efd?efd@efdAefdBefdCefdDefdEefdFefdGefdHefdIefdJefdKefdLefdMefdNefdOefdPefdQefdRefdSefdTefdUefdVe
fdWe
fdXedYfgQdZefdXed[fd\ejfd]efd^efgd_ed`fdaed`fdbedcfdded`fdeed`fdfed`fdged`fdhed`fdied`fdjed`fdked`fdle
d`fdme
d`fg
dnefd
e fde j fde j
fde jfde fdejfdWe
fdXedYfdUefdoe
d`fdpefdVe
fd e fd
e fd e
fd e
fgdq�Zdrds� ZdtS )ur
zW
For `Logtalk <http://logtalk.org/>`_ source code.
.. versionadded:: 0.10
ZLogtalkZlogtalkz*.lgtz *.logtalkztext/x-logtalkz^\s*:-\s� directivez%.*?\nz/\*(.|\n)*?\*/z\nz\s+z0'.z0b[01]+z0o[0-7]+z0x[0-9a-fA-F]+z\d+\.?\d*((e|E)(\+|-)?\d+)?z ([A-Z_]\w*)z(after|before)(?=[(])zforward(?=[(])z#(parameter|this|se(lf|nder))(?=[(])z-(current_predicate|predicate_property)(?=[(])z8(expand_(goal|term)|(goal|term)_expansion|phrase)(?=[(])z;(abolish|c(reate|urrent))_(object|protocol|category)(?=[(])z*(object|protocol|category)_property(?=[(])z.co(mplements_object|nforms_to_protocol)(?=[(])z)extends_(object|protocol|category)(?=[(])z*imp(lements_protocol|orts_category)(?=[(])z%(instantiat|specializ)es_class(?=[(])z.(current_event|(abolish|define)_events)(?=[(])z!(current|set)_logtalk_flag(?=[(])z<logtalk_(compile|l(ibrary_path|oad|oad_context)|make)(?=[(])z\blogtalk_make\bz (clause|retract(all)?)(?=[(])za(bolish|ssert(a|z))(?=[(])z(ca(ll|tch)|throw)(?=[(])z(fa(il|lse)|true)\bz!((bag|set)of|f(ind|or)all)(?=[(])z;threaded(_(call|once|ignore|exit|peek|wait|notify))?(?=[(])z.(subsumes_term|unify_with_occurs_check)(?=[(])z8(functor|arg|copy_term|numbervars|term_variables)(?=[(])z%(div|rem|m(ax|in|od)|abs|sign)(?=[(])z)float(_(integer|fractional)_part)?(?=[(])z*(floor|t(an|runcate)|round|ceiling)(?=[(])z6(cos|a(cos|sin|tan|tan2)|exp|log|s(in|qrt)|xor)(?=[(])zZ(var|atom(ic)?|integer|float|c(allable|ompound)|n(onvar|umber)|ground|acyclic_term)(?=[(])zcompare(?=[(])z (curren|se)t_(in|out)put(?=[(])z(open|close)(?=[(])zflush_output(?=[(])z!(at_end_of_stream|flush_output)\bz=(stream_property|at_end_of_stream|set_stream_position)(?=[(])z,(nl|(get|peek|put)_(byte|c(har|ode)))(?=[(])z\bnl\bzread(_term)?(?=[(])z"write(q|_(canonical|term))?(?=[(])z(current_)?op(?=[(])z!(current_)?char_conversion(?=[(])z(atom_(length|c(hars|o(ncat|des)))(?=[(])z(char_code|sub_atom)(?=[(])znumber_c(har|ode)s(?=[(])z (se|curren)t_prolog_flag(?=[(])z\bhalt\bz halt(?=[(])z (::|:|\^\^)z[{}]z(ignore|once)(?=[(])z
\brepeat\bz(key)?sort(?=[(])z(>>|<<|/\\|\\\\|\\)z\bas\bz\bis\bz(=:=|=\\=|<|=<|>=|>)z=\.\.z(=|\\=)z(==|\\==|@=<|@<|@>=|@>)z (//|[-+*/])z\b(e|pi|div|mod|rem)\bz\b\*\*\bz-->z ([!;]|->)z\\+z[?@]z\^z"(\\\\|\\"|[^"])*"z [()\[\],.|]z[a-z]\w*�'� quoted_atomz''z#popz+\\([\\abfnrtv"\']|(x[a-fA-F0-9]+|[0-7]+)\\)z [^\\'\n]+z\\z(el)?if(?=[(])r z(e(lse|ndif))[.]z!(category|object|protocol)(?=[(])�entityrelationsz#(end_(category|object|protocol))[.]z!(public|protected|private)(?=[(])z%e(n(coding|sure_loaded)|xport)(?=[(])z in(clude|itialization|fo)(?=[(])z+(built_in|dynamic|synchronized|threaded)[.]zz(alias|d(ynamic|iscontiguous)|m(eta_(non_terminal|predicate)|ode|ultifile)|s(et_(logtalk|prolog)_flag|ynchronized))(?=[(])z op(?=[(])z:(c(alls|oinductive)|module|reexport|use(s|_module))(?=[(])z[a-z]\w*(?=[(])z [a-z]\w*[.]zH(complements|extends|i(nstantiates|mp(lements|orts))|specializes)(?=[(])z([)]\.)z(::))r r) r' r* c C s@ d| kr dS d| krdS d| kr$dS t jd| t j�r8dS dS d S )Nz
:- object(g �?z :- protocol(z :- category(z
^:-\s[a-z]g�������?g )r �search�M)r r r r r ( s zLogtalkLexer.analyse_textN)r r r r r r r r r r r r
r! r" r# r r% r r r ZEscaper& r r r r r r
X s�
)r r Zpygments.lexerr r Zpygments.tokenr r r r r r r
r �__all__r r
r r r r �<module>
s (C