ixdZddlmZmZmZmZddlmZmZm Z m Z m Z m Z m Z mZdgZddlmZGddeZdS)z pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerbygroupsincludeusing)TextCommentOperatorKeywordNameStringNumber Punctuation ElpiLexer) RocqLexerc eZdZdZdZdZdgZdgZdgZdZ dZ d Z d Z d Z d e d Zd e de de ded Zd ede de ded Zd e de de ded Zd e ede ede eded ZdZdededZd edededZidedgdeddeejejejdfdeejejedfdedeejeje j!d fd!edeejeje j!d"fd#ed$eejeje j!d%fd&ed'eejeje j!d%fd(edeejeje j!d%fd)eejeje j!d%fd*eejejejdfd+edeejejefd,ed-eejejefd.eejeje j"efd/ed0eejeje j!d1fd2ee j"fd3ed4e j"fd5e j"fd ed6ejfeefd7ejfd8ejdfd9ejd:fd;ejdfd?ed@fdAedBfdCe#j$fdDe#j%fdEe&fgddFe'fdGe'fdHejfgddIe#j$fdJedKfgd%dLeej(ejdfdMej(fdNejfeej(fdOej(fdPedKfedgd1dQedRfedgdRdSejfdTejfdUedVfedgd dWejfdPedKfdXejfedYdJejdKfdAej(dZfededZgd"eej(fdPedKfdXejfdMejfedYdJejdKfdAej(dZfededZg dYd[eejejejd fd\eejejejd"fgdZdMej(feej(fedYdAej(d]fdJej(dKfedgd:d^ejfd9ejdKfgddaedKfdHejfdbee#edcfddedee#e j"fdee)e*fgdceddaedKfgd@d?ed]fdfedKfedgdBdAed]feddJedKfgiZ+dgS)hrz2 Lexer for the Elpi programming language. Elpizhttp://github.com/LPCIC/elpielpiz*.elpiz text/x-elpiz2.11z[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])(z|-|\$|_)|)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)\)rootz _elpi-commentz#(:before|:after|:if|:name)(\s*)(\")z elpi-stringz(:index)(\s*)(\()zelpi-indexing-exprz\b(external pred|pred)(\s+)(zelpi-pred-itemz\b(func)(\s+)(zelpi-func-itemz\b(external type|type)(\s+)((z (,\s*)?)+)z elpi-typez\b(kind)(\s+)((z|,)+)z\b(typeabbrev)(\s+)(z\b(typeabbrev)(\s+)(\([^)]+\))z\b(accumulate)(\s+)(\")z$\b(accumulate|namespace|local)(\s+)(z\b(shorten)(\s+)(z\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z\b(constraint)(\s+)((z (\s+)?)+)zelpi-chr-rule-startz (?=[A-Z_])z (?=[a-z_])(z|_)\\_z|!|=>|;)z \[|\]|\||=>"`z elpi-btickz\'z elpi-tickz\{\{z elpi-quotez\{[^\{]z elpi-spillz\(zelpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z [\+\*\-/\^\.]z %[^\n]*\nz5/(?:\\\n)?[*](?:[^*]|[*](?!(?:\\\n)?/))*[*](?:\\\n)?/z\s+z[0-9 _]+z\)z#popz(ctype\s+)(\")z->propz\(|\)z\.z\{z elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:,z_elpi-inner-pred-funz_elpi-type-itemz(\()(\s*)(pred)z(\()(\s*)(func)z#pushz[^` ]+z[^\' ]+z[^\"]+z\}\}z (lp:)(\{\{)zelpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z\}[^\}]N),__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypes version_addedlcase_reucase_redigit_re schar2_reschar_re idchar_reidcharstarns_re symbchar_re constant_re symbol_re escape_re const_sym_rerrr Moder Whitespacer Doubler Declarationr FunctionVariabler IntegerFloatr rTyperrtokensQ/root/projects/qq-shell/venv/lib/python3.11/site-packages/pygments/lexers/elpi.pyrrs D (ChG IIMHHH&I'I'''HAXAAAA8AAhAAAIP9PP8PPhPPPPPOExEE(EEXEEEEEKrxrrrhrrr)rU`rrenrrrKsI3{33Y333I> >>i>>)>>>L] GFOO ]  GO $ $ 3 XglDOV] C C  "88GL$/;#W#W ! # <\ < < < Xg)4?DM J J  /| . . . Xg)4?DM J J  Gl F F F Xg)4?DM J J  4 3 3 3 Xg)4?DM J J  5\ 4 4 4 Xg)4?DM J J  / Xg)4?DM J J  ( Xg)4?FM J J  D[ C C C Xg)4?D A A C 2+ 2 2 2 Xg)4?D A A C = Xg)4?DM4 P P R =l = = = Xg)4?DM J J " $); ( ($- 8 .K . . . > 4= ! %) % % %w': ; $  W0 1 6=- 0 6=, / FM; / k< 0 | , K!1 2 &. ) 8&, G x (k6 ]x  7 # Ew O T_ % y]B  &. ) K ( C]J  v} E E} U GL ! gl # ', ' w| $ D& ! GO $ $ K]\  K 1 GO $ $ ]]d  , - 7& ' ; ) 76??  e]p  w| $ D& ! 7< G* + + GL& ) GL"3 4 GO $ $ G% & &  q]D  ', ' D& ! 7< GL ! G* + + GL& ) GL"3 4 GO $ $ G% & &  E]Z  ',twGZ![![]m n ',twGZ![![]m n! []b  GL ! ', ' G* + + GL' * GL& ) GO $ $  c]t  & 6=& ) y]@   ' FM6 * A]H   & 6=& ) I]P  k6 * T_ % XXfk::N)r pygments.lexerrrrrpygments.tokenrrr r r r r r__all__pygments.lexers.theoremrrr=r>r?rDs@??????????? -------vvvvv vvvvvr>