occam-verify-cli 1.0.984 → 1.0.985

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 (423) hide show
  1. package/lib/action/verify.js +22 -27
  2. package/lib/constants.js +1 -41
  3. package/lib/index.js +1 -2
  4. package/lib/utilities/fileContext.js +3 -8
  5. package/lib/utilities/releaseContext.js +2 -2
  6. package/package.json +5 -6
  7. package/src/action/verify.js +8 -18
  8. package/src/constants.js +0 -10
  9. package/src/index.js +0 -2
  10. package/src/utilities/fileContext.js +1 -2
  11. package/src/utilities/releaseContext.js +1 -1
  12. package/lib/context/aphasic.js +0 -27
  13. package/lib/context/bounded.js +0 -244
  14. package/lib/context/branching.js +0 -61
  15. package/lib/context/file/nominal.js +0 -586
  16. package/lib/context/illative.js +0 -28
  17. package/lib/context/liminal.js +0 -200
  18. package/lib/context/literal.js +0 -44
  19. package/lib/context/mnemic.js +0 -454
  20. package/lib/context/nested.js +0 -31
  21. package/lib/context/nominal.js +0 -57
  22. package/lib/context/phaneric.js +0 -44
  23. package/lib/context/thetic.js +0 -28
  24. package/lib/context.js +0 -445
  25. package/lib/element/assertion/contained.js +0 -218
  26. package/lib/element/assertion/defined.js +0 -213
  27. package/lib/element/assertion/property.js +0 -176
  28. package/lib/element/assertion/signature.js +0 -170
  29. package/lib/element/assertion/subproof.js +0 -220
  30. package/lib/element/assertion/type.js +0 -227
  31. package/lib/element/assertion.js +0 -49
  32. package/lib/element/assumption/metaLevel.js +0 -244
  33. package/lib/element/assumption.js +0 -252
  34. package/lib/element/combinator/bracketed.js +0 -36
  35. package/lib/element/combinator.js +0 -104
  36. package/lib/element/conclusion.js +0 -131
  37. package/lib/element/constructor/bracketed.js +0 -57
  38. package/lib/element/constructor.js +0 -129
  39. package/lib/element/declaration/combinator.js +0 -58
  40. package/lib/element/declaration/complexType.js +0 -180
  41. package/lib/element/declaration/constructor.js +0 -93
  42. package/lib/element/declaration/metavariable.js +0 -77
  43. package/lib/element/declaration/property.js +0 -88
  44. package/lib/element/declaration/simpleType.js +0 -148
  45. package/lib/element/declaration/typePrefix.js +0 -53
  46. package/lib/element/declaration/variable.js +0 -99
  47. package/lib/element/declaration.js +0 -15
  48. package/lib/element/deduction.js +0 -131
  49. package/lib/element/derivation.js +0 -46
  50. package/lib/element/equality.js +0 -211
  51. package/lib/element/equivalence.js +0 -200
  52. package/lib/element/error.js +0 -27
  53. package/lib/element/frame.js +0 -238
  54. package/lib/element/hypothesis.js +0 -135
  55. package/lib/element/judgement.js +0 -212
  56. package/lib/element/label.js +0 -135
  57. package/lib/element/metaType.js +0 -57
  58. package/lib/element/metavariable.js +0 -452
  59. package/lib/element/parameter.js +0 -69
  60. package/lib/element/procedureCall.js +0 -116
  61. package/lib/element/procedureReference.js +0 -56
  62. package/lib/element/proof.js +0 -52
  63. package/lib/element/proofAssertion/premise.js +0 -238
  64. package/lib/element/proofAssertion/step.js +0 -235
  65. package/lib/element/proofAssertion/supposition.js +0 -249
  66. package/lib/element/proofAssertion.js +0 -56
  67. package/lib/element/property.js +0 -176
  68. package/lib/element/propertyRelation.js +0 -132
  69. package/lib/element/reference.js +0 -227
  70. package/lib/element/rule.js +0 -242
  71. package/lib/element/section.js +0 -64
  72. package/lib/element/signature.js +0 -195
  73. package/lib/element/statement.js +0 -228
  74. package/lib/element/subDerivation.js +0 -46
  75. package/lib/element/subproof.js +0 -91
  76. package/lib/element/substitution/frame.js +0 -256
  77. package/lib/element/substitution/reference.js +0 -192
  78. package/lib/element/substitution/statement.js +0 -294
  79. package/lib/element/substitution/term.js +0 -266
  80. package/lib/element/substitution.js +0 -183
  81. package/lib/element/term.js +0 -217
  82. package/lib/element/topLevelAssertion/axiom.js +0 -158
  83. package/lib/element/topLevelAssertion/conjecture.js +0 -42
  84. package/lib/element/topLevelAssertion/lemma.js +0 -39
  85. package/lib/element/topLevelAssertion/theorem.js +0 -42
  86. package/lib/element/topLevelAssertion.js +0 -286
  87. package/lib/element/topLevelMetaAssertion/metaLemma.js +0 -42
  88. package/lib/element/topLevelMetaAssertion/metatheorem.js +0 -42
  89. package/lib/element/topLevelMetaAssertion.js +0 -179
  90. package/lib/element/type.js +0 -240
  91. package/lib/element/typePrefix.js +0 -85
  92. package/lib/element/variable.js +0 -206
  93. package/lib/elements.js +0 -27
  94. package/lib/metaTypeNames.js +0 -26
  95. package/lib/metaTypes.js +0 -66
  96. package/lib/node/argument.js +0 -31
  97. package/lib/node/assertion/contained.js +0 -51
  98. package/lib/node/assertion/defined.js +0 -47
  99. package/lib/node/assertion/property.js +0 -36
  100. package/lib/node/assertion/signature.js +0 -32
  101. package/lib/node/assertion/subproof.js +0 -28
  102. package/lib/node/assertion/type.js +0 -32
  103. package/lib/node/assertion.js +0 -18
  104. package/lib/node/assumption/metaLevel.js +0 -27
  105. package/lib/node/assumption.js +0 -27
  106. package/lib/node/body/axiom.js +0 -23
  107. package/lib/node/body/conjecture.js +0 -23
  108. package/lib/node/body/lemma.js +0 -23
  109. package/lib/node/body/metaLemma.js +0 -23
  110. package/lib/node/body/metatheorem.js +0 -23
  111. package/lib/node/body/rule.js +0 -44
  112. package/lib/node/body/theorem.js +0 -23
  113. package/lib/node/body.js +0 -31
  114. package/lib/node/combinator.js +0 -23
  115. package/lib/node/conclusion.js +0 -27
  116. package/lib/node/constructor.js +0 -23
  117. package/lib/node/declaration/combinator.js +0 -28
  118. package/lib/node/declaration/complexType.js +0 -72
  119. package/lib/node/declaration/constructor.js +0 -47
  120. package/lib/node/declaration/metavariable.js +0 -36
  121. package/lib/node/declaration/property.js +0 -44
  122. package/lib/node/declaration/simpleType.js +0 -72
  123. package/lib/node/declaration/typePrefix.js +0 -32
  124. package/lib/node/declaration/variable.js +0 -51
  125. package/lib/node/declaration.js +0 -18
  126. package/lib/node/deduction.js +0 -27
  127. package/lib/node/derivation.js +0 -26
  128. package/lib/node/document.js +0 -18
  129. package/lib/node/equality.js +0 -33
  130. package/lib/node/equivalence.js +0 -23
  131. package/lib/node/equivalences.js +0 -18
  132. package/lib/node/error.js +0 -18
  133. package/lib/node/frame.js +0 -38
  134. package/lib/node/header/axiom.js +0 -28
  135. package/lib/node/header/conjecture.js +0 -23
  136. package/lib/node/header/lemma.js +0 -23
  137. package/lib/node/header/metaLemma.js +0 -23
  138. package/lib/node/header/metatheorem.js +0 -23
  139. package/lib/node/header/rule.js +0 -23
  140. package/lib/node/header/theorem.js +0 -23
  141. package/lib/node/header.js +0 -47
  142. package/lib/node/hypothesis.js +0 -27
  143. package/lib/node/judgement.js +0 -31
  144. package/lib/node/label.js +0 -23
  145. package/lib/node/labels.js +0 -23
  146. package/lib/node/metaArgument.js +0 -23
  147. package/lib/node/metaType.js +0 -30
  148. package/lib/node/metavariable.js +0 -39
  149. package/lib/node/parameter.js +0 -47
  150. package/lib/node/parenthesisedLabel.js +0 -23
  151. package/lib/node/parenthesisedLabels.js +0 -27
  152. package/lib/node/placeholder.js +0 -18
  153. package/lib/node/procedureCall.js +0 -31
  154. package/lib/node/procedureReference.js +0 -30
  155. package/lib/node/proof.js +0 -23
  156. package/lib/node/proofAssertion/premise.js +0 -28
  157. package/lib/node/proofAssertion/step.js +0 -52
  158. package/lib/node/proofAssertion/supposition.js +0 -28
  159. package/lib/node/proofAssertion.js +0 -27
  160. package/lib/node/property.js +0 -30
  161. package/lib/node/propertyRelation.js +0 -31
  162. package/lib/node/qualification.js +0 -27
  163. package/lib/node/reference.js +0 -23
  164. package/lib/node/rule.js +0 -43
  165. package/lib/node/section.js +0 -39
  166. package/lib/node/signature.js +0 -23
  167. package/lib/node/statement.js +0 -103
  168. package/lib/node/subDerivation.js +0 -26
  169. package/lib/node/subproof.js +0 -35
  170. package/lib/node/substitution/frame.js +0 -40
  171. package/lib/node/substitution/reference.js +0 -40
  172. package/lib/node/substitution/statement.js +0 -60
  173. package/lib/node/substitution/term.js +0 -40
  174. package/lib/node/substitution.js +0 -18
  175. package/lib/node/term.js +0 -60
  176. package/lib/node/topLevelAssertion/axiom.js +0 -26
  177. package/lib/node/topLevelAssertion/conjecture.js +0 -26
  178. package/lib/node/topLevelAssertion/lemma.js +0 -26
  179. package/lib/node/topLevelAssertion/theorem.js +0 -26
  180. package/lib/node/topLevelAssertion.js +0 -46
  181. package/lib/node/topLevelMetaAssertion/metaLemma.js +0 -26
  182. package/lib/node/topLevelMetaAssertion/metatheorem.js +0 -26
  183. package/lib/node/topLevelMetaAssertion.js +0 -42
  184. package/lib/node/type.js +0 -60
  185. package/lib/node/typePrefix.js +0 -30
  186. package/lib/node/types.js +0 -23
  187. package/lib/node/variable.js +0 -30
  188. package/lib/nominal/lexer.js +0 -15
  189. package/lib/nominal/parser.js +0 -24
  190. package/lib/nonTerminalNodeMap.js +0 -189
  191. package/lib/pass/zip.js +0 -23
  192. package/lib/preamble.js +0 -73
  193. package/lib/process/assign.js +0 -62
  194. package/lib/process/discharge.js +0 -38
  195. package/lib/process/equate.js +0 -73
  196. package/lib/process/instantiate.js +0 -261
  197. package/lib/process/unification.js +0 -228
  198. package/lib/process/unify.js +0 -336
  199. package/lib/process/validate.js +0 -135
  200. package/lib/process/validation.js +0 -291
  201. package/lib/process/verify.js +0 -205
  202. package/lib/ruleNames.js +0 -350
  203. package/lib/tokenTypes.js +0 -22
  204. package/lib/utilities/assignment.js +0 -47
  205. package/lib/utilities/bnf.js +0 -21
  206. package/lib/utilities/brackets.js +0 -77
  207. package/lib/utilities/breakPoint.js +0 -38
  208. package/lib/utilities/context.js +0 -220
  209. package/lib/utilities/element.js +0 -1851
  210. package/lib/utilities/equivalence.js +0 -27
  211. package/lib/utilities/equivalences.js +0 -134
  212. package/lib/utilities/instance.js +0 -44
  213. package/lib/utilities/json.js +0 -1109
  214. package/lib/utilities/string.js +0 -231
  215. package/lib/utilities/substitutions.js +0 -86
  216. package/lib/utilities/synoptic.js +0 -159
  217. package/lib/utilities/type.js +0 -27
  218. package/src/context/aphasic.js +0 -15
  219. package/src/context/bounded.js +0 -362
  220. package/src/context/branching.js +0 -69
  221. package/src/context/file/nominal.js +0 -955
  222. package/src/context/illative.js +0 -17
  223. package/src/context/liminal.js +0 -280
  224. package/src/context/literal.js +0 -42
  225. package/src/context/mnemic.js +0 -778
  226. package/src/context/nested.js +0 -21
  227. package/src/context/nominal.js +0 -62
  228. package/src/context/phaneric.js +0 -43
  229. package/src/context/thetic.js +0 -17
  230. package/src/context.js +0 -722
  231. package/src/element/assertion/contained.js +0 -313
  232. package/src/element/assertion/defined.js +0 -310
  233. package/src/element/assertion/property.js +0 -252
  234. package/src/element/assertion/signature.js +0 -239
  235. package/src/element/assertion/subproof.js +0 -335
  236. package/src/element/assertion/type.js +0 -328
  237. package/src/element/assertion.js +0 -65
  238. package/src/element/assumption/metaLevel.js +0 -373
  239. package/src/element/assumption.js +0 -374
  240. package/src/element/combinator/bracketed.js +0 -32
  241. package/src/element/combinator.js +0 -145
  242. package/src/element/conclusion.js +0 -185
  243. package/src/element/constructor/bracketed.js +0 -68
  244. package/src/element/constructor.js +0 -188
  245. package/src/element/declaration/combinator.js +0 -66
  246. package/src/element/declaration/complexType.js +0 -257
  247. package/src/element/declaration/constructor.js +0 -122
  248. package/src/element/declaration/metavariable.js +0 -93
  249. package/src/element/declaration/property.js +0 -108
  250. package/src/element/declaration/simpleType.js +0 -208
  251. package/src/element/declaration/typePrefix.js +0 -58
  252. package/src/element/declaration/variable.js +0 -130
  253. package/src/element/declaration.js +0 -7
  254. package/src/element/deduction.js +0 -185
  255. package/src/element/derivation.js +0 -57
  256. package/src/element/equality.js +0 -325
  257. package/src/element/equivalence.js +0 -276
  258. package/src/element/error.js +0 -26
  259. package/src/element/frame.js +0 -356
  260. package/src/element/hypothesis.js +0 -186
  261. package/src/element/judgement.js +0 -303
  262. package/src/element/label.js +0 -186
  263. package/src/element/metaType.js +0 -75
  264. package/src/element/metavariable.js +0 -662
  265. package/src/element/parameter.js +0 -90
  266. package/src/element/procedureCall.js +0 -159
  267. package/src/element/procedureReference.js +0 -71
  268. package/src/element/proof.js +0 -61
  269. package/src/element/proofAssertion/premise.js +0 -354
  270. package/src/element/proofAssertion/step.js +0 -271
  271. package/src/element/proofAssertion/supposition.js +0 -377
  272. package/src/element/proofAssertion.js +0 -74
  273. package/src/element/property.js +0 -258
  274. package/src/element/propertyRelation.js +0 -193
  275. package/src/element/reference.js +0 -345
  276. package/src/element/rule.js +0 -358
  277. package/src/element/section.js +0 -78
  278. package/src/element/signature.js +0 -292
  279. package/src/element/statement.js +0 -358
  280. package/src/element/subDerivation.js +0 -56
  281. package/src/element/subproof.js +0 -116
  282. package/src/element/substitution/frame.js +0 -392
  283. package/src/element/substitution/reference.js +0 -274
  284. package/src/element/substitution/statement.js +0 -452
  285. package/src/element/substitution/term.js +0 -407
  286. package/src/element/substitution.js +0 -261
  287. package/src/element/term.js +0 -339
  288. package/src/element/topLevelAssertion/axiom.js +0 -244
  289. package/src/element/topLevelAssertion/conjecture.js +0 -40
  290. package/src/element/topLevelAssertion/lemma.js +0 -42
  291. package/src/element/topLevelAssertion/theorem.js +0 -40
  292. package/src/element/topLevelAssertion.js +0 -436
  293. package/src/element/topLevelMetaAssertion/metaLemma.js +0 -40
  294. package/src/element/topLevelMetaAssertion/metatheorem.js +0 -40
  295. package/src/element/topLevelMetaAssertion.js +0 -276
  296. package/src/element/type.js +0 -374
  297. package/src/element/typePrefix.js +0 -113
  298. package/src/element/variable.js +0 -259
  299. package/src/elements.js +0 -13
  300. package/src/metaTypeNames.js +0 -5
  301. package/src/metaTypes.js +0 -71
  302. package/src/node/argument.js +0 -30
  303. package/src/node/assertion/contained.js +0 -53
  304. package/src/node/assertion/defined.js +0 -46
  305. package/src/node/assertion/property.js +0 -30
  306. package/src/node/assertion/signature.js +0 -23
  307. package/src/node/assertion/subproof.js +0 -16
  308. package/src/node/assertion/type.js +0 -23
  309. package/src/node/assertion.js +0 -7
  310. package/src/node/assumption/metaLevel.js +0 -23
  311. package/src/node/assumption.js +0 -23
  312. package/src/node/body/axiom.js +0 -7
  313. package/src/node/body/conjecture.js +0 -7
  314. package/src/node/body/lemma.js +0 -7
  315. package/src/node/body/metaLemma.js +0 -7
  316. package/src/node/body/metatheorem.js +0 -7
  317. package/src/node/body/rule.js +0 -42
  318. package/src/node/body/theorem.js +0 -7
  319. package/src/node/body.js +0 -30
  320. package/src/node/combinator.js +0 -16
  321. package/src/node/conclusion.js +0 -23
  322. package/src/node/constructor.js +0 -16
  323. package/src/node/declaration/combinator.js +0 -16
  324. package/src/node/declaration/complexType.js +0 -88
  325. package/src/node/declaration/constructor.js +0 -46
  326. package/src/node/declaration/metavariable.js +0 -30
  327. package/src/node/declaration/property.js +0 -42
  328. package/src/node/declaration/simpleType.js +0 -87
  329. package/src/node/declaration/typePrefix.js +0 -24
  330. package/src/node/declaration/variable.js +0 -53
  331. package/src/node/declaration.js +0 -7
  332. package/src/node/deduction.js +0 -23
  333. package/src/node/derivation.js +0 -19
  334. package/src/node/document.js +0 -7
  335. package/src/node/equality.js +0 -35
  336. package/src/node/equivalence.js +0 -16
  337. package/src/node/equivalences.js +0 -7
  338. package/src/node/error.js +0 -7
  339. package/src/node/frame.js +0 -40
  340. package/src/node/header/axiom.js +0 -16
  341. package/src/node/header/conjecture.js +0 -7
  342. package/src/node/header/lemma.js +0 -7
  343. package/src/node/header/metaLemma.js +0 -7
  344. package/src/node/header/metatheorem.js +0 -7
  345. package/src/node/header/rule.js +0 -7
  346. package/src/node/header/theorem.js +0 -7
  347. package/src/node/header.js +0 -54
  348. package/src/node/hypothesis.js +0 -23
  349. package/src/node/judgement.js +0 -30
  350. package/src/node/label.js +0 -16
  351. package/src/node/labels.js +0 -16
  352. package/src/node/metaArgument.js +0 -16
  353. package/src/node/metaType.js +0 -26
  354. package/src/node/metavariable.js +0 -42
  355. package/src/node/parameter.js +0 -51
  356. package/src/node/parenthesisedLabel.js +0 -16
  357. package/src/node/parenthesisedLabels.js +0 -23
  358. package/src/node/placeholder.js +0 -7
  359. package/src/node/procedureCall.js +0 -30
  360. package/src/node/procedureReference.js +0 -26
  361. package/src/node/proof.js +0 -16
  362. package/src/node/proofAssertion/premise.js +0 -16
  363. package/src/node/proofAssertion/step.js +0 -52
  364. package/src/node/proofAssertion/supposition.js +0 -16
  365. package/src/node/proofAssertion.js +0 -23
  366. package/src/node/property.js +0 -28
  367. package/src/node/propertyRelation.js +0 -30
  368. package/src/node/qualification.js +0 -23
  369. package/src/node/reference.js +0 -16
  370. package/src/node/rule.js +0 -51
  371. package/src/node/section.js +0 -44
  372. package/src/node/signature.js +0 -16
  373. package/src/node/statement.js +0 -167
  374. package/src/node/subDerivation.js +0 -19
  375. package/src/node/subproof.js +0 -35
  376. package/src/node/substitution/frame.js +0 -37
  377. package/src/node/substitution/reference.js +0 -38
  378. package/src/node/substitution/statement.js +0 -70
  379. package/src/node/substitution/term.js +0 -38
  380. package/src/node/substitution.js +0 -7
  381. package/src/node/term.js +0 -75
  382. package/src/node/topLevelAssertion/axiom.js +0 -13
  383. package/src/node/topLevelAssertion/conjecture.js +0 -13
  384. package/src/node/topLevelAssertion/lemma.js +0 -13
  385. package/src/node/topLevelAssertion/theorem.js +0 -13
  386. package/src/node/topLevelAssertion.js +0 -58
  387. package/src/node/topLevelMetaAssertion/metaLemma.js +0 -13
  388. package/src/node/topLevelMetaAssertion/metatheorem.js +0 -13
  389. package/src/node/topLevelMetaAssertion.js +0 -51
  390. package/src/node/type.js +0 -74
  391. package/src/node/typePrefix.js +0 -26
  392. package/src/node/types.js +0 -16
  393. package/src/node/variable.js +0 -26
  394. package/src/nominal/lexer.js +0 -5
  395. package/src/nominal/parser.js +0 -12
  396. package/src/nonTerminalNodeMap.js +0 -261
  397. package/src/pass/zip.js +0 -19
  398. package/src/preamble.js +0 -64
  399. package/src/process/assign.js +0 -53
  400. package/src/process/discharge.js +0 -33
  401. package/src/process/equate.js +0 -94
  402. package/src/process/instantiate.js +0 -198
  403. package/src/process/unification.js +0 -332
  404. package/src/process/unify.js +0 -504
  405. package/src/process/validate.js +0 -174
  406. package/src/process/validation.js +0 -410
  407. package/src/process/verify.js +0 -299
  408. package/src/ruleNames.js +0 -86
  409. package/src/tokenTypes.js +0 -4
  410. package/src/utilities/assignment.js +0 -57
  411. package/src/utilities/bnf.js +0 -20
  412. package/src/utilities/brackets.js +0 -87
  413. package/src/utilities/breakPoint.js +0 -29
  414. package/src/utilities/context.js +0 -223
  415. package/src/utilities/element.js +0 -2293
  416. package/src/utilities/equivalence.js +0 -25
  417. package/src/utilities/equivalences.js +0 -158
  418. package/src/utilities/instance.js +0 -40
  419. package/src/utilities/json.js +0 -1273
  420. package/src/utilities/string.js +0 -282
  421. package/src/utilities/substitutions.js +0 -93
  422. package/src/utilities/synoptic.js +0 -135
  423. package/src/utilities/type.js +0 -19
