occam-verify-cli 1.0.661 → 1.0.663

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 (211) hide show
  1. package/.swcrc +3 -0
  2. package/lib/abbreviations.js +10 -10
  3. package/lib/action/help.js +27 -2
  4. package/lib/action/verify.js +33 -205
  5. package/lib/action/version.js +6 -6
  6. package/lib/commands.js +4 -4
  7. package/lib/constants.js +16 -16
  8. package/lib/context/ephemeral.js +337 -540
  9. package/lib/context/file/nominal.js +545 -1040
  10. package/lib/context/liminal.js +159 -325
  11. package/lib/context/literal.js +34 -138
  12. package/lib/context/nominal.js +29 -124
  13. package/lib/context/scoped.js +163 -325
  14. package/lib/context/synthetic.js +31 -126
  15. package/lib/context.js +230 -482
  16. package/lib/defaults.js +8 -8
  17. package/lib/element/assertion/contained.js +159 -299
  18. package/lib/element/assertion/defined.js +145 -279
  19. package/lib/element/assertion/property.js +132 -266
  20. package/lib/element/assertion/satisfies.js +108 -239
  21. package/lib/element/assertion/subproof.js +88 -207
  22. package/lib/element/assertion/type.js +132 -262
  23. package/lib/element/assertion.js +17 -156
  24. package/lib/element/assumption.js +187 -386
  25. package/lib/element/combinator/bracketed.js +19 -142
  26. package/lib/element/combinator.js +65 -228
  27. package/lib/element/conclusion.js +72 -370
  28. package/lib/element/constructor/bracketed.js +34 -157
  29. package/lib/element/constructor.js +81 -253
  30. package/lib/element/declaration/combinator.js +41 -286
  31. package/lib/element/declaration/complexType.js +184 -452
  32. package/lib/element/declaration/constructor.js +69 -323
  33. package/lib/element/declaration/metavariable.js +70 -317
  34. package/lib/element/declaration/simpleType.js +117 -378
  35. package/lib/element/declaration/typePrefix.js +54 -299
  36. package/lib/element/declaration/variable.js +74 -328
  37. package/lib/element/declaration.js +3 -114
  38. package/lib/element/deduction.js +76 -378
  39. package/lib/element/derivation.js +31 -340
  40. package/lib/element/equality.js +152 -347
  41. package/lib/element/equivalence.js +160 -385
  42. package/lib/element/equivalences.js +132 -356
  43. package/lib/element/error.js +16 -290
  44. package/lib/element/frame.js +210 -418
  45. package/lib/element/hypothesis.js +56 -354
  46. package/lib/element/judgement.js +120 -305
  47. package/lib/element/label.js +62 -236
  48. package/lib/element/metaType.js +35 -200
  49. package/lib/element/metavariable.js +249 -459
  50. package/lib/element/parameter.js +39 -202
  51. package/lib/element/procedureCall.js +74 -381
  52. package/lib/element/procedureReference.js +27 -186
  53. package/lib/element/proof.js +38 -349
  54. package/lib/element/proofAssertion/premise.js +174 -466
  55. package/lib/element/proofAssertion/step.js +144 -495
  56. package/lib/element/proofAssertion/supposition.js +170 -466
  57. package/lib/element/proofAssertion.js +47 -195
  58. package/lib/element/property.js +36 -201
  59. package/lib/element/propertyRelation.js +62 -223
  60. package/lib/element/reference.js +173 -378
  61. package/lib/element/rule.js +178 -673
  62. package/lib/element/section.js +47 -356
  63. package/lib/element/signature.js +96 -264
  64. package/lib/element/statement.js +195 -395
  65. package/lib/element/subDerivation.js +32 -341
  66. package/lib/element/subproof.js +73 -448
  67. package/lib/element/substitution/frame.js +114 -257
  68. package/lib/element/substitution/reference.js +108 -248
  69. package/lib/element/substitution/statement.js +223 -397
  70. package/lib/element/substitution/term.js +123 -266
  71. package/lib/element/substitution.js +97 -296
  72. package/lib/element/term.js +139 -339
  73. package/lib/element/topLevelAssertion/axiom.js +153 -459
  74. package/lib/element/topLevelAssertion/conjecture.js +24 -295
  75. package/lib/element/topLevelAssertion/lemma.js +22 -289
  76. package/lib/element/topLevelAssertion/theorem.js +24 -295
  77. package/lib/element/topLevelAssertion.js +218 -718
  78. package/lib/element/topLevelMetaAssertion/metaLemma.js +24 -290
  79. package/lib/element/topLevelMetaAssertion/metatheorem.js +24 -290
  80. package/lib/element/topLevelMetaAssertion.js +109 -509
  81. package/lib/element/type.js +198 -435
  82. package/lib/element/typePrefix.js +27 -186
  83. package/lib/element/variable.js +119 -308
  84. package/lib/elements.js +4 -4
  85. package/lib/index.js +4 -4
  86. package/lib/main.js +18 -18
  87. package/lib/messages.js +2 -2
  88. package/lib/metaTypeNames.js +4 -4
  89. package/lib/metaTypes.js +10 -10
  90. package/lib/node/argument.js +15 -109
  91. package/lib/node/assertion/contained.js +33 -130
  92. package/lib/node/assertion/defined.js +29 -123
  93. package/lib/node/assertion/property.js +18 -112
  94. package/lib/node/assertion/satisfies.js +14 -105
  95. package/lib/node/assertion/subproof.js +10 -98
  96. package/lib/node/assertion/type.js +14 -105
  97. package/lib/node/assertion.js +5 -89
  98. package/lib/node/assumption.js +12 -103
  99. package/lib/node/body/axiom.js +5 -89
  100. package/lib/node/body/conjecture.js +5 -89
  101. package/lib/node/body/lemma.js +5 -89
  102. package/lib/node/body/metaLemma.js +5 -89
  103. package/lib/node/body/metatheorem.js +5 -89
  104. package/lib/node/body/rule.js +26 -126
  105. package/lib/node/body/theorem.js +5 -89
  106. package/lib/node/body.js +15 -109
  107. package/lib/node/combinator.js +9 -97
  108. package/lib/node/conclusion.js +12 -103
  109. package/lib/node/constructor.js +9 -97
  110. package/lib/node/declaration/combinator.js +10 -98
  111. package/lib/node/declaration/complexType.js +53 -162
  112. package/lib/node/declaration/constructor.js +29 -123
  113. package/lib/node/declaration/metavariable.js +18 -112
  114. package/lib/node/declaration/property.js +26 -123
  115. package/lib/node/declaration/simpleType.js +52 -158
  116. package/lib/node/declaration/typePrefix.js +14 -105
  117. package/lib/node/declaration/variable.js +33 -130
  118. package/lib/node/declaration.js +5 -89
  119. package/lib/node/deduction.js +12 -103
  120. package/lib/node/derivation.js +12 -125
  121. package/lib/node/document.js +5 -89
  122. package/lib/node/equality.js +17 -111
  123. package/lib/node/equivalence.js +9 -97
  124. package/lib/node/equivalences.js +5 -89
  125. package/lib/node/error.js +5 -89
  126. package/lib/node/frame.js +26 -123
  127. package/lib/node/header/axiom.js +10 -98
  128. package/lib/node/header/conjecture.js +5 -89
  129. package/lib/node/header/lemma.js +5 -89
  130. package/lib/node/header/metaLemma.js +5 -89
  131. package/lib/node/header/metatheorem.js +5 -89
  132. package/lib/node/header/rule.js +5 -89
  133. package/lib/node/header/theorem.js +5 -89
  134. package/lib/node/header.js +30 -130
  135. package/lib/node/hypothesis.js +12 -103
  136. package/lib/node/judgement.js +15 -109
  137. package/lib/node/label.js +9 -97
  138. package/lib/node/labels.js +9 -97
  139. package/lib/node/metaArgument.js +9 -97
  140. package/lib/node/metaType.js +16 -104
  141. package/lib/node/metavariable.js +23 -117
  142. package/lib/node/parameter.js +32 -123
  143. package/lib/node/parenthesisedLabel.js +9 -97
  144. package/lib/node/parenthesisedLabels.js +12 -103
  145. package/lib/node/placeholder.js +5 -89
  146. package/lib/node/procedureCall.js +15 -109
  147. package/lib/node/procedureReference.js +16 -104
  148. package/lib/node/proof.js +9 -97
  149. package/lib/node/proofAssertion/premise.js +10 -98
  150. package/lib/node/proofAssertion/step.js +32 -132
  151. package/lib/node/proofAssertion/supposition.js +10 -98
  152. package/lib/node/proofAssertion.js +12 -103
  153. package/lib/node/property.js +15 -106
  154. package/lib/node/propertyRelation.js +15 -109
  155. package/lib/node/qualification.js +12 -103
  156. package/lib/node/reference.js +9 -97
  157. package/lib/node/rule.js +26 -129
  158. package/lib/node/section.js +22 -122
  159. package/lib/node/signature.js +9 -97
  160. package/lib/node/statement.js +93 -238
  161. package/lib/node/subDerivation.js +12 -125
  162. package/lib/node/subproof.js +18 -115
  163. package/lib/node/substitution/frame.js +22 -119
  164. package/lib/node/substitution/reference.js +22 -119
  165. package/lib/node/substitution/statement.js +42 -151
  166. package/lib/node/substitution/term.js +22 -119
  167. package/lib/node/substitution.js +5 -89
  168. package/lib/node/term.js +51 -160
  169. package/lib/node/topLevelAssertion/axiom.js +8 -105
  170. package/lib/node/topLevelAssertion/conjecture.js +8 -105
  171. package/lib/node/topLevelAssertion/lemma.js +8 -105
  172. package/lib/node/topLevelAssertion/theorem.js +8 -105
  173. package/lib/node/topLevelAssertion.js +29 -135
  174. package/lib/node/topLevelMetaAssertion/metaLemma.js +8 -105
  175. package/lib/node/topLevelMetaAssertion/metatheorem.js +8 -105
  176. package/lib/node/topLevelMetaAssertion.js +25 -128
  177. package/lib/node/type.js +43 -140
  178. package/lib/node/typePrefix.js +16 -104
  179. package/lib/node/types.js +9 -97
  180. package/lib/node/variable.js +16 -104
  181. package/lib/nominal/lexer.js +3 -68
  182. package/lib/nominal/parser.js +7 -85
  183. package/lib/nonTerminalNodeMap.js +171 -101
  184. package/lib/options.js +6 -6
  185. package/lib/preamble.js +62 -62
  186. package/lib/prepare.js +4 -4
  187. package/lib/process/assign.js +20 -20
  188. package/lib/process/equate.js +39 -117
  189. package/lib/process/instantiate.js +10 -9
  190. package/lib/process/unify.js +199 -325
  191. package/lib/process/validate.js +87 -195
  192. package/lib/process/verify.js +263 -786
  193. package/lib/ruleNames.js +84 -84
  194. package/lib/tokenTypes.js +3 -3
  195. package/lib/utilities/bnf.js +7 -7
  196. package/lib/utilities/brackets.js +18 -18
  197. package/lib/utilities/clock.js +8 -8
  198. package/lib/utilities/context.js +23 -191
  199. package/lib/utilities/element.js +276 -276
  200. package/lib/utilities/equivalence.js +7 -7
  201. package/lib/utilities/fileContext.js +9 -9
  202. package/lib/utilities/instance.js +14 -14
  203. package/lib/utilities/json.js +211 -211
  204. package/lib/utilities/releaseContext.js +19 -147
  205. package/lib/utilities/statement.js +10 -10
  206. package/lib/utilities/string.js +47 -47
  207. package/lib/utilities/substitutions.js +19 -19
  208. package/lib/utilities/type.js +5 -5
  209. package/lib/utilities/unification.js +196 -426
  210. package/lib/utilities/validation.js +72 -72
  211. package/package.json +2 -2
