annotate vendor/github.com/alecthomas/chroma/v2/lexers/embedded/turing.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>Turing</name>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
4 <alias>turing</alias>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
5 <filename>*.turing</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
6 <filename>*.tu</filename>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
7 <mime_type>text/x-turing</mime_type>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
8 </config>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
9 <rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
10 <state name="root">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
11 <rule pattern="\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
12 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
13 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
14 <rule pattern="\s+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
15 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
16 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
17 <rule pattern="\\\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
18 <token type="Text"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
19 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
20 <rule pattern="%(.*?)\n">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
21 <token type="CommentSingle"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
22 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
23 <rule pattern="/(\\\n)?[*](.|\n)*?[*](\\\n)?/">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
24 <token type="CommentMultiline"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
25 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
26 <rule pattern="(var|fcn|function|proc|procedure|process|class|end|record|type|begin|case|loop|for|const|union|monitor|module|handler)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
27 <token type="KeywordDeclaration"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
28 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
29 <rule pattern="(all|asm|assert|bind|bits|body|break|by|cheat|checked|close|condition|decreasing|def|deferred|else|elsif|exit|export|external|flexible|fork|forward|free|get|if|implement|import|include|inherit|init|invariant|label|new|objectclass|of|opaque|open|packed|pause|pervasive|post|pre|priority|put|quit|read|register|result|seek|self|set|signal|skip|tag|tell|then|timeout|to|unchecked|unqualified|wait|when|write)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
30 <token type="Keyword"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
31 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
32 <rule pattern="(true|false)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
33 <token type="KeywordConstant"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
34 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
35 <rule pattern="(addressint|boolean|pointer|string|array|real4|real8|nat1|int8|int4|int2|nat2|nat4|nat8|int1|real|char|enum|nat|int)\b">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
36 <token type="KeywordType"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
37 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
38 <rule pattern="\d+i">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
39 <token type="LiteralNumber"/>
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*([Ee][-+]\d+)?i">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
42 <token type="LiteralNumber"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
43 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
44 <rule pattern="\.\d+([Ee][-+]\d+)?i">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
45 <token type="LiteralNumber"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
46 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
47 <rule pattern="\d+[Ee][-+]\d+i">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
48 <token type="LiteralNumber"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
49 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
50 <rule pattern="\d+(\.\d+[eE][+\-]?\d+|\.\d*|[eE][+\-]?\d+)">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
51 <token type="LiteralNumberFloat"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
52 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
53 <rule pattern="\.\d+([eE][+\-]?\d+)?">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
54 <token type="LiteralNumberFloat"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
55 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
56 <rule pattern="0[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="0[xX][0-9a-fA-F]+">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
60 <token type="LiteralNumberHex"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
61 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
62 <rule pattern="(0|[1-9][0-9]*)">
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="(div|mod|rem|\*\*|=|&lt;|&gt;|&gt;=|&lt;=|not=|not|and|or|xor|=&gt;|in|shl|shr|-&gt;|~|~=|~in|&amp;|:=|\.\.|[\^+\-*/&amp;#])">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
66 <token type="Operator"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
67 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
68 <rule pattern="&#39;(\\[&#39;&#34;\\abfnrtv]|\\x[0-9a-fA-F]{2}|\\[0-7]{1,3}|\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{8}|[^\\])&#39;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
69 <token type="LiteralStringChar"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
70 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
71 <rule pattern="&#34;(\\\\|\\&#34;|[^&#34;])*&#34;">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
72 <token type="LiteralString"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
73 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
74 <rule pattern="[()\[\]{}.,:]">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
75 <token type="Punctuation"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
76 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
77 <rule pattern="[^\W\d]\w*">
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
78 <token type="NameOther"/>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
79 </rule>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
80 </state>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
81 </rules>
787b5ee0289d Use vendored modules
yakumo.izuru
parents:
diff changeset
82 </lexer>