@@ -8,7 +8,6 @@ Object.defineProperty(exports, "default", {
8
8
  return verifyAction;
9
9
  }
10
10
  });
11
- require("../preamble");
12
11
  const _occammodel = require("occam-model");
13
12
  const _necessary = require("necessary");
14
13
  const _occamlanguages = require("occam-languages");
@@ -18,38 +17,34 @@ const { last } = _necessary.arrayUtilities, { createReleaseContexts, verifyRelea
18
17
  async function verifyAction(name, log) {
19
18
  const callback = async (context, breakPoint)=>{
20
19
  ///
21
- }, releaseContexts = [], dependency = _occammodel.Dependency.fromName(name), context = {
20
+ }, releaseContexts = [], dependency = _occammodel.Dependency.fromName(name), projectsDirectoryPath = process.cwd(), context = {
22
21
  log,
23
22
  callback,
24
23
  releaseContexts,
24
+ projectsDirectoryPath,
25
25
  FileContextFromFilePath: _fileContext.FileContextFromFilePath,
26
26
  releaseContextFromDependency: _releaseContext.releaseContextFromDependency
27
27
  };
28
- // try {
29
- const releaseContextCreated = await createReleaseContexts(dependency, context);
30
- if (!releaseContextCreated) {
31
- log.warning(`The '${name}' project or package cannot be created.`);
32
- return;
28
+ try {
29
+ const releaseContextCreated = await createReleaseContexts(dependency, context);
30
+ if (!releaseContextCreated) {
31
+ log.warning(`The '${name}' project or package cannot be created.`);
32
+ return;
33
+ }
34
+ const lastReleaseContext = last(releaseContexts), releaseContext = lastReleaseContext, released = releaseContext.isReleased();
35
+ if (released) {
36
+ log.warning(`The '${name}' package does not need to be verified.`);
37
+ return;
38
+ }
39
+ initialiseReleaseContexts(context);
40
+ const releaseContextsVerify = await verifyReleaseContexts(context);
41
+ if (!releaseContextsVerify) {
42
+ log.warning(`The '${name}' project or package cannot be verified.`);
43
+ return;
44
+ }
45
+ } catch (error) {
46
+ log.error(error);
33
47
  }
34
- const lastReleaseContext = last(releaseContexts), releaseContext = lastReleaseContext, released = releaseContext.isReleased();
35
- if (released) {
36
- log.warning(`The '${name}' package does not need to be verified.`);
37
- return;
38
- }
39
- initialiseReleaseContexts(context);
40
- const releaseContextsVerify = await verifyReleaseContexts(context);
41
- if (!releaseContextsVerify) {
42
- log.warning(`The '${name}' project or package cannot be verified.`);
43
- return;
44
- }
45
- const json = releaseContext.toJSON(), entries = releaseContext.getEntries(), customGrammar = releaseContext.getCustomGrammar();
46
- releaseContexts.reverse();
47
- const releaseContxt = _occamlanguages.ReleaseContext.fromLogNameJSONEntriesCallbackAndCustomGrammar(log, name, json, entries, callback, customGrammar);
48
- releaseContxt.initialise(releaseContexts, _fileContext.FileContextFromFilePath);
49
- // }
50
- // catch (error) {
51
- // log.error(error);
52
- // }
53
48
  }
54
49
 
55
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vdmVyaWZ5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgXCIuLi9wcmVhbWJsZVwiO1xuXG5pbXBvcnQgeyBEZXBlbmRlbmN5IH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcbmltcG9ydCB7IHZlcmlmaWNhdGlvblV0aWxpdGllcywgUmVsZWFzZUNvbnRleHQgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IEZpbGVDb250ZXh0RnJvbUZpbGVQYXRoIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9maWxlQ29udGV4dFwiO1xuaW1wb3J0IHsgcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHRcIjtcblxuY29uc3QgeyBsYXN0IH0gPSBhcnJheVV0aWxpdGllcyxcbiAgICAgIHsgY3JlYXRlUmVsZWFzZUNvbnRleHRzLCB2ZXJpZnlSZWxlYXNlQ29udGV4dHMsIGluaXRpYWxpc2VSZWxlYXNlQ29udGV4dHMgfSA9IHZlcmlmaWNhdGlvblV0aWxpdGllcztcblxuZXhwb3J0IGRlZmF1bHQgYXN5bmMgZnVuY3Rpb24gdmVyaWZ5QWN0aW9uKG5hbWUsIGxvZykge1xuICBjb25zdCBjYWxsYmFjayA9IGFzeW5jIChjb250ZXh0LCBicmVha1BvaW50KSA9PiB7XG4gICAgICAgICAgLy8vXG4gICAgICAgIH0sXG4gICAgICAgIHJlbGVhc2VDb250ZXh0cyA9IFtdLFxuICAgICAgICBkZXBlbmRlbmN5ID0gRGVwZW5kZW5jeS5mcm9tTmFtZShuYW1lKSxcbiAgICAgICAgY29udGV4dCA9IHtcbiAgICAgICAgICBsb2csXG4gICAgICAgICAgY2FsbGJhY2ssXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHRzLFxuICAgICAgICAgIEZpbGVDb250ZXh0RnJvbUZpbGVQYXRoLFxuICAgICAgICAgIHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3lcbiAgICAgICAgfVxuXG4gIC8vIHRyeSB7XG4gICAgY29uc3QgcmVsZWFzZUNvbnRleHRDcmVhdGVkID0gYXdhaXQgY3JlYXRlUmVsZWFzZUNvbnRleHRzKGRlcGVuZGVuY3ksIGNvbnRleHQpO1xuXG4gICAgaWYgKCFyZWxlYXNlQ29udGV4dENyZWF0ZWQpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHByb2plY3Qgb3IgcGFja2FnZSBjYW5ub3QgYmUgY3JlYXRlZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGNvbnN0IGxhc3RSZWxlYXNlQ29udGV4dCA9IGxhc3QocmVsZWFzZUNvbnRleHRzKSxcbiAgICAgICAgICByZWxlYXNlQ29udGV4dCA9IGxhc3RSZWxlYXNlQ29udGV4dCwgIC8vL1xuICAgICAgICAgIHJlbGVhc2VkID0gcmVsZWFzZUNvbnRleHQuaXNSZWxlYXNlZCgpO1xuXG4gICAgaWYgKHJlbGVhc2VkKSB7XG4gICAgICBsb2cud2FybmluZyhgVGhlICcke25hbWV9JyBwYWNrYWdlIGRvZXMgbm90IG5lZWQgdG8gYmUgdmVyaWZpZWQuYCk7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICBpbml0aWFsaXNlUmVsZWFzZUNvbnRleHRzKGNvbnRleHQpO1xuXG4gICAgY29uc3QgcmVsZWFzZUNvbnRleHRzVmVyaWZ5ID0gYXdhaXQgdmVyaWZ5UmVsZWFzZUNvbnRleHRzKGNvbnRleHQpO1xuXG4gICAgaWYgKCFyZWxlYXNlQ29udGV4dHNWZXJpZnkpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHByb2plY3Qgb3IgcGFja2FnZSBjYW5ub3QgYmUgdmVyaWZpZWQuYCk7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICBjb25zdCBqc29uID0gcmVsZWFzZUNvbnRleHQudG9KU09OKCksXG4gICAgICAgICAgZW50cmllcyA9IHJlbGVhc2VDb250ZXh0LmdldEVudHJpZXMoKSxcbiAgICAgICAgICBjdXN0b21HcmFtbWFyID0gcmVsZWFzZUNvbnRleHQuZ2V0Q3VzdG9tR3JhbW1hcigpO1xuXG4gICAgcmVsZWFzZUNvbnRleHRzLnJldmVyc2UoKTtcblxuICAgIGNvbnN0IHJlbGVhc2VDb250eHQgPSBSZWxlYXNlQ29udGV4dC5mcm9tTG9nTmFtZUpTT05FbnRyaWVzQ2FsbGJhY2tBbmRDdXN0b21HcmFtbWFyKGxvZywgbmFtZSwganNvbiwgZW50cmllcywgY2FsbGJhY2ssIGN1c3RvbUdyYW1tYXIpO1xuXG4gICAgcmVsZWFzZUNvbnR4dC5pbml0aWFsaXNlKHJlbGVhc2VDb250ZXh0cywgRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgpO1xuICAvLyB9XG4gIC8vIGNhdGNoIChlcnJvcikge1xuICAvLyAgIGxvZy5lcnJvcihlcnJvcik7XG4gIC8vIH1cbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlBY3Rpb24iLCJsYXN0IiwiYXJyYXlVdGlsaXRpZXMiLCJjcmVhdGVSZWxlYXNlQ29udGV4dHMiLCJ2ZXJpZnlSZWxlYXNlQ29udGV4dHMiLCJpbml0aWFsaXNlUmVsZWFzZUNvbnRleHRzIiwidmVyaWZpY2F0aW9uVXRpbGl0aWVzIiwibmFtZSIsImxvZyIsImNhbGxiYWNrIiwiY29udGV4dCIsImJyZWFrUG9pbnQiLCJyZWxlYXNlQ29udGV4dHMiLCJkZXBlbmRlbmN5IiwiRGVwZW5kZW5jeSIsImZyb21OYW1lIiwiRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgiLCJyZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IiwicmVsZWFzZUNvbnRleHRDcmVhdGVkIiwid2FybmluZyIsImxhc3RSZWxlYXNlQ29udGV4dCIsInJlbGVhc2VDb250ZXh0IiwicmVsZWFzZWQiLCJpc1JlbGVhc2VkIiwicmVsZWFzZUNvbnRleHRzVmVyaWZ5IiwianNvbiIsInRvSlNPTiIsImVudHJpZXMiLCJnZXRFbnRyaWVzIiwiY3VzdG9tR3JhbW1hciIsImdldEN1c3RvbUdyYW1tYXIiLCJyZXZlcnNlIiwicmVsZWFzZUNvbnR4dCIsIlJlbGVhc2VDb250ZXh0IiwiZnJvbUxvZ05hbWVKU09ORW50cmllc0NhbGxiYWNrQW5kQ3VzdG9tR3JhbW1hciIsImluaXRpYWxpc2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWNBOzs7ZUFBOEJBOzs7UUFadkI7NEJBRW9COzJCQUNJO2dDQUN1Qjs2QkFFZDtnQ0FDSztBQUU3QyxNQUFNLEVBQUVDLElBQUksRUFBRSxHQUFHQyx5QkFBYyxFQUN6QixFQUFFQyxxQkFBcUIsRUFBRUMscUJBQXFCLEVBQUVDLHlCQUF5QixFQUFFLEdBQUdDLHFDQUFxQjtBQUUxRixlQUFlTixhQUFhTyxJQUFJLEVBQUVDLEdBQUc7SUFDbEQsTUFBTUMsV0FBVyxPQUFPQyxTQUFTQztJQUN6QixHQUFHO0lBQ0wsR0FDQUMsa0JBQWtCLEVBQUUsRUFDcEJDLGFBQWFDLHNCQUFVLENBQUNDLFFBQVEsQ0FBQ1IsT0FDakNHLFVBQVU7UUFDUkY7UUFDQUM7UUFDQUc7UUFDQUkseUJBQUFBLG9DQUF1QjtRQUN2QkMsOEJBQUFBLDRDQUE0QjtJQUM5QjtJQUVOLFFBQVE7SUFDTixNQUFNQyx3QkFBd0IsTUFBTWYsc0JBQXNCVSxZQUFZSDtJQUV0RSxJQUFJLENBQUNRLHVCQUF1QjtRQUMxQlYsSUFBSVcsT0FBTyxDQUFDLENBQUMsS0FBSyxFQUFFWixLQUFLLHVDQUF1QyxDQUFDO1FBRWpFO0lBQ0Y7SUFFQSxNQUFNYSxxQkFBcUJuQixLQUFLVyxrQkFDMUJTLGlCQUFpQkQsb0JBQ2pCRSxXQUFXRCxlQUFlRSxVQUFVO0lBRTFDLElBQUlELFVBQVU7UUFDWmQsSUFBSVcsT0FBTyxDQUFDLENBQUMsS0FBSyxFQUFFWixLQUFLLHVDQUF1QyxDQUFDO1FBRWpFO0lBQ0Y7SUFFQUYsMEJBQTBCSztJQUUxQixNQUFNYyx3QkFBd0IsTUFBTXBCLHNCQUFzQk07SUFFMUQsSUFBSSxDQUFDYyx1QkFBdUI7UUFDMUJoQixJQUFJVyxPQUFPLENBQUMsQ0FBQyxLQUFLLEVBQUVaLEtBQUssd0NBQXdDLENBQUM7UUFFbEU7SUFDRjtJQUVBLE1BQU1rQixPQUFPSixlQUFlSyxNQUFNLElBQzVCQyxVQUFVTixlQUFlTyxVQUFVLElBQ25DQyxnQkFBZ0JSLGVBQWVTLGdCQUFnQjtJQUVyRGxCLGdCQUFnQm1CLE9BQU87SUFFdkIsTUFBTUMsZ0JBQWdCQyw4QkFBYyxDQUFDQyw4Q0FBOEMsQ0FBQzFCLEtBQUtELE1BQU1rQixNQUFNRSxTQUFTbEIsVUFBVW9CO0lBRXhIRyxjQUFjRyxVQUFVLENBQUN2QixpQkFBaUJJLG9DQUF1QjtBQUNuRSxJQUFJO0FBQ0osa0JBQWtCO0FBQ2xCLHNCQUFzQjtBQUN0QixJQUFJO0FBQ04ifQ==
50
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vdmVyaWZ5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBEZXBlbmRlbmN5IH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcbmltcG9ydCB7IHZlcmlmaWNhdGlvblV0aWxpdGllcyB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgRmlsZUNvbnRleHRGcm9tRmlsZVBhdGggfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2ZpbGVDb250ZXh0XCI7XG5pbXBvcnQgeyByZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9yZWxlYXNlQ29udGV4dFwiO1xuXG5jb25zdCB7IGxhc3QgfSA9IGFycmF5VXRpbGl0aWVzLFxuICAgICAgeyBjcmVhdGVSZWxlYXNlQ29udGV4dHMsIHZlcmlmeVJlbGVhc2VDb250ZXh0cywgaW5pdGlhbGlzZVJlbGVhc2VDb250ZXh0cyB9ID0gdmVyaWZpY2F0aW9uVXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBhc3luYyBmdW5jdGlvbiB2ZXJpZnlBY3Rpb24obmFtZSwgbG9nKSB7XG4gIGNvbnN0IGNhbGxiYWNrID0gYXN5bmMgKGNvbnRleHQsIGJyZWFrUG9pbnQpID0+IHtcbiAgICAgICAgICAvLy9cbiAgICAgICAgfSxcbiAgICAgICAgcmVsZWFzZUNvbnRleHRzID0gW10sXG4gICAgICAgIGRlcGVuZGVuY3kgPSBEZXBlbmRlbmN5LmZyb21OYW1lKG5hbWUpLFxuICAgICAgICBwcm9qZWN0c0RpcmVjdG9yeVBhdGggPSBwcm9jZXNzLmN3ZCgpLFxuICAgICAgICBjb250ZXh0ID0ge1xuICAgICAgICAgIGxvZyxcbiAgICAgICAgICBjYWxsYmFjayxcbiAgICAgICAgICByZWxlYXNlQ29udGV4dHMsXG4gICAgICAgICAgcHJvamVjdHNEaXJlY3RvcnlQYXRoLFxuICAgICAgICAgIEZpbGVDb250ZXh0RnJvbUZpbGVQYXRoLFxuICAgICAgICAgIHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3lcbiAgICAgICAgfVxuXG4gIHRyeSB7XG4gICAgY29uc3QgcmVsZWFzZUNvbnRleHRDcmVhdGVkID0gYXdhaXQgY3JlYXRlUmVsZWFzZUNvbnRleHRzKGRlcGVuZGVuY3ksIGNvbnRleHQpO1xuXG4gICAgaWYgKCFyZWxlYXNlQ29udGV4dENyZWF0ZWQpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHByb2plY3Qgb3IgcGFja2FnZSBjYW5ub3QgYmUgY3JlYXRlZC5gKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGNvbnN0IGxhc3RSZWxlYXNlQ29udGV4dCA9IGxhc3QocmVsZWFzZUNvbnRleHRzKSxcbiAgICAgICAgICByZWxlYXNlQ29udGV4dCA9IGxhc3RSZWxlYXNlQ29udGV4dCwgIC8vL1xuICAgICAgICAgIHJlbGVhc2VkID0gcmVsZWFzZUNvbnRleHQuaXNSZWxlYXNlZCgpO1xuXG4gICAgaWYgKHJlbGVhc2VkKSB7XG4gICAgICBsb2cud2FybmluZyhgVGhlICcke25hbWV9JyBwYWNrYWdlIGRvZXMgbm90IG5lZWQgdG8gYmUgdmVyaWZpZWQuYCk7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICBpbml0aWFsaXNlUmVsZWFzZUNvbnRleHRzKGNvbnRleHQpO1xuXG4gICAgY29uc3QgcmVsZWFzZUNvbnRleHRzVmVyaWZ5ID0gYXdhaXQgdmVyaWZ5UmVsZWFzZUNvbnRleHRzKGNvbnRleHQpO1xuXG4gICAgaWYgKCFyZWxlYXNlQ29udGV4dHNWZXJpZnkpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHByb2plY3Qgb3IgcGFja2FnZSBjYW5ub3QgYmUgdmVyaWZpZWQuYCk7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG4gIH1cbiAgY2F0Y2ggKGVycm9yKSB7XG4gICAgbG9nLmVycm9yKGVycm9yKTtcbiAgfVxufVxuIl0sIm5hbWVzIjpbInZlcmlmeUFjdGlvbiIsImxhc3QiLCJhcnJheVV0aWxpdGllcyIsImNyZWF0ZVJlbGVhc2VDb250ZXh0cyIsInZlcmlmeVJlbGVhc2VDb250ZXh0cyIsImluaXRpYWxpc2VSZWxlYXNlQ29udGV4dHMiLCJ2ZXJpZmljYXRpb25VdGlsaXRpZXMiLCJuYW1lIiwibG9nIiwiY2FsbGJhY2siLCJjb250ZXh0IiwiYnJlYWtQb2ludCIsInJlbGVhc2VDb250ZXh0cyIsImRlcGVuZGVuY3kiLCJEZXBlbmRlbmN5IiwiZnJvbU5hbWUiLCJwcm9qZWN0c0RpcmVjdG9yeVBhdGgiLCJwcm9jZXNzIiwiY3dkIiwiRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgiLCJyZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IiwicmVsZWFzZUNvbnRleHRDcmVhdGVkIiwid2FybmluZyIsImxhc3RSZWxlYXNlQ29udGV4dCIsInJlbGVhc2VDb250ZXh0IiwicmVsZWFzZWQiLCJpc1JlbGVhc2VkIiwicmVsZWFzZUNvbnRleHRzVmVyaWZ5IiwiZXJyb3IiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVlBOzs7ZUFBOEJBOzs7NEJBVkg7MkJBQ0k7Z0NBQ087NkJBRUU7Z0NBQ0s7QUFFN0MsTUFBTSxFQUFFQyxJQUFJLEVBQUUsR0FBR0MseUJBQWMsRUFDekIsRUFBRUMscUJBQXFCLEVBQUVDLHFCQUFxQixFQUFFQyx5QkFBeUIsRUFBRSxHQUFHQyxxQ0FBcUI7QUFFMUYsZUFBZU4sYUFBYU8sSUFBSSxFQUFFQyxHQUFHO0lBQ2xELE1BQU1DLFdBQVcsT0FBT0MsU0FBU0M7SUFDekIsR0FBRztJQUNMLEdBQ0FDLGtCQUFrQixFQUFFLEVBQ3BCQyxhQUFhQyxzQkFBVSxDQUFDQyxRQUFRLENBQUNSLE9BQ2pDUyx3QkFBd0JDLFFBQVFDLEdBQUcsSUFDbkNSLFVBQVU7UUFDUkY7UUFDQUM7UUFDQUc7UUFDQUk7UUFDQUcseUJBQUFBLG9DQUF1QjtRQUN2QkMsOEJBQUFBLDRDQUE0QjtJQUM5QjtJQUVOLElBQUk7UUFDRixNQUFNQyx3QkFBd0IsTUFBTWxCLHNCQUFzQlUsWUFBWUg7UUFFdEUsSUFBSSxDQUFDVyx1QkFBdUI7WUFDMUJiLElBQUljLE9BQU8sQ0FBQyxDQUFDLEtBQUssRUFBRWYsS0FBSyx1Q0FBdUMsQ0FBQztZQUVqRTtRQUNGO1FBRUEsTUFBTWdCLHFCQUFxQnRCLEtBQUtXLGtCQUMxQlksaUJBQWlCRCxvQkFDakJFLFdBQVdELGVBQWVFLFVBQVU7UUFFMUMsSUFBSUQsVUFBVTtZQUNaakIsSUFBSWMsT0FBTyxDQUFDLENBQUMsS0FBSyxFQUFFZixLQUFLLHVDQUF1QyxDQUFDO1lBRWpFO1FBQ0Y7UUFFQUYsMEJBQTBCSztRQUUxQixNQUFNaUIsd0JBQXdCLE1BQU12QixzQkFBc0JNO1FBRTFELElBQUksQ0FBQ2lCLHVCQUF1QjtZQUMxQm5CLElBQUljLE9BQU8sQ0FBQyxDQUFDLEtBQUssRUFBRWYsS0FBSyx3Q0FBd0MsQ0FBQztZQUVsRTtRQUNGO0lBQ0YsRUFDQSxPQUFPcUIsT0FBTztRQUNacEIsSUFBSW9CLEtBQUssQ0FBQ0E7SUFDWjtBQUNGIn0=
package/lib/constants.js CHANGED
@@ -9,67 +9,27 @@ function _export(target, all) {
9
9
  });
10
10
  }
