occam-verify-cli 1.0.936 → 1.0.937

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 (65) hide show
  1. package/lib/element/assertion/type.js +7 -2
  2. package/lib/element/assertion.js +7 -2
  3. package/lib/element/assumption/metaLevel.js +7 -2
  4. package/lib/element/assumption.js +7 -2
  5. package/lib/element/combinator.js +7 -2
  6. package/lib/element/conclusion.js +7 -2
  7. package/lib/element/constructor.js +7 -2
  8. package/lib/element/deduction.js +7 -2
  9. package/lib/element/equality.js +7 -2
  10. package/lib/element/frame.js +7 -2
  11. package/lib/element/hypothesis.js +7 -2
  12. package/lib/element/judgement.js +7 -2
  13. package/lib/element/label.js +7 -2
  14. package/lib/element/metaType.js +7 -2
  15. package/lib/element/metavariable.js +7 -2
  16. package/lib/element/parameter.js +7 -2
  17. package/lib/element/procedureCall.js +7 -2
  18. package/lib/element/procedureReference.js +7 -2
  19. package/lib/element/proofAssertion/premise.js +7 -2
  20. package/lib/element/proofAssertion/supposition.js +7 -2
  21. package/lib/element/property.js +7 -2
  22. package/lib/element/propertyRelation.js +7 -2
  23. package/lib/element/reference.js +7 -2
  24. package/lib/element/rule.js +7 -2
  25. package/lib/element/signature.js +7 -2
  26. package/lib/element/statement.js +7 -2
  27. package/lib/element/substitution.js +7 -2
  28. package/lib/element/term.js +7 -2
  29. package/lib/element/topLevelAssertion.js +7 -2
  30. package/lib/element/topLevelMetaAssertion.js +7 -2
  31. package/lib/element/typePrefix.js +7 -2
  32. package/lib/element/variable.js +7 -2
  33. package/package.json +4 -4
  34. package/src/element/assertion/type.js +11 -3
  35. package/src/element/assertion.js +15 -7
  36. package/src/element/assumption/metaLevel.js +15 -7
  37. package/src/element/assumption.js +14 -6
  38. package/src/element/combinator.js +15 -7
  39. package/src/element/conclusion.js +15 -7
  40. package/src/element/constructor.js +11 -3
  41. package/src/element/deduction.js +15 -7
  42. package/src/element/equality.js +14 -6
  43. package/src/element/frame.js +14 -6
  44. package/src/element/hypothesis.js +15 -7
  45. package/src/element/judgement.js +14 -6
  46. package/src/element/label.js +15 -7
  47. package/src/element/metaType.js +14 -6
  48. package/src/element/metavariable.js +15 -7
  49. package/src/element/parameter.js +14 -6
  50. package/src/element/procedureCall.js +14 -6
  51. package/src/element/procedureReference.js +14 -6
  52. package/src/element/proofAssertion/premise.js +15 -7
  53. package/src/element/proofAssertion/supposition.js +15 -7
  54. package/src/element/property.js +11 -3
  55. package/src/element/propertyRelation.js +14 -6
  56. package/src/element/reference.js +15 -7
  57. package/src/element/rule.js +11 -3
  58. package/src/element/signature.js +15 -7
  59. package/src/element/statement.js +14 -6
  60. package/src/element/substitution.js +16 -8
  61. package/src/element/term.js +11 -3
  62. package/src/element/topLevelAssertion.js +11 -3
  63. package/src/element/topLevelMetaAssertion.js +11 -3
  64. package/src/element/typePrefix.js +14 -6
  65. package/src/element/variable.js +11 -3
package/src/element/typePrefix.js CHANGED
@@ -76,12 +76,20 @@ export default define(class TypePrefix extends Element {
76
76
  static name = "TypePrefix";
77
77
 
78
78
  toJSON() {
79
- const string = this.getString(),
80
- breakPoint = this.getBreakPoint(),
81
- json = {
82
- string,
83
- breakPoint
84
- };
79
+ const string = this.getString();
80
+
81
+ let breakPoint;
82
+
83
+ breakPoint = this.getBreakPoint();
84
+
85
+ const breakPointJSON = breakPoint.toJSON();
86
+
87
+ breakPoint = breakPointJSON; ///
88
+
89
+ const json = {
90
+ string,
91
+ breakPoint
92
+ };
85
93
 
86
94
  return json;
87
95
  }
package/src/element/variable.js CHANGED
@@ -207,9 +207,17 @@ export default define(class Variable extends Element {
207
207
  toJSON() {
208
208
  const typeJSON = typeToTypeJSON(this.type),
209
209
  provisionalJSON = provisionalToProvisionalJSON(this.provisional),
210
- string = this.getString(), ///
211
- breakPoint = this.getBreakPoint(),
212
- type = typeJSON, ///
210
+ string = this.getString();
211
+
212
+ let breakPoint;
213
+
214
+ breakPoint = this.getBreakPoint();
215
+
216
+ const breakPointJSON = breakPoint.toJSON();
217
+
218
+ breakPoint = breakPointJSON; ///
219
+
220
+ const type = typeJSON, ///
213
221
  provisional = provisionalJSON, ///
214
222
  json = {
215
223
  string,