a j@sjdZddlmZmZmZmZddlmZmZm Z m Z m Z m Z m Z mZdgZddlmZGdddeZdS)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@s4eZdZdZdZdZdgZdgZdgZdZ 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 edededZedgeddeejejejdfdeejejedfdedeejeje j!dfd 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.ed/eejeje j!d0fd1ee j"fd2ed3e j"fd4e j"fd ed5ejfeefd6ejfd7ejdfd8ejd9fd:ejd;fded?fd@edAfdBe#j$fdCe#j%fdDe&fgdEe'fdFe'fdGejfgdHe#j$fdIedJfgdKeej(ejdfdLej(fdMejfeej(fdNej(fdOedJfedgdPedQfedgdRejfdSejfdTedUfedgdVejfdOedJfdWejfedXdIejdJfd@ej(dYfededYgeej(fdOedJfdWejfdLejfedXdIejdJfd@ej(dYfededYg dZeejejejdfd[eejejejd!fgdLej(feej(fedXd@ej(d\fdIej(dJfedgd]ejfd8ejdJfgd^ejfd:ejdJfgd_ejfd7ejdJfgd`edJfdGejfdaee#edbfdcedee#e j"fdde)e*fgedd`edJfgd>ed\fdeedJfedgd@ed\feddIedJfgdfZ+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)\) _elpi-commentz#(:before|:after|:if|:name)(\s*)(\") elpi-stringz(:index)(\s*)(\()elpi-indexing-exprz\b(external pred|pred)(\s+)(elpi-pred-itemz\b(func)(\s+)(elpi-func-itemz\b(external type|type)(\s+)((z (,\s*)?)+) 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+)?)+)elpi-chr-rule-startz (?=[A-Z_])z (?=[a-z_])(z|_)\\_z|!|=>|;)z \[|\]|\||=>"` elpi-btickz\' elpi-tickz\{\{ elpi-quotez\{[^\{] elpi-spillz\(elpi-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\{ elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:,_elpi-inner-pred-fun_elpi-type-itemz(\()(\s*)(pred)z(\()(\s*)(func)z#pushz[^` ]+z[^\' ]+z[^\"]+z\}\}z (lp:)(\{\{)elpi-quote-exitz(lp:)((?=[A-Z_])z((?!lp:|\}\}).)+z\}[^\}])rootrrrrrr%rrr'r(rr rr!r)r"r#N),__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypes version_addedZlcase_reZucase_reZdigit_reZ schar2_reZschar_reZ idchar_reZidcharstarns_reZ symbchar_reZ constant_reZ symbol_reZ escape_reZ const_sym_rerrr ZModer Whitespacer Doubler Declarationr FunctionVariabler IntegerFloatrrTyperrtokensr>r>:E:\soccer\ml_env\Lib\site-packages\pygments/lexers/elpi.pyrsL *           8              N)r.Zpygments.lexerrrrrZpygments.tokenrrrr r r r r __all__Zpygments.lexers.theoremrrr>r>r>r?s  (