11
11
  _export(exports, {
12
- get BASE_TYPE_SYMBOL () {
13
- return BASE_TYPE_SYMBOL;
14
- },
15
- get BRACKETED_STATEMENT_DEPTH () {
16
- return BRACKETED_STATEMENT_DEPTH;
17
- },
18
- get BRACKETED_TERM_DEPTH () {
19
- return BRACKETED_TERM_DEPTH;
20
- },
21
12
  get DEBUG_LEVEL () {
22
13
  return DEBUG_LEVEL;
23
14
  },
24
- get EMPTY_STRING () {
25
- return EMPTY_STRING;
26
- },
27
15
  get ERROR_LEVEL () {
28
16
  return ERROR_LEVEL;
29
17
  },
30
18
  get INFO_LEVEL () {
31
19
  return INFO_LEVEL;
32
20
  },
33
- get MISSING () {
34
- return MISSING;
35
- },
36
21
  get OCCAM_VERIFY_CLI () {
37
22
  return OCCAM_VERIFY_CLI;
38
23
  },
39
- get PROVISIONAL () {
40
- return PROVISIONAL;
41
- },
42
- get PROVISIONALLY () {
43
- return PROVISIONALLY;
44
- },
45
- get S () {
46
- return S;
47
- },
48
- get SINGLE_SPACE () {
49
- return SINGLE_SPACE;
50
- },
51
24
  get TRACE_LEVEL () {
52
25
  return TRACE_LEVEL;
53
26
  },
54
- get UNDEFINED () {
55
- return UNDEFINED;
56
- },
57
27
  get WARNING_LEVEL () {
58
28
  return WARNING_LEVEL;
59
29
  }
60
30
  });
