annotate vendor/github.com/alecthomas/chroma/v2/lexers/embedded/ragel.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>Ragel</name>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
4 <alias>ragel</alias>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
5 </config>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
6 <rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
7 <state name="host">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
8 <rule pattern="([^{}\&#39;&#34;/#]+|[^\\]\\[{}]|&#34;(\\\\|\\&#34;|[^&#34;])*&#34;|&#39;(\\\\|\\&#39;|[^&#39;])*&#39;|//.*$\n?|/\*(.|\n)*?\*/|\#.*$\n?|/(?!\*)(\\\\|\\/|[^/])*/|/)+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
9 <token type="Other"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
10 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
11 <rule pattern="\{">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
12 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
13 <push/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
14 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
15 <rule pattern="\}">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
16 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
17 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
18 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
19 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
20 <state name="whitespace">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
21 <rule pattern="\s+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
22 <token type="TextWhitespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
23 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
24 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
25 <state name="numbers">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
26 <rule pattern="0x[0-9A-Fa-f]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
27 <token type="LiteralNumberHex"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
28 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
29 <rule pattern="[+-]?[0-9]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
30 <token type="LiteralNumberInteger"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
31 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
32 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
33 <state name="literals">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
34 <rule pattern="&#34;(\\\\|\\&#34;|[^&#34;])*&#34;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
35 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
36 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
37 <rule pattern="&#39;(\\\\|\\&#39;|[^&#39;])*&#39;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
38 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
39 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
40 <rule pattern="\[(\\\\|\\\]|[^\]])*\]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
41 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
42 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
43 <rule pattern="/(?!\*)(\\\\|\\/|[^/])*/">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
44 <token type="LiteralStringRegex"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
45 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
46 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
47 <state name="keywords">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
48 <rule pattern="(access|action|alphtype)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
49 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
50 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
51 <rule pattern="(getkey|write|machine|include)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
52 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
53 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
54 <rule pattern="(any|ascii|extend|alpha|digit|alnum|lower|upper)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
55 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
56 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
57 <rule pattern="(xdigit|cntrl|graph|print|punct|space|zlen|empty)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
58 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
59 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
60 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
61 <state name="identifiers">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
62 <rule pattern="[a-zA-Z_]\w*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
63 <token type="NameVariable"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
64 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
65 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
66 <state name="root">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
67 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
68 <include state="literals"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
69 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
70 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
71 <include state="whitespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
72 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
73 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
74 <include state="comments"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
75 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
76 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
77 <include state="keywords"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
78 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
79 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
80 <include state="numbers"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
81 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
82 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
83 <include state="identifiers"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
84 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
85 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
86 <include state="operators"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
87 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
88 <rule pattern="\{">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
89 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
90 <push state="host"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
91 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
92 <rule pattern="=">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
93 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
94 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
95 <rule pattern=";">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
96 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
97 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
98 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
99 <state name="comments">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
100 <rule pattern="\#.*$">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
101 <token type="Comment"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
102 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
103 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
104 <state name="operators">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
105 <rule pattern=",">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
106 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
107 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
108 <rule pattern="\||&amp;|--?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
109 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
110 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
111 <rule pattern="\.|&lt;:|:&gt;&gt;?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
112 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
113 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
114 <rule pattern=":">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
115 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
116 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
117 <rule pattern="-&gt;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
118 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
119 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
120 <rule pattern="(&gt;|\$|%|&lt;|@|&lt;&gt;)(/|eof\b)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
121 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
122 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
123 <rule pattern="(&gt;|\$|%|&lt;|@|&lt;&gt;)(!|err\b)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
124 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
125 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
126 <rule pattern="(&gt;|\$|%|&lt;|@|&lt;&gt;)(\^|lerr\b)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
127 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
128 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
129 <rule pattern="(&gt;|\$|%|&lt;|@|&lt;&gt;)(~|to\b)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
130 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
131 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
132 <rule pattern="(&gt;|\$|%|&lt;|@|&lt;&gt;)(\*|from\b)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
133 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
134 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
135 <rule pattern="&gt;|@|\$|%">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
136 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
137 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
138 <rule pattern="\*|\?|\+|\{[0-9]*,[0-9]*\}">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
139 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
140 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
141 <rule pattern="!|\^">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
142 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
143 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
144 <rule pattern="\(|\)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
145 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
146 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
147 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
148 </rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
149 </lexer>