o ‡ÎÖaOã@sVdZddlmZmZmZddlmZmZmZm Z m Z m Z m Z dgZ Gdd„deƒZdS)z÷ pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. é)Ú RegexLexerÚbygroupsÚinclude)ÚTextÚCommentÚOperatorÚKeywordÚNameÚStringÚNumberÚ ElpiLexerc@s®eZdZdZdZdgZdgZdgZdZdZ dZ d Z d   e ¡Z d   ee e e ¡Zd   ee¡Zd   ee e e ¡Zd  e eeee ee¡ZdZd  ee¡Zd  eee¡Zedƒgedƒdeejejejƒdfdeejejƒdfd  e¡eejejejƒdfd  e¡eejejejƒdfd  e¡eejejejƒdfd  e¡eejejejƒdfdeejejejƒdfd  e¡eejejeƒfd  e¡eejejeƒfd eejejej eƒfd!  e¡eejejejƒd"fd#  e¡ej fd$  e¡ej fd%ej fd&  e¡ejfeefd'ejfd(ejdfd)ejd*fd+ejd,fd-ed.fd/ed0fd1e!j"fd2e!j#fd3e$fgd4e%fd5e%d6fd7ejfgd8e%d9fd:e%fgd;e!j"fdej&feej&fd?ej&fd@ed9fedƒgdAedBfedƒgdCejfdDejfdEedFfedƒgdGejdHfd@ed9fedƒgd=eej&ejƒdfeej&fd?ej&fdIed9fd@edFfedƒgdJejfd)ejd9fgdKejfd+ejd9fgdLejfd(ejd9fgd-edMfdNed9fedƒgd/e$dMfd`_ programming language. .. versionadded::2.11 ÚElpiÚelpiz*.elpiz text/x-elpiz[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])z ({}|-|\$|_)z ({}|{}|{}|{})z({}+|(?=\.[a-z])\.{}+)z({}|{}|{}|{}|:)z({}{}*|{}{}*|{}{}*|_{}+)zß(,|<=>|->|:-|;|\?-|->|&|=>|\bas\b|\buvar\b|<|=<|=|==|>=|>|\bi<|\bi=<|\bi>=|\bi>|\bis\b|\br<|\br=<|\br>=|\br>|\bs<|\bs=<|\bs>=|\bs>|@|::|\[\]|`->|`:|`:=|\^|-|\+|\bi-|\bi\+|r-|r\+|/|\*|\bdiv\b|\bi\*|\bmod\b|\br\*|~|\bi~|\br~)z \(({}|{})\)z ({}|{}|{})ú _elpi-commentz#(:before|:after|:if|:name)(\s*)(\")ú elpi-stringz(:index)(\s*\()úelpi-indexing-exprz\b(external pred|pred)(\s+)({})úelpi-pred-itemz)\b(external type|type)(\s+)(({}(,\s*)?)+)ú elpi-typez\b(kind)(\s+)(({}|,)+)z\b(typeabbrev)(\s+)({})z\b(accumulate)(\s+)(\")z'\b(accumulate|namespace|local)(\s+)({})z\b(shorten)(\s+)({}\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z \b(constraint)(\s+)(({}(\s+)?)+)úelpi-chr-rule-startz (?=[A-Z_]){}z(?=[a-z_]){}\\Ú_z ({}|!|=>|;)z \[|\]|\||=>ú"ú`ú elpi-btickz\'ú elpi-tickz\{[^\{]ú elpi-spillz\(úelpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z [\+\*\-/\^\.]z %[^\n]*\nz/\*úelpi-multiline-commentz\s+z\*/z#popÚ.z[0-9 _]+z\)z(ctype\s+)(\")z->z\(|\)z\.z\{ú elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:ú elpi-ctypeú,z[^` ]+z[^\' ]+z[^\"]+z#pushz\}[^\}])ÚrootrrrrrrrrrrrrrrN)(Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚaliasesÚ filenamesÚ mimetypesÚlcase_reÚucase_reÚdigit_reÚ schar2_reÚformatÚschar_reÚ idchar_reÚidcharstarns_reÚ symbchar_reÚ constant_reÚ symbol_reÚ escape_reÚ const_sym_rerrrÚModerÚ Whitespacer ÚDoubleÚ Declarationr ÚFunctionÚVariabler ÚIntegerÚFloatrrÚTypeÚtokens©rArAú6/usr/lib/python3/dist-packages/pygments/lexers/elpi.pyr sÈ      ã ýþþú þü ýú þ þ þýý ¡N)r%Úpygments.lexerrrrÚpygments.tokenrrrrr r r Ú__all__r rArArArBÚs  $