61
31
  const _necessary = require("necessary");
62
32
  const { TRACE_LEVEL, DEBUG_LEVEL, INFO_LEVEL, WARNING_LEVEL, ERROR_LEVEL } = _necessary.levels;
63
- const S = "s";
64
- const MISSING = "missing";
65
- const UNDEFINED = "undefined";
66
- const PROVISIONAL = "Provisional";
67
- const EMPTY_STRING = "";
68
- const SINGLE_SPACE = " ";
69
- const PROVISIONALLY = "provisionally";
70
- const BASE_TYPE_SYMBOL = "<>";
71
33
  const OCCAM_VERIFY_CLI = "Occam Verify-CLI";
72
- const BRACKETED_TERM_DEPTH = 2;
73
- const BRACKETED_STATEMENT_DEPTH = 2;
74
34
 
75
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb25zdGFudHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGxldmVscyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuZXhwb3J0IGNvbnN0IHsgVFJBQ0VfTEVWRUwsIERFQlVHX0xFVkVMLCBJTkZPX0xFVkVMLCBXQVJOSU5HX0xFVkVMLCBFUlJPUl9MRVZFTCB9ID0gbGV2ZWxzO1xuXG5leHBvcnQgY29uc3QgUyA9IFwic1wiO1xuZXhwb3J0IGNvbnN0IE1JU1NJTkcgPSBcIm1pc3NpbmdcIjtcbmV4cG9ydCBjb25zdCBVTkRFRklORUQgPSBcInVuZGVmaW5lZFwiO1xuZXhwb3J0IGNvbnN0IFBST1ZJU0lPTkFMID0gXCJQcm92aXNpb25hbFwiO1xuZXhwb3J0IGNvbnN0IEVNUFRZX1NUUklORyA9IFwiXCI7XG5leHBvcnQgY29uc3QgU0lOR0xFX1NQQUNFID0gXCIgXCI7XG5leHBvcnQgY29uc3QgUFJPVklTSU9OQUxMWSA9IFwicHJvdmlzaW9uYWxseVwiO1xuZXhwb3J0IGNvbnN0IEJBU0VfVFlQRV9TWU1CT0wgPSBcIjw+XCI7XG5leHBvcnQgY29uc3QgT0NDQU1fVkVSSUZZX0NMSSA9IFwiT2NjYW0gVmVyaWZ5LUNMSVwiO1xuZXhwb3J0IGNvbnN0IEJSQUNLRVRFRF9URVJNX0RFUFRIID0gMjtcbmV4cG9ydCBjb25zdCBCUkFDS0VURURfU1RBVEVNRU5UX0RFUFRIID0gMjtcbiJdLCJuYW1lcyI6WyJCQVNFX1RZUEVfU1lNQk9MIiwiQlJBQ0tFVEVEX1NUQVRFTUVOVF9ERVBUSCIsIkJSQUNLRVRFRF9URVJNX0RFUFRIIiwiREVCVUdfTEVWRUwiLCJFTVBUWV9TVFJJTkciLCJFUlJPUl9MRVZFTCIsIklORk9fTEVWRUwiLCJNSVNTSU5HIiwiT0NDQU1fVkVSSUZZX0NMSSIsIlBST1ZJU0lPTkFMIiwiUFJPVklTSU9OQUxMWSIsIlMiLCJTSU5HTEVfU1BBQ0UiLCJUUkFDRV9MRVZFTCIsIlVOREVGSU5FRCIsIldBUk5JTkdfTEVWRUwiLCJsZXZlbHMiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQWFhQTtlQUFBQTs7UUFHQUM7ZUFBQUE7O1FBREFDO2VBQUFBOztRQVhlQztlQUFBQTs7UUFNZkM7ZUFBQUE7O1FBTnVEQztlQUFBQTs7UUFBM0JDO2VBQUFBOztRQUc1QkM7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQUxBQztlQUFBQTs7UUFHQUM7ZUFBQUE7O1FBTkFDO2VBQUFBOztRQUtBQztlQUFBQTs7UUFQRUM7ZUFBQUE7O1FBSUZDO2VBQUFBOztRQUp3Q0M7ZUFBQUE7OzsyQkFGOUI7QUFFaEIsTUFBTSxFQUFFRixXQUFXLEVBQUVWLFdBQVcsRUFBRUcsVUFBVSxFQUFFUyxhQUFhLEVBQUVWLFdBQVcsRUFBRSxHQUFHVyxpQkFBTTtBQUVuRixNQUFNTCxJQUFJO0FBQ1YsTUFBTUosVUFBVTtBQUNoQixNQUFNTyxZQUFZO0FBQ2xCLE1BQU1MLGNBQWM7QUFDcEIsTUFBTUwsZUFBZTtBQUNyQixNQUFNUSxlQUFlO0FBQ3JCLE1BQU1GLGdCQUFnQjtBQUN0QixNQUFNVixtQkFBbUI7QUFDekIsTUFBTVEsbUJBQW1CO0FBQ3pCLE1BQU1OLHVCQUF1QjtBQUM3QixNQUFNRCw0QkFBNEIifQ==
35
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb25zdGFudHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGxldmVscyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuZXhwb3J0IGNvbnN0IHsgVFJBQ0VfTEVWRUwsIERFQlVHX0xFVkVMLCBJTkZPX0xFVkVMLCBXQVJOSU5HX0xFVkVMLCBFUlJPUl9MRVZFTCB9ID0gbGV2ZWxzO1xuXG5leHBvcnQgY29uc3QgT0NDQU1fVkVSSUZZX0NMSSA9IFwiT2NjYW0gVmVyaWZ5LUNMSVwiO1xuIl0sIm5hbWVzIjpbIkRFQlVHX0xFVkVMIiwiRVJST1JfTEVWRUwiLCJJTkZPX0xFVkVMIiwiT0NDQU1fVkVSSUZZX0NMSSIsIlRSQUNFX0xFVkVMIiwiV0FSTklOR19MRVZFTCIsImxldmVscyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBSTRCQTtlQUFBQTs7UUFBd0NDO2VBQUFBOztRQUEzQkM7ZUFBQUE7O1FBRTVCQztlQUFBQTs7UUFGRUM7ZUFBQUE7O1FBQXNDQztlQUFBQTs7OzJCQUY5QjtBQUVoQixNQUFNLEVBQUVELFdBQVcsRUFBRUosV0FBVyxFQUFFRSxVQUFVLEVBQUVHLGFBQWEsRUFBRUosV0FBVyxFQUFFLEdBQUdLLGlCQUFNO0FBRW5GLE1BQU1ILG1CQUFtQiJ9
package/lib/index.js CHANGED
@@ -19,7 +19,6 @@ _export(exports, {
19
19
  return _releaseContext.default;
20
20
  }
21
21
  });
