occam-verify-cli 0.0.277 → 0.0.279
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/bin/context/release/fileSystem.js +7 -6
- package/bin/utilities/{fileSystem.js → release.js} +7 -7
- package/lib/{main.js → index.js} +1 -1
- package/package.json +3 -4
- package/src/{browser.js → index.js} +0 -0
- package/bin/fileNames.js +0 -17
- package/lib/browser.js +0 -27
- package/src/main.js +0 -4
|
@@ -1,19 +1,20 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
const {
|
|
3
|
+
const { fileNames } = require("occam-open-cli"),
|
|
4
|
+
{ loggingUtilities, fileSystemUtilities } = require("necessary");
|
|
4
5
|
|
|
5
6
|
const { ReleaseContext } = require("../../../lib/main");
|
|
6
7
|
|
|
7
|
-
const { filePathsFromReleaseName, dependencyReleaseNamesFromReleaseName } = require("../../utilities/
|
|
8
|
+
const { filePathsFromReleaseName, dependencyReleaseNamesFromReleaseName } = require("../../utilities/release");
|
|
9
|
+
|
|
10
|
+
const { log } = loggingUtilities,
|
|
11
|
+
{ readFile, checkFileExists } = fileSystemUtilities,
|
|
8
12
|
{ TERM_BNF_FILE_NAME,
|
|
9
13
|
STATEMENT_BNF_FILE_NAME,
|
|
10
14
|
METASTATEMENT_BNF_FILE_NAME,
|
|
11
15
|
TYPE_PATTERN_FILE_NAME,
|
|
12
16
|
SYMBOL_PATTERN_FILE_NAME,
|
|
13
|
-
OPERATOR_PATTERN_FILE_NAME } =
|
|
14
|
-
|
|
15
|
-
const { log } = loggingUtilities,
|
|
16
|
-
{ readFile, checkFileExists } = fileSystemUtilities;
|
|
17
|
+
OPERATOR_PATTERN_FILE_NAME } = fileNames;
|
|
17
18
|
|
|
18
19
|
class FileSystemReleaseContext extends ReleaseContext {
|
|
19
20
|
getFilePaths() {
|
|
@@ -10,7 +10,7 @@ const { isFilePathFlorenceFilePath } = filePathUtilities,
|
|
|
10
10
|
|
|
11
11
|
const metaJSONLexer = MetaJSONLexer.fromNothing(),
|
|
12
12
|
metaJSONParser = MetaJSONParser.fromNothing(),
|
|
13
|
-
|
|
13
|
+
dependencyNonTerminalNodeQuery = Query.fromExpression("//dependencies/dependency/@string-literal!");
|
|
14
14
|
|
|
15
15
|
function filePathsFromReleaseName(releaseName) {
|
|
16
16
|
const directoryName = releaseName, ///
|
|
@@ -37,11 +37,11 @@ function dependencyReleaseNamesFromReleaseName(releaseName) {
|
|
|
37
37
|
content = metaJSONFileContent, ///
|
|
38
38
|
tokens = metaJSONLexer.tokenise(content),
|
|
39
39
|
node = metaJSONParser.parse(tokens),
|
|
40
|
-
|
|
40
|
+
dependencyNonTerminalNodes = dependencyNonTerminalNodeQuery.execute(node);
|
|
41
41
|
|
|
42
|
-
dependencyReleaseNames =
|
|
43
|
-
const
|
|
44
|
-
dependencyReleaseName = trimDoubleQuotes(
|
|
42
|
+
dependencyReleaseNames = dependencyNonTerminalNodes.map((dependencyNonTerminalNode) => {
|
|
43
|
+
const dependencyNonTerminalNodeContent = dependencyNonTerminalNode.getContent(),
|
|
44
|
+
dependencyReleaseName = trimDoubleQuotes(dependencyNonTerminalNodeContent); ///
|
|
45
45
|
|
|
46
46
|
return dependencyReleaseName;
|
|
47
47
|
});
|
|
@@ -55,8 +55,6 @@ module.exports = {
|
|
|
55
55
|
dependencyReleaseNamesFromReleaseName
|
|
56
56
|
};
|
|
57
57
|
|
|
58
|
-
function trimDoubleQuotes(content) { return content.replace(/(^"|"$)/g, ""); } ///
|
|
59
|
-
|
|
60
58
|
function readFilePaths(directoryPath, test, filePaths = []) {
|
|
61
59
|
const subEntryNames = readDirectory(directoryPath);
|
|
62
60
|
|
|
@@ -93,3 +91,5 @@ function isNameHiddenName(name) {
|
|
|
93
91
|
|
|
94
92
|
return nameHiddenName;
|
|
95
93
|
}
|
|
94
|
+
|
|
95
|
+
function trimDoubleQuotes(content) { return content.replace(/(^"|"$)/g, ""); } ///
|
package/lib/{main.js → index.js}
RENAMED
|
@@ -24,4 +24,4 @@ function _interopRequireDefault(obj) {
|
|
|
24
24
|
};
|
|
25
25
|
}
|
|
26
26
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
27
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IHsgZGVmYXVsdCBhcyB2ZXJpZnlSZWxlYXNlIH0gZnJvbSBcIi4vdmVyaWZ5L3JlbGVhc2VcIjtcbmV4cG9ydCB7IGRlZmF1bHQgYXMgUmVsZWFzZUNvbnRleHQgfSBmcm9tIFwiLi9jb250ZXh0L3JlbGVhc2VcIjtcbiJdLCJuYW1lcyI6WyJ2ZXJpZnlSZWxlYXNlIiwiUmVsZWFzZUNvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQUVvQkEsYUFBYTtlQUFiQSxnQkFBYTs7SUFDYkMsY0FBYztlQUFkQSxpQkFBYzs7OzREQURPOzZEQUNDIn0=
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "occam-verify-cli",
|
|
3
3
|
"author": "James Smith",
|
|
4
|
-
"version": "0.0.
|
|
4
|
+
"version": "0.0.279",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -16,7 +16,7 @@
|
|
|
16
16
|
"occam-dom": "^3.0.171",
|
|
17
17
|
"occam-grammar-utilities": "^7.0.66",
|
|
18
18
|
"occam-grammars": "^1.0.322",
|
|
19
|
-
"occam-open-cli": "^5.0.
|
|
19
|
+
"occam-open-cli": "^5.0.43",
|
|
20
20
|
"occam-parsers": "^16.0.122"
|
|
21
21
|
},
|
|
22
22
|
"devDependencies": {
|
|
@@ -35,6 +35,5 @@
|
|
|
35
35
|
"watch": "npm run clean && npm run batch && npm run incremental",
|
|
36
36
|
"watch-debug": "npm run clean && npm run batch-debug && npm run incremental-debug"
|
|
37
37
|
},
|
|
38
|
-
"
|
|
39
|
-
"main": "./lib/main.js"
|
|
38
|
+
"main": "./lib/index.js"
|
|
40
39
|
}
|
|
File without changes
|
package/bin/fileNames.js
DELETED
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
|
|
3
|
-
const TERM_BNF_FILE_NAME = "term.bnf",
|
|
4
|
-
STATEMENT_BNF_FILE_NAME = "statement.bnf",
|
|
5
|
-
METASTATEMENT_BNF_FILE_NAME = "metastatement.bnf",
|
|
6
|
-
TYPE_PATTERN_FILE_NAME = "type.ptn",
|
|
7
|
-
SYMBOL_PATTERN_FILE_NAME = "symbol.ptn",
|
|
8
|
-
OPERATOR_PATTERN_FILE_NAME = "operator.ptn";
|
|
9
|
-
|
|
10
|
-
module.exports = {
|
|
11
|
-
TERM_BNF_FILE_NAME,
|
|
12
|
-
STATEMENT_BNF_FILE_NAME,
|
|
13
|
-
METASTATEMENT_BNF_FILE_NAME,
|
|
14
|
-
TYPE_PATTERN_FILE_NAME,
|
|
15
|
-
SYMBOL_PATTERN_FILE_NAME,
|
|
16
|
-
OPERATOR_PATTERN_FILE_NAME
|
|
17
|
-
};
|
package/lib/browser.js
DELETED
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", {
|
|
3
|
-
value: true
|
|
4
|
-
});
|
|
5
|
-
function _export(target, all) {
|
|
6
|
-
for(var name in all)Object.defineProperty(target, name, {
|
|
7
|
-
enumerable: true,
|
|
8
|
-
get: all[name]
|
|
9
|
-
});
|
|
10
|
-
}
|
|
11
|
-
_export(exports, {
|
|
12
|
-
verifyRelease: function() {
|
|
13
|
-
return _release.default;
|
|
14
|
-
},
|
|
15
|
-
ReleaseContext: function() {
|
|
16
|
-
return _release1.default;
|
|
17
|
-
}
|
|
18
|
-
});
|
|
19
|
-
var _release = /*#__PURE__*/ _interopRequireDefault(require("./verify/release"));
|
|
20
|
-
var _release1 = /*#__PURE__*/ _interopRequireDefault(require("./context/release"));
|
|
21
|
-
function _interopRequireDefault(obj) {
|
|
22
|
-
return obj && obj.__esModule ? obj : {
|
|
23
|
-
default: obj
|
|
24
|
-
};
|
|
25
|
-
}
|
|
26
|
-
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9icm93c2VyLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5leHBvcnQgeyBkZWZhdWx0IGFzIHZlcmlmeVJlbGVhc2UgfSBmcm9tIFwiLi92ZXJpZnkvcmVsZWFzZVwiO1xuZXhwb3J0IHsgZGVmYXVsdCBhcyBSZWxlYXNlQ29udGV4dCB9IGZyb20gXCIuL2NvbnRleHQvcmVsZWFzZVwiO1xuIl0sIm5hbWVzIjpbInZlcmlmeVJlbGVhc2UiLCJSZWxlYXNlQ29udGV4dCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBRW9CQSxhQUFhO2VBQWJBLGdCQUFhOztJQUNiQyxjQUFjO2VBQWRBLGlCQUFjOzs7NERBRE87NkRBQ0MifQ==
|
package/src/main.js
DELETED