annotate vendor/github.com/alecthomas/chroma/v2/lexers/embedded/ebnf.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>EBNF</name>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
4 <alias>ebnf</alias>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
5 <filename>*.ebnf</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
6 <mime_type>text/x-ebnf</mime_type>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
7 </config>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
8 <rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
9 <state name="comment">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
10 <rule pattern="[^*)]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
11 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
12 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
13 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
14 <include state="comment_start"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
15 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
16 <rule pattern="\*\)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
17 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
18 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
19 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
20 <rule pattern="[*)]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
21 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
22 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
23 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
24 <state name="identifier">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
25 <rule pattern="([a-zA-Z][\w \-]*)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
26 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
27 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
28 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
29 <state name="root">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
30 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
31 <include state="whitespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
32 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
33 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
34 <include state="comment_start"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
35 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
36 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
37 <include state="identifier"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
38 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
39 <rule pattern="=">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
40 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
41 <push state="production"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
42 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
43 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
44 <state name="production">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
45 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
46 <include state="whitespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
47 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
48 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
49 <include state="comment_start"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
50 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
51 <rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
52 <include state="identifier"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
53 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
54 <rule pattern="&#34;[^&#34;]*&#34;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
55 <token type="LiteralStringDouble"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
56 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
57 <rule pattern="&#39;[^&#39;]*&#39;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
58 <token type="LiteralStringSingle"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
59 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
60 <rule pattern="(\?[^?]*\?)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
61 <token type="NameEntity"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
62 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
63 <rule pattern="[\[\]{}(),|]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
64 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
65 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
66 <rule pattern="-">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
67 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
68 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
69 <rule pattern=";">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
70 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
71 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
72 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
73 <rule pattern="\.">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
74 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
75 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
76 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
77 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
78 <state name="whitespace">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
79 <rule pattern="\s+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
80 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
81 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
82 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
83 <state name="comment_start">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
84 <rule pattern="\(\*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
85 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
86 <push state="comment"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
87 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
88 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
89 </rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
90 </lexer>