22
- require("./preamble");
23
22
  const _clock = /*#__PURE__*/ _interop_require_default(require("./utilities/clock"));
24
23
  const _fileContext = /*#__PURE__*/ _interop_require_default(require("./utilities/fileContext"));
25
24
  const _releaseContext = /*#__PURE__*/ _interop_require_default(require("./utilities/releaseContext"));
@@ -29,4 +28,4 @@ function _interop_require_default(obj) {
29
28
  };
30
29
  }
31
30
 
32
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFwiLi9wcmVhbWJsZVwiO1xuXG5leHBvcnQgeyBkZWZhdWx0IGFzIGNsb2NrVXRpbGl0aWVzIH0gZnJvbSBcIi4vdXRpbGl0aWVzL2Nsb2NrXCI7XG5leHBvcnQgeyBkZWZhdWx0IGFzIGZpbGVDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIi4vdXRpbGl0aWVzL2ZpbGVDb250ZXh0XCI7XG5leHBvcnQgeyBkZWZhdWx0IGFzIHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIi4vdXRpbGl0aWVzL3JlbGVhc2VDb250ZXh0XCI7XG4iXSwibmFtZXMiOlsiY2xvY2tVdGlsaXRpZXMiLCJmaWxlQ29udGV4dFV0aWxpdGllcyIsInJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFJb0JBO2VBQUFBLGNBQWM7O1FBQ2RDO2VBQUFBLG9CQUFvQjs7UUFDcEJDO2VBQUFBLHVCQUF1Qjs7O1FBSnBDOzhEQUVtQztvRUFDTTt1RUFDRyJ9
31
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IHsgZGVmYXVsdCBhcyBjbG9ja1V0aWxpdGllcyB9IGZyb20gXCIuL3V0aWxpdGllcy9jbG9ja1wiO1xuZXhwb3J0IHsgZGVmYXVsdCBhcyBmaWxlQ29udGV4dFV0aWxpdGllcyB9IGZyb20gXCIuL3V0aWxpdGllcy9maWxlQ29udGV4dFwiO1xuZXhwb3J0IHsgZGVmYXVsdCBhcyByZWxlYXNlQ29udGV4dFV0aWxpdGllcyB9IGZyb20gXCIuL3V0aWxpdGllcy9yZWxlYXNlQ29udGV4dFwiO1xuIl0sIm5hbWVzIjpbImNsb2NrVXRpbGl0aWVzIiwiZmlsZUNvbnRleHRVdGlsaXRpZXMiLCJyZWxlYXNlQ29udGV4dFV0aWxpdGllcyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBRW9CQTtlQUFBQSxjQUFjOztRQUNkQztlQUFBQSxvQkFBb0I7O1FBQ3BCQztlQUFBQSx1QkFBdUI7Ozs4REFGRDtvRUFDTTt1RUFDRyJ9
@@ -18,12 +18,7 @@ _export(exports, {
18
18
  });
