wasm-idle 0.7.2 → 1.0.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 (386) hide show
  1. package/README.md +760 -81
  2. package/dist/index.d.ts +4 -9
  3. package/dist/index.js +2 -4
  4. package/dist/playground/applicationAssets.d.ts +4 -0
  5. package/dist/playground/applicationAssets.js +277 -0
  6. package/dist/playground/assemblyscript.d.ts +41 -0
  7. package/dist/playground/assemblyscript.js +630 -0
  8. package/dist/playground/assetBridge.d.ts +18 -7
  9. package/dist/playground/assetBridge.js +824 -100
  10. package/dist/playground/assets.d.ts +813 -19
  11. package/dist/playground/assets.js +2096 -156
  12. package/dist/playground/awk.d.ts +5 -0
  13. package/dist/playground/awk.js +60 -0
  14. package/dist/playground/bash.d.ts +53 -0
  15. package/dist/playground/bash.js +1096 -0
  16. package/dist/playground/bashWorkerProtocol.d.ts +88 -0
  17. package/dist/playground/bashWorkerProtocol.js +135 -0
  18. package/dist/playground/bqn.d.ts +5 -0
  19. package/dist/playground/bqn.js +57 -0
  20. package/dist/playground/bqnPreflight.d.ts +26 -0
  21. package/dist/playground/bqnPreflight.js +399 -0
  22. package/dist/playground/c3.d.ts +15 -0
  23. package/dist/playground/c3.js +154 -0
  24. package/dist/playground/clang.d.ts +35 -19
  25. package/dist/playground/clang.js +241 -52
  26. package/dist/playground/clangAssetIntegrity.d.ts +32 -0
  27. package/dist/playground/clangAssetIntegrity.js +8 -0
  28. package/dist/playground/clojurescript.d.ts +5 -0
  29. package/dist/playground/clojurescript.js +59 -0
  30. package/dist/playground/clojurescriptPreflight.d.ts +26 -0
  31. package/dist/playground/clojurescriptPreflight.js +383 -0
  32. package/dist/playground/cobol.d.ts +46 -0
  33. package/dist/playground/cobol.js +703 -0
  34. package/dist/playground/d.d.ts +47 -0
  35. package/dist/playground/d.js +644 -0
  36. package/dist/playground/dOuterAssets.d.ts +16 -0
  37. package/dist/playground/dOuterAssets.js +163 -0
  38. package/dist/playground/dotnet.d.ts +99 -0
  39. package/dist/playground/dotnet.js +1131 -0
  40. package/dist/playground/duckdb.d.ts +36 -0
  41. package/dist/playground/duckdb.js +542 -0
  42. package/dist/playground/elixir.d.ts +18 -10
  43. package/dist/playground/elixir.js +630 -96
  44. package/dist/playground/elixirAssets.d.ts +6 -0
  45. package/dist/playground/elixirAssets.js +33 -0
  46. package/dist/playground/executionObservation.d.ts +22 -0
  47. package/dist/playground/executionObservation.js +65 -0
  48. package/dist/playground/forth.d.ts +5 -0
  49. package/dist/playground/forth.js +53 -0
  50. package/dist/playground/forthPreflight.d.ts +24 -0
  51. package/dist/playground/forthPreflight.js +198 -0
  52. package/dist/playground/fortran.d.ts +47 -0
  53. package/dist/playground/fortran.js +651 -0
  54. package/dist/playground/fortranAssets.d.ts +6 -0
  55. package/dist/playground/fortranAssets.js +27 -0
  56. package/dist/playground/gleam.d.ts +6 -0
  57. package/dist/playground/gleam.js +33 -0
  58. package/dist/playground/go.d.ts +17 -11
  59. package/dist/playground/go.js +376 -72
  60. package/dist/playground/goDebugInstrumentation.d.ts +1 -0
  61. package/dist/playground/goDebugInstrumentation.js +229 -0
  62. package/dist/playground/haskell.d.ts +44 -0
  63. package/dist/playground/haskell.js +678 -0
  64. package/dist/playground/haskellAssets.d.ts +24 -0
  65. package/dist/playground/haskellAssets.js +93 -0
  66. package/dist/playground/index.d.ts +1 -1
  67. package/dist/playground/index.js +360 -111
  68. package/dist/playground/j.d.ts +5 -0
  69. package/dist/playground/j.js +60 -0
  70. package/dist/playground/jPreflight.d.ts +26 -0
  71. package/dist/playground/jPreflight.js +372 -0
  72. package/dist/playground/janet.d.ts +5 -0
  73. package/dist/playground/janet.js +64 -0
  74. package/dist/playground/java.d.ts +24 -10
  75. package/dist/playground/java.js +706 -84
  76. package/dist/playground/javaSource.d.ts +5 -0
  77. package/dist/playground/javaSource.js +16 -0
  78. package/dist/playground/javaStdin.d.ts +1 -1
  79. package/dist/playground/javaStdin.js +13 -4
  80. package/dist/playground/julia.d.ts +5 -0
  81. package/dist/playground/julia.js +64 -0
  82. package/dist/playground/lfortran.d.ts +8 -0
  83. package/dist/playground/lfortran.js +30 -0
  84. package/dist/playground/lfortranAssets.d.ts +21 -0
  85. package/dist/playground/lfortranAssets.js +118 -0
  86. package/dist/playground/lisp.d.ts +45 -0
  87. package/dist/playground/lisp.js +640 -0
  88. package/dist/playground/lispAssets.d.ts +9 -0
  89. package/dist/playground/lispAssets.js +74 -0
  90. package/dist/playground/lldbManifest.d.ts +3 -0
  91. package/dist/playground/lldbManifest.js +155 -0
  92. package/dist/playground/lldbSession.d.ts +115 -0
  93. package/dist/playground/lldbSession.js +1347 -0
  94. package/dist/playground/loadingProgress.d.ts +16 -0
  95. package/dist/playground/loadingProgress.js +166 -0
  96. package/dist/playground/lua.d.ts +44 -0
  97. package/dist/playground/lua.js +630 -0
  98. package/dist/playground/nim.d.ts +5 -0
  99. package/dist/playground/nim.js +76 -0
  100. package/dist/playground/objectivec.d.ts +39 -0
  101. package/dist/playground/objectivec.js +288 -0
  102. package/dist/playground/ocaml.d.ts +28 -10
  103. package/dist/playground/ocaml.js +815 -253
  104. package/dist/playground/octave.d.ts +43 -0
  105. package/dist/playground/octave.js +783 -0
  106. package/dist/playground/options.d.ts +19 -40
  107. package/dist/playground/options.js +2 -1
  108. package/dist/playground/pascal.d.ts +5 -0
  109. package/dist/playground/pascal.js +60 -0
  110. package/dist/playground/perl.d.ts +5 -0
  111. package/dist/playground/perl.js +61 -0
  112. package/dist/playground/php.d.ts +44 -0
  113. package/dist/playground/php.js +665 -0
  114. package/dist/playground/prolog.d.ts +6 -0
  115. package/dist/playground/prolog.js +75 -0
  116. package/dist/playground/python.d.ts +20 -14
  117. package/dist/playground/python.js +445 -101
  118. package/dist/playground/pythonPackageLock.d.ts +6 -0
  119. package/dist/playground/pythonPackageLock.js +56 -0
  120. package/dist/playground/r.d.ts +44 -0
  121. package/dist/playground/r.js +637 -0
  122. package/dist/playground/ruby.d.ts +46 -0
  123. package/dist/playground/ruby.js +732 -0
  124. package/dist/playground/rubyAssets.d.ts +23 -0
  125. package/dist/playground/rubyAssets.js +68 -0
  126. package/dist/playground/rubyTestPreflight.d.ts +2 -0
  127. package/dist/playground/rubyTestPreflight.js +18 -0
  128. package/dist/playground/runtimeModule.d.ts +1 -0
  129. package/dist/playground/runtimeModule.js +5 -0
  130. package/dist/playground/rust.d.ts +44 -13
  131. package/dist/playground/rust.js +714 -76
  132. package/dist/playground/rustExecutableGraph.d.ts +85 -0
  133. package/dist/playground/rustExecutableGraph.js +946 -0
  134. package/dist/playground/rustWorkerLimits.d.ts +17 -0
  135. package/dist/playground/rustWorkerLimits.js +34 -0
  136. package/dist/playground/sandbox.d.ts +16 -10
  137. package/dist/playground/sharedBuffer.d.ts +6 -0
  138. package/dist/playground/sharedBuffer.js +12 -0
  139. package/dist/playground/sqlite.d.ts +38 -0
  140. package/dist/playground/sqlite.js +550 -0
  141. package/dist/playground/staticRuntimeModuleVersion.d.ts +1 -0
  142. package/dist/playground/staticRuntimeModuleVersion.js +2 -0
  143. package/dist/playground/staticRuntimePreflight.d.ts +13 -0
  144. package/dist/playground/staticRuntimePreflight.js +231 -0
  145. package/dist/playground/staticRuntimePreflightExecute.d.ts +8 -0
  146. package/dist/playground/staticRuntimePreflightExecute.js +66 -0
  147. package/dist/playground/staticRuntimePreflightProtocol.d.ts +68 -0
  148. package/dist/playground/staticRuntimePreflightProtocol.js +339 -0
  149. package/dist/playground/staticStdinRing.d.ts +45 -0
  150. package/dist/playground/staticStdinRing.js +158 -0
  151. package/dist/playground/staticWorkerRuntime.d.ts +154 -0
  152. package/dist/playground/staticWorkerRuntime.js +1917 -0
  153. package/dist/playground/stdinBuffer.d.ts +9 -7
  154. package/dist/playground/stdinBuffer.js +9 -18
  155. package/dist/playground/swift.d.ts +5 -0
  156. package/dist/playground/swift.js +17 -0
  157. package/dist/playground/tcl.d.ts +5 -0
  158. package/dist/playground/tcl.js +62 -0
  159. package/dist/playground/teavmConfig.d.ts +1 -1
  160. package/dist/playground/teavmConfig.js +2 -2
  161. package/dist/playground/tinygo.d.ts +48 -18
  162. package/dist/playground/tinygo.js +1202 -329
  163. package/dist/playground/tinygoExecutableGraph.d.ts +44 -0
  164. package/dist/playground/tinygoExecutableGraph.js +449 -0
  165. package/dist/playground/typescript.d.ts +55 -0
  166. package/dist/playground/typescript.js +924 -0
  167. package/dist/playground/wasm.d.ts +43 -0
  168. package/dist/playground/wasm.js +608 -0
  169. package/dist/playground/wasmAwkVersion.d.ts +59 -0
  170. package/dist/playground/wasmAwkVersion.js +31 -0
  171. package/dist/playground/wasmBashVersion.d.ts +63 -0
  172. package/dist/playground/wasmBashVersion.js +36 -0
  173. package/dist/playground/wasmBqnVersion.d.ts +24 -0
  174. package/dist/playground/wasmBqnVersion.js +24 -0
  175. package/dist/playground/wasmC3Version.d.ts +20 -0
  176. package/dist/playground/wasmC3Version.js +21 -0
  177. package/dist/playground/wasmClojureScriptVersion.d.ts +21 -0
  178. package/dist/playground/wasmClojureScriptVersion.js +21 -0
  179. package/dist/playground/wasmDIntegrity.d.ts +15 -0
  180. package/dist/playground/wasmDIntegrity.js +15 -0
  181. package/dist/playground/wasmDVersion.d.ts +1 -0
  182. package/dist/playground/wasmDVersion.js +1 -0
  183. package/dist/playground/wasmDebugVersion.d.ts +6 -0
  184. package/dist/playground/wasmDebugVersion.js +6 -0
  185. package/dist/playground/wasmDotnetVersion.d.ts +1 -0
  186. package/dist/playground/wasmDotnetVersion.js +1 -0
  187. package/dist/playground/wasmElixirVersion.d.ts +21 -1
  188. package/dist/playground/wasmElixirVersion.js +21 -1
  189. package/dist/playground/wasmForthVersion.d.ts +18 -0
  190. package/dist/playground/wasmForthVersion.js +18 -0
  191. package/dist/playground/wasmFortranExecutionAssets.d.ts +15 -0
  192. package/dist/playground/wasmFortranExecutionAssets.js +15 -0
  193. package/dist/playground/wasmFortranVersion.d.ts +1 -0
  194. package/dist/playground/wasmFortranVersion.js +1 -0
  195. package/dist/playground/wasmGleamVersion.d.ts +5 -0
  196. package/dist/playground/wasmGleamVersion.js +5 -0
  197. package/dist/playground/wasmGoVersion.d.ts +1 -1
  198. package/dist/playground/wasmGoVersion.js +1 -1
  199. package/dist/playground/wasmHaskellVersion.d.ts +1 -0
  200. package/dist/playground/wasmHaskellVersion.js +1 -0
  201. package/dist/playground/wasmJVersion.d.ts +24 -0
  202. package/dist/playground/wasmJVersion.js +24 -0
  203. package/dist/playground/wasmJanetVersion.d.ts +53 -0
  204. package/dist/playground/wasmJanetVersion.js +30 -0
  205. package/dist/playground/wasmJuliaVersion.d.ts +71 -0
  206. package/dist/playground/wasmJuliaVersion.js +39 -0
  207. package/dist/playground/wasmLfortranVersion.d.ts +28 -0
  208. package/dist/playground/wasmLfortranVersion.js +29 -0
  209. package/dist/playground/wasmLispVersion.d.ts +1 -0
  210. package/dist/playground/wasmLispVersion.js +1 -0
  211. package/dist/playground/wasmLuaVersion.d.ts +1 -0
  212. package/dist/playground/wasmLuaVersion.js +1 -0
  213. package/dist/playground/wasmNimVersion.d.ts +125 -0
  214. package/dist/playground/wasmNimVersion.js +66 -0
  215. package/dist/playground/wasmObjectiveCVersion.d.ts +27 -0
  216. package/dist/playground/wasmObjectiveCVersion.js +27 -0
  217. package/dist/playground/wasmOcamlVersion.d.ts +12 -1
  218. package/dist/playground/wasmOcamlVersion.js +12 -1
  219. package/dist/playground/wasmOctaveVersion.d.ts +1 -0
  220. package/dist/playground/wasmOctaveVersion.js +1 -0
  221. package/dist/playground/wasmPascalVersion.d.ts +61 -0
  222. package/dist/playground/wasmPascalVersion.js +34 -0
  223. package/dist/playground/wasmPerlVersion.d.ts +71 -0
  224. package/dist/playground/wasmPerlVersion.js +39 -0
  225. package/dist/playground/wasmPrologVersion.d.ts +31 -0
  226. package/dist/playground/wasmPrologVersion.js +31 -0
  227. package/dist/playground/wasmRVersion.d.ts +1 -0
  228. package/dist/playground/wasmRVersion.js +1 -0
  229. package/dist/playground/wasmRustVersion.d.ts +1306 -1
  230. package/dist/playground/wasmRustVersion.js +1458 -1
  231. package/dist/playground/wasmSwiftVersion.d.ts +1 -0
  232. package/dist/playground/wasmSwiftVersion.js +1 -0
  233. package/dist/playground/wasmTclVersion.d.ts +85 -0
  234. package/dist/playground/wasmTclVersion.js +46 -0
  235. package/dist/playground/wasmTinyGoVersion.d.ts +98 -1
  236. package/dist/playground/wasmTinyGoVersion.js +107 -1
  237. package/dist/playground/wasmTypeScriptVersion.d.ts +5 -0
  238. package/dist/playground/wasmTypeScriptVersion.js +5 -0
  239. package/dist/playground/wasmWatVersion.d.ts +1 -0
  240. package/dist/playground/wasmWatVersion.js +1 -0
  241. package/dist/playground/wasmZigVersion.d.ts +13 -0
  242. package/dist/playground/wasmZigVersion.js +13 -0
  243. package/dist/playground/wat.d.ts +44 -0
  244. package/dist/playground/wat.js +622 -0
  245. package/dist/playground/worker/assemblyscript.js +339 -0
  246. package/dist/playground/worker/assets.d.ts +7 -0
  247. package/dist/playground/worker/assets.js +288 -39
  248. package/dist/playground/worker/bash.js +338 -0
  249. package/dist/playground/worker/bashNestedBootstrap.d.ts +6 -0
  250. package/dist/playground/worker/bashNestedBootstrap.js +59 -0
  251. package/dist/playground/worker/bashRuntime.d.ts +89 -0
  252. package/dist/playground/worker/bashRuntime.js +982 -0
  253. package/dist/playground/worker/clang.js +92 -13
  254. package/dist/playground/worker/cobol.js +107 -0
  255. package/dist/playground/worker/d.js +199 -0
  256. package/dist/playground/worker/dotnet.js +141 -0
  257. package/dist/playground/worker/duckdb.d.ts +1 -0
  258. package/dist/playground/worker/duckdb.js +136 -0
  259. package/dist/playground/worker/elixir.js +307 -41
  260. package/dist/playground/worker/fortran.d.ts +1 -0
  261. package/dist/playground/worker/fortran.js +295 -0
  262. package/dist/playground/worker/go.js +246 -40
  263. package/dist/playground/worker/haskell.d.ts +7 -0
  264. package/dist/playground/worker/haskell.js +465 -0
  265. package/dist/playground/worker/java.js +59 -20
  266. package/dist/playground/worker/lisp.d.ts +1 -0
  267. package/dist/playground/worker/lisp.js +195 -0
  268. package/dist/playground/worker/lua.d.ts +1 -0
  269. package/dist/playground/worker/lua.js +163 -0
  270. package/dist/playground/worker/objectivec.d.ts +1 -0
  271. package/dist/playground/worker/objectivec.js +10 -0
  272. package/dist/playground/worker/ocaml.js +206 -58
  273. package/dist/playground/worker/php.d.ts +1 -0
  274. package/dist/playground/worker/php.js +261 -0
  275. package/dist/playground/worker/python.js +201 -44
  276. package/dist/playground/worker/r.d.ts +1 -0
  277. package/dist/playground/worker/r.js +192 -0
  278. package/dist/playground/worker/ruby.d.ts +1 -0
  279. package/dist/playground/worker/ruby.js +248 -0
  280. package/dist/playground/worker/runtimeAssetFetch.d.ts +15 -0
  281. package/dist/playground/worker/runtimeAssetFetch.js +375 -0
  282. package/dist/playground/worker/rust.js +546 -20
  283. package/dist/playground/worker/sqlite.d.ts +1 -0
  284. package/dist/playground/worker/sqlite.js +112 -0
  285. package/dist/playground/worker/staticRuntimePreflight.d.ts +1 -0
  286. package/dist/playground/worker/staticRuntimePreflight.js +56 -0
  287. package/dist/playground/worker/tinygo.js +34 -9
  288. package/dist/playground/worker/typescript.d.ts +1 -0
  289. package/dist/playground/worker/typescript.js +251 -0
  290. package/dist/playground/worker/wasm.d.ts +1 -0
  291. package/dist/playground/worker/wasm.js +273 -0
  292. package/dist/playground/worker/wat.d.ts +1 -0
  293. package/dist/playground/worker/wat.js +188 -0
  294. package/dist/playground/worker/zig.d.ts +8 -0
  295. package/dist/playground/worker/zig.js +578 -0
  296. package/dist/playground/workerProgress.d.ts +15 -0
  297. package/dist/playground/workerProgress.js +72 -0
  298. package/dist/playground/workerSession.d.ts +28 -0
  299. package/dist/playground/workerSession.js +164 -0
  300. package/dist/playground/zig.d.ts +46 -0
  301. package/dist/playground/zig.js +690 -0
  302. package/dist/playground/zigAssets.d.ts +6 -0
  303. package/dist/playground/zigAssets.js +49 -0
  304. package/package.json +234 -105
  305. package/dist/clang/app.d.ts +0 -75
  306. package/dist/clang/app.js +0 -744
  307. package/dist/clang/apply.d.ts +0 -2
  308. package/dist/clang/apply.js +0 -11
  309. package/dist/clang/color.d.ts +0 -3
  310. package/dist/clang/color.js +0 -3
  311. package/dist/clang/encode.d.ts +0 -4
  312. package/dist/clang/encode.js +0 -20
  313. package/dist/clang/error.d.ts +0 -14
  314. package/dist/clang/error.js +0 -27
  315. package/dist/clang/gccCompat.d.ts +0 -15
  316. package/dist/clang/gccCompat.js +0 -767
  317. package/dist/clang/index.d.ts +0 -85
  318. package/dist/clang/index.js +0 -1077
  319. package/dist/clang/memory/index.d.ts +0 -4
  320. package/dist/clang/memory/index.js +0 -4
  321. package/dist/clang/memory/memFs.d.ts +0 -35
  322. package/dist/clang/memory/memFs.js +0 -132
  323. package/dist/clang/memory/memory.d.ts +0 -22
  324. package/dist/clang/memory/memory.js +0 -73
  325. package/dist/clang/memory/tar.d.ts +0 -2
  326. package/dist/clang/memory/tar.js +0 -59
  327. package/dist/clang/url.d.ts +0 -4
  328. package/dist/clang/url.js +0 -5
  329. package/dist/clang/wasm.d.ts +0 -4
  330. package/dist/clang/wasm.js +0 -50
  331. package/dist/clangd/config.d.ts +0 -18
  332. package/dist/clangd/config.js +0 -14
  333. package/dist/clangd/jsonStream.d.ts +0 -9
  334. package/dist/clangd/jsonStream.js +0 -48
  335. package/dist/clangd/session.d.ts +0 -18
  336. package/dist/clangd/session.js +0 -112
  337. package/dist/clangd/worker.js +0 -131
  338. package/dist/debug/controller.svelte.d.ts +0 -43
  339. package/dist/debug/controller.svelte.js +0 -268
  340. package/dist/debug/editor/index.d.ts +0 -2
  341. package/dist/debug/editor/index.js +0 -1
  342. package/dist/debug/editor/monaco.d.ts +0 -26
  343. package/dist/debug/editor/monaco.js +0 -128
  344. package/dist/debug/expression.d.ts +0 -26
  345. package/dist/debug/expression.js +0 -547
  346. package/dist/debug/index.d.ts +0 -8
  347. package/dist/debug/index.js +0 -5
  348. package/dist/debug/language/cpp.d.ts +0 -2
  349. package/dist/debug/language/cpp.js +0 -7
  350. package/dist/debug/language/index.d.ts +0 -3
  351. package/dist/debug/language/index.js +0 -2
  352. package/dist/debug/language/python.d.ts +0 -2
  353. package/dist/debug/language/python.js +0 -14
  354. package/dist/debug/language/types.d.ts +0 -6
  355. package/dist/debug/locals.d.ts +0 -2
  356. package/dist/debug/locals.js +0 -8
  357. package/dist/lsp/cpp/server.d.ts +0 -2
  358. package/dist/lsp/cpp/server.js +0 -68
  359. package/dist/lsp/index.d.ts +0 -5
  360. package/dist/lsp/index.js +0 -4
  361. package/dist/lsp/python/main.worker.js +0 -92
  362. package/dist/lsp/python/package/arcturus_python_lsp/__init__.py +0 -3
  363. package/dist/lsp/python/package/arcturus_python_lsp/server.py +0 -462
  364. package/dist/lsp/python/server.d.ts +0 -2
  365. package/dist/lsp/python/server.js +0 -54
  366. package/dist/lsp/registry.d.ts +0 -2
  367. package/dist/lsp/registry.js +0 -12
  368. package/dist/lsp/runtime.d.ts +0 -5
  369. package/dist/lsp/runtime.js +0 -31
  370. package/dist/lsp/types.d.ts +0 -17
  371. package/dist/terminal/Terminal.svelte +0 -422
  372. package/dist/terminal/Terminal.svelte.d.ts +0 -26
  373. package/dist/terminal/index.d.ts +0 -7
  374. package/dist/terminal/index.js +0 -5
  375. package/dist/terminal/plugin/index.d.ts +0 -9
  376. package/dist/terminal/plugin/index.js +0 -19
  377. package/dist/terminal/theme.d.ts +0 -49
  378. package/dist/terminal/theme.js +0 -49
  379. package/dist/terminal/types.d.ts +0 -18
  380. package/dist/utils/vscodeJsonrpcBrowser.d.ts +0 -5
  381. package/dist/utils/vscodeJsonrpcBrowser.js +0 -4
  382. /package/dist/{clangd/worker.d.ts → playground/worker/assemblyscript.d.ts} +0 -0
  383. /package/dist/{debug/language/types.js → playground/worker/bash.d.ts} +0 -0
  384. /package/dist/{lsp/python/main.worker.d.ts → playground/worker/cobol.d.ts} +0 -0
  385. /package/dist/{lsp/types.js → playground/worker/d.d.ts} +0 -0
  386. /package/dist/{terminal/types.js → playground/worker/dotnet.d.ts} +0 -0
