@polintpro/proposit-core 0.3.0 → 0.5.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 (126) hide show
  1. package/README.md +13 -0
  2. package/dist/cli/commands/sources.d.ts +3 -0
  3. package/dist/cli/commands/sources.d.ts.map +1 -0
  4. package/dist/cli/commands/sources.js +118 -0
  5. package/dist/cli/commands/sources.js.map +1 -0
  6. package/dist/cli/commands/variables.d.ts.map +1 -1
  7. package/dist/cli/commands/variables.js +3 -0
  8. package/dist/cli/commands/variables.js.map +1 -1
  9. package/dist/cli/config.d.ts +2 -0
  10. package/dist/cli/config.d.ts.map +1 -1
  11. package/dist/cli/config.js +6 -0
  12. package/dist/cli/config.js.map +1 -1
  13. package/dist/cli/engine.d.ts.map +1 -1
  14. package/dist/cli/engine.js +35 -2
  15. package/dist/cli/engine.js.map +1 -1
  16. package/dist/cli/import.d.ts.map +1 -1
  17. package/dist/cli/import.js +7 -1
  18. package/dist/cli/import.js.map +1 -1
  19. package/dist/cli/schemata.d.ts +8 -0
  20. package/dist/cli/schemata.d.ts.map +1 -1
  21. package/dist/cli/schemata.js +10 -0
  22. package/dist/cli/schemata.js.map +1 -1
  23. package/dist/cli/storage/sources.d.ts +11 -0
  24. package/dist/cli/storage/sources.d.ts.map +1 -0
  25. package/dist/cli/storage/sources.js +105 -0
  26. package/dist/cli/storage/sources.js.map +1 -0
  27. package/dist/cli.js +2 -0
  28. package/dist/cli.js.map +1 -1
  29. package/dist/extensions/ieee/index.d.ts +3 -0
  30. package/dist/extensions/ieee/index.d.ts.map +1 -0
  31. package/dist/extensions/ieee/index.js +3 -0
  32. package/dist/extensions/ieee/index.js.map +1 -0
  33. package/dist/extensions/ieee/references.d.ts +620 -0
  34. package/dist/extensions/ieee/references.d.ts.map +1 -0
  35. package/dist/extensions/ieee/references.js +450 -0
  36. package/dist/extensions/ieee/references.js.map +1 -0
  37. package/dist/extensions/ieee/source.d.ts +286 -0
  38. package/dist/extensions/ieee/source.d.ts.map +1 -0
  39. package/dist/extensions/ieee/source.js +12 -0
  40. package/dist/extensions/ieee/source.js.map +1 -0
  41. package/dist/lib/consts.d.ts.map +1 -1
  42. package/dist/lib/consts.js +31 -1
  43. package/dist/lib/consts.js.map +1 -1
  44. package/dist/lib/core/argument-engine.d.ts +25 -117
  45. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  46. package/dist/lib/core/argument-engine.js +239 -123
  47. package/dist/lib/core/argument-engine.js.map +1 -1
  48. package/dist/lib/core/assertion-library.d.ts +27 -0
  49. package/dist/lib/core/assertion-library.d.ts.map +1 -0
  50. package/dist/lib/core/assertion-library.js +129 -0
  51. package/dist/lib/core/assertion-library.js.map +1 -0
  52. package/dist/lib/core/change-collector.d.ts +7 -5
  53. package/dist/lib/core/change-collector.d.ts.map +1 -1
  54. package/dist/lib/core/change-collector.js +18 -5
  55. package/dist/lib/core/change-collector.js.map +1 -1
  56. package/dist/lib/core/diff.d.ts +6 -2
  57. package/dist/lib/core/diff.d.ts.map +1 -1
  58. package/dist/lib/core/diff.js +80 -1
  59. package/dist/lib/core/diff.js.map +1 -1
  60. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +338 -0
  61. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -0
  62. package/dist/lib/core/interfaces/argument-engine.interfaces.js +2 -0
  63. package/dist/lib/core/interfaces/argument-engine.interfaces.js.map +1 -0
  64. package/dist/lib/core/interfaces/index.d.ts +6 -0
  65. package/dist/lib/core/interfaces/index.d.ts.map +1 -0
  66. package/dist/lib/core/interfaces/index.js +2 -0
  67. package/dist/lib/core/interfaces/index.js.map +1 -0
  68. package/dist/lib/core/interfaces/library.interfaces.d.ts +19 -0
  69. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -0
  70. package/dist/lib/core/interfaces/library.interfaces.js +2 -0
  71. package/dist/lib/core/interfaces/library.interfaces.js.map +1 -0
  72. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +318 -0
  73. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -0
  74. package/dist/lib/core/interfaces/premise-engine.interfaces.js +2 -0
  75. package/dist/lib/core/interfaces/premise-engine.interfaces.js.map +1 -0
  76. package/dist/lib/core/interfaces/shared.interfaces.d.ts +24 -0
  77. package/dist/lib/core/interfaces/shared.interfaces.d.ts.map +1 -0
  78. package/dist/lib/core/interfaces/shared.interfaces.js +2 -0
  79. package/dist/lib/core/interfaces/shared.interfaces.js.map +1 -0
  80. package/dist/lib/core/interfaces/source-management.interfaces.d.ts +63 -0
  81. package/dist/lib/core/interfaces/source-management.interfaces.d.ts.map +1 -0
  82. package/dist/lib/core/interfaces/source-management.interfaces.js +2 -0
  83. package/dist/lib/core/interfaces/source-management.interfaces.js.map +1 -0
  84. package/dist/lib/core/premise-engine.d.ts +10 -144
  85. package/dist/lib/core/premise-engine.d.ts.map +1 -1
  86. package/dist/lib/core/premise-engine.js +82 -143
  87. package/dist/lib/core/premise-engine.js.map +1 -1
  88. package/dist/lib/core/source-library.d.ts +27 -0
  89. package/dist/lib/core/source-library.d.ts.map +1 -0
  90. package/dist/lib/core/source-library.js +129 -0
  91. package/dist/lib/core/source-library.js.map +1 -0
  92. package/dist/lib/core/source-manager.d.ts +38 -0
  93. package/dist/lib/core/source-manager.d.ts.map +1 -0
  94. package/dist/lib/core/source-manager.js +266 -0
  95. package/dist/lib/core/source-manager.js.map +1 -0
  96. package/dist/lib/index.d.ts +6 -1
  97. package/dist/lib/index.d.ts.map +1 -1
  98. package/dist/lib/index.js +4 -1
  99. package/dist/lib/index.js.map +1 -1
  100. package/dist/lib/schemata/assertion.d.ts +9 -0
  101. package/dist/lib/schemata/assertion.d.ts.map +1 -0
  102. package/dist/lib/schemata/assertion.js +18 -0
  103. package/dist/lib/schemata/assertion.js.map +1 -0
  104. package/dist/lib/schemata/index.d.ts +2 -0
  105. package/dist/lib/schemata/index.d.ts.map +1 -1
  106. package/dist/lib/schemata/index.js +2 -0
  107. package/dist/lib/schemata/index.js.map +1 -1
  108. package/dist/lib/schemata/propositional.d.ts +2 -0
  109. package/dist/lib/schemata/propositional.d.ts.map +1 -1
  110. package/dist/lib/schemata/propositional.js +5 -1
  111. package/dist/lib/schemata/propositional.js.map +1 -1
  112. package/dist/lib/schemata/source.d.ts +30 -0
  113. package/dist/lib/schemata/source.d.ts.map +1 -0
  114. package/dist/lib/schemata/source.js +45 -0
  115. package/dist/lib/schemata/source.js.map +1 -0
  116. package/dist/lib/types/checksum.d.ts +8 -0
  117. package/dist/lib/types/checksum.d.ts.map +1 -1
  118. package/dist/lib/types/diff.d.ts +5 -1
  119. package/dist/lib/types/diff.d.ts.map +1 -1
  120. package/dist/lib/types/evaluation.d.ts +1 -1
  121. package/dist/lib/types/evaluation.d.ts.map +1 -1
  122. package/dist/lib/types/mutation.d.ts +3 -0
  123. package/dist/lib/types/mutation.d.ts.map +1 -1
  124. package/dist/lib/types/reactive.d.ts +3 -1
  125. package/dist/lib/types/reactive.d.ts.map +1 -1
  126. package/package.json +5 -1