19
19
  const _occammodel = require("occam-model");
20
20
  const _occamfurtle = require("occam-furtle");
21
- const _nominal = /*#__PURE__*/ _interop_require_default(require("../context/file/nominal"));
22
- function _interop_require_default(obj) {
23
- return obj && obj.__esModule ? obj : {
24
- default: obj
25
- };
26
- }
21
+ const _occamnominal = require("occam-nominal");
27
22
  const { isFilePathFurtleFilePath, isFilePathNominalFilePath } = _occammodel.filePathUtilities;
28
23
  function FileContextFromFilePath(filePath) {
29
24
  let FileContext = null;
@@ -32,7 +27,7 @@ function FileContextFromFilePath(filePath) {
32
27
  FileContext = _occamfurtle.FurtleFileContext; ///
33
28
  }
34
29
  if (filePathNominalFilePath) {
35
- FileContext = _nominal.default; ///
30
+ FileContext = _occamnominal.NominalFileContext; ///
36
31
  }
37
32
  return FileContext;
38
33
  }
@@ -40,4 +35,4 @@ const _default = {
40
35
  FileContextFromFilePath
41
36
  };
42
37
 
43
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvZmlsZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGZpbGVQYXRoVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyBGdXJ0bGVGaWxlQ29udGV4dCB9IGZyb20gXCJvY2NhbS1mdXJ0bGVcIjtcblxuaW1wb3J0IE5vbWluYWxGaWxlQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9maWxlL25vbWluYWxcIjtcblxuY29uc3QgeyBpc0ZpbGVQYXRoRnVydGxlRmlsZVBhdGgsIGlzRmlsZVBhdGhOb21pbmFsRmlsZVBhdGggfSA9IGZpbGVQYXRoVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgoZmlsZVBhdGgpIHtcbiAgbGV0IEZpbGVDb250ZXh0ID0gbnVsbDtcblxuICBjb25zdCBmaWxlUGF0aEZ1cnRsZUZpbGVQYXRoID0gaXNGaWxlUGF0aEZ1cnRsZUZpbGVQYXRoKGZpbGVQYXRoKSxcbiAgICAgICAgZmlsZVBhdGhOb21pbmFsRmlsZVBhdGggPSBpc0ZpbGVQYXRoTm9taW5hbEZpbGVQYXRoKGZpbGVQYXRoKTtcblxuICBpZiAoZmlsZVBhdGhGdXJ0bGVGaWxlUGF0aCkge1xuICAgIEZpbGVDb250ZXh0ID0gRnVydGxlRmlsZUNvbnRleHQ7ICAvLy9cbiAgfVxuXG4gIGlmIChmaWxlUGF0aE5vbWluYWxGaWxlUGF0aCkge1xuICAgIEZpbGVDb250ZXh0ID0gTm9taW5hbEZpbGVDb250ZXh0OyAvLy9cbiAgfVxuXG4gIHJldHVybiBGaWxlQ29udGV4dDtcbn1cblxuZXhwb3J0IGRlZmF1bHQge1xuICBGaWxlQ29udGV4dEZyb21GaWxlUGF0aFxufTtcbiJdLCJuYW1lcyI6WyJGaWxlQ29udGV4dEZyb21GaWxlUGF0aCIsImlzRmlsZVBhdGhGdXJ0bGVGaWxlUGF0aCIsImlzRmlsZVBhdGhOb21pbmFsRmlsZVBhdGgiLCJmaWxlUGF0aFV0aWxpdGllcyIsImZpbGVQYXRoIiwiRmlsZUNvbnRleHQiLCJmaWxlUGF0aEZ1cnRsZUZpbGVQYXRoIiwiZmlsZVBhdGhOb21pbmFsRmlsZVBhdGgiLCJGdXJ0bGVGaWxlQ29udGV4dCIsIk5vbWluYWxGaWxlQ29udGV4dCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBU2dCQTtlQUFBQTs7UUFpQmhCO2VBQUE7Ozs0QkF4QmtDOzZCQUNBO2dFQUVIOzs7Ozs7QUFFL0IsTUFBTSxFQUFFQyx3QkFBd0IsRUFBRUMseUJBQXlCLEVBQUUsR0FBR0MsNkJBQWlCO0FBRTFFLFNBQVNILHdCQUF3QkksUUFBUTtJQUM5QyxJQUFJQyxjQUFjO0lBRWxCLE1BQU1DLHlCQUF5QkwseUJBQXlCRyxXQUNsREcsMEJBQTBCTCwwQkFBMEJFO0lBRTFELElBQUlFLHdCQUF3QjtRQUMxQkQsY0FBY0csOEJBQWlCLEVBQUcsR0FBRztJQUN2QztJQUVBLElBQUlELHlCQUF5QjtRQUMzQkYsY0FBY0ksZ0JBQWtCLEVBQUUsR0FBRztJQUN2QztJQUVBLE9BQU9KO0FBQ1Q7TUFFQSxXQUFlO0lBQ2JMO0FBQ0YifQ==
38
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvZmlsZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGZpbGVQYXRoVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyBGdXJ0bGVGaWxlQ29udGV4dCB9IGZyb20gXCJvY2NhbS1mdXJ0bGVcIjtcbmltcG9ydCB7IE5vbWluYWxGaWxlQ29udGV4dCB9IGZyb20gXCJvY2NhbS1ub21pbmFsXCI7XG5cbmNvbnN0IHsgaXNGaWxlUGF0aEZ1cnRsZUZpbGVQYXRoLCBpc0ZpbGVQYXRoTm9taW5hbEZpbGVQYXRoIH0gPSBmaWxlUGF0aFV0aWxpdGllcztcblxuZXhwb3J0IGZ1bmN0aW9uIEZpbGVDb250ZXh0RnJvbUZpbGVQYXRoKGZpbGVQYXRoKSB7XG4gIGxldCBGaWxlQ29udGV4dCA9IG51bGw7XG5cbiAgY29uc3QgZmlsZVBhdGhGdXJ0bGVGaWxlUGF0aCA9IGlzRmlsZVBhdGhGdXJ0bGVGaWxlUGF0aChmaWxlUGF0aCksXG4gICAgICAgIGZpbGVQYXRoTm9taW5hbEZpbGVQYXRoID0gaXNGaWxlUGF0aE5vbWluYWxGaWxlUGF0aChmaWxlUGF0aCk7XG5cbiAgaWYgKGZpbGVQYXRoRnVydGxlRmlsZVBhdGgpIHtcbiAgICBGaWxlQ29udGV4dCA9IEZ1cnRsZUZpbGVDb250ZXh0OyAgLy8vXG4gIH1cblxuICBpZiAoZmlsZVBhdGhOb21pbmFsRmlsZVBhdGgpIHtcbiAgICBGaWxlQ29udGV4dCA9IE5vbWluYWxGaWxlQ29udGV4dDsgLy8vXG4gIH1cblxuICByZXR1cm4gRmlsZUNvbnRleHQ7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgRmlsZUNvbnRleHRGcm9tRmlsZVBhdGhcbn07XG4iXSwibmFtZXMiOlsiRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgiLCJpc0ZpbGVQYXRoRnVydGxlRmlsZVBhdGgiLCJpc0ZpbGVQYXRoTm9taW5hbEZpbGVQYXRoIiwiZmlsZVBhdGhVdGlsaXRpZXMiLCJmaWxlUGF0aCIsIkZpbGVDb250ZXh0IiwiZmlsZVBhdGhGdXJ0bGVGaWxlUGF0aCIsImZpbGVQYXRoTm9taW5hbEZpbGVQYXRoIiwiRnVydGxlRmlsZUNvbnRleHQiLCJOb21pbmFsRmlsZUNvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQVFnQkE7ZUFBQUE7O1FBaUJoQjtlQUFBOzs7NEJBdkJrQzs2QkFDQTs4QkFDQztBQUVuQyxNQUFNLEVBQUVDLHdCQUF3QixFQUFFQyx5QkFBeUIsRUFBRSxHQUFHQyw2QkFBaUI7QUFFMUUsU0FBU0gsd0JBQXdCSSxRQUFRO0lBQzlDLElBQUlDLGNBQWM7SUFFbEIsTUFBTUMseUJBQXlCTCx5QkFBeUJHLFdBQ2xERywwQkFBMEJMLDBCQUEwQkU7SUFFMUQsSUFBSUUsd0JBQXdCO1FBQzFCRCxjQUFjRyw4QkFBaUIsRUFBRyxHQUFHO0lBQ3ZDO0lBRUEsSUFBSUQseUJBQXlCO1FBQzNCRixjQUFjSSxnQ0FBa0IsRUFBRSxHQUFHO0lBQ3ZDO0lBRUEsT0FBT0o7QUFDVDtNQUVBLFdBQWU7SUFDYkw7QUFDRiJ9
@@ -22,7 +22,7 @@ const _necessary = require("necessary");
22
22
  const { loadProject } = _occamserver.fileSystemUtilities, { concatenatePaths } = _necessary.pathUtilities, { readFile, isEntryFile, checkEntryExists } = _necessary.fileSystemUtilities, { releaseContextFromJSON, releaseContextFromProject } = _occamlanguages.releaseContextUtilities;
