semantifold 0.3.0 → 0.4.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (297) hide show
  1. package/README.md +58 -15
  2. package/build/index.d.ts +48 -2
  3. package/build/index.d.ts.map +1 -1
  4. package/build/index.js +57 -8
  5. package/build/src/artifact-path.d.ts +23 -1
  6. package/build/src/artifact-path.d.ts.map +1 -1
  7. package/build/src/artifact-path.js +45 -3
  8. package/build/src/artifacts.d.ts.map +1 -1
  9. package/build/src/artifacts.js +66 -1
  10. package/build/src/backends/c-validation.d.ts.map +1 -1
  11. package/build/src/backends/c-validation.js +7 -3
  12. package/build/src/backends/cpp-validation.d.ts.map +1 -1
  13. package/build/src/backends/cpp-validation.js +7 -3
  14. package/build/src/backends/csharp.js +7 -1
  15. package/build/src/backends/dart-runtime.d.ts +2 -0
  16. package/build/src/backends/dart-runtime.d.ts.map +1 -0
  17. package/build/src/backends/dart-runtime.js +41 -0
  18. package/build/src/backends/dart.d.ts +20 -0
  19. package/build/src/backends/dart.d.ts.map +1 -0
  20. package/build/src/backends/dart.js +321 -0
  21. package/build/src/backends/effects.d.ts +60 -0
  22. package/build/src/backends/effects.d.ts.map +1 -0
  23. package/build/src/backends/effects.js +746 -0
  24. package/build/src/backends/go.js +18 -4
  25. package/build/src/backends/identifiers.d.ts +36 -4
  26. package/build/src/backends/identifiers.d.ts.map +1 -1
  27. package/build/src/backends/identifiers.js +154 -10
  28. package/build/src/backends/index.d.ts.map +1 -1
  29. package/build/src/backends/index.js +27 -4
  30. package/build/src/backends/ios.d.ts +68 -0
  31. package/build/src/backends/ios.d.ts.map +1 -0
  32. package/build/src/backends/ios.js +1503 -0
  33. package/build/src/backends/java.d.ts.map +1 -1
  34. package/build/src/backends/java.js +429 -36
  35. package/build/src/backends/javascript.d.ts +6 -0
  36. package/build/src/backends/javascript.d.ts.map +1 -1
  37. package/build/src/backends/javascript.js +380 -24
  38. package/build/src/backends/kotlin-runtime.d.ts +3 -0
  39. package/build/src/backends/kotlin-runtime.d.ts.map +1 -0
  40. package/build/src/backends/kotlin-runtime.js +29 -0
  41. package/build/src/backends/kotlin.d.ts +23 -0
  42. package/build/src/backends/kotlin.d.ts.map +1 -0
  43. package/build/src/backends/kotlin.js +136 -0
  44. package/build/src/backends/native-validation.d.ts +2 -2
  45. package/build/src/backends/native-validation.d.ts.map +1 -1
  46. package/build/src/backends/native-validation.js +2 -2
  47. package/build/src/backends/ordered-expressions.d.ts.map +1 -1
  48. package/build/src/backends/ordered-expressions.js +39 -7
  49. package/build/src/backends/php-stdlib-support.d.ts +19 -0
  50. package/build/src/backends/php-stdlib-support.d.ts.map +1 -0
  51. package/build/src/backends/php-stdlib-support.js +227 -0
  52. package/build/src/backends/php.d.ts.map +1 -1
  53. package/build/src/backends/php.js +448 -33
  54. package/build/src/backends/program.d.ts +81 -0
  55. package/build/src/backends/program.d.ts.map +1 -0
  56. package/build/src/backends/program.js +1308 -0
  57. package/build/src/backends/python.js +7 -1
  58. package/build/src/backends/ruby.d.ts.map +1 -1
  59. package/build/src/backends/ruby.js +310 -24
  60. package/build/src/backends/rust-runtime.d.ts +7 -0
  61. package/build/src/backends/rust-runtime.d.ts.map +1 -0
  62. package/build/src/backends/rust-runtime.js +32 -0
  63. package/build/src/backends/rust-validation.d.ts +9 -0
  64. package/build/src/backends/rust-validation.d.ts.map +1 -0
  65. package/build/src/backends/rust-validation.js +78 -0
  66. package/build/src/backends/rust.d.ts +24 -0
  67. package/build/src/backends/rust.d.ts.map +1 -0
  68. package/build/src/backends/rust.js +344 -0
  69. package/build/src/backends/scalars.d.ts +14 -6
  70. package/build/src/backends/scalars.d.ts.map +1 -1
  71. package/build/src/backends/scalars.js +167 -17
  72. package/build/src/backends/shared.d.ts +23 -4
  73. package/build/src/backends/shared.d.ts.map +1 -1
  74. package/build/src/backends/shared.js +2158 -62
  75. package/build/src/backends/stdlib-support.d.ts +14 -0
  76. package/build/src/backends/stdlib-support.d.ts.map +1 -0
  77. package/build/src/backends/stdlib-support.js +237 -0
  78. package/build/src/backends/swift-runtime.d.ts +3 -0
  79. package/build/src/backends/swift-runtime.d.ts.map +1 -0
  80. package/build/src/backends/swift-runtime.js +14 -0
  81. package/build/src/backends/swift.d.ts +8 -0
  82. package/build/src/backends/swift.d.ts.map +1 -0
  83. package/build/src/backends/swift.js +127 -0
  84. package/build/src/backends/typescript.d.ts.map +1 -1
  85. package/build/src/backends/typescript.js +344 -24
  86. package/build/src/backends/wasm.d.ts +43 -0
  87. package/build/src/backends/wasm.d.ts.map +1 -0
  88. package/build/src/backends/wasm.js +2164 -0
  89. package/build/src/backends/writer.d.ts +235 -4
  90. package/build/src/backends/writer.d.ts.map +1 -1
  91. package/build/src/backends/writer.js +468 -3
  92. package/build/src/diagnostic.d.ts +4 -3
  93. package/build/src/diagnostic.d.ts.map +1 -1
  94. package/build/src/diagnostic.js +5 -3
  95. package/build/src/frontends/c.d.ts.map +1 -1
  96. package/build/src/frontends/c.js +5 -3
  97. package/build/src/frontends/cpp.d.ts.map +1 -1
  98. package/build/src/frontends/cpp.js +5 -3
  99. package/build/src/frontends/csharp.d.ts.map +1 -1
  100. package/build/src/frontends/csharp.js +7 -3
  101. package/build/src/frontends/dart.d.ts +10 -0
  102. package/build/src/frontends/dart.d.ts.map +1 -0
  103. package/build/src/frontends/dart.js +913 -0
  104. package/build/src/frontends/index.d.ts +3 -1
  105. package/build/src/frontends/index.d.ts.map +1 -1
  106. package/build/src/frontends/index.js +15 -5
  107. package/build/src/frontends/java.d.ts +110 -1
  108. package/build/src/frontends/java.d.ts.map +1 -1
  109. package/build/src/frontends/java.js +1725 -70
  110. package/build/src/frontends/javascript-typescript.d.ts +69 -1
  111. package/build/src/frontends/javascript-typescript.d.ts.map +1 -1
  112. package/build/src/frontends/javascript-typescript.js +1825 -93
  113. package/build/src/frontends/kotlin.d.ts +10 -0
  114. package/build/src/frontends/kotlin.d.ts.map +1 -0
  115. package/build/src/frontends/kotlin.js +685 -0
  116. package/build/src/frontends/php.d.ts +118 -1
  117. package/build/src/frontends/php.d.ts.map +1 -1
  118. package/build/src/frontends/php.js +1583 -76
  119. package/build/src/frontends/program.d.ts +74 -0
  120. package/build/src/frontends/program.d.ts.map +1 -0
  121. package/build/src/frontends/program.js +989 -0
  122. package/build/src/frontends/ruby.d.ts +68 -1
  123. package/build/src/frontends/ruby.d.ts.map +1 -1
  124. package/build/src/frontends/ruby.js +1446 -101
  125. package/build/src/frontends/rust-parser.d.ts +11 -0
  126. package/build/src/frontends/rust-parser.d.ts.map +1 -0
  127. package/build/src/frontends/rust-parser.js +15 -0
  128. package/build/src/frontends/rust.d.ts +14 -0
  129. package/build/src/frontends/rust.d.ts.map +1 -0
  130. package/build/src/frontends/rust.js +715 -0
  131. package/build/src/frontends/scalars.d.ts +10 -0
  132. package/build/src/frontends/scalars.d.ts.map +1 -1
  133. package/build/src/frontends/scalars.js +28 -2
  134. package/build/src/frontends/swift.d.ts +10 -0
  135. package/build/src/frontends/swift.d.ts.map +1 -0
  136. package/build/src/frontends/swift.js +860 -0
  137. package/build/src/frontends/types.d.ts +186 -0
  138. package/build/src/frontends/types.d.ts.map +1 -0
  139. package/build/src/frontends/types.js +634 -0
  140. package/build/src/language-registry.d.ts +46 -4
  141. package/build/src/language-registry.d.ts.map +1 -1
  142. package/build/src/language-registry.js +167 -13
  143. package/build/src/mapping.d.ts +2 -2
  144. package/build/src/mapping.d.ts.map +1 -1
  145. package/build/src/mapping.js +31 -10
  146. package/build/src/semantic/capabilities.d.ts +66 -0
  147. package/build/src/semantic/capabilities.d.ts.map +1 -0
  148. package/build/src/semantic/capabilities.js +649 -0
  149. package/build/src/semantic/effects.d.ts +26 -0
  150. package/build/src/semantic/effects.d.ts.map +1 -0
  151. package/build/src/semantic/effects.js +764 -0
  152. package/build/src/semantic/generics.d.ts +23 -0
  153. package/build/src/semantic/generics.d.ts.map +1 -0
  154. package/build/src/semantic/generics.js +61 -0
  155. package/build/src/semantic/lifetime.d.ts +37 -0
  156. package/build/src/semantic/lifetime.d.ts.map +1 -0
  157. package/build/src/semantic/lifetime.js +527 -0
  158. package/build/src/semantic/provenance.d.ts +9 -2
  159. package/build/src/semantic/provenance.d.ts.map +1 -1
  160. package/build/src/semantic/provenance.js +462 -20
  161. package/build/src/semantic/scalars.d.ts +11 -0
  162. package/build/src/semantic/scalars.d.ts.map +1 -1
  163. package/build/src/semantic/scalars.js +16 -1
  164. package/build/src/semantic/stdlib.d.ts +254 -0
  165. package/build/src/semantic/stdlib.d.ts.map +1 -0
  166. package/build/src/semantic/stdlib.js +880 -0
  167. package/build/src/semantic/types.d.ts +2952 -202
  168. package/build/src/semantic/types.d.ts.map +1 -1
  169. package/build/src/semantic/types.js +688 -15
  170. package/build/src/semantic/validate.d.ts +85 -5
  171. package/build/src/semantic/validate.d.ts.map +1 -1
  172. package/build/src/semantic/validate.js +2576 -98
  173. package/build/src/stdlib-facades.d.ts +304 -0
  174. package/build/src/stdlib-facades.d.ts.map +1 -0
  175. package/build/src/stdlib-facades.js +1167 -0
  176. package/build/src/stdlib-negotiation.d.ts +69 -0
  177. package/build/src/stdlib-negotiation.d.ts.map +1 -0
  178. package/build/src/stdlib-negotiation.js +403 -0
  179. package/build/src/stdlib-providers.d.ts +72 -0
  180. package/build/src/stdlib-providers.d.ts.map +1 -0
  181. package/build/src/stdlib-providers.js +339 -0
  182. package/build/src/toolchains.d.ts +55 -1
  183. package/build/src/toolchains.d.ts.map +1 -1
  184. package/build/src/toolchains.js +15 -4
  185. package/docs/architecture.md +45 -13
  186. package/docs/dart.md +60 -0
  187. package/docs/goals.md +3 -3
  188. package/docs/ios.md +121 -0
  189. package/docs/kotlin.md +42 -0
  190. package/docs/language-support.md +231 -26
  191. package/docs/multi-file-modules.md +52 -0
  192. package/docs/parser-qualification.md +121 -8
  193. package/docs/plans/2026-09-05-standard-library-portability.md +10 -10
  194. package/docs/rust.md +88 -0
  195. package/docs/source-maps.md +15 -7
  196. package/docs/standard-library-portability.md +39 -8
  197. package/docs/swift.md +44 -0
  198. package/docs/testing.md +366 -4
  199. package/docs/webassembly.md +52 -0
  200. package/index.js +63 -8
  201. package/node_modules/semantifold-tree-sitter-legacy-internal/README.md +2 -2
  202. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/LICENSE +21 -0
  203. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/README.md +45 -0
  204. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/binding.gyp +30 -0
  205. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/binding.cc +20 -0
  206. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/binding_test.js +9 -0
  207. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/index.d.ts +28 -0
  208. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/index.js +11 -0
  209. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/grammar.js +1630 -0
  210. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/package.json +64 -0
  211. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/prebuilds/darwin-arm64/tree-sitter-rust.node +0 -0
  212. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/prebuilds/darwin-x64/tree-sitter-rust.node +0 -0
  213. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/prebuilds/linux-arm64/tree-sitter-rust.node +0 -0
  214. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/prebuilds/linux-x64/tree-sitter-rust.node +0 -0
  215. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/prebuilds/win32-arm64/tree-sitter-rust.node +0 -0
  216. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/prebuilds/win32-x64/tree-sitter-rust.node +0 -0
  217. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/queries/highlights.scm +159 -0
  218. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/queries/injections.scm +9 -0
  219. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/queries/tags.scm +60 -0
  220. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/src/grammar.json +9405 -0
  221. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/src/node-types.json +5399 -0
  222. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/src/parser.c +192569 -0
  223. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/src/scanner.c +393 -0
  224. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/src/tree_sitter/alloc.h +54 -0
  225. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/src/tree_sitter/array.h +290 -0
  226. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/src/tree_sitter/parser.h +266 -0
  227. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/tree-sitter-rust.wasm +0 -0
  228. package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/tree-sitter.json +53 -0
  229. package/node_modules/semantifold-tree-sitter-legacy-internal/package.json +3 -2
  230. package/node_modules/semantifold-tree-sitter-legacy-internal/src/c.js +5 -4
  231. package/package.json +5 -2
  232. package/src/artifact-path.js +47 -2
  233. package/src/artifacts.js +67 -0
  234. package/src/backends/c-validation.js +6 -1
  235. package/src/backends/cpp-validation.js +6 -1
  236. package/src/backends/csharp.js +3 -0
  237. package/src/backends/dart-runtime.js +41 -0
  238. package/src/backends/dart.js +326 -0
  239. package/src/backends/effects.js +705 -0
  240. package/src/backends/go.js +14 -2
  241. package/src/backends/identifiers.js +160 -9
  242. package/src/backends/index.js +27 -2
  243. package/src/backends/ios.js +1612 -0
  244. package/src/backends/java.js +454 -36
  245. package/src/backends/javascript.js +389 -23
  246. package/src/backends/kotlin-runtime.js +29 -0
  247. package/src/backends/kotlin.js +141 -0
  248. package/src/backends/native-validation.js +1 -1
  249. package/src/backends/ordered-expressions.js +40 -6
  250. package/src/backends/php-stdlib-support.js +239 -0
  251. package/src/backends/php.js +469 -32
  252. package/src/backends/program.js +1407 -0
  253. package/src/backends/python.js +3 -0
  254. package/src/backends/ruby.js +326 -23
  255. package/src/backends/rust-runtime.js +34 -0
  256. package/src/backends/rust-validation.js +75 -0
  257. package/src/backends/rust.js +335 -0
  258. package/src/backends/scalars.js +141 -16
  259. package/src/backends/shared.js +2304 -124
  260. package/src/backends/stdlib-support.js +234 -0
  261. package/src/backends/swift-runtime.js +14 -0
  262. package/src/backends/swift.js +132 -0
  263. package/src/backends/typescript.js +349 -23
  264. package/src/backends/wasm.js +2208 -0
  265. package/src/backends/writer.js +520 -2
  266. package/src/diagnostic.js +4 -2
  267. package/src/frontends/c.js +4 -2
  268. package/src/frontends/cpp.js +4 -2
  269. package/src/frontends/csharp.js +4 -2
  270. package/src/frontends/dart.js +963 -0
  271. package/src/frontends/index.js +14 -4
  272. package/src/frontends/java.js +1977 -69
  273. package/src/frontends/javascript-typescript.js +2046 -102
  274. package/src/frontends/kotlin.js +713 -0
  275. package/src/frontends/php.js +1725 -79
  276. package/src/frontends/program.js +1062 -0
  277. package/src/frontends/ruby.js +1624 -98
  278. package/src/frontends/rust-parser.js +18 -0
  279. package/src/frontends/rust.js +714 -0
  280. package/src/frontends/scalars.js +31 -1
  281. package/src/frontends/swift.js +893 -0
  282. package/src/frontends/types.js +750 -0
  283. package/src/language-registry.js +172 -12
  284. package/src/mapping.js +33 -9
  285. package/src/semantic/capabilities.js +671 -0
  286. package/src/semantic/effects.js +737 -0
  287. package/src/semantic/generics.js +58 -0
  288. package/src/semantic/lifetime.js +517 -0
  289. package/src/semantic/provenance.js +412 -19
  290. package/src/semantic/scalars.js +17 -0
  291. package/src/semantic/stdlib.js +921 -0
  292. package/src/semantic/types.js +765 -14
  293. package/src/semantic/validate.js +2934 -209
  294. package/src/stdlib-facades.js +1211 -0
  295. package/src/stdlib-negotiation.js +446 -0
  296. package/src/stdlib-providers.js +377 -0
  297. package/src/toolchains.js +16 -3