package/.swcrc CHANGED
@@ -1,5 +1,8 @@
1
1
  {
2
2
  "module": {
3
3
  "type": "commonjs"
4
+ },
5
+ "jsc": {
6
+ "target": "es2022"
4
7
  }
5
8
  }
@@ -8,15 +8,15 @@ Object.defineProperty(exports, "default", {
8
8
  return _default;
9
9
  }
10
10
  });
11
- var _options = require("./options");
12
- var h = _options.HELP_OPTION, t = _options.TAIL_OPTION, f = _options.FOLLOW_OPTION, v = _options.VERSION_OPTION, l = _options.LOG_LEVEL_OPTION;
13
- var abbreviations = {
14
- h: h,
15
- t: t,
16
- f: f,
17
- v: v,
18
- l: l
11
+ const _options = require("./options");
12
+ const h = _options.HELP_OPTION, t = _options.TAIL_OPTION, f = _options.FOLLOW_OPTION, v = _options.VERSION_OPTION, l = _options.LOG_LEVEL_OPTION;
13
+ const abbreviations = {
14
+ h,
15
+ t,
16
+ f,
17
+ v,
18
+ l
19
19
  };
20
- var _default = abbreviations;
20
+ const _default = abbreviations;
21
21
 
22
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9hYmJyZXZpYXRpb25zLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBIRUxQX09QVElPTiwgVEFJTF9PUFRJT04sIEZPTExPV19PUFRJT04sIFZFUlNJT05fT1BUSU9OLCBMT0dfTEVWRUxfT1BUSU9OIH0gZnJvbSBcIi4vb3B0aW9uc1wiO1xuXG5jb25zdCBoID0gSEVMUF9PUFRJT04sXG4gICAgICB0ID0gVEFJTF9PUFRJT04sXG4gICAgICBmID0gRk9MTE9XX09QVElPTixcbiAgICAgIHYgPSBWRVJTSU9OX09QVElPTixcbiAgICAgIGwgPSBMT0dfTEVWRUxfT1BUSU9OXG5cbmNvbnN0IGFiYnJldmlhdGlvbnMgPSB7XG4gIGgsXG4gIHQsXG4gIGYsXG4gIHYsXG4gIGxcbn07XG5cbmV4cG9ydCBkZWZhdWx0IGFiYnJldmlhdGlvbnM7XG4iXSwibmFtZXMiOlsiaCIsIkhFTFBfT1BUSU9OIiwidCIsIlRBSUxfT1BUSU9OIiwiZiIsIkZPTExPV19PUFRJT04iLCJ2IiwiVkVSU0lPTl9PUFRJT04iLCJsIiwiTE9HX0xFVkVMX09QVElPTiIsImFiYnJldmlhdGlvbnMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWtCQTs7O2VBQUE7Ozt1QkFoQjBGO0FBRTFGLElBQU1BLElBQUlDLG9CQUFXLEVBQ2ZDLElBQUlDLG9CQUFXLEVBQ2ZDLElBQUlDLHNCQUFhLEVBQ2pCQyxJQUFJQyx1QkFBYyxFQUNsQkMsSUFBSUMseUJBQWdCO0FBRTFCLElBQU1DLGdCQUFnQjtJQUNwQlYsR0FBQUE7SUFDQUUsR0FBQUE7SUFDQUUsR0FBQUE7SUFDQUUsR0FBQUE7SUFDQUUsR0FBQUE7QUFDRjtJQUVBLFdBQWVFIn0=
22
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9hYmJyZXZpYXRpb25zLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBIRUxQX09QVElPTiwgVEFJTF9PUFRJT04sIEZPTExPV19PUFRJT04sIFZFUlNJT05fT1BUSU9OLCBMT0dfTEVWRUxfT1BUSU9OIH0gZnJvbSBcIi4vb3B0aW9uc1wiO1xuXG5jb25zdCBoID0gSEVMUF9PUFRJT04sXG4gICAgICB0ID0gVEFJTF9PUFRJT04sXG4gICAgICBmID0gRk9MTE9XX09QVElPTixcbiAgICAgIHYgPSBWRVJTSU9OX09QVElPTixcbiAgICAgIGwgPSBMT0dfTEVWRUxfT1BUSU9OXG5cbmNvbnN0IGFiYnJldmlhdGlvbnMgPSB7XG4gIGgsXG4gIHQsXG4gIGYsXG4gIHYsXG4gIGxcbn07XG5cbmV4cG9ydCBkZWZhdWx0IGFiYnJldmlhdGlvbnM7XG4iXSwibmFtZXMiOlsiaCIsIkhFTFBfT1BUSU9OIiwidCIsIlRBSUxfT1BUSU9OIiwiZiIsIkZPTExPV19PUFRJT04iLCJ2IiwiVkVSU0lPTl9PUFRJT04iLCJsIiwiTE9HX0xFVkVMX09QVElPTiIsImFiYnJldmlhdGlvbnMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWtCQTs7O2VBQUE7Ozt5QkFoQjBGO0FBRTFGLE1BQU1BLElBQUlDLG9CQUFXLEVBQ2ZDLElBQUlDLG9CQUFXLEVBQ2ZDLElBQUlDLHNCQUFhLEVBQ2pCQyxJQUFJQyx1QkFBYyxFQUNsQkMsSUFBSUMseUJBQWdCO0FBRTFCLE1BQU1DLGdCQUFnQjtJQUNwQlY7SUFDQUU7SUFDQUU7SUFDQUU7SUFDQUU7QUFDRjtNQUVBLFdBQWVFIn0=
@@ -9,7 +9,32 @@ Object.defineProperty(exports, "default", {
9
9
  }
10
10
  });
