annotate vendor/github.com/alecthomas/chroma/v2/lexers/embedded/prolog.xml @ 66:787b5ee0289d draft

Use vendored modules Signed-off-by: Izuru Yakumo <yakumo.izuru@chaotic.ninja>
author yakumo.izuru
date Sun, 23 Jul 2023 13:18:53 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
66
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
1 <lexer>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
2 <config>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
3 <name>Prolog</name>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
4 <alias>prolog</alias>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
5 <filename>*.ecl</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
6 <filename>*.prolog</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
7 <filename>*.pro</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
8 <filename>*.pl</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
9 <mime_type>text/x-prolog</mime_type>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
10 </config>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
11 <rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
12 <state name="root">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
13 <rule pattern="/\*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
14 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
15 <push state="nested-comment"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
16 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
17 <rule pattern="%.*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
18 <token type="CommentSingle"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
19 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
20 <rule pattern="0\&#39;.">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
21 <token type="LiteralStringChar"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
22 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
23 <rule pattern="0b[01]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
24 <token type="LiteralNumberBin"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
25 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
26 <rule pattern="0o[0-7]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
27 <token type="LiteralNumberOct"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
28 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
29 <rule pattern="0x[0-9a-fA-F]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
30 <token type="LiteralNumberHex"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
31 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
32 <rule pattern="\d\d?\&#39;[a-zA-Z0-9]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
33 <token type="LiteralNumberInteger"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
34 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
35 <rule pattern="(\d+\.\d*|\d*\.\d+)([eE][+-]?[0-9]+)?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
36 <token type="LiteralNumberFloat"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
37 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
38 <rule pattern="\d+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
39 <token type="LiteralNumberInteger"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
40 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
41 <rule pattern="[\[\](){}|.,;!]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
42 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
43 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
44 <rule pattern=":-|--&gt;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
45 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
46 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
47 <rule pattern="&#34;(?:\\x[0-9a-fA-F]+\\|\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{8}|\\[0-7]+\\|\\[&#34;\nabcefnrstv]|[^\\&#34;])*&#34;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
48 <token type="LiteralStringDouble"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
49 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
50 <rule pattern="&#39;(?:&#39;&#39;|[^&#39;])*&#39;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
51 <token type="LiteralStringAtom"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
52 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
53 <rule pattern="is\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
54 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
55 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
56 <rule pattern="(&lt;|&gt;|=&lt;|&gt;=|==|=:=|=|/|//|\*|\+|-)(?=\s|[a-zA-Z0-9\[])">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
57 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
58 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
59 <rule pattern="(mod|div|not)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
60 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
61 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
62 <rule pattern="_">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
63 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
64 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
65 <rule pattern="([a-z]+)(:)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
66 <bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
67 <token type="NameNamespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
68 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
69 </bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
70 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
71 <rule pattern="([a-zÀ-῿぀-퟿-￯][\w$À-῿぀-퟿-￯]*)(\s*)(:-|--&gt;)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
72 <bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
73 <token type="NameFunction"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
74 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
75 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
76 </bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
77 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
78 <rule pattern="([a-zÀ-῿぀-퟿-￯][\w$À-῿぀-퟿-￯]*)(\s*)(\()">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
79 <bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
80 <token type="NameFunction"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
81 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
82 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
83 </bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
84 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
85 <rule pattern="[a-zÀ-῿぀-퟿-￯][\w$À-῿぀-퟿-￯]*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
86 <token type="LiteralStringAtom"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
87 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
88 <rule pattern="[#&amp;*+\-./:&lt;=&gt;?@\\^~¡-¿‐-〿]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
89 <token type="LiteralStringAtom"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
90 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
91 <rule pattern="[A-Z_]\w*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
92 <token type="NameVariable"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
93 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
94 <rule pattern="\s+|[ -‏￰-�￯]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
95 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
96 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
97 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
98 <state name="nested-comment">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
99 <rule pattern="\*/">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
100 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
101 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
102 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
103 <rule pattern="/\*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
104 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
105 <push/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
106 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
107 <rule pattern="[^*/]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
108 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
109 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
110 <rule pattern="[*/]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
111 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
112 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
113 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
114 </rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
115 </lexer>