@@ -0,0 +1,665 @@
1
+ import { resolvePhpRuntimeModuleUrl } from './assets';
2
+ import { resolveSandboxExecutionArgs } from './options';
3
+ import { flushBufferedEof, flushQueuedStdin, resetBufferedStdin } from './stdinBuffer';
4
+ import { createWasmIdleSharedBuffer } from './sharedBuffer';
5
+ import { WorkerSession } from './workerSession';
6
+ import { reportWorkerProgress } from './workerProgress';
7
+ import { BusyError, CancelledError, DEFAULT_WORKSPACE_LIMITS, DiagnosticLimitError, OutputLimitError, RuntimeConfigurationError, TimeoutError, resolveExecutionLimits, validateExecutionWorkspace } from '@wasm-idle/core';
8
+ const OUTPUT_ENCODER = new TextEncoder();
9
+ const abortReason = (signal, phase) => signal.reason !== undefined
10
+ ? signal.reason
11
+ : new DOMException(phase === 'startup' ? 'PHP runtime startup aborted' : 'PHP execution aborted', 'AbortError');
12
+ class Php {
13
+ output = null;
14
+ worker = null;
15
+ buffer = createWasmIdleSharedBuffer(4096);
16
+ pendingInput = [];
17
+ begin = 0;
18
+ elapse = 0;
19
+ uid = 0;
20
+ exit = true;
21
+ moduleUrl = '';
22
+ oncompilerdiagnostic;
23
+ waitingForInput = false;
24
+ pendingEof = false;
25
+ activeOperation = null;
26
+ disposed = false;
27
+ disposePromise = null;
28
+ disposeCancellation = new CancelledError('PHP sandbox disposed', {
29
+ phase: 'dispose',
30
+ runtimeId: 'PHP',
31
+ recoverable: false
32
+ });
33
+ workerSession = new WorkerSession({
34
+ label: 'PHP',
35
+ onDispose: (worker) => {
36
+ if (this.worker !== worker)
37
+ return;
38
+ delete this.worker;
39
+ this.exit = true;
40
+ this.waitingForInput = false;
41
+ this.pendingEof = false;
42
+ }
43
+ });
44
+ beginOperation(phase) {
45
+ if (this.disposed) {
46
+ throw new RuntimeConfigurationError('PHP sandbox is disposed', {
47
+ phase: 'dispose',
48
+ runtimeId: 'PHP'
49
+ });
50
+ }
51
+ if (this.activeOperation) {
52
+ throw new BusyError('PHP runtime already has an active operation', {
53
+ runtimeId: 'PHP',
54
+ phase: this.activeOperation.phase
55
+ });
56
+ }
57
+ const operation = {
58
+ token: Symbol(phase),
59
+ phase,
60
+ cancelled: false,
61
+ explicitStdin: false,
62
+ ownsStdin: false,
63
+ cleanedUp: false,
64
+ cleanups: []
65
+ };
66
+ this.activeOperation = operation;
67
+ return operation;
68
+ }
69
+ isOperationActive(operation) {
70
+ return this.activeOperation?.token === operation.token && !operation.cancelled;
71
+ }
72
+ releaseOperation(operation) {
73
+ if (this.activeOperation?.token !== operation.token)
74
+ return false;
75
+ this.activeOperation = null;
76
+ return true;
77
+ }
78
+ cleanupOperation(operation) {
79
+ if (operation.cleanedUp)
80
+ return;
81
+ operation.cleanedUp = true;
82
+ const cleanups = operation.cleanups.splice(0);
83
+ for (const cleanup of cleanups) {
84
+ try {
85
+ cleanup();
86
+ }
87
+ catch {
88
+ // Caller-owned lifecycle cleanup must not replace the operation result.
89
+ }
90
+ }
91
+ }
92
+ releaseBeforeSession(operation, reason) {
93
+ const outcome = operation.cancelled ? operation.cancellationReason : reason;
94
+ this.releaseOperation(operation);
95
+ this.cleanupOperation(operation);
96
+ return outcome;
97
+ }
98
+ bindPreSessionAbort(operation, signal) {
99
+ if (!signal || !this.isOperationActive(operation))
100
+ return () => undefined;
101
+ let registered = false;
102
+ let unbound = false;
103
+ const unbind = () => {
104
+ if (unbound)
105
+ return;
106
+ unbound = true;
107
+ if (registered)
108
+ signal.removeEventListener('abort', onAbort);
109
+ };
110
+ const onAbort = () => {
111
+ if (!this.isOperationActive(operation))
112
+ return;
113
+ let reason;
114
+ try {
115
+ reason = abortReason(signal, operation.phase);
116
+ }
117
+ catch (error) {
118
+ reason = error;
119
+ }
120
+ operation.cancelled = true;
121
+ operation.cancellationReason = reason;
122
+ this.releaseOperation(operation);
123
+ this.cleanupOperation(operation);
124
+ };
125
+ operation.cleanups.push(unbind);
126
+ try {
127
+ registered = true;
128
+ signal.addEventListener('abort', onAbort, { once: true });
129
+ if (signal.aborted)
130
+ onAbort();
131
+ }
132
+ catch (error) {
133
+ if (this.isOperationActive(operation)) {
134
+ operation.cancelled = true;
135
+ operation.cancellationReason = error;
136
+ this.releaseOperation(operation);
137
+ this.cleanupOperation(operation);
138
+ }
139
+ }
140
+ return unbind;
141
+ }
142
+ bindAbortSignal(operation, signal) {
143
+ if (!signal || !this.isOperationActive(operation))
144
+ return;
145
+ let registered = false;
146
+ const onAbort = () => {
147
+ if (!this.isOperationActive(operation))
148
+ return;
149
+ let reason;
150
+ try {
151
+ reason = abortReason(signal, operation.phase);
152
+ }
153
+ catch (error) {
154
+ reason = error;
155
+ }
156
+ this.cancelOperation(operation, reason);
157
+ };
158
+ operation.cleanups.push(() => {
159
+ if (registered)
160
+ signal.removeEventListener('abort', onAbort);
161
+ });
162
+ try {
163
+ registered = true;
164
+ signal.addEventListener('abort', onAbort, { once: true });
165
+ if (signal.aborted)
166
+ onAbort();
167
+ }
168
+ catch (error) {
169
+ this.cancelOperation(operation, error);
170
+ }
171
+ }
172
+ bindOperationTimeout(operation, timeoutMs) {
173
+ if (!this.isOperationActive(operation))
174
+ return;
175
+ let timeout;
176
+ operation.cleanups.push(() => {
177
+ if (timeout !== undefined)
178
+ clearTimeout(timeout);
179
+ });
180
+ try {
181
+ timeout = setTimeout(() => {
182
+ if (!this.isOperationActive(operation))
183
+ return;
184
+ const label = operation.phase === 'startup' ? 'startup' : 'execution';
185
+ this.cancelOperation(operation, new TimeoutError(`PHP ${label} timed out after ${timeoutMs} ms`, {
186
+ phase: operation.phase,
187
+ runtimeId: 'PHP',
188
+ timeoutMs
189
+ }));
190
+ }, timeoutMs);
191
+ if (operation.cleanedUp)
192
+ clearTimeout(timeout);
193
+ }
194
+ catch (error) {
195
+ this.cancelOperation(operation, error);
196
+ }
197
+ }
198
+ resetSharedStdinBuffer() {
199
+ try {
200
+ resetBufferedStdin(this.buffer);
201
+ }
202
+ catch {
203
+ // Stdin cleanup must not replace the execution result.
204
+ }
205
+ }
206
+ prepareRunStdin(operation, explicitStdin) {
207
+ operation.ownsStdin = true;
208
+ operation.explicitStdin = explicitStdin;
209
+ if (explicitStdin) {
210
+ this.pendingInput = [];
211
+ this.pendingEof = false;
212
+ }
213
+ this.waitingForInput = false;
214
+ this.resetSharedStdinBuffer();
215
+ }
216
+ finishRunStdin(operation) {
217
+ if (!operation.ownsStdin)
218
+ return;
219
+ const resetSharedBuffer = operation.explicitStdin;
220
+ operation.ownsStdin = false;
221
+ operation.explicitStdin = false;
222
+ this.pendingInput = [];
223
+ this.pendingEof = false;
224
+ this.waitingForInput = false;
225
+ if (resetSharedBuffer)
226
+ this.resetSharedStdinBuffer();
227
+ }
228
+ cancelOperation(operation, reason) {
229
+ if (!this.isOperationActive(operation))
230
+ return;
231
+ operation.cancelled = true;
232
+ operation.cancellationReason = reason;
233
+ this.finishRunStdin(operation);
234
+ this.activeOperation = null;
235
+ this.waitingForInput = false;
236
+ this.pendingEof = false;
237
+ this.uid += 1;
238
+ this.exit = true;
239
+ this.workerSession.terminate(reason);
240
+ this.cleanupOperation(operation);
241
+ }
242
+ load(runtimeAssets = '', _code = '', _log = true, _args = [], options = {}, progress) {
243
+ let activeOperation;
244
+ try {
245
+ activeOperation = this.beginOperation('startup');
246
+ }
247
+ catch (error) {
248
+ return Promise.reject(error);
249
+ }
250
+ let limits;
251
+ let signal;
252
+ let unbindPreSessionAbort = () => undefined;
253
+ try {
254
+ signal = options.signal;
255
+ unbindPreSessionAbort = this.bindPreSessionAbort(activeOperation, signal);
256
+ if (!this.isOperationActive(activeOperation)) {
257
+ return Promise.reject(this.releaseBeforeSession(activeOperation, 'PHP runtime startup cancelled'));
258
+ }
259
+ limits = resolveExecutionLimits(options.limits);
260
+ if (!this.isOperationActive(activeOperation) || signal?.aborted) {
261
+ return Promise.reject(this.releaseBeforeSession(activeOperation, 'PHP runtime startup cancelled'));
262
+ }
263
+ unbindPreSessionAbort();
264
+ }
265
+ catch (error) {
266
+ return Promise.reject(this.releaseBeforeSession(activeOperation, error));
267
+ }
268
+ if (!this.isOperationActive(activeOperation)) {
269
+ return Promise.reject(this.releaseBeforeSession(activeOperation, 'PHP runtime startup cancelled'));
270
+ }
271
+ const loading = this.workerSession.load(async (resolve, reject) => {
272
+ const resolveOperation = () => {
273
+ if (!this.releaseOperation(activeOperation))
274
+ return;
275
+ resolve();
276
+ this.cleanupOperation(activeOperation);
277
+ };
278
+ const rejectOperation = (reason) => {
279
+ if (!this.releaseOperation(activeOperation))
280
+ return;
281
+ reject(reason);
282
+ this.cleanupOperation(activeOperation);
283
+ };
284
+ try {
285
+ if (!this.isOperationActive(activeOperation))
286
+ return;
287
+ this.pendingInput = [];
288
+ this.waitingForInput = false;
289
+ this.pendingEof = false;
290
+ const currentUrl = typeof window !== 'undefined' ? window.location.href : '';
291
+ const nextModuleUrl = resolvePhpRuntimeModuleUrl(runtimeAssets, currentUrl);
292
+ if (!this.isOperationActive(activeOperation))
293
+ return;
294
+ if (this.worker && this.moduleUrl !== nextModuleUrl)
295
+ this.workerSession.reset();
296
+ this.moduleUrl = nextModuleUrl;
297
+ if (!this.isOperationActive(activeOperation))
298
+ return;
299
+ if (!this.worker) {
300
+ const WorkerConstructor = (await import('./worker/php?worker'))
301
+ .default;
302
+ if (!this.isOperationActive(activeOperation))
303
+ return;
304
+ const worker = new WorkerConstructor();
305
+ if (!this.isOperationActive(activeOperation)) {
306
+ try {
307
+ worker.terminate();
308
+ }
309
+ catch {
310
+ // The unattached worker is already detached.
311
+ }
312
+ return;
313
+ }
314
+ this.worker = worker;
315
+ this.workerSession.attach(worker);
316
+ let handler;
317
+ handler = (event) => {
318
+ if (!this.isOperationActive(activeOperation) ||
319
+ this.worker !== worker ||
320
+ worker.onmessage !== handler) {
321
+ return;
322
+ }
323
+ try {
324
+ reportWorkerProgress(progress, event.data?.progress);
325
+ if (!this.isOperationActive(activeOperation) ||
326
+ this.worker !== worker ||
327
+ worker.onmessage !== handler) {
328
+ return;
329
+ }
330
+ if (event.data?.load) {
331
+ progress?.set?.(1);
332
+ if (!this.isOperationActive(activeOperation) ||
333
+ this.worker !== worker ||
334
+ worker.onmessage !== handler) {
335
+ return;
336
+ }
337
+ resolveOperation();
338
+ return;
339
+ }
340
+ if (event.data?.error !== undefined) {
341
+ rejectOperation(event.data.error);
342
+ }
343
+ }
344
+ catch (error) {
345
+ rejectOperation(error);
346
+ }
347
+ };
348
+ worker.onmessage = handler;
349
+ worker.postMessage({
350
+ load: true,
351
+ moduleUrl: this.moduleUrl,
352
+ log: _log
353
+ });
354
+ }
355
+ else {
356
+ const worker = this.worker;
357
+ progress?.set?.(1);
358
+ if (!this.isOperationActive(activeOperation) || this.worker !== worker)
359
+ return;
360
+ resolveOperation();
361
+ }
362
+ }
363
+ catch (error) {
364
+ rejectOperation(error);
365
+ }
366
+ });
367
+ const timeoutMs = Math.min(2_147_483_647, limits.assetTimeoutMs + limits.startupTimeoutMs);
368
+ this.bindOperationTimeout(activeOperation, timeoutMs);
369
+ this.bindAbortSignal(activeOperation, signal);
370
+ return loading.finally(() => {
371
+ this.releaseOperation(activeOperation);
372
+ this.cleanupOperation(activeOperation);
373
+ });
374
+ }
375
+ write(input) {
376
+ if (this.disposed)
377
+ return;
378
+ this.pendingInput.push(input);
379
+ this.pendingEof = false;
380
+ this.flushPendingInput();
381
+ }
382
+ eof() {
383
+ if (this.disposed)
384
+ return;
385
+ this.pendingEof = true;
386
+ this.flushPendingInput();
387
+ }
388
+ flushPendingInput() {
389
+ if (!this.waitingForInput)
390
+ return;
391
+ if (flushQueuedStdin(this.pendingInput, this.buffer)) {
392
+ this.waitingForInput = false;
393
+ return;
394
+ }
395
+ if (this.pendingEof) {
396
+ flushBufferedEof(this.buffer);
397
+ this.pendingEof = false;
398
+ this.waitingForInput = false;
399
+ }
400
+ }
401
+ run(code, prepare, _log = true, _prog, args = [], options = {}) {
402
+ let activeOperation;
403
+ try {
404
+ activeOperation = this.beginOperation('execute');
405
+ }
406
+ catch (error) {
407
+ return Promise.reject(error);
408
+ }
409
+ const worker = this.worker;
410
+ let limits;
411
+ let signal;
412
+ let unbindPreSessionAbort = () => undefined;
413
+ let request;
414
+ try {
415
+ signal = options.signal;
416
+ unbindPreSessionAbort = this.bindPreSessionAbort(activeOperation, signal);
417
+ if (!this.isOperationActive(activeOperation)) {
418
+ return Promise.reject(this.releaseBeforeSession(activeOperation, 'PHP execution cancelled'));
419
+ }
420
+ limits = resolveExecutionLimits(options.limits);
421
+ const workspace = validateExecutionWorkspace(code, options.workspaceFiles ?? [], options.activePath ?? 'main.php', {
422
+ ...options.workspaceLimits,
423
+ maxFileBytes: Math.min(options.workspaceLimits?.maxFileBytes ??
424
+ DEFAULT_WORKSPACE_LIMITS.maxFileBytes, limits.maxWorkspaceBytes),
425
+ maxTotalBytes: Math.min(options.workspaceLimits?.maxTotalBytes ??
426
+ DEFAULT_WORKSPACE_LIMITS.maxTotalBytes, limits.maxWorkspaceBytes)
427
+ });
428
+ request = {
429
+ programArgs: resolveSandboxExecutionArgs('PHP', args, options).programArgs,
430
+ stdin: options.stdin,
431
+ activePath: workspace.activePath ?? 'main.php',
432
+ workspaceFiles: workspace.workspaceFiles
433
+ };
434
+ if (!this.isOperationActive(activeOperation) || signal?.aborted) {
435
+ return Promise.reject(this.releaseBeforeSession(activeOperation, 'PHP execution cancelled'));
436
+ }
437
+ unbindPreSessionAbort();
438
+ }
439
+ catch (error) {
440
+ return Promise.reject(this.releaseBeforeSession(activeOperation, error));
441
+ }
442
+ if (!worker) {
443
+ return Promise.reject(this.releaseBeforeSession(activeOperation, 'Worker not loaded'));
444
+ }
445
+ if (!this.isOperationActive(activeOperation) || this.worker !== worker) {
446
+ return Promise.reject(this.releaseBeforeSession(activeOperation, 'Worker not loaded'));
447
+ }
448
+ const hasExplicitStdin = request.stdin !== undefined;
449
+ this.prepareRunStdin(activeOperation, hasExplicitStdin);
450
+ this.exit = false;
451
+ const running = new Promise((resolve, reject) => {
452
+ let diagnosticCount = 0;
453
+ let outputBytes = 0;
454
+ const workerOperation = this.workerSession.beginRun(worker, reject);
455
+ const timeoutMs = Math.min(2_147_483_647, limits.compileTimeoutMs + limits.runTimeoutMs);
456
+ this.bindOperationTimeout(activeOperation, timeoutMs);
457
+ this.bindAbortSignal(activeOperation, signal);
458
+ if (!this.isOperationActive(activeOperation))
459
+ return;
460
+ const runUid = ++this.uid;
461
+ let handler;
462
+ const ownsRun = () => this.isOperationActive(activeOperation) &&
463
+ this.worker === worker &&
464
+ worker.onmessage === handler &&
465
+ runUid === this.uid;
466
+ const settleRunState = () => {
467
+ this.finishRunStdin(activeOperation);
468
+ this.elapse = Date.now() - this.begin;
469
+ this.exit = true;
470
+ this.waitingForInput = false;
471
+ this.pendingEof = false;
472
+ };
473
+ const claimRun = () => {
474
+ if (!ownsRun())
475
+ return false;
476
+ settleRunState();
477
+ this.workerSession.complete(workerOperation);
478
+ this.releaseOperation(activeOperation);
479
+ this.cleanupOperation(activeOperation);
480
+ try {
481
+ if (worker.onmessage === handler)
482
+ worker.onmessage = null;
483
+ }
484
+ catch {
485
+ // Handler cleanup must not replace the execution result.
486
+ }
487
+ return true;
488
+ };
489
+ const failRun = (reason, disposeWorker = false) => {
490
+ if (disposeWorker) {
491
+ if (!ownsRun())
492
+ return;
493
+ this.cancelOperation(activeOperation, reason);
494
+ return;
495
+ }
496
+ if (!claimRun())
497
+ return;
498
+ reject(reason);
499
+ };
500
+ handler = (event) => {
501
+ if (this.worker !== worker ||
502
+ worker.onmessage !== handler ||
503
+ !this.isOperationActive(activeOperation)) {
504
+ return;
505
+ }
506
+ try {
507
+ const { output, results, error, buffer, diagnostic, progress } = event.data;
508
+ if (buffer && !hasExplicitStdin) {
509
+ if (!prepare) {
510
+ _prog?.report?.({
511
+ kind: 'ready',
512
+ state: 'waiting-input',
513
+ reason: 'stdin-request',
514
+ label: 'PHP program is waiting for input'
515
+ });
516
+ }
517
+ this.waitingForInput = true;
518
+ this.flushPendingInput();
519
+ if (!ownsRun())
520
+ return;
521
+ }
522
+ reportWorkerProgress(_prog, progress);
523
+ if (!ownsRun())
524
+ return;
525
+ if (typeof output === 'string' && output.length > 0) {
526
+ const actual = outputBytes + OUTPUT_ENCODER.encode(output).byteLength;
527
+ if (actual > limits.maxOutputBytes) {
528
+ failRun(new OutputLimitError(`PHP output exceeded ${limits.maxOutputBytes} bytes`, {
529
+ actual,
530
+ limit: limits.maxOutputBytes,
531
+ phase: 'execute',
532
+ runtimeId: 'PHP'
533
+ }), true);
534
+ return;
535
+ }
536
+ outputBytes = actual;
537
+ this.output?.(output);
538
+ if (!ownsRun())
539
+ return;
540
+ }
541
+ if (diagnostic !== undefined) {
542
+ const actual = diagnosticCount + 1;
543
+ if (actual > limits.maxDiagnostics) {
544
+ failRun(new DiagnosticLimitError(`PHP diagnostics exceeded ${limits.maxDiagnostics} messages`, {
545
+ actual,
546
+ limit: limits.maxDiagnostics,
547
+ phase: 'execute',
548
+ runtimeId: 'PHP'
549
+ }), true);
550
+ return;
551
+ }
552
+ diagnosticCount = actual;
553
+ this.oncompilerdiagnostic?.(diagnostic);
554
+ if (!ownsRun())
555
+ return;
556
+ }
557
+ if (results !== undefined) {
558
+ if (!claimRun())
559
+ return;
560
+ resolve(results);
561
+ return;
562
+ }
563
+ if (error !== undefined)
564
+ failRun(error);
565
+ }
566
+ catch (error) {
567
+ failRun(error, true);
568
+ }
569
+ };
570
+ worker.onmessage = handler;
571
+ this.begin = Date.now();
572
+ try {
573
+ worker.postMessage({
574
+ code,
575
+ prepare,
576
+ buffer: this.buffer,
577
+ args: request.programArgs,
578
+ stdin: request.stdin,
579
+ activePath: request.activePath,
580
+ workspaceFiles: request.workspaceFiles,
581
+ log: _log
582
+ });
583
+ }
584
+ catch (error) {
585
+ failRun(error);
586
+ }
587
+ });
588
+ return running.finally(() => {
589
+ if (this.isOperationActive(activeOperation)) {
590
+ this.finishRunStdin(activeOperation);
591
+ this.releaseOperation(activeOperation);
592
+ this.exit = true;
593
+ this.waitingForInput = false;
594
+ this.pendingEof = false;
595
+ }
596
+ this.cleanupOperation(activeOperation);
597
+ });
598
+ }
599
+ kill() {
600
+ this.terminate();
601
+ }
602
+ terminate(reason = 'Process terminated') {
603
+ if (this.disposed)
604
+ return;
605
+ const activeOperation = this.activeOperation;
606
+ if (activeOperation) {
607
+ this.cancelOperation(activeOperation, reason);
608
+ return;
609
+ }
610
+ this.waitingForInput = false;
611
+ this.pendingEof = false;
612
+ this.uid += 1;
613
+ this.workerSession.terminate(reason);
614
+ this.exit = true;
615
+ }
616
+ async clear() {
617
+ if (this.disposed)
618
+ return;
619
+ if (this.activeOperation)
620
+ this.terminate();
621
+ this.pendingInput = [];
622
+ this.waitingForInput = false;
623
+ this.pendingEof = false;
624
+ const worker = this.worker;
625
+ if (worker) {
626
+ try {
627
+ worker.onmessage = null;
628
+ }
629
+ catch {
630
+ // Idle handler cleanup is best effort.
631
+ }
632
+ }
633
+ try {
634
+ resetBufferedStdin(this.buffer);
635
+ }
636
+ catch {
637
+ // Buffer cleanup must not replace active-operation cancellation.
638
+ }
639
+ }
640
+ dispose() {
641
+ if (this.disposePromise)
642
+ return this.disposePromise;
643
+ this.disposed = true;
644
+ this.disposePromise = Promise.resolve();
645
+ const activeOperation = this.activeOperation;
646
+ delete this.worker;
647
+ this.moduleUrl = '';
648
+ this.output = null;
649
+ this.oncompilerdiagnostic = undefined;
650
+ this.pendingInput = [];
651
+ this.waitingForInput = false;
652
+ this.pendingEof = false;
653
+ this.resetSharedStdinBuffer();
654
+ if (activeOperation) {
655
+ this.cancelOperation(activeOperation, this.disposeCancellation);
656
+ }
657
+ else {
658
+ this.uid += 1;
659
+ this.workerSession.terminate(this.disposeCancellation);
660
+ this.exit = true;
661
+ }
662
+ return this.disposePromise;
663
+ }
664
+ }
665
+ export default Php;
@@ -0,0 +1,6 @@
1
+ import { StaticWorkerRuntimeSandbox } from './staticWorkerRuntime';
2
+ export declare const PROLOG_WORKER_IDLE_TIMEOUT_MS = 60000;
3
+ declare class Prolog extends StaticWorkerRuntimeSandbox {
4
+ constructor();
5
+ }
6
+ export default Prolog;