11
11
  function helpAction() {
12
- console.log("Usage: \n \n verify [<options>] [<command>] [<argument>]\n\nCommands:\n\n help Show this help\n\n version Show the version\n\nOptions:\n\n --help|-h Show this help\n\n --version|-v Show the version\n\n --tail|-t Sets the size of the tail of the log messages. The default is ten. \n\n --follow|-f Show the log messages immediately instead of tailing them. The default is false.\n\nFurther information:\n\nPlease see the readme file on GitHub:\n\n https://github.com/djalbat/occam-verify-cli\n");
12
+ console.log(`Usage:
13
+
14
+ verify [<options>] [<command>] [<argument>]
15
+
16
+ Commands:
17
+
18
+ help Show this help
19
+
20
+ version Show the version
21
+
22
+ Options:
23
+
24
+ --help|-h Show this help
25
+
26
+ --version|-v Show the version
27
+
28
+ --tail|-t Sets the size of the tail of the log messages. The default is ten.
29
+
30
+ --follow|-f Show the log messages immediately instead of tailing them. The default is false.
31
+
32
+ Further information:
33
+
34
+ Please see the readme file on GitHub:
35
+
36
+ https://github.com/djalbat/occam-verify-cli
37
+ `);
13
38
  }
14
39
 
15
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vaGVscC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gaGVscEFjdGlvbigpIHtcbiAgY29uc29sZS5sb2coYFVzYWdlOiBcbiAgXG4gIHZlcmlmeSBbPG9wdGlvbnM+XSBbPGNvbW1hbmQ+XSBbPGFyZ3VtZW50Pl1cblxuQ29tbWFuZHM6XG5cbiAgaGVscCAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2hvdyB0aGlzIGhlbHBcblxuICB2ZXJzaW9uICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBTaG93IHRoZSB2ZXJzaW9uXG5cbk9wdGlvbnM6XG5cbiAgLS1oZWxwfC1oICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2hvdyB0aGlzIGhlbHBcblxuICAtLXZlcnNpb258LXYgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBTaG93IHRoZSB2ZXJzaW9uXG5cbiAgLS10YWlsfC10ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2V0cyB0aGUgc2l6ZSBvZiB0aGUgdGFpbCBvZiB0aGUgbG9nIG1lc3NhZ2VzLiBUaGUgZGVmYXVsdCBpcyB0ZW4uIFxuXG4gIC0tZm9sbG93fC1mICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFNob3cgdGhlIGxvZyBtZXNzYWdlcyBpbW1lZGlhdGVseSBpbnN0ZWFkIG9mIHRhaWxpbmcgdGhlbS4gVGhlIGRlZmF1bHQgaXMgZmFsc2UuXG5cbkZ1cnRoZXIgaW5mb3JtYXRpb246XG5cblBsZWFzZSBzZWUgdGhlIHJlYWRtZSBmaWxlIG9uIEdpdEh1YjpcblxuICBodHRwczovL2dpdGh1Yi5jb20vZGphbGJhdC9vY2NhbS12ZXJpZnktY2xpXG5gKTtcbn1cbiJdLCJuYW1lcyI6WyJoZWxwQWN0aW9uIiwiY29uc29sZSIsImxvZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBRUE7OztlQUF3QkE7OztBQUFULFNBQVNBO0lBQ3RCQyxRQUFRQyxHQUFHLENBQUM7QUEwQmQifQ==
40
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vaGVscC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gaGVscEFjdGlvbigpIHtcbiAgY29uc29sZS5sb2coYFVzYWdlOiBcbiAgXG4gIHZlcmlmeSBbPG9wdGlvbnM+XSBbPGNvbW1hbmQ+XSBbPGFyZ3VtZW50Pl1cblxuQ29tbWFuZHM6XG5cbiAgaGVscCAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2hvdyB0aGlzIGhlbHBcblxuICB2ZXJzaW9uICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBTaG93IHRoZSB2ZXJzaW9uXG5cbk9wdGlvbnM6XG5cbiAgLS1oZWxwfC1oICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2hvdyB0aGlzIGhlbHBcblxuICAtLXZlcnNpb258LXYgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBTaG93IHRoZSB2ZXJzaW9uXG5cbiAgLS10YWlsfC10ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2V0cyB0aGUgc2l6ZSBvZiB0aGUgdGFpbCBvZiB0aGUgbG9nIG1lc3NhZ2VzLiBUaGUgZGVmYXVsdCBpcyB0ZW4uIFxuXG4gIC0tZm9sbG93fC1mICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFNob3cgdGhlIGxvZyBtZXNzYWdlcyBpbW1lZGlhdGVseSBpbnN0ZWFkIG9mIHRhaWxpbmcgdGhlbS4gVGhlIGRlZmF1bHQgaXMgZmFsc2UuXG5cbkZ1cnRoZXIgaW5mb3JtYXRpb246XG5cblBsZWFzZSBzZWUgdGhlIHJlYWRtZSBmaWxlIG9uIEdpdEh1YjpcblxuICBodHRwczovL2dpdGh1Yi5jb20vZGphbGJhdC9vY2NhbS12ZXJpZnktY2xpXG5gKTtcbn1cbiJdLCJuYW1lcyI6WyJoZWxwQWN0aW9uIiwiY29uc29sZSIsImxvZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBRUE7OztlQUF3QkE7OztBQUFULFNBQVNBO0lBQ3RCQyxRQUFRQyxHQUFHLENBQUMsQ0FBQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQXlCZixDQUFDO0FBQ0QifQ==
@@ -9,213 +9,41 @@ Object.defineProperty(exports, "default", {
9
9
  }
10
10
  });
11
11
  require("../preamble");
