occam-furtle 1.0.11 → 1.0.12

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 (61) hide show
  1. package/bin/main.js +1 -1
  2. package/example.js +2 -2
  3. package/lib/constants.js +13 -0
  4. package/lib/dom/argument.js +130 -0
  5. package/lib/dom/declaration/procedure.js +116 -0
  6. package/lib/dom/declaration/variables.js +99 -0
  7. package/lib/dom/error.js +85 -0
  8. package/lib/dom/label.js +82 -0
  9. package/lib/dom/procedure.js +131 -0
  10. package/lib/dom/reference.js +82 -0
  11. package/lib/dom/variable.js +82 -0
  12. package/lib/dom.js +27 -0
  13. package/lib/example.js +9 -9
  14. package/lib/index.js +8 -17
  15. package/lib/procedure.js +52 -0
  16. package/lib/utilities/arguments.js +28 -0
  17. package/lib/utilities/query.js +36 -0
  18. package/lib/verifier/topLevel.js +151 -0
  19. package/lib/verifier.js +219 -0
  20. package/package.json +4 -11
  21. package/src/constants.js +3 -0
  22. package/src/dom/argument.js +50 -0
  23. package/src/dom/declaration/procedure.js +27 -0
  24. package/src/dom/declaration/variables.js +51 -0
  25. package/src/dom/error.js +38 -0
  26. package/src/dom/label.js +42 -0
  27. package/src/dom/procedure.js +51 -0
  28. package/src/dom/reference.js +40 -0
  29. package/src/dom/variable.js +39 -0
  30. package/src/dom.js +13 -0
  31. package/src/example.js +17 -10
  32. package/src/index.js +7 -2
  33. package/src/procedure.js +15 -0
  34. package/src/utilities/arguments.js +21 -0
  35. package/src/utilities/query.js +25 -0
  36. package/src/verifier/topLevel.js +60 -0
  37. package/src/verifier.js +150 -0
  38. package/lib/example/constants.js +0 -13
  39. package/lib/example/view/div/sizeable.js +0 -39
  40. package/lib/example/view/input/ruleName.js +0 -155
  41. package/lib/example/view/subHeading.js +0 -39
  42. package/lib/example/view/textarea/bnf.js +0 -163
  43. package/lib/example/view/textarea/content.js +0 -142
  44. package/lib/example/view/textarea/entries.js +0 -142
  45. package/lib/example/view/textarea/lexicalEntries.js +0 -163
  46. package/lib/example/view/textarea/parseTree.js +0 -170
  47. package/lib/example/view/textarea/tokens.js +0 -179
  48. package/lib/example/view/textarea.js +0 -39
  49. package/lib/example/view.js +0 -249
  50. package/src/example/constants.js +0 -3
  51. package/src/example/view/div/sizeable.js +0 -12
  52. package/src/example/view/input/ruleName.js +0 -36
  53. package/src/example/view/subHeading.js +0 -16
  54. package/src/example/view/textarea/bnf.js +0 -41
  55. package/src/example/view/textarea/content.js +0 -33
  56. package/src/example/view/textarea/entries.js +0 -33
  57. package/src/example/view/textarea/lexicalEntries.js +0 -41
  58. package/src/example/view/textarea/parseTree.js +0 -50
  59. package/src/example/view/textarea/tokens.js +0 -64
  60. package/src/example/view/textarea.js +0 -18
  61. package/src/example/view.js +0 -213
package/bin/main.js CHANGED
@@ -12,4 +12,4 @@ server.use(staticRouter);
12
12
 
13
13
  server.get("/live-reload", liveReloadHandler);
14
14
 
15
- server.listen(8888);
15
+ server.listen(7777);