interpreter.js 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499
  1. export function main() {
  2. let root = window.document.getElementById("main");
  3. if (root != null) {
  4. window.interpreter = new Interpreter(root);
  5. window.rpc.call("initialize");
  6. }
  7. }
  8. export class Interpreter {
  9. root;
  10. stack;
  11. listeners;
  12. handlers;
  13. lastNodeWasText;
  14. nodes;
  15. constructor(root) {
  16. this.root = root;
  17. this.stack = [root];
  18. this.listeners = {};
  19. this.handlers = {};
  20. this.lastNodeWasText = false;
  21. this.nodes = [root];
  22. }
  23. top() {
  24. return this.stack[this.stack.length - 1];
  25. }
  26. pop() {
  27. return this.stack.pop();
  28. }
  29. PushRoot(root) {
  30. const node = this.nodes[root];
  31. this.stack.push(node);
  32. }
  33. AppendChildren(many) {
  34. let root = this.stack[this.stack.length - (1 + many)];
  35. let to_add = this.stack.splice(this.stack.length - many);
  36. for (let i = 0; i < many; i++) {
  37. root.appendChild(to_add[i]);
  38. }
  39. }
  40. ReplaceWith(root_id, m) {
  41. let root = this.nodes[root_id];
  42. let els = this.stack.splice(this.stack.length - m);
  43. root.replaceWith(...els);
  44. }
  45. InsertAfter(root, n) {
  46. let old = this.nodes[root];
  47. let new_nodes = this.stack.splice(this.stack.length - n);
  48. old.after(...new_nodes);
  49. }
  50. InsertBefore(root, n) {
  51. let old = this.nodes[root];
  52. let new_nodes = this.stack.splice(this.stack.length - n);
  53. old.before(...new_nodes);
  54. }
  55. Remove(root) {
  56. let node = this.nodes[root];
  57. if (node !== undefined) {
  58. node.remove();
  59. }
  60. }
  61. CreateTextNode(text, root) {
  62. // todo: make it so the types are okay
  63. const node = document.createTextNode(text);
  64. this.nodes[root] = node;
  65. this.stack.push(node);
  66. }
  67. CreateElement(tag, root) {
  68. const el = document.createElement(tag);
  69. // el.setAttribute("data-dioxus-id", `${root}`);
  70. this.nodes[root] = el;
  71. this.stack.push(el);
  72. }
  73. CreateElementNs(tag, root, ns) {
  74. let el = document.createElementNS(ns, tag);
  75. this.stack.push(el);
  76. this.nodes[root] = el;
  77. }
  78. CreatePlaceholder(root) {
  79. let el = document.createElement("pre");
  80. el.hidden = true;
  81. this.stack.push(el);
  82. this.nodes[root] = el;
  83. }
  84. NewEventListener(event_name, root, handler) {
  85. const element = this.nodes[root];
  86. element.setAttribute("data-dioxus-id", `${root}`);
  87. if (this.listeners[event_name] === undefined) {
  88. this.listeners[event_name] = 0;
  89. this.handlers[event_name] = handler;
  90. this.root.addEventListener(event_name, handler);
  91. }
  92. else {
  93. this.listeners[event_name]++;
  94. }
  95. }
  96. RemoveEventListener(root, event_name) {
  97. const element = this.nodes[root];
  98. element.removeAttribute(`data-dioxus-id`);
  99. this.listeners[event_name]--;
  100. if (this.listeners[event_name] === 0) {
  101. this.root.removeEventListener(event_name, this.handlers[event_name]);
  102. delete this.listeners[event_name];
  103. delete this.handlers[event_name];
  104. }
  105. }
  106. SetText(root, text) {
  107. this.nodes[root].textContent = text;
  108. }
  109. SetAttribute(root, field, value, ns) {
  110. const name = field;
  111. const node = this.nodes[root];
  112. if (ns == "style") {
  113. // @ts-ignore
  114. node.style[name] = value;
  115. }
  116. else if (ns != null || ns != undefined) {
  117. node.setAttributeNS(ns, name, value);
  118. }
  119. else {
  120. switch (name) {
  121. case "value":
  122. if (value != node.value) {
  123. node.value = value;
  124. }
  125. break;
  126. case "checked":
  127. node.checked = value === "true";
  128. break;
  129. case "selected":
  130. node.selected = value === "true";
  131. break;
  132. case "dangerous_inner_html":
  133. node.innerHTML = value;
  134. break;
  135. default:
  136. // https://github.com/facebook/react/blob/8b88ac2592c5f555f315f9440cbb665dd1e7457a/packages/react-dom/src/shared/DOMProperty.js#L352-L364
  137. if (value == "false" && bool_attrs.hasOwnProperty(name)) {
  138. node.removeAttribute(name);
  139. }
  140. else {
  141. node.setAttribute(name, value);
  142. }
  143. }
  144. }
  145. }
  146. RemoveAttribute(root, name) {
  147. const node = this.nodes[root];
  148. node.removeAttribute(name);
  149. if (name === "value") {
  150. node.value = "";
  151. }
  152. if (name === "checked") {
  153. node.checked = false;
  154. }
  155. if (name === "selected") {
  156. node.selected = false;
  157. }
  158. }
  159. handleEdits(edits) {
  160. this.stack.push(this.root);
  161. for (let edit of edits) {
  162. this.handleEdit(edit);
  163. }
  164. }
  165. handleEdit(edit) {
  166. switch (edit.type) {
  167. case "PushRoot":
  168. this.PushRoot(edit.root);
  169. break;
  170. case "AppendChildren":
  171. this.AppendChildren(edit.many);
  172. break;
  173. case "ReplaceWith":
  174. this.ReplaceWith(edit.root, edit.m);
  175. break;
  176. case "InsertAfter":
  177. this.InsertAfter(edit.root, edit.n);
  178. break;
  179. case "InsertBefore":
  180. this.InsertBefore(edit.root, edit.n);
  181. break;
  182. case "Remove":
  183. this.Remove(edit.root);
  184. break;
  185. case "CreateTextNode":
  186. this.CreateTextNode(edit.text, edit.root);
  187. break;
  188. case "CreateElement":
  189. this.CreateElement(edit.tag, edit.root);
  190. break;
  191. case "CreateElementNs":
  192. this.CreateElementNs(edit.tag, edit.root, edit.ns);
  193. break;
  194. case "CreatePlaceholder":
  195. this.CreatePlaceholder(edit.root);
  196. break;
  197. case "RemoveEventListener":
  198. this.RemoveEventListener(edit.root, edit.event_name);
  199. break;
  200. case "NewEventListener":
  201. // this handler is only provided on desktop implementations since this
  202. // method is not used by the web implementation
  203. let handler = (event) => {
  204. let target = event.target;
  205. if (target != null) {
  206. let realId = target.getAttribute(`data-dioxus-id`);
  207. // walk the tree to find the real element
  208. while (realId == null && target.parentElement != null) {
  209. target = target.parentElement;
  210. realId = target.getAttribute(`data-dioxus-id`);
  211. }
  212. const shouldPreventDefault = target.getAttribute(`dioxus-prevent-default`);
  213. let contents = serialize_event(event);
  214. if (shouldPreventDefault === `on${event.type}`) {
  215. event.preventDefault();
  216. }
  217. if (event.type == "submit") {
  218. event.preventDefault();
  219. }
  220. if (event.type == "click") {
  221. event.preventDefault();
  222. if (shouldPreventDefault !== `onclick`) {
  223. if (target.tagName == "A") {
  224. const href = target.getAttribute("href");
  225. if (href !== "" && href !== null && href !== undefined && realId != null) {
  226. window.rpc.call("browser_open", {
  227. mounted_dom_id: parseInt(realId),
  228. href
  229. });
  230. }
  231. }
  232. }
  233. }
  234. if (realId == null) {
  235. return;
  236. }
  237. window.rpc.call("user_event", {
  238. event: edit.event_name,
  239. mounted_dom_id: parseInt(realId),
  240. contents: contents,
  241. });
  242. }
  243. };
  244. this.NewEventListener(edit.event_name, edit.root, handler);
  245. break;
  246. case "SetText":
  247. this.SetText(edit.root, edit.text);
  248. break;
  249. case "SetAttribute":
  250. this.SetAttribute(edit.root, edit.field, edit.value, edit.ns);
  251. break;
  252. case "RemoveAttribute":
  253. this.RemoveAttribute(edit.root, edit.name);
  254. break;
  255. }
  256. }
  257. }
  258. function serialize_event(event) {
  259. switch (event.type) {
  260. case "copy":
  261. case "cut":
  262. case "past": {
  263. return {};
  264. }
  265. case "compositionend":
  266. case "compositionstart":
  267. case "compositionupdate": {
  268. let { data } = event;
  269. return {
  270. data,
  271. };
  272. }
  273. case "keydown":
  274. case "keypress":
  275. case "keyup": {
  276. let { charCode, key, altKey, ctrlKey, metaKey, keyCode, shiftKey, location, repeat, which, } = event;
  277. return {
  278. char_code: charCode,
  279. key: key,
  280. alt_key: altKey,
  281. ctrl_key: ctrlKey,
  282. meta_key: metaKey,
  283. key_code: keyCode,
  284. shift_key: shiftKey,
  285. location: location,
  286. repeat: repeat,
  287. which: which,
  288. locale: "locale",
  289. };
  290. }
  291. case "focus":
  292. case "blur": {
  293. return {};
  294. }
  295. case "change": {
  296. let target = event.target;
  297. let value;
  298. if (target.type === "checkbox" || target.type === "radio") {
  299. value = target.checked ? "true" : "false";
  300. }
  301. else {
  302. value = target.value ?? target.textContent;
  303. }
  304. return {
  305. value: value,
  306. };
  307. }
  308. case "input":
  309. case "invalid":
  310. case "reset":
  311. case "submit": {
  312. let target = event.target;
  313. let value = target.value ?? target.textContent;
  314. if (target.type == "checkbox") {
  315. value = target.checked ? "true" : "false";
  316. }
  317. return {
  318. value: value,
  319. };
  320. }
  321. case "click":
  322. case "contextmenu":
  323. case "doubleclick":
  324. case "drag":
  325. case "dragend":
  326. case "dragenter":
  327. case "dragexit":
  328. case "dragleave":
  329. case "dragover":
  330. case "dragstart":
  331. case "drop":
  332. case "mousedown":
  333. case "mouseenter":
  334. case "mouseleave":
  335. case "mousemove":
  336. case "mouseout":
  337. case "mouseover":
  338. case "mouseup": {
  339. const { altKey, button, buttons, clientX, clientY, ctrlKey, metaKey, pageX, pageY, screenX, screenY, shiftKey, } = event;
  340. return {
  341. alt_key: altKey,
  342. button: button,
  343. buttons: buttons,
  344. client_x: clientX,
  345. client_y: clientY,
  346. ctrl_key: ctrlKey,
  347. meta_key: metaKey,
  348. page_x: pageX,
  349. page_y: pageY,
  350. screen_x: screenX,
  351. screen_y: screenY,
  352. shift_key: shiftKey,
  353. };
  354. }
  355. case "pointerdown":
  356. case "pointermove":
  357. case "pointerup":
  358. case "pointercancel":
  359. case "gotpointercapture":
  360. case "lostpointercapture":
  361. case "pointerenter":
  362. case "pointerleave":
  363. case "pointerover":
  364. case "pointerout": {
  365. const { altKey, button, buttons, clientX, clientY, ctrlKey, metaKey, pageX, pageY, screenX, screenY, shiftKey, pointerId, width, height, pressure, tangentialPressure, tiltX, tiltY, twist, pointerType, isPrimary, } = event;
  366. return {
  367. alt_key: altKey,
  368. button: button,
  369. buttons: buttons,
  370. client_x: clientX,
  371. client_y: clientY,
  372. ctrl_key: ctrlKey,
  373. meta_key: metaKey,
  374. page_x: pageX,
  375. page_y: pageY,
  376. screen_x: screenX,
  377. screen_y: screenY,
  378. shift_key: shiftKey,
  379. pointer_id: pointerId,
  380. width: width,
  381. height: height,
  382. pressure: pressure,
  383. tangential_pressure: tangentialPressure,
  384. tilt_x: tiltX,
  385. tilt_y: tiltY,
  386. twist: twist,
  387. pointer_type: pointerType,
  388. is_primary: isPrimary,
  389. };
  390. }
  391. case "select": {
  392. return {};
  393. }
  394. case "touchcancel":
  395. case "touchend":
  396. case "touchmove":
  397. case "touchstart": {
  398. const { altKey, ctrlKey, metaKey, shiftKey, } = event;
  399. return {
  400. // changed_touches: event.changedTouches,
  401. // target_touches: event.targetTouches,
  402. // touches: event.touches,
  403. alt_key: altKey,
  404. ctrl_key: ctrlKey,
  405. meta_key: metaKey,
  406. shift_key: shiftKey,
  407. };
  408. }
  409. case "scroll": {
  410. return {};
  411. }
  412. case "wheel": {
  413. const { deltaX, deltaY, deltaZ, deltaMode, } = event;
  414. return {
  415. delta_x: deltaX,
  416. delta_y: deltaY,
  417. delta_z: deltaZ,
  418. delta_mode: deltaMode,
  419. };
  420. }
  421. case "animationstart":
  422. case "animationend":
  423. case "animationiteration": {
  424. const { animationName, elapsedTime, pseudoElement, } = event;
  425. return {
  426. animation_name: animationName,
  427. elapsed_time: elapsedTime,
  428. pseudo_element: pseudoElement,
  429. };
  430. }
  431. case "transitionend": {
  432. const { propertyName, elapsedTime, pseudoElement, } = event;
  433. return {
  434. property_name: propertyName,
  435. elapsed_time: elapsedTime,
  436. pseudo_element: pseudoElement,
  437. };
  438. }
  439. case "abort":
  440. case "canplay":
  441. case "canplaythrough":
  442. case "durationchange":
  443. case "emptied":
  444. case "encrypted":
  445. case "ended":
  446. case "error":
  447. case "loadeddata":
  448. case "loadedmetadata":
  449. case "loadstart":
  450. case "pause":
  451. case "play":
  452. case "playing":
  453. case "progress":
  454. case "ratechange":
  455. case "seeked":
  456. case "seeking":
  457. case "stalled":
  458. case "suspend":
  459. case "timeupdate":
  460. case "volumechange":
  461. case "waiting": {
  462. return {};
  463. }
  464. case "toggle": {
  465. return {};
  466. }
  467. default: {
  468. return {};
  469. }
  470. }
  471. }
  472. const bool_attrs = {
  473. allowfullscreen: true,
  474. allowpaymentrequest: true,
  475. async: true,
  476. autofocus: true,
  477. autoplay: true,
  478. checked: true,
  479. controls: true,
  480. default: true,
  481. defer: true,
  482. disabled: true,
  483. formnovalidate: true,
  484. hidden: true,
  485. ismap: true,
  486. itemscope: true,
  487. loop: true,
  488. multiple: true,
  489. muted: true,
  490. nomodule: true,
  491. novalidate: true,
  492. open: true,
  493. playsinline: true,
  494. readonly: true,
  495. required: true,
  496. reversed: true,
  497. selected: true,
  498. truespeed: true,
  499. };