12
- var _occammodel = require("occam-model");
13
- var _occamlanguages = require("occam-languages");
14
- var _fileContext = require("../utilities/fileContext");
15
- var _releaseContext = require("../utilities/releaseContext");
16
- function asyncGeneratorStep(gen, resolve, reject, _next, _throw, key, arg) {
17
- try {
18
- var info = gen[key](arg);
19
- var value = info.value;
20
- } catch (error) {
21
- reject(error);
22
- return;
23
- }
24
- if (info.done) {
25
- resolve(value);
26
- } else {
27
- Promise.resolve(value).then(_next, _throw);
28
- }
29
- }
30
- function _async_to_generator(fn) {
31
- return function() {
32
- var self = this, args = arguments;
33
- return new Promise(function(resolve, reject) {
34
- var gen = fn.apply(self, args);
35
- function _next(value) {
36
- asyncGeneratorStep(gen, resolve, reject, _next, _throw, "next", value);
37
- }
38
- function _throw(err) {
39
- asyncGeneratorStep(gen, resolve, reject, _next, _throw, "throw", err);
40
- }
41
- _next(undefined);
42
- });
12
+ const _occammodel = require("occam-model");
13
+ const _occamlanguages = require("occam-languages");
14
+ const _fileContext = require("../utilities/fileContext");
15
+ const _releaseContext = require("../utilities/releaseContext");
16
+ const { createReleaseContext, verifyReleaseContext, initialiseReleaseContext } = _occamlanguages.verificationUtilities;
17
+ async function verifyAction(name, log) {
18
+ const callback = async (context, filePath, lineIndex)=>{
19
+ ///
20
+ }, releaseContextMap = {}, context = {
21
+ log,
22
+ callback,
23
+ releaseContextMap,
24
+ FileContextFromFilePath: _fileContext.FileContextFromFilePath,
25
+ releaseContextFromDependency: _releaseContext.releaseContextFromDependency
43
26
  };
44
- }
45
- function _ts_generator(thisArg, body) {
46
- var f, y, t, _ = {
47
- label: 0,
48
- sent: function() {
49
- if (t[0] & 1) throw t[1];
50
- return t[1];
51
- },
52
- trys: [],
53
- ops: []
54
- }, g = Object.create((typeof Iterator === "function" ? Iterator : Object).prototype);
55
- return g.next = verb(0), g["throw"] = verb(1), g["return"] = verb(2), typeof Symbol === "function" && (g[Symbol.iterator] = function() {
56
- return this;
57
- }), g;
58
- function verb(n) {
59
- return function(v) {
60
- return step([
61
- n,
62
- v
63
- ]);
64
- };
65
- }
66
- function step(op) {
67
- if (f) throw new TypeError("Generator is already executing.");
68
- while(g && (g = 0, op[0] && (_ = 0)), _)try {
69
- if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
70
- if (y = 0, t) op = [
71
- op[0] & 2,
72
- t.value
73
- ];
74
- switch(op[0]){
75
- case 0:
76
- case 1:
77
- t = op;
78
- break;
79
- case 4:
80
- _.label++;
81
- return {
82
- value: op[1],
83
- done: false
84
- };
85
- case 5:
86
- _.label++;
87
- y = op[1];
88
- op = [
89
- 0
90
- ];
91
- continue;
92
- case 7:
93
- op = _.ops.pop();
94
- _.trys.pop();
95
- continue;
96
- default:
97
- if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) {
98
- _ = 0;
99
- continue;
100
- }
101
- if (op[0] === 3 && (!t || op[1] > t[0] && op[1] < t[3])) {
102
- _.label = op[1];
103
- break;
104
- }
105
- if (op[0] === 6 && _.label < t[1]) {
106
- _.label = t[1];
107
- t = op;
108
- break;
109
- }
110
- if (t && _.label < t[2]) {
111
- _.label = t[2];
112
- _.ops.push(op);
113
- break;
114
- }
115
- if (t[2]) _.ops.pop();
116
- _.trys.pop();
117
- continue;
118
- }
119
- op = body.call(thisArg, _);
120
- } catch (e) {
121
- op = [
122
- 6,
123
- e
124
- ];
125
- y = 0;
126
- } finally{
127
- f = t = 0;
27
+ try {
28
+ const dependentNames = [], dependency = _occammodel.Dependency.fromName(name), success = await createReleaseContext(dependency, dependentNames, context);
29
+ if (!success) {
30
+ log.warning(`The '${name}' project or package cannot be created.`);
31
+ return;
32
+ }
33
+ const releaseName = name, releaseContext = releaseContextMap[releaseName], released = releaseContext.isReleased();
34
+ if (released) {
35
+ log.warning(`The '${name}' package does not need to be verified.`);
36
+ return;
128
37
  }
129
- if (op[0] & 5) throw op[1];
130
- return {
131
- value: op[0] ? op[1] : void 0,
132
- done: true
133
- };
38
+ initialiseReleaseContext(dependency, context);
39
+ const dependentName = null, dependentReleased = false, releaseVerifies = await verifyReleaseContext(releaseName, dependentName, dependentReleased, releaseContextMap);
40
+ if (!releaseVerifies) {
41
+ log.warning(`The '${name}' project or package cannot be verified.`);
42
+ return;
43
+ }
44
+ } catch (error) {
45
+ log.error(error);
134
46
  }
135
47
  }
136
- var createReleaseContext = _occamlanguages.verificationUtilities.createReleaseContext, verifyReleaseContext = _occamlanguages.verificationUtilities.verifyReleaseContext, initialiseReleaseContext = _occamlanguages.verificationUtilities.initialiseReleaseContext;
137
- function verifyAction(name, log) {
138
- return _async_to_generator(function() {
139
- var callback, releaseContextMap, context, dependentNames, dependency, success, releaseName, releaseContext, released, dependentName, dependentReleased, releaseVerifies, error;
140
- return _ts_generator(this, function(_state) {
141
- switch(_state.label){
142
- case 0:
143
- callback = function(context, filePath, lineIndex) {
144
- return _async_to_generator(function() {
145
- return _ts_generator(this, function(_state) {
146
- return [
147
- 2
148
- ];
149
- });
150
- ///
151
- })();
152
- }, releaseContextMap = {}, context = {
153
- log: log,
154
- callback: callback,
155
- releaseContextMap: releaseContextMap,
156
- FileContextFromFilePath: _fileContext.FileContextFromFilePath,
157
- releaseContextFromDependency: _releaseContext.releaseContextFromDependency
158
- };
159
- _state.label = 1;
160
- case 1:
161
- _state.trys.push([
162
- 1,
163
- 4,
164
- ,
165
- 5
166
- ]);
167
- dependentNames = [], dependency = _occammodel.Dependency.fromName(name);
168
- return [
169
- 4,
170
- createReleaseContext(dependency, dependentNames, context)
171
- ];
172
- case 2:
173
- success = _state.sent();
174
- if (!success) {
175
- log.warning("The '".concat(name, "' project or package cannot be created."));
176
- return [
177
- 2
178
- ];
179
- }
180
- releaseName = name, releaseContext = releaseContextMap[releaseName], released = releaseContext.isReleased();
181
- if (released) {
182
- log.warning("The '".concat(name, "' package does not need to be verified."));
183
- return [
184
- 2
185
- ];
186
- }
187
- initialiseReleaseContext(dependency, context);
188
- dependentName = null, dependentReleased = false;
189
- return [
190
- 4,
191
- verifyReleaseContext(releaseName, dependentName, dependentReleased, releaseContextMap)
192
- ];
193
- case 3:
194
- releaseVerifies = _state.sent();
195
- if (!releaseVerifies) {
196
- log.warning("The '".concat(name, "' project or package cannot be verified."));
197
- return [
198
- 2
199
- ];
200
- }
201
- return [
202
- 3,
203
- 5
204
- ];
205
- case 4:
206
- error = _state.sent();
207
- log.error(error);
208
- return [
209
- 3,
210
- 5
211
- ];
212
- case 5:
213
- return [
214
- 2
215
- ];
216
- }
217
- });
218
- })();
219
- }
220
48
 
221
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vdmVyaWZ5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgXCIuLi9wcmVhbWJsZVwiO1xuXG5pbXBvcnQgeyBEZXBlbmRlbmN5IH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyB2ZXJpZmljYXRpb25VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IEZpbGVDb250ZXh0RnJvbUZpbGVQYXRoIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9maWxlQ29udGV4dFwiO1xuaW1wb3J0IHsgcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHRcIjtcblxuY29uc3QgeyBjcmVhdGVSZWxlYXNlQ29udGV4dCwgdmVyaWZ5UmVsZWFzZUNvbnRleHQsIGluaXRpYWxpc2VSZWxlYXNlQ29udGV4dCB9ID0gdmVyaWZpY2F0aW9uVXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBhc3luYyBmdW5jdGlvbiB2ZXJpZnlBY3Rpb24obmFtZSwgbG9nKSB7XG4gIGNvbnN0IGNhbGxiYWNrID0gYXN5bmMgKGNvbnRleHQsIGZpbGVQYXRoLCBsaW5lSW5kZXgpID0+IHtcbiAgICAgICAgICAvLy9cbiAgICAgICAgfSxcbiAgICAgICAgcmVsZWFzZUNvbnRleHRNYXAgPSB7fSxcbiAgICAgICAgY29udGV4dCA9IHtcbiAgICAgICAgICBsb2csXG4gICAgICAgICAgY2FsbGJhY2ssXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHRNYXAsXG4gICAgICAgICAgRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgsXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeVxuICAgICAgICB9XG5cbiAgdHJ5IHtcbiAgICBjb25zdCBkZXBlbmRlbnROYW1lcyA9IFtdLFxuICAgICAgICAgIGRlcGVuZGVuY3kgPSBEZXBlbmRlbmN5LmZyb21OYW1lKG5hbWUpLFxuICAgICAgICAgIHN1Y2Nlc3MgPSBhd2FpdCBjcmVhdGVSZWxlYXNlQ29udGV4dChkZXBlbmRlbmN5LCBkZXBlbmRlbnROYW1lcywgY29udGV4dCk7XG5cbiAgICBpZiAoIXN1Y2Nlc3MpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHByb2plY3Qgb3IgcGFja2FnZSBjYW5ub3QgYmUgY3JlYXRlZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGNvbnN0IHJlbGVhc2VOYW1lID0gbmFtZSwgLy8vXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHQgPSByZWxlYXNlQ29udGV4dE1hcFtyZWxlYXNlTmFtZV0sXG4gICAgICAgICAgcmVsZWFzZWQgPSByZWxlYXNlQ29udGV4dC5pc1JlbGVhc2VkKCk7XG5cbiAgICBpZiAocmVsZWFzZWQpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHBhY2thZ2UgZG9lcyBub3QgbmVlZCB0byBiZSB2ZXJpZmllZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGluaXRpYWxpc2VSZWxlYXNlQ29udGV4dChkZXBlbmRlbmN5LCBjb250ZXh0KTtcblxuICAgIGNvbnN0IGRlcGVuZGVudE5hbWUgPSBudWxsLFxuICAgICAgICAgIGRlcGVuZGVudFJlbGVhc2VkID0gZmFsc2UsXG4gICAgICAgICAgcmVsZWFzZVZlcmlmaWVzID0gYXdhaXQgdmVyaWZ5UmVsZWFzZUNvbnRleHQocmVsZWFzZU5hbWUsIGRlcGVuZGVudE5hbWUsIGRlcGVuZGVudFJlbGVhc2VkLCByZWxlYXNlQ29udGV4dE1hcCk7XG5cbiAgICBpZiAoIXJlbGVhc2VWZXJpZmllcykge1xuICAgICAgbG9nLndhcm5pbmcoYFRoZSAnJHtuYW1lfScgcHJvamVjdCBvciBwYWNrYWdlIGNhbm5vdCBiZSB2ZXJpZmllZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cbiAgfVxuICBjYXRjaCAoZXJyb3IpIHtcbiAgICBsb2cuZXJyb3IoZXJyb3IpO1xuICB9XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5QWN0aW9uIiwiY3JlYXRlUmVsZWFzZUNvbnRleHQiLCJ2ZXJpZmljYXRpb25VdGlsaXRpZXMiLCJ2ZXJpZnlSZWxlYXNlQ29udGV4dCIsImluaXRpYWxpc2VSZWxlYXNlQ29udGV4dCIsIm5hbWUiLCJsb2ciLCJjYWxsYmFjayIsInJlbGVhc2VDb250ZXh0TWFwIiwiY29udGV4dCIsImRlcGVuZGVudE5hbWVzIiwiZGVwZW5kZW5jeSIsInN1Y2Nlc3MiLCJyZWxlYXNlTmFtZSIsInJlbGVhc2VDb250ZXh0IiwicmVsZWFzZWQiLCJkZXBlbmRlbnROYW1lIiwiZGVwZW5kZW50UmVsZWFzZWQiLCJyZWxlYXNlVmVyaWZpZXMiLCJlcnJvciIsImZpbGVQYXRoIiwibGluZUluZGV4IiwiRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgiLCJyZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IiwiRGVwZW5kZW5jeSIsImZyb21OYW1lIiwid2FybmluZyIsImlzUmVsZWFzZWQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVlBOzs7ZUFBOEJBOzs7UUFWdkI7MEJBRW9COzhCQUNXOzJCQUVFOzhCQUNLOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRTdDLElBQVFDLHVCQUF5RUMscUNBQXFCLENBQTlGRCxzQkFBc0JFLHVCQUFtREQscUNBQXFCLENBQXhFQyxzQkFBc0JDLDJCQUE2QkYscUNBQXFCLENBQWxERTtBQUVyQyxTQUFlSixhQUFhSyxJQUFJLEVBQUVDLEdBQUc7O1lBQzVDQyxVQUdBQyxtQkFDQUMsU0FTRUMsZ0JBQ0FDLFlBQ0FDLFNBUUFDLGFBQ0FDLGdCQUNBQyxVQVVBQyxlQUNBQyxtQkFDQUMsaUJBUURDOzs7O29CQTdDRFosV0FBVyxTQUFPRSxTQUFTVyxVQUFVQzs7Ozs7Ozt3QkFDbkMsR0FBRzt3QkFDTDt1QkFDQWIsb0JBQW9CLENBQUMsR0FDckJDLFVBQVU7d0JBQ1JILEtBQUFBO3dCQUNBQyxVQUFBQTt3QkFDQUMsbUJBQUFBO3dCQUNBYyx5QkFBQUEsb0NBQXVCO3dCQUN2QkMsOEJBQUFBLDRDQUE0QjtvQkFDOUI7Ozs7Ozs7OztvQkFHRWIscUJBQ0FDLGFBQWFhLHNCQUFVLENBQUNDLFFBQVEsQ0FBQ3BCO29CQUN2Qjs7d0JBQU1KLHFCQUFxQlUsWUFBWUQsZ0JBQWdCRDs7O29CQUFqRUcsVUFBVTtvQkFFaEIsSUFBSSxDQUFDQSxTQUFTO3dCQUNaTixJQUFJb0IsT0FBTyxDQUFDLEFBQUMsUUFBWSxPQUFMckIsTUFBSzt3QkFFekI7OztvQkFDRjtvQkFFTVEsY0FBY1IsTUFDZFMsaUJBQWlCTixpQkFBaUIsQ0FBQ0ssWUFBWSxFQUMvQ0UsV0FBV0QsZUFBZWEsVUFBVTtvQkFFMUMsSUFBSVosVUFBVTt3QkFDWlQsSUFBSW9CLE9BQU8sQ0FBQyxBQUFDLFFBQVksT0FBTHJCLE1BQUs7d0JBRXpCOzs7b0JBQ0Y7b0JBRUFELHlCQUF5Qk8sWUFBWUY7b0JBRS9CTyxnQkFBZ0IsTUFDaEJDLG9CQUFvQjtvQkFDRjs7d0JBQU1kLHFCQUFxQlUsYUFBYUcsZUFBZUMsbUJBQW1CVDs7O29CQUE1RlUsa0JBQWtCO29CQUV4QixJQUFJLENBQUNBLGlCQUFpQjt3QkFDcEJaLElBQUlvQixPQUFPLENBQUMsQUFBQyxRQUFZLE9BQUxyQixNQUFLO3dCQUV6Qjs7O29CQUNGOzs7Ozs7b0JBRUtjO29CQUNMYixJQUFJYSxLQUFLLENBQUNBOzs7Ozs7Ozs7OztJQUVkIn0=
49
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vdmVyaWZ5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgXCIuLi9wcmVhbWJsZVwiO1xuXG5pbXBvcnQgeyBEZXBlbmRlbmN5IH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyB2ZXJpZmljYXRpb25VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IEZpbGVDb250ZXh0RnJvbUZpbGVQYXRoIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9maWxlQ29udGV4dFwiO1xuaW1wb3J0IHsgcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHRcIjtcblxuY29uc3QgeyBjcmVhdGVSZWxlYXNlQ29udGV4dCwgdmVyaWZ5UmVsZWFzZUNvbnRleHQsIGluaXRpYWxpc2VSZWxlYXNlQ29udGV4dCB9ID0gdmVyaWZpY2F0aW9uVXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBhc3luYyBmdW5jdGlvbiB2ZXJpZnlBY3Rpb24obmFtZSwgbG9nKSB7XG4gIGNvbnN0IGNhbGxiYWNrID0gYXN5bmMgKGNvbnRleHQsIGZpbGVQYXRoLCBsaW5lSW5kZXgpID0+IHtcbiAgICAgICAgICAvLy9cbiAgICAgICAgfSxcbiAgICAgICAgcmVsZWFzZUNvbnRleHRNYXAgPSB7fSxcbiAgICAgICAgY29udGV4dCA9IHtcbiAgICAgICAgICBsb2csXG4gICAgICAgICAgY2FsbGJhY2ssXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHRNYXAsXG4gICAgICAgICAgRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgsXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeVxuICAgICAgICB9XG5cbiAgdHJ5IHtcbiAgICBjb25zdCBkZXBlbmRlbnROYW1lcyA9IFtdLFxuICAgICAgICAgIGRlcGVuZGVuY3kgPSBEZXBlbmRlbmN5LmZyb21OYW1lKG5hbWUpLFxuICAgICAgICAgIHN1Y2Nlc3MgPSBhd2FpdCBjcmVhdGVSZWxlYXNlQ29udGV4dChkZXBlbmRlbmN5LCBkZXBlbmRlbnROYW1lcywgY29udGV4dCk7XG5cbiAgICBpZiAoIXN1Y2Nlc3MpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHByb2plY3Qgb3IgcGFja2FnZSBjYW5ub3QgYmUgY3JlYXRlZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGNvbnN0IHJlbGVhc2VOYW1lID0gbmFtZSwgLy8vXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHQgPSByZWxlYXNlQ29udGV4dE1hcFtyZWxlYXNlTmFtZV0sXG4gICAgICAgICAgcmVsZWFzZWQgPSByZWxlYXNlQ29udGV4dC5pc1JlbGVhc2VkKCk7XG5cbiAgICBpZiAocmVsZWFzZWQpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHBhY2thZ2UgZG9lcyBub3QgbmVlZCB0byBiZSB2ZXJpZmllZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGluaXRpYWxpc2VSZWxlYXNlQ29udGV4dChkZXBlbmRlbmN5LCBjb250ZXh0KTtcblxuICAgIGNvbnN0IGRlcGVuZGVudE5hbWUgPSBudWxsLFxuICAgICAgICAgIGRlcGVuZGVudFJlbGVhc2VkID0gZmFsc2UsXG4gICAgICAgICAgcmVsZWFzZVZlcmlmaWVzID0gYXdhaXQgdmVyaWZ5UmVsZWFzZUNvbnRleHQocmVsZWFzZU5hbWUsIGRlcGVuZGVudE5hbWUsIGRlcGVuZGVudFJlbGVhc2VkLCByZWxlYXNlQ29udGV4dE1hcCk7XG5cbiAgICBpZiAoIXJlbGVhc2VWZXJpZmllcykge1xuICAgICAgbG9nLndhcm5pbmcoYFRoZSAnJHtuYW1lfScgcHJvamVjdCBvciBwYWNrYWdlIGNhbm5vdCBiZSB2ZXJpZmllZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cbiAgfVxuICBjYXRjaCAoZXJyb3IpIHtcbiAgICBsb2cuZXJyb3IoZXJyb3IpO1xuICB9XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5QWN0aW9uIiwiY3JlYXRlUmVsZWFzZUNvbnRleHQiLCJ2ZXJpZnlSZWxlYXNlQ29udGV4dCIsImluaXRpYWxpc2VSZWxlYXNlQ29udGV4dCIsInZlcmlmaWNhdGlvblV0aWxpdGllcyIsIm5hbWUiLCJsb2ciLCJjYWxsYmFjayIsImNvbnRleHQiLCJmaWxlUGF0aCIsImxpbmVJbmRleCIsInJlbGVhc2VDb250ZXh0TWFwIiwiRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgiLCJyZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IiwiZGVwZW5kZW50TmFtZXMiLCJkZXBlbmRlbmN5IiwiRGVwZW5kZW5jeSIsImZyb21OYW1lIiwic3VjY2VzcyIsIndhcm5pbmciLCJyZWxlYXNlTmFtZSIsInJlbGVhc2VDb250ZXh0IiwicmVsZWFzZWQiLCJpc1JlbGVhc2VkIiwiZGVwZW5kZW50TmFtZSIsImRlcGVuZGVudFJlbGVhc2VkIiwicmVsZWFzZVZlcmlmaWVzIiwiZXJyb3IiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVlBOzs7ZUFBOEJBOzs7UUFWdkI7NEJBRW9CO2dDQUNXOzZCQUVFO2dDQUNLO0FBRTdDLE1BQU0sRUFBRUMsb0JBQW9CLEVBQUVDLG9CQUFvQixFQUFFQyx3QkFBd0IsRUFBRSxHQUFHQyxxQ0FBcUI7QUFFdkYsZUFBZUosYUFBYUssSUFBSSxFQUFFQyxHQUFHO0lBQ2xELE1BQU1DLFdBQVcsT0FBT0MsU0FBU0MsVUFBVUM7SUFDbkMsR0FBRztJQUNMLEdBQ0FDLG9CQUFvQixDQUFDLEdBQ3JCSCxVQUFVO1FBQ1JGO1FBQ0FDO1FBQ0FJO1FBQ0FDLHlCQUFBQSxvQ0FBdUI7UUFDdkJDLDhCQUFBQSw0Q0FBNEI7SUFDOUI7SUFFTixJQUFJO1FBQ0YsTUFBTUMsaUJBQWlCLEVBQUUsRUFDbkJDLGFBQWFDLHNCQUFVLENBQUNDLFFBQVEsQ0FBQ1osT0FDakNhLFVBQVUsTUFBTWpCLHFCQUFxQmMsWUFBWUQsZ0JBQWdCTjtRQUV2RSxJQUFJLENBQUNVLFNBQVM7WUFDWlosSUFBSWEsT0FBTyxDQUFDLENBQUMsS0FBSyxFQUFFZCxLQUFLLHVDQUF1QyxDQUFDO1lBRWpFO1FBQ0Y7UUFFQSxNQUFNZSxjQUFjZixNQUNkZ0IsaUJBQWlCVixpQkFBaUIsQ0FBQ1MsWUFBWSxFQUMvQ0UsV0FBV0QsZUFBZUUsVUFBVTtRQUUxQyxJQUFJRCxVQUFVO1lBQ1poQixJQUFJYSxPQUFPLENBQUMsQ0FBQyxLQUFLLEVBQUVkLEtBQUssdUNBQXVDLENBQUM7WUFFakU7UUFDRjtRQUVBRix5QkFBeUJZLFlBQVlQO1FBRXJDLE1BQU1nQixnQkFBZ0IsTUFDaEJDLG9CQUFvQixPQUNwQkMsa0JBQWtCLE1BQU14QixxQkFBcUJrQixhQUFhSSxlQUFlQyxtQkFBbUJkO1FBRWxHLElBQUksQ0FBQ2UsaUJBQWlCO1lBQ3BCcEIsSUFBSWEsT0FBTyxDQUFDLENBQUMsS0FBSyxFQUFFZCxLQUFLLHdDQUF3QyxDQUFDO1lBRWxFO1FBQ0Y7SUFDRixFQUNBLE9BQU9zQixPQUFPO1FBQ1pyQixJQUFJcUIsS0FBSyxDQUFDQTtJQUNaO0FBQ0YifQ==
@@ -8,12 +8,12 @@ Object.defineProperty(exports, "default", {
8
8
  return versionAction;
9
9
  }
10
10
  });
11
- var _necessary = require("necessary");
12
- var _constants = require("../constants");
13
- var getVersion = _necessary.packageUtilities.getVersion;
11
+ const _necessary = require("necessary");
12
+ const _constants = require("../constants");
13
+ const { getVersion } = _necessary.packageUtilities;
14
14
  function versionAction() {
15
- var version = getVersion(); ///
16
- console.log("".concat(_constants.OCCAM_VERIFY_CLI, " version ").concat(version));
15
+ const version = getVersion(); ///
16
+ console.log(`${_constants.OCCAM_VERIFY_CLI} version ${version}`);
17
17
  }
18
18
 
19
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vdmVyc2lvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgcGFja2FnZVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuaW1wb3J0IHsgT0NDQU1fVkVSSUZZX0NMSSB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcblxuY29uc3QgeyBnZXRWZXJzaW9uIH0gPSBwYWNrYWdlVXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJzaW9uQWN0aW9uKCkge1xuICBjb25zdCB2ZXJzaW9uID0gZ2V0VmVyc2lvbigpOyAvLy9cblxuICBjb25zb2xlLmxvZyhgJHtPQ0NBTV9WRVJJRllfQ0xJfSB2ZXJzaW9uICR7dmVyc2lvbn1gKTtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJzaW9uQWN0aW9uIiwiZ2V0VmVyc2lvbiIsInBhY2thZ2VVdGlsaXRpZXMiLCJ2ZXJzaW9uIiwiY29uc29sZSIsImxvZyIsIk9DQ0FNX1ZFUklGWV9DTEkiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFBOzs7ZUFBd0JBOzs7eUJBTlM7eUJBRUE7QUFFakMsSUFBTSxBQUFFQyxhQUFlQywyQkFBZ0IsQ0FBL0JEO0FBRU8sU0FBU0Q7SUFDdEIsSUFBTUcsVUFBVUYsY0FBYyxHQUFHO0lBRWpDRyxRQUFRQyxHQUFHLENBQUMsQUFBQyxHQUE4QkYsT0FBNUJHLDJCQUFnQixFQUFDLGFBQW1CLE9BQVJIO0FBQzdDIn0=
19
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vdmVyc2lvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgcGFja2FnZVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuaW1wb3J0IHsgT0NDQU1fVkVSSUZZX0NMSSB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcblxuY29uc3QgeyBnZXRWZXJzaW9uIH0gPSBwYWNrYWdlVXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJzaW9uQWN0aW9uKCkge1xuICBjb25zdCB2ZXJzaW9uID0gZ2V0VmVyc2lvbigpOyAvLy9cblxuICBjb25zb2xlLmxvZyhgJHtPQ0NBTV9WRVJJRllfQ0xJfSB2ZXJzaW9uICR7dmVyc2lvbn1gKTtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJzaW9uQWN0aW9uIiwiZ2V0VmVyc2lvbiIsInBhY2thZ2VVdGlsaXRpZXMiLCJ2ZXJzaW9uIiwiY29uc29sZSIsImxvZyIsIk9DQ0FNX1ZFUklGWV9DTEkiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFBOzs7ZUFBd0JBOzs7MkJBTlM7MkJBRUE7QUFFakMsTUFBTSxFQUFFQyxVQUFVLEVBQUUsR0FBR0MsMkJBQWdCO0FBRXhCLFNBQVNGO0lBQ3RCLE1BQU1HLFVBQVVGLGNBQWMsR0FBRztJQUVqQ0csUUFBUUMsR0FBRyxDQUFDLEdBQUdDLDJCQUFnQixDQUFDLFNBQVMsRUFBRUgsU0FBUztBQUN0RCJ9
package/lib/commands.js CHANGED
@@ -19,8 +19,8 @@ _export(exports, {
19
19
  return VERSION_COMMAND;
20
20
  }
21
21
  });
22
- var HELP_COMMAND = "help";
23
- var VERIFY_COMMAND = "verify";
24
- var VERSION_COMMAND = "version";
22
+ const HELP_COMMAND = "help";
23
+ const VERIFY_COMMAND = "verify";
24
+ const VERSION_COMMAND = "version";
25
25
 
26
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb21tYW5kcy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGNvbnN0IEhFTFBfQ09NTUFORCA9IFwiaGVscFwiO1xuZXhwb3J0IGNvbnN0IFZFUklGWV9DT01NQU5EID0gXCJ2ZXJpZnlcIjtcbmV4cG9ydCBjb25zdCBWRVJTSU9OX0NPTU1BTkQgPSBcInZlcnNpb25cIjtcbiJdLCJuYW1lcyI6WyJIRUxQX0NPTU1BTkQiLCJWRVJJRllfQ09NTUFORCIsIlZFUlNJT05fQ09NTUFORCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBRWFBO2VBQUFBOztRQUNBQztlQUFBQTs7UUFDQUM7ZUFBQUE7OztBQUZOLElBQU1GLGVBQWU7QUFDckIsSUFBTUMsaUJBQWlCO0FBQ3ZCLElBQU1DLGtCQUFrQiJ9
26
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb21tYW5kcy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGNvbnN0IEhFTFBfQ09NTUFORCA9IFwiaGVscFwiO1xuZXhwb3J0IGNvbnN0IFZFUklGWV9DT01NQU5EID0gXCJ2ZXJpZnlcIjtcbmV4cG9ydCBjb25zdCBWRVJTSU9OX0NPTU1BTkQgPSBcInZlcnNpb25cIjtcbiJdLCJuYW1lcyI6WyJIRUxQX0NPTU1BTkQiLCJWRVJJRllfQ09NTUFORCIsIlZFUlNJT05fQ09NTUFORCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBRWFBO2VBQUFBOztRQUNBQztlQUFBQTs7UUFDQUM7ZUFBQUE7OztBQUZOLE1BQU1GLGVBQWU7QUFDckIsTUFBTUMsaUJBQWlCO0FBQ3ZCLE1BQU1DLGtCQUFrQiJ9
package/lib/constants.js CHANGED
@@ -64,20 +64,20 @@ _export(exports, {
64
64
  return WARNING_LEVEL;
65
65
  }
66
66
  });
