EcddZddlmZmZmZddlmZmZmZm Z m Z m Z m Z dgZ GddeZdS)z pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerbygroupsinclude)TextCommentOperatorKeywordNameStringNumber ElpiLexerceZdZdZdZdZdgZdgZdgZdZ dZ d Z d Z d e Zd e e e eZd ee e eZd e e e eZd e ee ee eeZdZd eeZd eeeZedgeddeejejejdfdeejejdfd eeejejej dfd eeejejej dfd eeejejej dfd eeejejej dfdeejejejdfd eeejejefd eeejejefd!eejejej!efd" eeejejej d#fd$ eej!fd% eej!fd&ej!fd' eejfeefd(ejfd)ejdfd*ejd+fd,ejd-fd.ed/fd0ed1fd2e"j#fd3e"j$fd4e%fgd5e&fd6e&d7fd8ejfgd9e&d:fd;e&fgdeej'ejdfd?ej'feej'fd@ej'fdAed:fedgdBedCfedgdDejfdEejfdFedGfedgdHejdIfdAed:fedgd>eej'ejdfd?ej'feej'fd@ej'fdJed:fdAedGfedgdKejfd*ejd:fgdLejfd,ejd:fgdMejfd)ejd:fgd.edNfdOed:fedgd0e%dNfd=e%d:fedgdPZ(dQS)Rr zN Lexer for the Elpi programming language. .. versionadded:: 2.11 Elpizhttp://github.com/LPCIC/elpielpiz*.elpiz text/x-elpiz[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])z ({}|-|\$|_)z ({}|{}|{}|{})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\}[^\}])rootrrrrrrr rr!rrrrrN))__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypeslcase_reucase_redigit_re schar2_reformatschar_re idchar_reidcharstarns_re symbchar_re constant_re symbol_re escape_re const_sym_rerrr Moder Whitespacer Double Declarationr FunctionVariabler IntegerFloatrrTypetokens6/usr/lib/python3/dist-packages/pygments/lexers/elpi.pyr r s  D (ChG IIHHH&I$$Y//H ''(8LLI-44Y(T]^^O$++Hh(SSK,33HiSbdmoz}FGGKsI%%k)< >{ K K Xg)4?D A A C & - -k : : Xg)4?D A A C = Xg)4?DM4 P P R 0 7 7 E E Xg)4?DM J J " $ # #K 0 0$- @  % %k 2 2DM B 4= !  " "9 - -w/B C $  W0 1 6=- 0 6=, / FM; / | , D* + &. ) 8&, G x (]/ b7 # W6 7 T_ % Wf % 7O# &. ) D& ! v} E E} U GL ! ', ' w| $ D& ! GO $ $  D/ * GO $ $ , - 7& ' 4 " 76??  w|\ 2 D& ! GO $ $ v} E E} U GL ! ', ' w| $ 4 D( # GO $ $  & 6=& )  ' FM6 *  & 6=& ) w ' v & GFOO Hg & Hf % GFOO gyyFFFrEN)r'pygments.lexerrrrpygments.tokenrrrr r r r __all__r rDrErFrJs9888888888                   -SSSSS SSSSSrE