annotate vendor/github.com/alecthomas/chroma/v2/lexers/embedded/verilog.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>verilog</name>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
4 <alias>verilog</alias>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
5 <alias>v</alias>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
6 <filename>*.v</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
7 <mime_type>text/x-verilog</mime_type>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
8 <ensure_nl>true</ensure_nl>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
9 </config>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
10 <rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
11 <state name="root">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
12 <rule pattern="^\s*`define">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
13 <token type="CommentPreproc"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
14 <push state="macro"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
15 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
16 <rule pattern="\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
17 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
18 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
19 <rule pattern="\s+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
20 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
21 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
22 <rule pattern="\\\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
23 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
24 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
25 <rule pattern="/(\\\n)?/(\n|(.|\n)*?[^\\]\n)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
26 <token type="CommentSingle"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
27 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
28 <rule pattern="/(\\\n)?[*](.|\n)*?[*](\\\n)?/">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
29 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
30 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
31 <rule pattern="[{}#@]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
32 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
33 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
34 <rule pattern="L?&#34;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
35 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
36 <push state="string"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
37 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
38 <rule pattern="L?&#39;(\\.|\\[0-7]{1,3}|\\x[a-fA-F0-9]{1,2}|[^\\\&#39;\n])&#39;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
39 <token type="LiteralStringChar"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
40 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
41 <rule pattern="(\d+\.\d*|\.\d+|\d+)[eE][+-]?\d+[lL]?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
42 <token type="LiteralNumberFloat"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
43 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
44 <rule pattern="(\d+\.\d*|\.\d+|\d+[fF])[fF]?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
45 <token type="LiteralNumberFloat"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
46 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
47 <rule pattern="([0-9]+)|(\&#39;h)[0-9a-fA-F]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
48 <token type="LiteralNumberHex"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
49 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
50 <rule pattern="([0-9]+)|(\&#39;b)[01]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
51 <token type="LiteralNumberBin"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
52 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
53 <rule pattern="([0-9]+)|(\&#39;d)[0-9]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
54 <token type="LiteralNumberInteger"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
55 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
56 <rule pattern="([0-9]+)|(\&#39;o)[0-7]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
57 <token type="LiteralNumberOct"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
58 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
59 <rule pattern="\&#39;[01xz]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
60 <token type="LiteralNumber"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
61 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
62 <rule pattern="\d+[Ll]?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
63 <token type="LiteralNumberInteger"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
64 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
65 <rule pattern="\*/">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
66 <token type="Error"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
67 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
68 <rule pattern="[~!%^&amp;*+=|?:&lt;&gt;/-]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
69 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
70 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
71 <rule pattern="[()\[\],.;\&#39;]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
72 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
73 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
74 <rule pattern="`[a-zA-Z_]\w*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
75 <token type="NameConstant"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
76 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
77 <rule pattern="^(\s*)(package)(\s+)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
78 <bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
79 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
80 <token type="KeywordNamespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
81 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
82 </bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
83 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
84 <rule pattern="^(\s*)(import)(\s+)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
85 <bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
86 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
87 <token type="KeywordNamespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
88 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
89 </bygroups>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
90 <push state="import"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
91 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
92 <rule pattern="(endprimitive|always_latch|macromodule|always_comb|endgenerate|endfunction|endpackage|endspecify|localparam|parameter|primitive|always_ff|automatic|specparam|endmodule|rtranif1|scalared|continue|deassign|endtable|defparam|function|strength|generate|pulldown|vectored|rtranif0|unsigned|specify|endcase|negedge|strong0|disable|default|endtask|posedge|strong1|typedef|tranif1|integer|forever|release|initial|tranif0|highz0|genvar|highz1|pullup|notif0|bufif1|bufif0|repeat|medium|return|struct|assign|signed|module|packed|string|output|notif1|always|final|casex|while|table|const|large|break|begin|input|pull0|pull1|inout|weak1|rcmos|weak0|casez|force|small|rnmos|rpmos|rtran|event|type|void|enum|wait|fork|join|else|edge|pmos|nand|cmos|nmos|task|xnor|case|tran|buf|ref|end|var|and|xor|for|nor|not|do|if|or)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
93 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
94 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
95 <rule pattern="`(autoexpand_vectornets|nounconnected_drive|noexpand_vectornets|noremove_gatenames|unconnected_drive|noremove_netnames|expand_vectornets|remove_gatenames|default_nettype|remove_netnames|endcelldefine|noaccelerate|endprotected|accelerate|celldefine|endprotect|protected|timescale|resetall|protect|include|ifndef|ifdef|endif|elsif|undef|else)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
96 <token type="CommentPreproc"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
97 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
98 <rule pattern="\$(shortrealtobits|bitstoshortreal|printtimescale|showvariables|countdrivers|reset_value|reset_count|getpattern|showscopes|realtobits|bitstoreal|monitoroff|timeformat|sreadmemh|monitoron|sreadmemb|fmonitor|showvars|fdisplay|realtime|readmemb|readmemh|monitor|history|fstrobe|display|restart|incsave|strobe|fwrite|finish|random|fclose|stime|nokey|fopen|floor|nolog|scale|scope|input|reset|write|rtoi|bits|list|stop|itor|time|save|key|log)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
99 <token type="NameBuiltin"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
100 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
101 <rule pattern="(woshortreal|shortint|realtime|longint|integer|supply0|supply1|triand|trireg|uwire|logic|trior|byte|wand|tri0|tri1|time|real|wire|reg|bit|int|tri)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
102 <token type="KeywordType"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
103 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
104 <rule pattern="[a-zA-Z_]\w*:(?!:)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
105 <token type="NameLabel"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
106 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
107 <rule pattern="\$?[a-zA-Z_]\w*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
108 <token type="Name"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
109 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
110 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
111 <state name="string">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
112 <rule pattern="&#34;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
113 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
114 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
115 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
116 <rule pattern="\\([\\abfnrtv&#34;\&#39;]|x[a-fA-F0-9]{2,4}|[0-7]{1,3})">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
117 <token type="LiteralStringEscape"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
118 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
119 <rule pattern="[^\\&#34;\n]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
120 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
121 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
122 <rule pattern="\\\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
123 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
124 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
125 <rule pattern="\\">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
126 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
127 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
128 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
129 <state name="macro">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
130 <rule pattern="[^/\n]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
131 <token type="CommentPreproc"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
132 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
133 <rule pattern="/[*](.|\n)*?[*]/">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
134 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
135 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
136 <rule pattern="//.*?\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
137 <token type="CommentSingle"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
138 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
139 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
140 <rule pattern="/">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
141 <token type="CommentPreproc"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
142 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
143 <rule pattern="(?&lt;=\\)\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
144 <token type="CommentPreproc"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
145 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
146 <rule pattern="\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
147 <token type="CommentPreproc"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
148 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
149 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
150 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
151 <state name="import">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
152 <rule pattern="[\w:]+\*?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
153 <token type="NameNamespace"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
154 <pop depth="1"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
155 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
156 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
157 </rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
158 </lexer>