67
- var _necessary = require("necessary");
68
- var TRACE_LEVEL = _necessary.levels.TRACE_LEVEL, DEBUG_LEVEL = _necessary.levels.DEBUG_LEVEL, INFO_LEVEL = _necessary.levels.INFO_LEVEL, WARNING_LEVEL = _necessary.levels.WARNING_LEVEL, ERROR_LEVEL = _necessary.levels.ERROR_LEVEL;
69
- var S = "s";
70
- var MISSING = "missing";
71
- var FUNCTION = "function";
72
- var UNDEFINED = "undefined";
73
- var PROVISIONAL = "Provisional";
74
- var EMPTY_STRING = "";
75
- var SINGLE_SPACE = " ";
76
- var BREAK_MESSAGE = ":: BREAK ::";
77
- var PROVISIONALLY = "provisionally";
78
- var BASE_TYPE_SYMBOL = "<>";
79
- var OCCAM_VERIFY_CLI = "Occam Verify-CLI";
80
- var BRACKETED_TERM_DEPTH = 2;
81
- var BRACKETED_STATEMENT_DEPTH = 2;
67
+ const _necessary = require("necessary");
68
+ const { TRACE_LEVEL, DEBUG_LEVEL, INFO_LEVEL, WARNING_LEVEL, ERROR_LEVEL } = _necessary.levels;
69
+ const S = "s";
70
+ const MISSING = "missing";
71
+ const FUNCTION = "function";
72
+ const UNDEFINED = "undefined";
73
+ const PROVISIONAL = "Provisional";
74
+ const EMPTY_STRING = "";
75
+ const SINGLE_SPACE = " ";
76
+ const BREAK_MESSAGE = ":: BREAK ::";
77
+ const PROVISIONALLY = "provisionally";
78
+ const BASE_TYPE_SYMBOL = "<>";
79
+ const OCCAM_VERIFY_CLI = "Occam Verify-CLI";
80
+ const BRACKETED_TERM_DEPTH = 2;
81
+ const BRACKETED_STATEMENT_DEPTH = 2;
82
82
 