package/dist/cli.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAE3C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAA;AAC7B,OAAO;KACF,IAAI,CAAC,eAAe,CAAC;KACrB,WAAW,CAAC,mBAAmB,CAAC;KAChC,uBAAuB,EAAE;KACzB,kBAAkB,CAAC,KAAK,CAAC,CAAA;AAE9B,iFAAiF;AACjF,oBAAoB,CAAC,OAAO,CAAC,CAAA;AAC7B,wBAAwB,CAAC,OAAO,CAAC,CAAA;AACjC,mBAAmB,CAAC,OAAO,CAAC,CAAA;AAE5B,iFAAiF;AACjF,gFAAgF;AAChF,iFAAiF;AACjF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAChC,MAAM,CAAC,EAAE,AAAD,EAAG,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAA;IAE1D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,SAAS,CACL,sHAAsH,CACzH,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAE5D,MAAM,GAAG,GAAG,IAAI,OAAO,EAAE,CAAA;IACzB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC;SACpB,WAAW,CAAC,gBAAgB,UAAU,IAAI,OAAO,EAAE,CAAC;SACpD,uBAAuB,EAAE,CAAA;IAE9B,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC/C,oBAAoB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,uBAAuB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACjD,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAElD,uEAAuE;IACvE,8DAA8D;IAC9D,MAAM,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;AAC5D,CAAC;KAAM,CAAC;IACJ,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AAC1C,CAAC"}
1
+ {"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAE3C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAA;AAC7B,OAAO;KACF,IAAI,CAAC,eAAe,CAAC;KACrB,WAAW,CAAC,mBAAmB,CAAC;KAChC,uBAAuB,EAAE;KACzB,kBAAkB,CAAC,KAAK,CAAC,CAAA;AAE9B,iFAAiF;AACjF,oBAAoB,CAAC,OAAO,CAAC,CAAA;AAC7B,wBAAwB,CAAC,OAAO,CAAC,CAAA;AACjC,mBAAmB,CAAC,OAAO,CAAC,CAAA;AAE5B,iFAAiF;AACjF,gFAAgF;AAChF,iFAAiF;AACjF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAChC,MAAM,CAAC,EAAE,AAAD,EAAG,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAA;IAE1D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,SAAS,CACL,sHAAsH,CACzH,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAE5D,MAAM,GAAG,GAAG,IAAI,OAAO,EAAE,CAAA;IACzB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC;SACpB,WAAW,CAAC,gBAAgB,UAAU,IAAI,OAAO,EAAE,CAAC;SACpD,uBAAuB,EAAE,CAAA;IAE9B,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC/C,oBAAoB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,uBAAuB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACjD,0BAA0B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACpD,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAClD,sBAAsB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAEhD,uEAAuE;IACvE,8DAA8D;IAC9D,MAAM,GAAG,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;AAC5D,CAAC;KAAM,CAAC;IACJ,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AAC1C,CAAC"}
package/dist/extensions/ieee/index.d.ts ADDED
@@ -0,0 +1,3 @@
1
+ export * from "./references.js";
2
+ export * from "./source.js";
3
+ //# sourceMappingURL=index.d.ts.map
package/dist/extensions/ieee/index.d.ts.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA"}
package/dist/extensions/ieee/index.js ADDED
@@ -0,0 +1,3 @@
1
+ export * from "./references.js";
2
+ export * from "./source.js";
3
+ //# sourceMappingURL=index.js.map
package/dist/extensions/ieee/index.js.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/extensions/ieee/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA"}