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.
- package/lib/action/verify.js +22 -27
- package/lib/constants.js +1 -41
- package/lib/index.js +1 -2
- package/lib/utilities/fileContext.js +3 -8
- package/lib/utilities/releaseContext.js +2 -2
- package/package.json +5 -6
- package/src/action/verify.js +8 -18
- package/src/constants.js +0 -10
- package/src/index.js +0 -2
- package/src/utilities/fileContext.js +1 -2
- package/src/utilities/releaseContext.js +1 -1
- package/lib/context/aphasic.js +0 -27
- package/lib/context/bounded.js +0 -244
- package/lib/context/branching.js +0 -61
- package/lib/context/file/nominal.js +0 -586
- package/lib/context/illative.js +0 -28
- package/lib/context/liminal.js +0 -200
- package/lib/context/literal.js +0 -44
- package/lib/context/mnemic.js +0 -454
- package/lib/context/nested.js +0 -31
- package/lib/context/nominal.js +0 -57
- package/lib/context/phaneric.js +0 -44
- package/lib/context/thetic.js +0 -28
- package/lib/context.js +0 -445
- package/lib/element/assertion/contained.js +0 -218
- package/lib/element/assertion/defined.js +0 -213
- package/lib/element/assertion/property.js +0 -176
- package/lib/element/assertion/signature.js +0 -170
- package/lib/element/assertion/subproof.js +0 -220
- package/lib/element/assertion/type.js +0 -227
- package/lib/element/assertion.js +0 -49
- package/lib/element/assumption/metaLevel.js +0 -244
- package/lib/element/assumption.js +0 -252
- package/lib/element/combinator/bracketed.js +0 -36
- package/lib/element/combinator.js +0 -104
- package/lib/element/conclusion.js +0 -131
- package/lib/element/constructor/bracketed.js +0 -57
- package/lib/element/constructor.js +0 -129
- package/lib/element/declaration/combinator.js +0 -58
- package/lib/element/declaration/complexType.js +0 -180
- package/lib/element/declaration/constructor.js +0 -93
- package/lib/element/declaration/metavariable.js +0 -77
- package/lib/element/declaration/property.js +0 -88
- package/lib/element/declaration/simpleType.js +0 -148
- package/lib/element/declaration/typePrefix.js +0 -53
- package/lib/element/declaration/variable.js +0 -99
- package/lib/element/declaration.js +0 -15
- package/lib/element/deduction.js +0 -131
- package/lib/element/derivation.js +0 -46
- package/lib/element/equality.js +0 -211
- package/lib/element/equivalence.js +0 -200
- package/lib/element/error.js +0 -27
- package/lib/element/frame.js +0 -238
- package/lib/element/hypothesis.js +0 -135
- package/lib/element/judgement.js +0 -212
- package/lib/element/label.js +0 -135
- package/lib/element/metaType.js +0 -57
- package/lib/element/metavariable.js +0 -452
- package/lib/element/parameter.js +0 -69
- package/lib/element/procedureCall.js +0 -116
- package/lib/element/procedureReference.js +0 -56
- package/lib/element/proof.js +0 -52
- package/lib/element/proofAssertion/premise.js +0 -238
- package/lib/element/proofAssertion/step.js +0 -235
- package/lib/element/proofAssertion/supposition.js +0 -249
- package/lib/element/proofAssertion.js +0 -56
- package/lib/element/property.js +0 -176
- package/lib/element/propertyRelation.js +0 -132
- package/lib/element/reference.js +0 -227
- package/lib/element/rule.js +0 -242
- package/lib/element/section.js +0 -64
- package/lib/element/signature.js +0 -195
- package/lib/element/statement.js +0 -228
- package/lib/element/subDerivation.js +0 -46
- package/lib/element/subproof.js +0 -91
- package/lib/element/substitution/frame.js +0 -256
- package/lib/element/substitution/reference.js +0 -192
- package/lib/element/substitution/statement.js +0 -294
- package/lib/element/substitution/term.js +0 -266
- package/lib/element/substitution.js +0 -183
- package/lib/element/term.js +0 -217
- package/lib/element/topLevelAssertion/axiom.js +0 -158
- package/lib/element/topLevelAssertion/conjecture.js +0 -42
- package/lib/element/topLevelAssertion/lemma.js +0 -39
- package/lib/element/topLevelAssertion/theorem.js +0 -42
- package/lib/element/topLevelAssertion.js +0 -286
- package/lib/element/topLevelMetaAssertion/metaLemma.js +0 -42
- package/lib/element/topLevelMetaAssertion/metatheorem.js +0 -42
- package/lib/element/topLevelMetaAssertion.js +0 -179
- package/lib/element/type.js +0 -240
- package/lib/element/typePrefix.js +0 -85
- package/lib/element/variable.js +0 -206
- package/lib/elements.js +0 -27
- package/lib/metaTypeNames.js +0 -26
- package/lib/metaTypes.js +0 -66
- package/lib/node/argument.js +0 -31
- package/lib/node/assertion/contained.js +0 -51
- package/lib/node/assertion/defined.js +0 -47
- package/lib/node/assertion/property.js +0 -36
- package/lib/node/assertion/signature.js +0 -32
- package/lib/node/assertion/subproof.js +0 -28
- package/lib/node/assertion/type.js +0 -32
- package/lib/node/assertion.js +0 -18
- package/lib/node/assumption/metaLevel.js +0 -27
- package/lib/node/assumption.js +0 -27
- package/lib/node/body/axiom.js +0 -23
- package/lib/node/body/conjecture.js +0 -23
- package/lib/node/body/lemma.js +0 -23
- package/lib/node/body/metaLemma.js +0 -23
- package/lib/node/body/metatheorem.js +0 -23
- package/lib/node/body/rule.js +0 -44
- package/lib/node/body/theorem.js +0 -23
- package/lib/node/body.js +0 -31
- package/lib/node/combinator.js +0 -23
- package/lib/node/conclusion.js +0 -27
- package/lib/node/constructor.js +0 -23
- package/lib/node/declaration/combinator.js +0 -28
- package/lib/node/declaration/complexType.js +0 -72
- package/lib/node/declaration/constructor.js +0 -47
- package/lib/node/declaration/metavariable.js +0 -36
- package/lib/node/declaration/property.js +0 -44
- package/lib/node/declaration/simpleType.js +0 -72
- package/lib/node/declaration/typePrefix.js +0 -32
- package/lib/node/declaration/variable.js +0 -51
- package/lib/node/declaration.js +0 -18
- package/lib/node/deduction.js +0 -27
- package/lib/node/derivation.js +0 -26
- package/lib/node/document.js +0 -18
- package/lib/node/equality.js +0 -33
- package/lib/node/equivalence.js +0 -23
- package/lib/node/equivalences.js +0 -18
- package/lib/node/error.js +0 -18
- package/lib/node/frame.js +0 -38
- package/lib/node/header/axiom.js +0 -28
- package/lib/node/header/conjecture.js +0 -23
- package/lib/node/header/lemma.js +0 -23
- package/lib/node/header/metaLemma.js +0 -23
- package/lib/node/header/metatheorem.js +0 -23
- package/lib/node/header/rule.js +0 -23
- package/lib/node/header/theorem.js +0 -23
- package/lib/node/header.js +0 -47
- package/lib/node/hypothesis.js +0 -27
- package/lib/node/judgement.js +0 -31
- package/lib/node/label.js +0 -23
- package/lib/node/labels.js +0 -23
- package/lib/node/metaArgument.js +0 -23
- package/lib/node/metaType.js +0 -30
- package/lib/node/metavariable.js +0 -39
- package/lib/node/parameter.js +0 -47
- package/lib/node/parenthesisedLabel.js +0 -23
- package/lib/node/parenthesisedLabels.js +0 -27
- package/lib/node/placeholder.js +0 -18
- package/lib/node/procedureCall.js +0 -31
- package/lib/node/procedureReference.js +0 -30
- package/lib/node/proof.js +0 -23
- package/lib/node/proofAssertion/premise.js +0 -28
- package/lib/node/proofAssertion/step.js +0 -52
- package/lib/node/proofAssertion/supposition.js +0 -28
- package/lib/node/proofAssertion.js +0 -27
- package/lib/node/property.js +0 -30
- package/lib/node/propertyRelation.js +0 -31
- package/lib/node/qualification.js +0 -27
- package/lib/node/reference.js +0 -23
- package/lib/node/rule.js +0 -43
- package/lib/node/section.js +0 -39
- package/lib/node/signature.js +0 -23
- package/lib/node/statement.js +0 -103
- package/lib/node/subDerivation.js +0 -26
- package/lib/node/subproof.js +0 -35
- package/lib/node/substitution/frame.js +0 -40
- package/lib/node/substitution/reference.js +0 -40
- package/lib/node/substitution/statement.js +0 -60
- package/lib/node/substitution/term.js +0 -40
- package/lib/node/substitution.js +0 -18
- package/lib/node/term.js +0 -60
- package/lib/node/topLevelAssertion/axiom.js +0 -26
- package/lib/node/topLevelAssertion/conjecture.js +0 -26
- package/lib/node/topLevelAssertion/lemma.js +0 -26
- package/lib/node/topLevelAssertion/theorem.js +0 -26
- package/lib/node/topLevelAssertion.js +0 -46
- package/lib/node/topLevelMetaAssertion/metaLemma.js +0 -26
- package/lib/node/topLevelMetaAssertion/metatheorem.js +0 -26
- package/lib/node/topLevelMetaAssertion.js +0 -42
- package/lib/node/type.js +0 -60
- package/lib/node/typePrefix.js +0 -30
- package/lib/node/types.js +0 -23
- package/lib/node/variable.js +0 -30
- package/lib/nominal/lexer.js +0 -15
- package/lib/nominal/parser.js +0 -24
- package/lib/nonTerminalNodeMap.js +0 -189
- package/lib/pass/zip.js +0 -23
- package/lib/preamble.js +0 -73
- package/lib/process/assign.js +0 -62
- package/lib/process/discharge.js +0 -38
- package/lib/process/equate.js +0 -73
- package/lib/process/instantiate.js +0 -261
- package/lib/process/unification.js +0 -228
- package/lib/process/unify.js +0 -336
- package/lib/process/validate.js +0 -135
- package/lib/process/validation.js +0 -291
- package/lib/process/verify.js +0 -205
- package/lib/ruleNames.js +0 -350
- package/lib/tokenTypes.js +0 -22
- package/lib/utilities/assignment.js +0 -47
- package/lib/utilities/bnf.js +0 -21
- package/lib/utilities/brackets.js +0 -77
- package/lib/utilities/breakPoint.js +0 -38
- package/lib/utilities/context.js +0 -220
- package/lib/utilities/element.js +0 -1851
- package/lib/utilities/equivalence.js +0 -27
- package/lib/utilities/equivalences.js +0 -134
- package/lib/utilities/instance.js +0 -44
- package/lib/utilities/json.js +0 -1109
- package/lib/utilities/string.js +0 -231
- package/lib/utilities/substitutions.js +0 -86
- package/lib/utilities/synoptic.js +0 -159
- package/lib/utilities/type.js +0 -27
- package/src/context/aphasic.js +0 -15
- package/src/context/bounded.js +0 -362
- package/src/context/branching.js +0 -69
- package/src/context/file/nominal.js +0 -955
- package/src/context/illative.js +0 -17
- package/src/context/liminal.js +0 -280
- package/src/context/literal.js +0 -42
- package/src/context/mnemic.js +0 -778
- package/src/context/nested.js +0 -21
- package/src/context/nominal.js +0 -62
- package/src/context/phaneric.js +0 -43
- package/src/context/thetic.js +0 -17
- package/src/context.js +0 -722
- package/src/element/assertion/contained.js +0 -313
- package/src/element/assertion/defined.js +0 -310
- package/src/element/assertion/property.js +0 -252
- package/src/element/assertion/signature.js +0 -239
- package/src/element/assertion/subproof.js +0 -335
- package/src/element/assertion/type.js +0 -328
- package/src/element/assertion.js +0 -65
- package/src/element/assumption/metaLevel.js +0 -373
- package/src/element/assumption.js +0 -374
- package/src/element/combinator/bracketed.js +0 -32
- package/src/element/combinator.js +0 -145
- package/src/element/conclusion.js +0 -185
- package/src/element/constructor/bracketed.js +0 -68
- package/src/element/constructor.js +0 -188
- package/src/element/declaration/combinator.js +0 -66
- package/src/element/declaration/complexType.js +0 -257
- package/src/element/declaration/constructor.js +0 -122
- package/src/element/declaration/metavariable.js +0 -93
- package/src/element/declaration/property.js +0 -108
- package/src/element/declaration/simpleType.js +0 -208
- package/src/element/declaration/typePrefix.js +0 -58
- package/src/element/declaration/variable.js +0 -130
- package/src/element/declaration.js +0 -7
- package/src/element/deduction.js +0 -185
- package/src/element/derivation.js +0 -57
- package/src/element/equality.js +0 -325
- package/src/element/equivalence.js +0 -276
- package/src/element/error.js +0 -26
- package/src/element/frame.js +0 -356
- package/src/element/hypothesis.js +0 -186
- package/src/element/judgement.js +0 -303
- package/src/element/label.js +0 -186
- package/src/element/metaType.js +0 -75
- package/src/element/metavariable.js +0 -662
- package/src/element/parameter.js +0 -90
- package/src/element/procedureCall.js +0 -159
- package/src/element/procedureReference.js +0 -71
- package/src/element/proof.js +0 -61
- package/src/element/proofAssertion/premise.js +0 -354
- package/src/element/proofAssertion/step.js +0 -271
- package/src/element/proofAssertion/supposition.js +0 -377
- package/src/element/proofAssertion.js +0 -74
- package/src/element/property.js +0 -258
- package/src/element/propertyRelation.js +0 -193
- package/src/element/reference.js +0 -345
- package/src/element/rule.js +0 -358
- package/src/element/section.js +0 -78
- package/src/element/signature.js +0 -292
- package/src/element/statement.js +0 -358
- package/src/element/subDerivation.js +0 -56
- package/src/element/subproof.js +0 -116
- package/src/element/substitution/frame.js +0 -392
- package/src/element/substitution/reference.js +0 -274
- package/src/element/substitution/statement.js +0 -452
- package/src/element/substitution/term.js +0 -407
- package/src/element/substitution.js +0 -261
- package/src/element/term.js +0 -339
- package/src/element/topLevelAssertion/axiom.js +0 -244
- package/src/element/topLevelAssertion/conjecture.js +0 -40
- package/src/element/topLevelAssertion/lemma.js +0 -42
- package/src/element/topLevelAssertion/theorem.js +0 -40
- package/src/element/topLevelAssertion.js +0 -436
- package/src/element/topLevelMetaAssertion/metaLemma.js +0 -40
- package/src/element/topLevelMetaAssertion/metatheorem.js +0 -40
- package/src/element/topLevelMetaAssertion.js +0 -276
- package/src/element/type.js +0 -374
- package/src/element/typePrefix.js +0 -113
- package/src/element/variable.js +0 -259
- package/src/elements.js +0 -13
- package/src/metaTypeNames.js +0 -5
- package/src/metaTypes.js +0 -71
- package/src/node/argument.js +0 -30
- package/src/node/assertion/contained.js +0 -53
- package/src/node/assertion/defined.js +0 -46
- package/src/node/assertion/property.js +0 -30
- package/src/node/assertion/signature.js +0 -23
- package/src/node/assertion/subproof.js +0 -16
- package/src/node/assertion/type.js +0 -23
- package/src/node/assertion.js +0 -7
- package/src/node/assumption/metaLevel.js +0 -23
- package/src/node/assumption.js +0 -23
- package/src/node/body/axiom.js +0 -7
- package/src/node/body/conjecture.js +0 -7
- package/src/node/body/lemma.js +0 -7
- package/src/node/body/metaLemma.js +0 -7
- package/src/node/body/metatheorem.js +0 -7
- package/src/node/body/rule.js +0 -42
- package/src/node/body/theorem.js +0 -7
- package/src/node/body.js +0 -30
- package/src/node/combinator.js +0 -16
- package/src/node/conclusion.js +0 -23
- package/src/node/constructor.js +0 -16
- package/src/node/declaration/combinator.js +0 -16
- package/src/node/declaration/complexType.js +0 -88
- package/src/node/declaration/constructor.js +0 -46
- package/src/node/declaration/metavariable.js +0 -30
- package/src/node/declaration/property.js +0 -42
- package/src/node/declaration/simpleType.js +0 -87
- package/src/node/declaration/typePrefix.js +0 -24
- package/src/node/declaration/variable.js +0 -53
- package/src/node/declaration.js +0 -7
- package/src/node/deduction.js +0 -23
- package/src/node/derivation.js +0 -19
- package/src/node/document.js +0 -7
- package/src/node/equality.js +0 -35
- package/src/node/equivalence.js +0 -16
- package/src/node/equivalences.js +0 -7
- package/src/node/error.js +0 -7
- package/src/node/frame.js +0 -40
- package/src/node/header/axiom.js +0 -16
- package/src/node/header/conjecture.js +0 -7
- package/src/node/header/lemma.js +0 -7
- package/src/node/header/metaLemma.js +0 -7
- package/src/node/header/metatheorem.js +0 -7
- package/src/node/header/rule.js +0 -7
- package/src/node/header/theorem.js +0 -7
- package/src/node/header.js +0 -54
- package/src/node/hypothesis.js +0 -23
- package/src/node/judgement.js +0 -30
- package/src/node/label.js +0 -16
- package/src/node/labels.js +0 -16
- package/src/node/metaArgument.js +0 -16
- package/src/node/metaType.js +0 -26
- package/src/node/metavariable.js +0 -42
- package/src/node/parameter.js +0 -51
- package/src/node/parenthesisedLabel.js +0 -16
- package/src/node/parenthesisedLabels.js +0 -23
- package/src/node/placeholder.js +0 -7
- package/src/node/procedureCall.js +0 -30
- package/src/node/procedureReference.js +0 -26
- package/src/node/proof.js +0 -16
- package/src/node/proofAssertion/premise.js +0 -16
- package/src/node/proofAssertion/step.js +0 -52
- package/src/node/proofAssertion/supposition.js +0 -16
- package/src/node/proofAssertion.js +0 -23
- package/src/node/property.js +0 -28
- package/src/node/propertyRelation.js +0 -30
- package/src/node/qualification.js +0 -23
- package/src/node/reference.js +0 -16
- package/src/node/rule.js +0 -51
- package/src/node/section.js +0 -44
- package/src/node/signature.js +0 -16
- package/src/node/statement.js +0 -167
- package/src/node/subDerivation.js +0 -19
- package/src/node/subproof.js +0 -35
- package/src/node/substitution/frame.js +0 -37
- package/src/node/substitution/reference.js +0 -38
- package/src/node/substitution/statement.js +0 -70
- package/src/node/substitution/term.js +0 -38
- package/src/node/substitution.js +0 -7
- package/src/node/term.js +0 -75
- package/src/node/topLevelAssertion/axiom.js +0 -13
- package/src/node/topLevelAssertion/conjecture.js +0 -13
- package/src/node/topLevelAssertion/lemma.js +0 -13
- package/src/node/topLevelAssertion/theorem.js +0 -13
- package/src/node/topLevelAssertion.js +0 -58
- package/src/node/topLevelMetaAssertion/metaLemma.js +0 -13
- package/src/node/topLevelMetaAssertion/metatheorem.js +0 -13
- package/src/node/topLevelMetaAssertion.js +0 -51
- package/src/node/type.js +0 -74
- package/src/node/typePrefix.js +0 -26
- package/src/node/types.js +0 -16
- package/src/node/variable.js +0 -26
- package/src/nominal/lexer.js +0 -5
- package/src/nominal/parser.js +0 -12
- package/src/nonTerminalNodeMap.js +0 -261
- package/src/pass/zip.js +0 -19
- package/src/preamble.js +0 -64
- package/src/process/assign.js +0 -53
- package/src/process/discharge.js +0 -33
- package/src/process/equate.js +0 -94
- package/src/process/instantiate.js +0 -198
- package/src/process/unification.js +0 -332
- package/src/process/unify.js +0 -504
- package/src/process/validate.js +0 -174
- package/src/process/validation.js +0 -410
- package/src/process/verify.js +0 -299
- package/src/ruleNames.js +0 -86
- package/src/tokenTypes.js +0 -4
- package/src/utilities/assignment.js +0 -57
- package/src/utilities/bnf.js +0 -20
- package/src/utilities/brackets.js +0 -87
- package/src/utilities/breakPoint.js +0 -29
- package/src/utilities/context.js +0 -223
- package/src/utilities/element.js +0 -2293
- package/src/utilities/equivalence.js +0 -25
- package/src/utilities/equivalences.js +0 -158
- package/src/utilities/instance.js +0 -40
- package/src/utilities/json.js +0 -1273
- package/src/utilities/string.js +0 -282
- package/src/utilities/substitutions.js +0 -93
- package/src/utilities/synoptic.js +0 -135
- package/src/utilities/type.js +0 -19
package/lib/action/verify.js
CHANGED
|
@@ -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
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
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,
|
|
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,
|
|
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,
|
|
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
|
|
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 =
|
|
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,
|
|
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 =
|
|
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,
|
|
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.
|
|
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.
|
|
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": [
|
package/src/action/verify.js
CHANGED
|
@@ -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
|
|
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
|
-
|
|
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
|
-
|
|
59
|
-
|
|
60
|
-
|
|
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
|
@@ -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 =
|
|
15
|
+
const { projectsDirectoryPath } = context,
|
|
16
16
|
dependencyName = dependency.getName(),
|
|
17
17
|
entryPath = concatenatePaths(projectsDirectoryPath, dependencyName),
|
|
18
18
|
entryExists = checkEntryExists(entryPath);
|
package/lib/context/aphasic.js
DELETED
|
@@ -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
|