@@ -0,0 +1,393 @@
1
+ #include "tree_sitter/alloc.h"
2
+ #include "tree_sitter/parser.h"
3
+
4
+ #include <wctype.h>
5
+
6
+ enum TokenType {
7
+ STRING_CONTENT,
8
+ RAW_STRING_LITERAL_START,
9
+ RAW_STRING_LITERAL_CONTENT,
10
+ RAW_STRING_LITERAL_END,
11
+ FLOAT_LITERAL,
12
+ BLOCK_OUTER_DOC_MARKER,
13
+ BLOCK_INNER_DOC_MARKER,
14
+ BLOCK_COMMENT_CONTENT,
15
+ LINE_DOC_CONTENT,
16
+ ERROR_SENTINEL
17
+ };
18
+
19
+ typedef struct {
20
+ uint8_t opening_hash_count;
21
+ } Scanner;
22
+
23
+ void *tree_sitter_rust_external_scanner_create() { return ts_calloc(1, sizeof(Scanner)); }
24
+
25
+ void tree_sitter_rust_external_scanner_destroy(void *payload) { ts_free((Scanner *)payload); }
26
+
27
+ unsigned tree_sitter_rust_external_scanner_serialize(void *payload, char *buffer) {
28
+ Scanner *scanner = (Scanner *)payload;
29
+ buffer[0] = (char)scanner->opening_hash_count;
30
+ return 1;
31
+ }
32
+
33
+ void tree_sitter_rust_external_scanner_deserialize(void *payload, const char *buffer, unsigned length) {
34
+ Scanner *scanner = (Scanner *)payload;
35
+ scanner->opening_hash_count = 0;
36
+ if (length == 1) {
37
+ Scanner *scanner = (Scanner *)payload;
38
+ scanner->opening_hash_count = buffer[0];
39
+ }
40
+ }
41
+
42
+ static inline bool is_num_char(int32_t c) { return c == '_' || iswdigit(c); }
43
+
44
+ static inline void advance(TSLexer *lexer) { lexer->advance(lexer, false); }
45
+
46
+ static inline void skip(TSLexer *lexer) { lexer->advance(lexer, true); }
47
+
48
+ static inline bool process_string(TSLexer *lexer) {
49
+ bool has_content = false;
50
+ for (;;) {
51
+ if (lexer->lookahead == '\"' || lexer->lookahead == '\\') {
52
+ break;
53
+ }
54
+ if (lexer->eof(lexer)) {
55
+ return false;
56
+ }
57
+ has_content = true;
58
+ advance(lexer);
59
+ }
60
+ lexer->result_symbol = STRING_CONTENT;
61
+ lexer->mark_end(lexer);
62
+ return has_content;
63
+ }
64
+
65
+ static inline bool scan_raw_string_start(Scanner *scanner, TSLexer *lexer) {
66
+ if (lexer->lookahead == 'b' || lexer->lookahead == 'c') {
67
+ advance(lexer);
68
+ }
69
+ if (lexer->lookahead != 'r') {
70
+ return false;
71
+ }
72
+ advance(lexer);
73
+
74
+ uint8_t opening_hash_count = 0;
75
+ while (lexer->lookahead == '#') {
76
+ advance(lexer);
77
+ opening_hash_count++;
78
+ }
79
+
80
+ if (lexer->lookahead != '"') {
81
+ return false;
82
+ }
83
+ advance(lexer);
84
+ scanner->opening_hash_count = opening_hash_count;
85
+
86
+ lexer->result_symbol = RAW_STRING_LITERAL_START;
87
+ return true;
88
+ }
89
+
90
+ static inline bool scan_raw_string_content(Scanner *scanner, TSLexer *lexer) {
91
+ for (;;) {
92
+ if (lexer->eof(lexer)) {
93
+ return false;
94
+ }
95
+ if (lexer->lookahead == '"') {
96
+ lexer->mark_end(lexer);
97
+ advance(lexer);
98
+ unsigned hash_count = 0;
99
+ while (lexer->lookahead == '#' && hash_count < scanner->opening_hash_count) {
100
+ advance(lexer);
101
+ hash_count++;
102
+ }
103
+ if (hash_count == scanner->opening_hash_count) {
104
+ lexer->result_symbol = RAW_STRING_LITERAL_CONTENT;
105
+ return true;
106
+ }
107
+ } else {
108
+ advance(lexer);
109
+ }
110
+ }
111
+ }
112
+
113
+ static inline bool scan_raw_string_end(Scanner *scanner, TSLexer *lexer) {
114
+ advance(lexer);
115
+ for (unsigned i = 0; i < scanner->opening_hash_count; i++) {
116
+ advance(lexer);
117
+ }
118
+ lexer->result_symbol = RAW_STRING_LITERAL_END;
119
+ return true;
120
+ }
121
+
122
+ static inline bool process_float_literal(TSLexer *lexer) {
123
+ lexer->result_symbol = FLOAT_LITERAL;
124
+
125
+ advance(lexer);
126
+ while (is_num_char(lexer->lookahead)) {
127
+ advance(lexer);
128
+ }
129
+
130
+ bool has_fraction = false, has_exponent = false;
131
+
132
+ if (lexer->lookahead == '.') {
133
+ has_fraction = true;
134
+ advance(lexer);
135
+ if (iswalpha(lexer->lookahead)) {
136
+ // The dot is followed by a letter: 1.max(2) => not a float but an integer
137
+ return false;
138
+ }
139
+
140
+ if (lexer->lookahead == '.') {
141
+ return false;
142
+ }
143
+ while (is_num_char(lexer->lookahead)) {
144
+ advance(lexer);
145
+ }
146
+ }
147
+
148
+ lexer->mark_end(lexer);
149
+
150
+ if (lexer->lookahead == 'e' || lexer->lookahead == 'E') {
151
+ has_exponent = true;
152
+ advance(lexer);
153
+ if (lexer->lookahead == '+' || lexer->lookahead == '-') {
154
+ advance(lexer);
155
+ }
156
+ if (!is_num_char(lexer->lookahead)) {
157
+ return true;
158
+ }
159
+ advance(lexer);
160
+ while (is_num_char(lexer->lookahead)) {
161
+ advance(lexer);
162
+ }
163
+
164
+ lexer->mark_end(lexer);
165
+ }
166
+
167
+ if (!has_exponent && !has_fraction) {
168
+ return false;
169
+ }
170
+
171
+ if (lexer->lookahead != 'u' && lexer->lookahead != 'i' && lexer->lookahead != 'f') {
172
+ return true;
173
+ }
174
+ advance(lexer);
175
+ if (!iswdigit(lexer->lookahead)) {
176
+ return true;
177
+ }
178
+
179
+ while (iswdigit(lexer->lookahead)) {
180
+ advance(lexer);
181
+ }
182
+
183
+ lexer->mark_end(lexer);
184
+ return true;
185
+ }
186
+
187
+ static inline bool process_line_doc_content(TSLexer *lexer) {
188
+ lexer->result_symbol = LINE_DOC_CONTENT;
189
+ for (;;) {
190
+ if (lexer->eof(lexer)) {
191
+ return true;
192
+ }
193
+ if (lexer->lookahead == '\n') {
194
+ // Include the newline in the doc content node.
195
+ // Line endings are useful for markdown injection.
196
+ advance(lexer);
197
+ return true;
198
+ }
199
+ advance(lexer);
200
+ }
201
+ }
202
+
203
+ typedef enum {
204
+ LeftForwardSlash,
205
+ LeftAsterisk,
206
+ Continuing,
207
+ } BlockCommentState;
208
+
209
+ typedef struct {
210
+ BlockCommentState state;
211
+ unsigned nestingDepth;
212
+ } BlockCommentProcessing;
213
+
214
+ static inline void process_left_forward_slash(BlockCommentProcessing *processing, char current) {
215
+ if (current == '*') {
216
+ processing->nestingDepth += 1;
217
+ }
218
+ processing->state = Continuing;
219
+ };
220
+
221
+ static inline void process_left_asterisk(BlockCommentProcessing *processing, char current, TSLexer *lexer) {
222
+ if (current == '*') {
223
+ lexer->mark_end(lexer);
224
+ processing->state = LeftAsterisk;
225
+ return;
226
+ }
227
+
228
+ if (current == '/') {
229
+ processing->nestingDepth -= 1;
230
+ }
231
+
232
+ processing->state = Continuing;
233
+ }
234
+
235
+ static inline void process_continuing(BlockCommentProcessing *processing, char current) {
236
+ switch (current) {
237
+ case '/':
238
+ processing->state = LeftForwardSlash;
239
+ break;
240
+ case '*':
241
+ processing->state = LeftAsterisk;
242
+ break;
243
+ }
244
+ }
245
+
246
+ static inline bool process_block_comment(TSLexer *lexer, const bool *valid_symbols) {
247
+ char first = (char)lexer->lookahead;
248
+ // The first character is stored so we can safely advance inside
249
+ // these if blocks. However, because we only store one, we can only
250
+ // safely advance 1 time. Since there's a chance that an advance could
251
+ // happen in one state, we must advance in all states to ensure that
252
+ // the program ends up in a sane state prior to processing the block
253
+ // comment if need be.
254
+ if (valid_symbols[BLOCK_INNER_DOC_MARKER] && first == '!') {
255
+ lexer->result_symbol = BLOCK_INNER_DOC_MARKER;
256
+ advance(lexer);
257
+ return true;
258
+ }
259
+ if (valid_symbols[BLOCK_OUTER_DOC_MARKER] && first == '*') {
260
+ advance(lexer);
261
+ lexer->mark_end(lexer);
262
+ // If the next token is a / that means that it's an empty block comment.
263
+ if (lexer->lookahead == '/') {
264
+ return false;
265
+ }
266
+ // If the next token is a * that means that this isn't a BLOCK_OUTER_DOC_MARKER
267
+ // as BLOCK_OUTER_DOC_MARKER's only have 2 * not 3 or more.
268
+ if (lexer->lookahead != '*') {
269
+ lexer->result_symbol = BLOCK_OUTER_DOC_MARKER;
270
+ return true;
271
+ }
272
+ } else {
273
+ advance(lexer);
274
+ }
275
+
276
+ if (valid_symbols[BLOCK_COMMENT_CONTENT]) {
277
+ BlockCommentProcessing processing = {Continuing, 1};
278
+ // Manually set the current state based on the first character
279
+ switch (first) {
280
+ case '*':
281
+ processing.state = LeftAsterisk;
282
+ if (lexer->lookahead == '/') {
283
+ // This case can happen in an empty doc block comment
284
+ // like /*!*/. The comment has no contents, so bail.
285
+ return false;
286
+ }
287
+ break;
288
+ case '/':
289
+ processing.state = LeftForwardSlash;
290
+ break;
291
+ default:
292
+ processing.state = Continuing;
293
+ break;
294
+ }
295
+
296
+ // For the purposes of actually parsing rust code, this
297
+ // is incorrect as it considers an unterminated block comment
298
+ // to be an error. However, for the purposes of syntax highlighting
299
+ // this should be considered successful as otherwise you are not able
300
+ // to syntax highlight a block of code prior to closing the
301
+ // block comment
302
+ while (!lexer->eof(lexer) && processing.nestingDepth != 0) {
303
+ // Set first to the current lookahead as that is the second character
304
+ // as we force an advance in the above code when we are checking if we
305
+ // need to handle a block comment inner or outer doc comment signifier
306
+ // node
307
+ first = (char)lexer->lookahead;
308
+ switch (processing.state) {
309
+ case LeftForwardSlash:
310
+ process_left_forward_slash(&processing, first);
311
+ break;
312
+ case LeftAsterisk:
313
+ process_left_asterisk(&processing, first, lexer);
314
+ break;
315
+ case Continuing:
316
+ lexer->mark_end(lexer);
317
+ process_continuing(&processing, first);
318
+ break;
319
+ default:
320
+ break;
321
+ }
322
+ advance(lexer);
323
+ if (first == '/' && processing.nestingDepth != 0) {
324
+ lexer->mark_end(lexer);
325
+ }
326
+ }
327
+ lexer->result_symbol = BLOCK_COMMENT_CONTENT;
328
+ return true;
329
+ }
330
+
331
+ return false;
332
+ }
333
+
334
+ bool tree_sitter_rust_external_scanner_scan(void *payload, TSLexer *lexer, const bool *valid_symbols) {
335
+ // The documentation states that if the lexical analysis fails for some reason
336
+ // they will mark every state as valid and pass it to the external scanner
337
+ // However, we can't do anything to help them recover in that case so we
338
+ // should just fail.
339
+ /*
340
+ link: https://tree-sitter.github.io/tree-sitter/creating-parsers#external-scanners
341
+ If a syntax error is encountered during regular parsing, Tree-sitter’s
342
+ first action during error recovery will be to call the external scanner’s
343
+ scan function with all tokens marked valid. The scanner should detect this
344
+ case and handle it appropriately. One simple method of detection is to add
345
+ an unused token to the end of the externals array, for example
346
+
347
+ externals: $ => [$.token1, $.token2, $.error_sentinel],
348
+
349
+ then check whether that token is marked valid to determine whether
350
+ Tree-sitter is in error correction mode.
351
+ */
352
+ if (valid_symbols[ERROR_SENTINEL]) {
353
+ return false;
354
+ }
355
+
356
+ Scanner *scanner = (Scanner *)payload;
357
+
358
+ if (valid_symbols[BLOCK_COMMENT_CONTENT] || valid_symbols[BLOCK_INNER_DOC_MARKER] ||
359
+ valid_symbols[BLOCK_OUTER_DOC_MARKER]) {
360
+ return process_block_comment(lexer, valid_symbols);
361
+ }
362
+
363
+ if (valid_symbols[STRING_CONTENT] && !valid_symbols[FLOAT_LITERAL]) {
364
+ return process_string(lexer);
365
+ }
366
+
367
+ if (valid_symbols[LINE_DOC_CONTENT]) {
368
+ return process_line_doc_content(lexer);
369
+ }
370
+
371
+ while (iswspace(lexer->lookahead)) {
372
+ skip(lexer);
373
+ }
374
+
375
+ if (valid_symbols[RAW_STRING_LITERAL_START] &&
376
+ (lexer->lookahead == 'r' || lexer->lookahead == 'b' || lexer->lookahead == 'c')) {
377
+ return scan_raw_string_start(scanner, lexer);
378
+ }
379
+
380
+ if (valid_symbols[RAW_STRING_LITERAL_CONTENT]) {
381
+ return scan_raw_string_content(scanner, lexer);
382
+ }
383
+
384
+ if (valid_symbols[RAW_STRING_LITERAL_END] && lexer->lookahead == '"') {
385
+ return scan_raw_string_end(scanner, lexer);
386
+ }
387
+
388
+ if (valid_symbols[FLOAT_LITERAL] && iswdigit(lexer->lookahead)) {
389
+ return process_float_literal(lexer);
390
+ }
391
+
392
+ return false;
393
+ }
@@ -0,0 +1,54 @@
1
+ #ifndef TREE_SITTER_ALLOC_H_
2
+ #define TREE_SITTER_ALLOC_H_
3
+
4
+ #ifdef __cplusplus
5
+ extern "C" {
6
+ #endif
7
+
8
+ #include <stdbool.h>
9
+ #include <stdio.h>
10
+ #include <stdlib.h>
11
+
12
+ // Allow clients to override allocation functions
13
+ #ifdef TREE_SITTER_REUSE_ALLOCATOR
14
+
15
+ extern void *(*ts_current_malloc)(size_t size);
16
+ extern void *(*ts_current_calloc)(size_t count, size_t size);
17
+ extern void *(*ts_current_realloc)(void *ptr, size_t size);
18
+ extern void (*ts_current_free)(void *ptr);
19
+
20
+ #ifndef ts_malloc
21
+ #define ts_malloc ts_current_malloc
22
+ #endif
23
+ #ifndef ts_calloc
24
+ #define ts_calloc ts_current_calloc
25
+ #endif
26
+ #ifndef ts_realloc
27
+ #define ts_realloc ts_current_realloc
28
+ #endif
29
+ #ifndef ts_free
30
+ #define ts_free ts_current_free
31
+ #endif
32
+
33
+ #else
34
+
35
+ #ifndef ts_malloc
36
+ #define ts_malloc malloc
37
+ #endif
38
+ #ifndef ts_calloc
39
+ #define ts_calloc calloc
40
+ #endif
41
+ #ifndef ts_realloc
42
+ #define ts_realloc realloc
43
+ #endif
44
+ #ifndef ts_free
45
+ #define ts_free free
46
+ #endif
47
+
48
+ #endif
49
+
50
+ #ifdef __cplusplus
51
+ }
52
+ #endif
53
+
54
+ #endif // TREE_SITTER_ALLOC_H_