83
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb25zdGFudHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGxldmVscyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuZXhwb3J0IGNvbnN0IHsgVFJBQ0VfTEVWRUwsIERFQlVHX0xFVkVMLCBJTkZPX0xFVkVMLCBXQVJOSU5HX0xFVkVMLCBFUlJPUl9MRVZFTCB9ID0gbGV2ZWxzO1xuXG5leHBvcnQgY29uc3QgUyA9IFwic1wiO1xuZXhwb3J0IGNvbnN0IE1JU1NJTkcgPSBcIm1pc3NpbmdcIjtcbmV4cG9ydCBjb25zdCBGVU5DVElPTiA9IFwiZnVuY3Rpb25cIjtcbmV4cG9ydCBjb25zdCBVTkRFRklORUQgPSBcInVuZGVmaW5lZFwiO1xuZXhwb3J0IGNvbnN0IFBST1ZJU0lPTkFMID0gXCJQcm92aXNpb25hbFwiO1xuZXhwb3J0IGNvbnN0IEVNUFRZX1NUUklORyA9IFwiXCI7XG5leHBvcnQgY29uc3QgU0lOR0xFX1NQQUNFID0gXCIgXCI7XG5leHBvcnQgY29uc3QgQlJFQUtfTUVTU0FHRSA9IFwiOjogQlJFQUsgOjpcIjtcbmV4cG9ydCBjb25zdCBQUk9WSVNJT05BTExZID0gXCJwcm92aXNpb25hbGx5XCI7XG5leHBvcnQgY29uc3QgQkFTRV9UWVBFX1NZTUJPTCA9IFwiPD5cIjtcbmV4cG9ydCBjb25zdCBPQ0NBTV9WRVJJRllfQ0xJID0gXCJPY2NhbSBWZXJpZnktQ0xJXCI7XG5leHBvcnQgY29uc3QgQlJBQ0tFVEVEX1RFUk1fREVQVEggPSAyO1xuZXhwb3J0IGNvbnN0IEJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEggPSAyO1xuIl0sIm5hbWVzIjpbIkJBU0VfVFlQRV9TWU1CT0wiLCJCUkFDS0VURURfU1RBVEVNRU5UX0RFUFRIIiwiQlJBQ0tFVEVEX1RFUk1fREVQVEgiLCJCUkVBS19NRVNTQUdFIiwiREVCVUdfTEVWRUwiLCJFTVBUWV9TVFJJTkciLCJFUlJPUl9MRVZFTCIsIkZVTkNUSU9OIiwiSU5GT19MRVZFTCIsIk1JU1NJTkciLCJPQ0NBTV9WRVJJRllfQ0xJIiwiUFJPVklTSU9OQUwiLCJQUk9WSVNJT05BTExZIiwiUyIsIlNJTkdMRV9TUEFDRSIsIlRSQUNFX0xFVkVMIiwiVU5ERUZJTkVEIiwiV0FSTklOR19MRVZFTCIsImxldmVscyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBZWFBO2VBQUFBOztRQUdBQztlQUFBQTs7UUFEQUM7ZUFBQUE7O1FBSkFDO2VBQUFBOztRQVRlQztlQUFBQTs7UUFPZkM7ZUFBQUE7O1FBUHVEQztlQUFBQTs7UUFJdkRDO2VBQUFBOztRQUo0QkM7ZUFBQUE7O1FBRzVCQztlQUFBQTs7UUFTQUM7ZUFBQUE7O1FBTkFDO2VBQUFBOztRQUlBQztlQUFBQTs7UUFSQUM7ZUFBQUE7O1FBTUFDO2VBQUFBOztRQVJFQztlQUFBQTs7UUFLRkM7ZUFBQUE7O1FBTHdDQztlQUFBQTs7O3lCQUY5QjtBQUVoQixJQUFRRixjQUFxRUcsaUJBQU0sQ0FBM0VILGFBQWFYLGNBQXdEYyxpQkFBTSxDQUE5RGQsYUFBYUksYUFBMkNVLGlCQUFNLENBQWpEVixZQUFZUyxnQkFBK0JDLGlCQUFNLENBQXJDRCxlQUFlWCxjQUFnQlksaUJBQU0sQ0FBdEJaO0FBRTdELElBQU1PLElBQUk7QUFDVixJQUFNSixVQUFVO0FBQ2hCLElBQU1GLFdBQVc7QUFDakIsSUFBTVMsWUFBWTtBQUNsQixJQUFNTCxjQUFjO0FBQ3BCLElBQU1OLGVBQWU7QUFDckIsSUFBTVMsZUFBZTtBQUNyQixJQUFNWCxnQkFBZ0I7QUFDdEIsSUFBTVMsZ0JBQWdCO0FBQ3RCLElBQU1aLG1CQUFtQjtBQUN6QixJQUFNVSxtQkFBbUI7QUFDekIsSUFBTVIsdUJBQXVCO0FBQzdCLElBQU1ELDRCQUE0QiJ9
83
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb25zdGFudHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGxldmVscyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuZXhwb3J0IGNvbnN0IHsgVFJBQ0VfTEVWRUwsIERFQlVHX0xFVkVMLCBJTkZPX0xFVkVMLCBXQVJOSU5HX0xFVkVMLCBFUlJPUl9MRVZFTCB9ID0gbGV2ZWxzO1xuXG5leHBvcnQgY29uc3QgUyA9IFwic1wiO1xuZXhwb3J0IGNvbnN0IE1JU1NJTkcgPSBcIm1pc3NpbmdcIjtcbmV4cG9ydCBjb25zdCBGVU5DVElPTiA9IFwiZnVuY3Rpb25cIjtcbmV4cG9ydCBjb25zdCBVTkRFRklORUQgPSBcInVuZGVmaW5lZFwiO1xuZXhwb3J0IGNvbnN0IFBST1ZJU0lPTkFMID0gXCJQcm92aXNpb25hbFwiO1xuZXhwb3J0IGNvbnN0IEVNUFRZX1NUUklORyA9IFwiXCI7XG5leHBvcnQgY29uc3QgU0lOR0xFX1NQQUNFID0gXCIgXCI7XG5leHBvcnQgY29uc3QgQlJFQUtfTUVTU0FHRSA9IFwiOjogQlJFQUsgOjpcIjtcbmV4cG9ydCBjb25zdCBQUk9WSVNJT05BTExZID0gXCJwcm92aXNpb25hbGx5XCI7XG5leHBvcnQgY29uc3QgQkFTRV9UWVBFX1NZTUJPTCA9IFwiPD5cIjtcbmV4cG9ydCBjb25zdCBPQ0NBTV9WRVJJRllfQ0xJID0gXCJPY2NhbSBWZXJpZnktQ0xJXCI7XG5leHBvcnQgY29uc3QgQlJBQ0tFVEVEX1RFUk1fREVQVEggPSAyO1xuZXhwb3J0IGNvbnN0IEJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEggPSAyO1xuIl0sIm5hbWVzIjpbIkJBU0VfVFlQRV9TWU1CT0wiLCJCUkFDS0VURURfU1RBVEVNRU5UX0RFUFRIIiwiQlJBQ0tFVEVEX1RFUk1fREVQVEgiLCJCUkVBS19NRVNTQUdFIiwiREVCVUdfTEVWRUwiLCJFTVBUWV9TVFJJTkciLCJFUlJPUl9MRVZFTCIsIkZVTkNUSU9OIiwiSU5GT19MRVZFTCIsIk1JU1NJTkciLCJPQ0NBTV9WRVJJRllfQ0xJIiwiUFJPVklTSU9OQUwiLCJQUk9WSVNJT05BTExZIiwiUyIsIlNJTkdMRV9TUEFDRSIsIlRSQUNFX0xFVkVMIiwiVU5ERUZJTkVEIiwiV0FSTklOR19MRVZFTCIsImxldmVscyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBZWFBO2VBQUFBOztRQUdBQztlQUFBQTs7UUFEQUM7ZUFBQUE7O1FBSkFDO2VBQUFBOztRQVRlQztlQUFBQTs7UUFPZkM7ZUFBQUE7O1FBUHVEQztlQUFBQTs7UUFJdkRDO2VBQUFBOztRQUo0QkM7ZUFBQUE7O1FBRzVCQztlQUFBQTs7UUFTQUM7ZUFBQUE7O1FBTkFDO2VBQUFBOztRQUlBQztlQUFBQTs7UUFSQUM7ZUFBQUE7O1FBTUFDO2VBQUFBOztRQVJFQztlQUFBQTs7UUFLRkM7ZUFBQUE7O1FBTHdDQztlQUFBQTs7OzJCQUY5QjtBQUVoQixNQUFNLEVBQUVGLFdBQVcsRUFBRVgsV0FBVyxFQUFFSSxVQUFVLEVBQUVTLGFBQWEsRUFBRVgsV0FBVyxFQUFFLEdBQUdZLGlCQUFNO0FBRW5GLE1BQU1MLElBQUk7QUFDVixNQUFNSixVQUFVO0FBQ2hCLE1BQU1GLFdBQVc7QUFDakIsTUFBTVMsWUFBWTtBQUNsQixNQUFNTCxjQUFjO0FBQ3BCLE1BQU1OLGVBQWU7QUFDckIsTUFBTVMsZUFBZTtBQUNyQixNQUFNWCxnQkFBZ0I7QUFDdEIsTUFBTVMsZ0JBQWdCO0FBQ3RCLE1BQU1aLG1CQUFtQjtBQUN6QixNQUFNVSxtQkFBbUI7QUFDekIsTUFBTVIsdUJBQXVCO0FBQzdCLE1BQU1ELDRCQUE0QiJ9