23
23
  async function releaseContextFromDependency(dependency, context) {
24
24
  let releaseContext = null;
25
- const projectsDirectoryPath = process.cwd(), dependencyName = dependency.getName(), entryPath = concatenatePaths(projectsDirectoryPath, dependencyName), entryExists = checkEntryExists(entryPath);
25
+ const { projectsDirectoryPath } = context, dependencyName = dependency.getName(), entryPath = concatenatePaths(projectsDirectoryPath, dependencyName), entryExists = checkEntryExists(entryPath);
26
26
  if (entryExists) {
27
27
  const entryFile = isEntryFile(entryPath);
28
28
  if (entryFile) {
@@ -39,4 +39,4 @@ const _default = {
39
39
  releaseContextFromDependency
40
40
  };
41
41
 
42
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuaW1wb3J0IHsgZmlsZVN5c3RlbVV0aWxpdGllcyBhcyBvY2NhbUZpbGVTeXN0ZW1VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tc2VydmVyXCI7XG5pbXBvcnQgeyBwYXRoVXRpbGl0aWVzLCBmaWxlU3lzdGVtVXRpbGl0aWVzIGFzIG5lY2Vzc2FyeUZpbGVTeXN0ZW1VdGlsaXRpZXMgfSBmcm9tIFwibmVjZXNzYXJ5XCI7XG5cbmNvbnN0IHsgbG9hZFByb2plY3QgfSA9IG9jY2FtRmlsZVN5c3RlbVV0aWxpdGllcyxcbiAgICAgIHsgY29uY2F0ZW5hdGVQYXRocyB9ID0gcGF0aFV0aWxpdGllcyxcbiAgICAgIHsgcmVhZEZpbGUsIGlzRW50cnlGaWxlLCBjaGVja0VudHJ5RXhpc3RzIH0gPSBuZWNlc3NhcnlGaWxlU3lzdGVtVXRpbGl0aWVzLFxuICAgICAgeyByZWxlYXNlQ29udGV4dEZyb21KU09OLCByZWxlYXNlQ29udGV4dEZyb21Qcm9qZWN0IH0gPSByZWxlYXNlQ29udGV4dFV0aWxpdGllcztcblxuZXhwb3J0IGFzeW5jIGZ1bmN0aW9uIHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3koZGVwZW5kZW5jeSwgY29udGV4dCkge1xuICBsZXQgcmVsZWFzZUNvbnRleHQgPSBudWxsO1xuXG4gIGNvbnN0IHByb2plY3RzRGlyZWN0b3J5UGF0aCA9IHByb2Nlc3MuY3dkKCksIC8vL1xuICAgICAgICBkZXBlbmRlbmN5TmFtZSA9IGRlcGVuZGVuY3kuZ2V0TmFtZSgpLFxuICAgICAgICBlbnRyeVBhdGggPSBjb25jYXRlbmF0ZVBhdGhzKHByb2plY3RzRGlyZWN0b3J5UGF0aCwgZGVwZW5kZW5jeU5hbWUpLFxuICAgICAgICBlbnRyeUV4aXN0cyA9IGNoZWNrRW50cnlFeGlzdHMoZW50cnlQYXRoKTtcblxuICBpZiAoZW50cnlFeGlzdHMpIHtcbiAgICBjb25zdCBlbnRyeUZpbGUgPSBpc0VudHJ5RmlsZShlbnRyeVBhdGgpO1xuXG4gICAgaWYgKGVudHJ5RmlsZSkge1xuICAgICAgY29uc3QgZmlsZVBhdGggPSBlbnRyeVBhdGgsIC8vL1xuICAgICAgICAgICAgY29udGVudCA9IHJlYWRGaWxlKGZpbGVQYXRoKSxcbiAgICAgICAgICAgIGpzb25TdHJpbmcgPSBjb250ZW50LCAvLy9cbiAgICAgICAgICAgIGpzb24gPSBKU09OLnBhcnNlKGpzb25TdHJpbmcpO1xuXG4gICAgICByZWxlYXNlQ29udGV4dCA9IHJlbGVhc2VDb250ZXh0RnJvbUpTT04oanNvbiwgY29udGV4dCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IHByb2plY3ROYW1lID0gZGVwZW5kZW5jeU5hbWUsIC8vL1xuICAgICAgICAgICAgcHJvamVjdCA9IGxvYWRQcm9qZWN0KHByb2plY3ROYW1lLCBwcm9qZWN0c0RpcmVjdG9yeVBhdGgpO1xuXG4gICAgICByZWxlYXNlQ29udGV4dCA9IHJlbGVhc2VDb250ZXh0RnJvbVByb2plY3QocHJvamVjdCwgY29udGV4dCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHJlbGVhc2VDb250ZXh0O1xufVxuXG5leHBvcnQgZGVmYXVsdCB7XG4gIHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3lcbn07XG4iXSwibmFtZXMiOlsicmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeSIsImxvYWRQcm9qZWN0Iiwib2NjYW1GaWxlU3lzdGVtVXRpbGl0aWVzIiwiY29uY2F0ZW5hdGVQYXRocyIsInBhdGhVdGlsaXRpZXMiLCJyZWFkRmlsZSIsImlzRW50cnlGaWxlIiwiY2hlY2tFbnRyeUV4aXN0cyIsIm5lY2Vzc2FyeUZpbGVTeXN0ZW1VdGlsaXRpZXMiLCJyZWxlYXNlQ29udGV4dEZyb21KU09OIiwicmVsZWFzZUNvbnRleHRGcm9tUHJvamVjdCIsInJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIiwiZGVwZW5kZW5jeSIsImNvbnRleHQiLCJyZWxlYXNlQ29udGV4dCIsInByb2plY3RzRGlyZWN0b3J5UGF0aCIsInByb2Nlc3MiLCJjd2QiLCJkZXBlbmRlbmN5TmFtZSIsImdldE5hbWUiLCJlbnRyeVBhdGgiLCJlbnRyeUV4aXN0cyIsImVudHJ5RmlsZSIsImZpbGVQYXRoIiwiY29udGVudCIsImpzb25TdHJpbmciLCJqc29uIiwiSlNPTiIsInBhcnNlIiwicHJvamVjdE5hbWUiLCJwcm9qZWN0Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUF3Q0E7ZUFBQTs7UUE3QnNCQTtlQUFBQTs7O2dDQVRrQjs2QkFDd0I7MkJBQ21CO0FBRW5GLE1BQU0sRUFBRUMsV0FBVyxFQUFFLEdBQUdDLGdDQUF3QixFQUMxQyxFQUFFQyxnQkFBZ0IsRUFBRSxHQUFHQyx3QkFBYSxFQUNwQyxFQUFFQyxRQUFRLEVBQUVDLFdBQVcsRUFBRUMsZ0JBQWdCLEVBQUUsR0FBR0MsOEJBQTRCLEVBQzFFLEVBQUVDLHNCQUFzQixFQUFFQyx5QkFBeUIsRUFBRSxHQUFHQyx1Q0FBdUI7QUFFOUUsZUFBZVgsNkJBQTZCWSxVQUFVLEVBQUVDLE9BQU87SUFDcEUsSUFBSUMsaUJBQWlCO0lBRXJCLE1BQU1DLHdCQUF3QkMsUUFBUUMsR0FBRyxJQUNuQ0MsaUJBQWlCTixXQUFXTyxPQUFPLElBQ25DQyxZQUFZakIsaUJBQWlCWSx1QkFBdUJHLGlCQUNwREcsY0FBY2QsaUJBQWlCYTtJQUVyQyxJQUFJQyxhQUFhO1FBQ2YsTUFBTUMsWUFBWWhCLFlBQVljO1FBRTlCLElBQUlFLFdBQVc7WUFDYixNQUFNQyxXQUFXSCxXQUNYSSxVQUFVbkIsU0FBU2tCLFdBQ25CRSxhQUFhRCxTQUNiRSxPQUFPQyxLQUFLQyxLQUFLLENBQUNIO1lBRXhCWCxpQkFBaUJMLHVCQUF1QmlCLE1BQU1iO1FBQ2hELE9BQU87WUFDTCxNQUFNZ0IsY0FBY1gsZ0JBQ2RZLFVBQVU3QixZQUFZNEIsYUFBYWQ7WUFFekNELGlCQUFpQkosMEJBQTBCb0IsU0FBU2pCO1FBQ3REO0lBQ0Y7SUFFQSxPQUFPQztBQUNUO01BRUEsV0FBZTtJQUNiZDtBQUNGIn0=
42
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuaW1wb3J0IHsgZmlsZVN5c3RlbVV0aWxpdGllcyBhcyBvY2NhbUZpbGVTeXN0ZW1VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tc2VydmVyXCI7XG5pbXBvcnQgeyBwYXRoVXRpbGl0aWVzLCBmaWxlU3lzdGVtVXRpbGl0aWVzIGFzIG5lY2Vzc2FyeUZpbGVTeXN0ZW1VdGlsaXRpZXMgfSBmcm9tIFwibmVjZXNzYXJ5XCI7XG5cbmNvbnN0IHsgbG9hZFByb2plY3QgfSA9IG9jY2FtRmlsZVN5c3RlbVV0aWxpdGllcyxcbiAgICAgIHsgY29uY2F0ZW5hdGVQYXRocyB9ID0gcGF0aFV0aWxpdGllcyxcbiAgICAgIHsgcmVhZEZpbGUsIGlzRW50cnlGaWxlLCBjaGVja0VudHJ5RXhpc3RzIH0gPSBuZWNlc3NhcnlGaWxlU3lzdGVtVXRpbGl0aWVzLFxuICAgICAgeyByZWxlYXNlQ29udGV4dEZyb21KU09OLCByZWxlYXNlQ29udGV4dEZyb21Qcm9qZWN0IH0gPSByZWxlYXNlQ29udGV4dFV0aWxpdGllcztcblxuZXhwb3J0IGFzeW5jIGZ1bmN0aW9uIHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3koZGVwZW5kZW5jeSwgY29udGV4dCkge1xuICBsZXQgcmVsZWFzZUNvbnRleHQgPSBudWxsO1xuXG4gIGNvbnN0IHsgcHJvamVjdHNEaXJlY3RvcnlQYXRoIH0gPSBjb250ZXh0LFxuICAgICAgICBkZXBlbmRlbmN5TmFtZSA9IGRlcGVuZGVuY3kuZ2V0TmFtZSgpLFxuICAgICAgICBlbnRyeVBhdGggPSBjb25jYXRlbmF0ZVBhdGhzKHByb2plY3RzRGlyZWN0b3J5UGF0aCwgZGVwZW5kZW5jeU5hbWUpLFxuICAgICAgICBlbnRyeUV4aXN0cyA9IGNoZWNrRW50cnlFeGlzdHMoZW50cnlQYXRoKTtcblxuICBpZiAoZW50cnlFeGlzdHMpIHtcbiAgICBjb25zdCBlbnRyeUZpbGUgPSBpc0VudHJ5RmlsZShlbnRyeVBhdGgpO1xuXG4gICAgaWYgKGVudHJ5RmlsZSkge1xuICAgICAgY29uc3QgZmlsZVBhdGggPSBlbnRyeVBhdGgsIC8vL1xuICAgICAgICAgICAgY29udGVudCA9IHJlYWRGaWxlKGZpbGVQYXRoKSxcbiAgICAgICAgICAgIGpzb25TdHJpbmcgPSBjb250ZW50LCAvLy9cbiAgICAgICAgICAgIGpzb24gPSBKU09OLnBhcnNlKGpzb25TdHJpbmcpO1xuXG4gICAgICByZWxlYXNlQ29udGV4dCA9IHJlbGVhc2VDb250ZXh0RnJvbUpTT04oanNvbiwgY29udGV4dCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IHByb2plY3ROYW1lID0gZGVwZW5kZW5jeU5hbWUsIC8vL1xuICAgICAgICAgICAgcHJvamVjdCA9IGxvYWRQcm9qZWN0KHByb2plY3ROYW1lLCBwcm9qZWN0c0RpcmVjdG9yeVBhdGgpO1xuXG4gICAgICByZWxlYXNlQ29udGV4dCA9IHJlbGVhc2VDb250ZXh0RnJvbVByb2plY3QocHJvamVjdCwgY29udGV4dCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHJlbGVhc2VDb250ZXh0O1xufVxuXG5leHBvcnQgZGVmYXVsdCB7XG4gIHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3lcbn07XG4iXSwibmFtZXMiOlsicmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeSIsImxvYWRQcm9qZWN0Iiwib2NjYW1GaWxlU3lzdGVtVXRpbGl0aWVzIiwiY29uY2F0ZW5hdGVQYXRocyIsInBhdGhVdGlsaXRpZXMiLCJyZWFkRmlsZSIsImlzRW50cnlGaWxlIiwiY2hlY2tFbnRyeUV4aXN0cyIsIm5lY2Vzc2FyeUZpbGVTeXN0ZW1VdGlsaXRpZXMiLCJyZWxlYXNlQ29udGV4dEZyb21KU09OIiwicmVsZWFzZUNvbnRleHRGcm9tUHJvamVjdCIsInJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIiwiZGVwZW5kZW5jeSIsImNvbnRleHQiLCJyZWxlYXNlQ29udGV4dCIsInByb2plY3RzRGlyZWN0b3J5UGF0aCIsImRlcGVuZGVuY3lOYW1lIiwiZ2V0TmFtZSIsImVudHJ5UGF0aCIsImVudHJ5RXhpc3RzIiwiZW50cnlGaWxlIiwiZmlsZVBhdGgiLCJjb250ZW50IiwianNvblN0cmluZyIsImpzb24iLCJKU09OIiwicGFyc2UiLCJwcm9qZWN0TmFtZSIsInByb2plY3QiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQXdDQTtlQUFBOztRQTdCc0JBO2VBQUFBOzs7Z0NBVGtCOzZCQUN3QjsyQkFDbUI7QUFFbkYsTUFBTSxFQUFFQyxXQUFXLEVBQUUsR0FBR0MsZ0NBQXdCLEVBQzFDLEVBQUVDLGdCQUFnQixFQUFFLEdBQUdDLHdCQUFhLEVBQ3BDLEVBQUVDLFFBQVEsRUFBRUMsV0FBVyxFQUFFQyxnQkFBZ0IsRUFBRSxHQUFHQyw4QkFBNEIsRUFDMUUsRUFBRUMsc0JBQXNCLEVBQUVDLHlCQUF5QixFQUFFLEdBQUdDLHVDQUF1QjtBQUU5RSxlQUFlWCw2QkFBNkJZLFVBQVUsRUFBRUMsT0FBTztJQUNwRSxJQUFJQyxpQkFBaUI7SUFFckIsTUFBTSxFQUFFQyxxQkFBcUIsRUFBRSxHQUFHRixTQUM1QkcsaUJBQWlCSixXQUFXSyxPQUFPLElBQ25DQyxZQUFZZixpQkFBaUJZLHVCQUF1QkMsaUJBQ3BERyxjQUFjWixpQkFBaUJXO0lBRXJDLElBQUlDLGFBQWE7UUFDZixNQUFNQyxZQUFZZCxZQUFZWTtRQUU5QixJQUFJRSxXQUFXO1lBQ2IsTUFBTUMsV0FBV0gsV0FDWEksVUFBVWpCLFNBQVNnQixXQUNuQkUsYUFBYUQsU0FDYkUsT0FBT0MsS0FBS0MsS0FBSyxDQUFDSDtZQUV4QlQsaUJBQWlCTCx1QkFBdUJlLE1BQU1YO1FBQ2hELE9BQU87WUFDTCxNQUFNYyxjQUFjWCxnQkFDZFksVUFBVTNCLFlBQVkwQixhQUFhWjtZQUV6Q0QsaUJBQWlCSiwwQkFBMEJrQixTQUFTZjtRQUN0RDtJQUNGO0lBRUEsT0FBT0M7QUFDVDtNQUVBLFdBQWU7SUFDYmQ7QUFDRiJ9
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "occam-verify-cli",
3
3
  "author": "James Smith",
4
- "version": "1.0.984",
4
+ "version": "1.0.985",
5
5
  "license": "MIT, Anti-996",
6
6
  "homepage": "https://github.com/djalbat/occam-verify-cli",
7
7
  "description": "Occam's Verifier",
@@ -13,16 +13,14 @@
13
13
  "argumentative": "^2.0.47",
14
14
  "necessary": "^17.2.10",
15
15
  "occam-furtle": "^3.0.224",
16
- "occam-grammars": "^1.3.538",
17
16
  "occam-languages": "^0.0.225",
18
- "occam-lexers": "^23.1.58",
19
17
  "occam-model": "^1.0.513",
20
- "occam-nominal": "^1.0.120",
21
- "occam-parsers": "^23.1.64",
18
+ "occam-nominal": "^1.0.122",
22
19
  "occam-server": "^7.0.14"
23
20
  },
24
21
  "devDependencies": {
25
22
  "@swc/core": "1.13.20",
23
+ "decaf-cli": "^1.0.26",
26
24
  "watchful-cli": "^1.7.91"
27
25
  },
28
26
  "scripts": {
@@ -35,7 +33,8 @@
35
33
  "build": "npm run clean && npm run batch",
36
34
  "build-debug": "npm run clean && npm run batch-debug",
37
35
  "watch": "npm run clean && npm run batch && npm run incremental",
38
- "watch-debug": "npm run clean && npm run batch-debug && npm run incremental-debug"
36
+ "watch-debug": "npm run clean && npm run batch-debug && npm run incremental-debug",
37
+ "test": "decaf test -f"
39
38
  },
40
39
  "main": "./lib/index.js",
41
40
  "files": [
@@ -1,10 +1,8 @@
1
1
  "use strict";
2
2
 
3
- import "../preamble";
4
-
5
3
  import { Dependency } from "occam-model";
6
4
  import { arrayUtilities } from "necessary";
7
- import { verificationUtilities, ReleaseContext } from "occam-languages";
5
+ import { verificationUtilities } from "occam-languages";
8
6
 
9
7
  import { FileContextFromFilePath } from "../utilities/fileContext";
10
8
  import { releaseContextFromDependency } from "../utilities/releaseContext";
@@ -18,15 +16,17 @@ export default async function verifyAction(name, log) {
18
16
  },
19
17
  releaseContexts = [],
20
18
  dependency = Dependency.fromName(name),
19
+ projectsDirectoryPath = process.cwd(),
21
20
  context = {
22
21
  log,
23
22
  callback,
24
23
  releaseContexts,
24
+ projectsDirectoryPath,
25
25
  FileContextFromFilePath,
26
26
  releaseContextFromDependency
27
27
  }
28
28
 
29
- // try {
29
+ try {
30
30
  const releaseContextCreated = await createReleaseContexts(dependency, context);
31
31
 
32
32
  if (!releaseContextCreated) {
@@ -54,18 +54,8 @@ export default async function verifyAction(name, log) {
54
54
 
55
55
  return;
56
56
  }
57
-
58
- const json = releaseContext.toJSON(),
59
- entries = releaseContext.getEntries(),
60
- customGrammar = releaseContext.getCustomGrammar();
61
-
62
- releaseContexts.reverse();
63
-
64
- const releaseContxt = ReleaseContext.fromLogNameJSONEntriesCallbackAndCustomGrammar(log, name, json, entries, callback, customGrammar);
65
-
66
- releaseContxt.initialise(releaseContexts, FileContextFromFilePath);
67
- // }
68
- // catch (error) {
69
- // log.error(error);
70
- // }
57
+ }
58
+ catch (error) {
59
+ log.error(error);
60
+ }
71
61
  }
package/src/constants.js CHANGED
@@ -4,14 +4,4 @@ import { levels } from "necessary";
4
4
 
5
5
  export const { TRACE_LEVEL, DEBUG_LEVEL, INFO_LEVEL, WARNING_LEVEL, ERROR_LEVEL } = levels;
6
6
 
7
- export const S = "s";
8
- export const MISSING = "missing";
9
- export const UNDEFINED = "undefined";
10
- export const PROVISIONAL = "Provisional";
11
- export const EMPTY_STRING = "";
12
- export const SINGLE_SPACE = " ";
13
- export const PROVISIONALLY = "provisionally";
14
- export const BASE_TYPE_SYMBOL = "<>";
15
7
  export const OCCAM_VERIFY_CLI = "Occam Verify-CLI";
16
- export const BRACKETED_TERM_DEPTH = 2;
17
- export const BRACKETED_STATEMENT_DEPTH = 2;
package/src/index.js CHANGED
@@ -1,7 +1,5 @@
1
1
  "use strict";
2
2
 
3
- import "./preamble";
4
-
5
3
  export { default as clockUtilities } from "./utilities/clock";
6
4
  export { default as fileContextUtilities } from "./utilities/fileContext";
7
5
  export { default as releaseContextUtilities } from "./utilities/releaseContext";
@@ -2,8 +2,7 @@
2
2
 
3
3
  import { filePathUtilities } from "occam-model";
4
4
  import { FurtleFileContext } from "occam-furtle";
5
-
6
- import NominalFileContext from "../context/file/nominal";
5
+ import { NominalFileContext } from "occam-nominal";
7
6
 
8
7
  const { isFilePathFurtleFilePath, isFilePathNominalFilePath } = filePathUtilities;
9
8
 
@@ -12,7 +12,7 @@ const { loadProject } = occamFileSystemUtilities,
12
12
  export async function releaseContextFromDependency(dependency, context) {
13
13
  let releaseContext = null;
14
14
 
15
- const projectsDirectoryPath = process.cwd(), ///
15
+ const { projectsDirectoryPath } = context,
16
16
  dependencyName = dependency.getName(),
17
17
  entryPath = concatenatePaths(projectsDirectoryPath, dependencyName),
18
18
  entryExists = checkEntryExists(entryPath);
@@ -1,27 +0,0 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", {
3
- value: true
4
- });
5
- Object.defineProperty(exports, "default", {
6
- enumerable: true,
7
- get: function() {
8
- return AphasicContext;
9
- }
10
- });
11
- const _context = /*#__PURE__*/ _interop_require_default(require("../context"));
12
- function _interop_require_default(obj) {
13
- return obj && obj.__esModule ? obj : {
14
- default: obj
15
- };
16
- }
17
- class AphasicContext extends _context.default {
18
- addAssignment(assignment) {
19
- ///
20
- }
21
- static fromNothing(context) {
22
- const aphasicContext = new AphasicContext(context);
23
- return aphasicContext;
24
- }
25
- }
26
-
27
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2FwaGFzaWMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEFwaGFzaWNDb250ZXh0IGV4dGVuZHMgQ29udGV4dCB7XG4gIGFkZEFzc2lnbm1lbnQoYXNzaWdubWVudCkge1xuICAgIC8vL1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKGNvbnRleHQpIHtcbiAgICBjb25zdCBhcGhhc2ljQ29udGV4dCA9IG5ldyBBcGhhc2ljQ29udGV4dChjb250ZXh0KTtcblxuICAgIHJldHVybiBhcGhhc2ljQ29udGV4dDtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkFwaGFzaWNDb250ZXh0IiwiQ29udGV4dCIsImFkZEFzc2lnbm1lbnQiLCJhc3NpZ25tZW50IiwiZnJvbU5vdGhpbmciLCJjb250ZXh0IiwiYXBoYXNpY0NvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0VBRkQ7Ozs7OztBQUVMLE1BQU1BLHVCQUF1QkMsZ0JBQU87SUFDakRDLGNBQWNDLFVBQVUsRUFBRTtJQUN4QixHQUFHO0lBQ0w7SUFFQSxPQUFPQyxZQUFZQyxPQUFPLEVBQUU7UUFDMUIsTUFBTUMsaUJBQWlCLElBQUlOLGVBQWVLO1FBRTFDLE9BQU9DO0lBQ1Q7QUFDRiJ9