Source file pygment_lexers.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
module Internal = struct
let d_2a5391cc14b27a41d17f55351fff261c = " (u'(.)', bygroups(Generic.Heading)),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ]\n }\n\n"
let d_33557966ab956284b130c4778dda8cc3 = "from pygments.lexer import RegexLexer, bygroups\nfrom pygments.token import *\n\nimport re\n\n__all__=['CustomLexer']\n\nclass CustomLexer(RegexLexer):\n name = 'CatalaPl'\n aliases = ['catala_pl']\n filenames = ['*.catala_pl']\n flags = re.MULTILINE | re.UNICODE\n\n tokens = {\n 'root' : [\n (u'(^\\s*[\\#]+)', bygroups(Generic.Heading), 'main__1'),\n (u'(^\\s*[\\#]+\\s*\\[[^\\]]\\s*])', bygroups(Generic.Heading), 'main__2'),\n (u'([^`\\\\n\\\\r])', bygroups(Text)),\n (u'(```catala-metadata)', bygroups(Text), 'code'),\n (u'(```catala)', bygroups(Text), 'code'),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ],\n 'code' : [\n (u'(```)', bygroups(Text), 'root'),\n (u'(\\\\s*\\\\#.*$)', bygroups(Comment.Single)),\n (u'(kontekst|wej\\u015bcie|wyj\\u015bcie|wewn\\u0119trzny)(\\\\s*)(|wyj\\u015bcie)(\\\\s+)([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)', bygroups(Keyword.Declaration, Text, Keyword.Declaration, Text, Name.Variable)),\n (u'\\\\b(pasuje|ze\\\\s+wzorem|staloprzecinkowa|przez|malejacy|rosnacy|rozna|wraz z|mamy|w|takich ze|istnieje|dla|wszystkie|z|jezeli|wtedy|inaczej|poczatkowy)\\\\b', bygroups(Keyword.Reserved)),\n (u'\\\\b(zakres|zalezy\\\\s+od|deklaracja|kolekcja|typu|opcjonalny|struktura|enumeracja|kontekst|wej\\u015bcie|wyj\\u015bcie|wewn\\u0119trzny|zasada|pod\\\\s+warunkuem|czas|konsekwencja|spelnione|wynosi|asercja|definicja|stan|etykieta|wyj\\u0105tek|cokolwiek)\\\\b', bygroups(Keyword.Declaration)),\n (u'(\\\\|[0-9]+\\\\-[0-9]+\\\\-[0-9]+\\\\|)', bygroups(Number.Integer)),\n (u'\\\\b(prawda|falsz)\\\\b', bygroups(Keyword.Constant)),\n (u'\\\\b([0-9]+(,[0-9]*|))\\\\b', bygroups(Number.Integer)),\n (u'(\\\\-\\\\-|\\\\;|\\\\.|\\\\,|\\\\:|\\\\(|\\\\)|\\\\[|\\\\]|\\\\{|\\\\})', bygroups(Operator)),\n (u'(\\\\-\\\\>|\\\\+\\\\.|\\\\+\\\\@|\\\\+\\\\^|\\\\+\\\\$|\\\\+|\\\\-\\\\.|\\\\-\\\\@|\\\\-\\\\^|\\\\-\\\\$|\\\\-|\\\\*\\\\.|\\\\*\\\\@|\\\\*\\\\^|\\\\*\\\\$|\\\\*|/\\\\.|/\\\\@|/\\\\^|/\\\\$|/|\\\\!|>\\\\.|>=\\\\.|<=\\\\.|<\\\\.|>\\\\@|>=\\\\@|<=\\\\@|<\\\\@|>\\\\$|>=\\\\$|<=\\\\$|<\\\\$|>\\\\^|>=\\\\^|<=\\\\^|<\\\\^|>|>=|<=|<|=|nie|lub|xor|i|\\\\$|%|rok|miesiac|dzien)', bygroups(Operator)),\n (u'\\\\b(calkowita|zerojedynkowy|czas|czas trwania|pieni\196\133dze|warunek|tekst|dziesi\\u0119tny|suma)\\\\b', bygroups(Keyword.Type)),\n (u'\\\\b([A-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u0179][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)(\\\\.)([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)\\\\b', bygroups(Name.Class, Operator, Name.Variable)),\n (u'\\\\b([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)(\\\\.)([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\'\\\\.]*)\\\\b', bygroups(Name.Variable, Operator, Text)),\n (u'\\\\b([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)\\\\b', bygroups(Name.Variable)),\n (u'\\\\b([A-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u0179][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)\\\\b', bygroups(Name.Class)),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ],\n 'main__1': [\n (u'(\\n)', bygroups(Generic.Heading), 'root'),\n (u'(.)', bygroups(Generic.Heading)),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ],\n 'main__2': [\n (u'(\\n)', bygroups(Generic.Heading), 'root'),\n "
let d_62187416aeb46a611c06af8a0b0d4a7f = "from pygments.lexer import RegexLexer, bygroups\nfrom pygments.token import *\n\nimport re\n\n__all__=['CustomLexer']\n\nclass CustomLexer(RegexLexer):\n name = 'CatalaEn'\n aliases = ['catala_en']\n filenames = ['*.catala_en']\n flags = re.MULTILINE | re.UNICODE\n\n tokens = {\n 'root' : [\n (u'(^\\\\s*[\\\\#]+.*)', bygroups(Generic.Heading)),\n (u'(^\\\\s*[\\\\#]+\\\\s*\\\\[[^\\\\]\\\\n\\\\r]\\\\s*].*)', bygroups(Generic.Heading)),\n (u'([^`\\\\n\\\\r])', bygroups(String)),\n (u'(^```catala$)', bygroups(String), 'code'),\n (u'(^```catala-metadata$)', bygroups(String), 'code'),\n (u'(^```catala-test-inline$)', bygroups(String), 'test'),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'code' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(\\\\s*\\\\#.*$)', bygroups(Comment.Single)),\n (u'(context|input|output|internal)(\\\\s*)(|output)(\\\\s+)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)', bygroups(Keyword.Declaration, String, Keyword.Declaration, String, Name.Variable)),\n (u'\\\\b(match|with\\\\s+pattern|fixed|by|decreasing|increasing|varies|with|we\\\\s+have|let|in|scope|depends\\\\s+on|declaration|includes|content|rule|under\\\\s+condition|condition|data|consequence|fulfilled|equals|assertion|definition|state|label|exception)\\\\b', bygroups(Keyword.Reserved)),\n (u'\\\\b(contains|number|sum|such\\\\s+that|exists|for|all|of|if|then|else|is|list\\\\s+empty|among|maximum|minimum|round)\\\\b', bygroups(Keyword.Declaration)),\n (u'(\\\\|[0-9]+\\\\-[0-9]+\\\\-[0-9]+\\\\|)', bygroups(Number.Integer)),\n (u'\\\\b(true|false)\\\\b', bygroups(Keyword.Constant)),\n (u'\\\\b([0-9]+(,[0-9]*|))\\\\b', bygroups(Number.Integer)),\n (u'(\\\\-\\\\-|\\\\;|\\\\.|\\\\,|\\\\:|\\\\(|\\\\)|\\\\[|\\\\]|\\\\{|\\\\})', bygroups(Operator)),\n (u'(\\\\-\\\\>|\\\\+\\\\.|\\\\+\\\\@|\\\\+\\\\^|\\\\+\\\\$|\\\\+|\\\\-\\\\.|\\\\-\\\\@|\\\\-\\\\^|\\\\-\\\\$|\\\\-|\\\\*\\\\.|\\\\*\\\\@|\\\\*\\\\^|\\\\*\\\\$|\\\\*|/\\\\.|/\\\\@|/\\\\$|/|\\\\!|>\\\\.|>=\\\\.|<=\\\\.|<\\\\.|>\\\\@|>=\\\\@|<=\\\\@|<\\\\@|>\\\\$|>=\\\\$|<=\\\\$|<\\\\$|>\\\\^|>=\\\\^|<=\\\\^|<\\\\^|>|>=|<=|<|=|not|or|xor|and|\\\\$|\\u20ac|%|year|month|day)', bygroups(Operator)),\n (u'\\\\b(structure|enumeration|list\\\\s+of|integer|boolean|date|duration|money|text|decimal)\\\\b', bygroups(Keyword.Type)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class, Operator, Name.Variable)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\'\\\\.]*)\\\\b', bygroups(Name.Variable, Operator, String)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Variable)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'test' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(^[$] catala \\\\S*)', bygroups(Keyword.Constant)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ]\n }\n"
let d_cb40ca1fcb6595be22ee20cf20d5fbab = "from pygments.lexer import RegexLexer, bygroups\nfrom pygments.token import *\n\nimport re\n\n__all__=['CustomLexer']\n\nclass CustomLexer(RegexLexer):\n name = 'CatalaFr'\n aliases = ['catala_fr']\n filenames = ['*.catala_fr']\n flags = re.MULTILINE | re.UNICODE\n\n tokens = {\n 'root' : [\n (u'(^\\\\s*[\\\\#]+.*)', bygroups(Generic.Heading)),\n (u'(^\\\\s*[\\\\#]+\\\\s*\\\\[[^\\\\]\\\\n\\\\r]\\\\s*].*)', bygroups(Generic.Heading)),\n (u'([^`\\\\n\\\\r])', bygroups(String)),\n (u'(^```catala$)', bygroups(String), 'code'),\n (u'(^```catala-metadata$)', bygroups(String), 'code'),\n (u'(^```catala-test-inline$)', bygroups(String), 'test'),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'code' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(\\\\s*\\\\#.*$)', bygroups(Comment.Single)),\n (u'(contexte|entr\\xe9e|r\\xe9sultat|interne)(\\\\s*)(|r\\xe9sultat)(\\\\s+)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)', bygroups(Keyword.Declaration, String, Keyword.Declaration, String, Name.Variable)),\n (u'\\\\b(selon|sous\\\\s+forme|fix\\xe9|par|d\\xe9croissante|croissante|varie|avec|on\\\\s+a|soit|dans|champ\\\\s+d\\'application|d\\xe9pend\\\\s+de|d\\xe9claration|inclusion|contenu|r\\xe8gle|sous\\\\s+condition|condition|donn\\xe9e|cons\\xe9quence|rempli|\\xe9gal\\\\s+\\xe0|assertion|d\\xe9finition|\\xe9tat|\\xe9tiquette|exception)\\\\b', bygroups(Keyword.Reserved)),\n (u'\\\\b(contient|nombre|somme|tel\\\\s+que|existe|pour|tout|de|si|alors|sinon|est|liste\\\\s+vide|parmi|maximum|minimum|arrondi)\\\\b', bygroups(Keyword.Declaration)),\n (u'(\\\\|[0-9]+\\\\-[0-9]+\\\\-[0-9]+\\\\|)', bygroups(Number.Integer)),\n (u'\\\\b(vrai|faux)\\\\b', bygroups(Keyword.Constant)),\n (u'\\\\b([0-9]+(,[0-9]*|))\\\\b', bygroups(Number.Integer)),\n (u'(\\\\-\\\\-|\\\\;|\\\\.|\\\\,|\\\\:|\\\\(|\\\\)|\\\\[|\\\\]|\\\\{|\\\\})', bygroups(Operator)),\n (u'(\\\\-\\\\>|\\\\+\\\\.|\\\\+\\\\@|\\\\+\\\\^|\\\\+\\u20ac|\\\\+|\\\\-\\\\.|\\\\-\\\\@|\\\\-\\\\^|\\\\-\\u20ac|\\\\-|\\\\*\\\\.|\\\\*\\\\@|\\\\*\\\\^|\\\\*\\u20ac|\\\\*|/\\\\.|/\\\\@|/\\u20ac|/|\\\\!|>\\\\.|>=\\\\.|<=\\\\.|<\\\\.|>\\\\@|>=\\\\@|<=\\\\@|<\\\\@|>\\u20ac|>=\\u20ac|<=\\u20ac|<\\u20ac|>\\\\^|>=\\\\^|<=\\\\^|<\\\\^|>|>=|<=|<|=|\\u20ac|%)', bygroups(Operator)),\n (u'\\\\b(non|ou\\\\s+bien|ou|et|an|mois|jour)\\\\b', bygroups(Operator)),\n (u'\\\\b(structure|\\xe9num\\xe9ration|liste\\\\s+de|entier|bool\\xe9en|date|dur\\xe9e|argent|texte|d\\xe9cimal|d\\xe9cret|loi|nombre|somme)\\\\b', bygroups(Keyword.Type)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class, Operator, Name.Variable)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\'\\\\.]*)\\\\b', bygroups(Name.Variable, Operator, String)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Variable)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'test' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(^[$] catala \\\\S*)', bygroups(Keyword.Constant)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ]\n }\n"
let file_chunks = function
| "lexer_en.py" | "/lexer_en.py" -> Some [ d_62187416aeb46a611c06af8a0b0d4a7f; ]
| "lexer_fr.py" | "/lexer_fr.py" -> Some [ d_cb40ca1fcb6595be22ee20cf20d5fbab; ]
| "lexer_pl.py" | "/lexer_pl.py" -> Some [ d_33557966ab956284b130c4778dda8cc3; d_2a5391cc14b27a41d17f55351fff261c; ]
| _ -> None
let file_list = [ "lexer_en.py"; "lexer_fr.py"; "lexer_pl.py"; ]
end
let file_list = Internal.file_list
let read name =
match Internal.file_chunks name with
| None -> None
| Some c -> Some (String.concat "" c)
let hash = function
| "lexer_en.py" | "/lexer_en.py" -> Some "62187416aeb46a611c06af8a0b0d4a7f"
| "lexer_fr.py" | "/lexer_fr.py" -> Some "cb40ca1fcb6595be22ee20cf20d5fbab"
| "lexer_pl.py" | "/lexer_pl.py" -> Some "35bc560aab2202611043ab5ce17682b3"
| _ -> None
let size = function
| "lexer_en.py" | "/lexer_en.py" -> Some 3759
| "lexer_fr.py" | "/lexer_fr.py" -> Some 4032
| "lexer_pl.py" | "/lexer_pl.py" -> Some 4218
| _ -> None