occam-verify-cli 1.0.655 → 1.0.657
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 +2 -2
- package/lib/index.js +17 -4
- package/lib/utilities/clock.js +8 -1
- package/lib/utilities/fileContext.js +15 -4
- package/lib/utilities/releaseContext.js +2 -4
- package/package.json +4 -4
- package/src/action/verify.js +3 -2
- package/src/index.js +2 -0
- package/src/utilities/clock.js +5 -0
- package/src/utilities/fileContext.js +4 -0
- package/src/utilities/releaseContext.js +1 -3
package/lib/action/verify.js
CHANGED
|
@@ -133,7 +133,7 @@ function _ts_generator(thisArg, body) {
|
|
|
133
133
|
};
|
|
134
134
|
}
|
|
135
135
|
}
|
|
136
|
-
var
|
|
136
|
+
var releaseContextFromJSON = _occamlanguages.releaseContextUtilities.releaseContextFromJSON, createReleaseContext = _occamlanguages.verificationUtilities.createReleaseContext, verifyReleaseContext = _occamlanguages.verificationUtilities.verifyReleaseContext, initialiseReleaseContext = _occamlanguages.verificationUtilities.initialiseReleaseContext;
|
|
137
137
|
function verifyAction(name, log) {
|
|
138
138
|
return _async_to_generator(function() {
|
|
139
139
|
var callback, releaseContextMap, context, dependentNames, dependency, success, releaseName, releaseContext, released, dependentName, dependentReleased, releaseVerifies, json, entries;
|
|
@@ -222,4 +222,4 @@ function verifyAction(name, log) {
|
|
|
222
222
|
})();
|
|
223
223
|
}
|
|
224
224
|
|
|
225
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
225
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hY3Rpb24vdmVyaWZ5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgXCIuLi9wcmVhbWJsZVwiO1xuXG5pbXBvcnQgeyBEZXBlbmRlbmN5IH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyB2ZXJpZmljYXRpb25VdGlsaXRpZXMsIHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBGaWxlQ29udGV4dEZyb21GaWxlUGF0aCB9IGZyb20gXCIuLi91dGlsaXRpZXMvZmlsZUNvbnRleHRcIjtcbmltcG9ydCB7IHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3kgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3JlbGVhc2VDb250ZXh0XCI7XG5cbmNvbnN0IHsgcmVsZWFzZUNvbnRleHRGcm9tSlNPTiB9ID0gcmVsZWFzZUNvbnRleHRVdGlsaXRpZXMsXG4gICAgICB7IGNyZWF0ZVJlbGVhc2VDb250ZXh0LCB2ZXJpZnlSZWxlYXNlQ29udGV4dCwgaW5pdGlhbGlzZVJlbGVhc2VDb250ZXh0IH0gPSB2ZXJpZmljYXRpb25VdGlsaXRpZXM7XG5cbmV4cG9ydCBkZWZhdWx0IGFzeW5jIGZ1bmN0aW9uIHZlcmlmeUFjdGlvbihuYW1lLCBsb2cpIHtcbiAgY29uc3QgY2FsbGJhY2sgPSBhc3luYyAoY29udGV4dCwgZmlsZVBhdGgsIGxpbmVJbmRleCkgPT4ge1xuICAgICAgICAgIC8vL1xuICAgICAgICB9LFxuICAgICAgICByZWxlYXNlQ29udGV4dE1hcCA9IHt9LFxuICAgICAgICBjb250ZXh0ID0ge1xuICAgICAgICAgIGxvZyxcbiAgICAgICAgICBjYWxsYmFjayxcbiAgICAgICAgICByZWxlYXNlQ29udGV4dE1hcCxcbiAgICAgICAgICBGaWxlQ29udGV4dEZyb21GaWxlUGF0aCxcbiAgICAgICAgICByZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5XG4gICAgICAgIH1cblxuICAvLyB0cnkge1xuXG4gICAgY29uc3QgZGVwZW5kZW50TmFtZXMgPSBbXSxcbiAgICAgICAgICBkZXBlbmRlbmN5ID0gRGVwZW5kZW5jeS5mcm9tTmFtZShuYW1lKSxcbiAgICAgICAgICBzdWNjZXNzID0gYXdhaXQgY3JlYXRlUmVsZWFzZUNvbnRleHQoZGVwZW5kZW5jeSwgZGVwZW5kZW50TmFtZXMsIGNvbnRleHQpO1xuXG4gICAgaWYgKCFzdWNjZXNzKSB7XG4gICAgICBsb2cud2FybmluZyhgVGhlICcke25hbWV9JyBwcm9qZWN0IG9yIHBhY2thZ2UgY2Fubm90IGJlIGNyZWF0ZWQuYCk7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICBjb25zdCByZWxlYXNlTmFtZSA9IG5hbWUsIC8vL1xuICAgICAgICAgIHJlbGVhc2VDb250ZXh0ID0gcmVsZWFzZUNvbnRleHRNYXBbcmVsZWFzZU5hbWVdLFxuICAgICAgICAgIHJlbGVhc2VkID0gcmVsZWFzZUNvbnRleHQuaXNSZWxlYXNlZCgpO1xuXG4gICAgaWYgKHJlbGVhc2VkKSB7XG4gICAgICBsb2cud2FybmluZyhgVGhlICcke25hbWV9JyBwYWNrYWdlIGRvZXMgbm90IG5lZWQgdG8gYmUgdmVyaWZpZWQuYCk7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICBpbml0aWFsaXNlUmVsZWFzZUNvbnRleHQoZGVwZW5kZW5jeSwgY29udGV4dCk7XG5cbiAgICBjb25zdCBkZXBlbmRlbnROYW1lID0gbnVsbCxcbiAgICAgICAgICBkZXBlbmRlbnRSZWxlYXNlZCA9IGZhbHNlLFxuICAgICAgICAgIHJlbGVhc2VWZXJpZmllcyA9IGF3YWl0IHZlcmlmeVJlbGVhc2VDb250ZXh0KHJlbGVhc2VOYW1lLCBkZXBlbmRlbnROYW1lLCBkZXBlbmRlbnRSZWxlYXNlZCwgcmVsZWFzZUNvbnRleHRNYXApO1xuXG4gICAgaWYgKCFyZWxlYXNlVmVyaWZpZXMpIHtcbiAgICAgIGxvZy53YXJuaW5nKGBUaGUgJyR7bmFtZX0nIHByb2plY3Qgb3IgcGFja2FnZSBjYW5ub3QgYmUgdmVyaWZpZWQuYCk7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICBsZXQganNvbiA9IHJlbGVhc2VDb250ZXh0LnRvSlNPTigpLFxuICAgICAgICBlbnRyaWVzID0gcmVsZWFzZUNvbnRleHQuZ2V0RW50cmllcygpO1xuXG4gICAgKCgpID0+IHtcblxuICAgICAgbGV0IGNvbnRleHQ7XG5cbiAgICAgIGNvbnN0IGVudHJpZXNKU09OID0gZW50cmllcy50b0pTT04oKTtcblxuICAgICAgZW50cmllcyA9IGVudHJpZXNKU09OOyAgLy8vXG5cbiAgICAgIGNvbnRleHQgPSBqc29uOyAvLy9cblxuICAgICAganNvbiA9IHtcbiAgICAgICAgbmFtZSxcbiAgICAgICAgZW50cmllcyxcbiAgICAgICAgY29udGV4dFxuICAgICAgfTtcblxuICAgICAgY29udGV4dCA9IHtcbiAgICAgICAgbG9nLFxuICAgICAgICBjYWxsYmFja1xuICAgICAgfTtcblxuICAgICAgY29uc3QgcmVsZWFzZUNvbnRleHQgPSByZWxlYXNlQ29udGV4dEZyb21KU09OKGpzb24sIGNvbnRleHQpLFxuICAgICAgICAgICAgcmVsZWFzZUNvbnRleHRzID0gW1xuICAgICAgICAgICAgICByZWxlYXNlQ29udGV4dFxuICAgICAgICAgICAgXTtcblxuICAgICAgcmVsZWFzZUNvbnRleHQuaW5pdGlhbGlzZShyZWxlYXNlQ29udGV4dHMsIEZpbGVDb250ZXh0RnJvbUZpbGVQYXRoKTtcblxuICAgIH0pKCk7XG5cblxuICAvLyB9XG4gIC8vIGNhdGNoIChlcnJvcikge1xuICAvLyAgIGxvZy5lcnJvcihlcnJvcik7XG4gIC8vIH1cbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlBY3Rpb24iLCJyZWxlYXNlQ29udGV4dEZyb21KU09OIiwicmVsZWFzZUNvbnRleHRVdGlsaXRpZXMiLCJjcmVhdGVSZWxlYXNlQ29udGV4dCIsInZlcmlmaWNhdGlvblV0aWxpdGllcyIsInZlcmlmeVJlbGVhc2VDb250ZXh0IiwiaW5pdGlhbGlzZVJlbGVhc2VDb250ZXh0IiwibmFtZSIsImxvZyIsImNhbGxiYWNrIiwicmVsZWFzZUNvbnRleHRNYXAiLCJjb250ZXh0IiwiZGVwZW5kZW50TmFtZXMiLCJkZXBlbmRlbmN5Iiwic3VjY2VzcyIsInJlbGVhc2VOYW1lIiwicmVsZWFzZUNvbnRleHQiLCJyZWxlYXNlZCIsImRlcGVuZGVudE5hbWUiLCJkZXBlbmRlbnRSZWxlYXNlZCIsInJlbGVhc2VWZXJpZmllcyIsImpzb24iLCJlbnRyaWVzIiwiZmlsZVBhdGgiLCJsaW5lSW5kZXgiLCJGaWxlQ29udGV4dEZyb21GaWxlUGF0aCIsInJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3kiLCJEZXBlbmRlbmN5IiwiZnJvbU5hbWUiLCJ3YXJuaW5nIiwiaXNSZWxlYXNlZCIsInRvSlNPTiIsImdldEVudHJpZXMiLCJlbnRyaWVzSlNPTiIsInJlbGVhc2VDb250ZXh0cyIsImluaXRpYWxpc2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWFBOzs7ZUFBOEJBOzs7UUFYdkI7MEJBRW9COzhCQUNvQzsyQkFFdkI7OEJBQ0s7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFN0MsSUFBTSxBQUFFQyx5QkFBMkJDLHVDQUF1QixDQUFsREQsd0JBQ0FFLHVCQUF5RUMscUNBQXFCLENBQTlGRCxzQkFBc0JFLHVCQUFtREQscUNBQXFCLENBQXhFQyxzQkFBc0JDLDJCQUE2QkYscUNBQXFCLENBQWxERTtBQUVyQyxTQUFlTixhQUFhTyxJQUFJLEVBQUVDLEdBQUc7O1lBQzVDQyxVQUdBQyxtQkFDQUMsU0FVRUMsZ0JBQ0FDLFlBQ0FDLFNBUUFDLGFBQ0FDLGdCQUNBQyxVQVVBQyxlQUNBQyxtQkFDQUMsaUJBUUZDLE1BQ0FDOzs7O29CQS9DQWIsV0FBVyxTQUFPRSxTQUFTWSxVQUFVQzs7Ozs7Ozt3QkFDbkMsR0FBRzt3QkFDTDt1QkFDQWQsb0JBQW9CLENBQUMsR0FDckJDLFVBQVU7d0JBQ1JILEtBQUFBO3dCQUNBQyxVQUFBQTt3QkFDQUMsbUJBQUFBO3dCQUNBZSx5QkFBQUEsb0NBQXVCO3dCQUN2QkMsOEJBQUFBLDRDQUE0QjtvQkFDOUI7b0JBSUVkLHFCQUNBQyxhQUFhYyxzQkFBVSxDQUFDQyxRQUFRLENBQUNyQjtvQkFDdkI7O3dCQUFNSixxQkFBcUJVLFlBQVlELGdCQUFnQkQ7OztvQkFBakVHLFVBQVU7b0JBRWhCLElBQUksQ0FBQ0EsU0FBUzt3QkFDWk4sSUFBSXFCLE9BQU8sQ0FBQyxBQUFDLFFBQVksT0FBTHRCLE1BQUs7d0JBRXpCOzs7b0JBQ0Y7b0JBRU1RLGNBQWNSLE1BQ2RTLGlCQUFpQk4saUJBQWlCLENBQUNLLFlBQVksRUFDL0NFLFdBQVdELGVBQWVjLFVBQVU7b0JBRTFDLElBQUliLFVBQVU7d0JBQ1pULElBQUlxQixPQUFPLENBQUMsQUFBQyxRQUFZLE9BQUx0QixNQUFLO3dCQUV6Qjs7O29CQUNGO29CQUVBRCx5QkFBeUJPLFlBQVlGO29CQUUvQk8sZ0JBQWdCLE1BQ2hCQyxvQkFBb0I7b0JBQ0Y7O3dCQUFNZCxxQkFBcUJVLGFBQWFHLGVBQWVDLG1CQUFtQlQ7OztvQkFBNUZVLGtCQUFrQjtvQkFFeEIsSUFBSSxDQUFDQSxpQkFBaUI7d0JBQ3BCWixJQUFJcUIsT0FBTyxDQUFDLEFBQUMsUUFBWSxPQUFMdEIsTUFBSzt3QkFFekI7OztvQkFDRjtvQkFFSWMsT0FBT0wsZUFBZWUsTUFBTSxJQUM1QlQsVUFBVU4sZUFBZWdCLFVBQVU7b0JBRXRDLENBQUE7d0JBRUMsSUFBSXJCO3dCQUVKLElBQU1zQixjQUFjWCxRQUFRUyxNQUFNO3dCQUVsQ1QsVUFBVVcsYUFBYyxHQUFHO3dCQUUzQnRCLFVBQVVVLE1BQU0sR0FBRzt3QkFFbkJBLE9BQU87NEJBQ0xkLE1BQUFBOzRCQUNBZSxTQUFBQTs0QkFDQVgsU0FBQUE7d0JBQ0Y7d0JBRUFBLFVBQVU7NEJBQ1JILEtBQUFBOzRCQUNBQyxVQUFBQTt3QkFDRjt3QkFFQSxJQUFNTyxpQkFBaUJmLHVCQUF1Qm9CLE1BQU1WLFVBQzlDdUIsa0JBQWtCOzRCQUNoQmxCO3lCQUNEO3dCQUVQQSxlQUFlbUIsVUFBVSxDQUFDRCxpQkFBaUJULG9DQUF1QjtvQkFFcEUsQ0FBQTs7Ozs7O0lBR0YsSUFBSTtJQUNKLGtCQUFrQjtJQUNsQixzQkFBc0I7SUFDdEIsSUFBSTtJQUNOIn0=
|
package/lib/index.js
CHANGED
|
@@ -2,13 +2,26 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", {
|
|
3
3
|
value: true
|
|
4
4
|
});
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
5
|
+
function _export(target, all) {
|
|
6
|
+
for(var name in all)Object.defineProperty(target, name, {
|
|
7
|
+
enumerable: true,
|
|
8
|
+
get: Object.getOwnPropertyDescriptor(all, name).get
|
|
9
|
+
});
|
|
10
|
+
}
|
|
11
|
+
_export(exports, {
|
|
12
|
+
get clockUtilities () {
|
|
13
|
+
return _clock.default;
|
|
14
|
+
},
|
|
15
|
+
get fileContextUtilities () {
|
|
16
|
+
return _fileContext.default;
|
|
17
|
+
},
|
|
18
|
+
get releaseContextUtilities () {
|
|
8
19
|
return _releaseContext.default;
|
|
9
20
|
}
|
|
10
21
|
});
|
|
11
22
|
require("./preamble");
|
|
23
|
+
var _clock = /*#__PURE__*/ _interop_require_default(require("./utilities/clock"));
|
|
24
|
+
var _fileContext = /*#__PURE__*/ _interop_require_default(require("./utilities/fileContext"));
|
|
12
25
|
var _releaseContext = /*#__PURE__*/ _interop_require_default(require("./utilities/releaseContext"));
|
|
13
26
|
function _interop_require_default(obj) {
|
|
14
27
|
return obj && obj.__esModule ? obj : {
|
|
@@ -16,4 +29,4 @@ function _interop_require_default(obj) {
|
|
|
16
29
|
};
|
|
17
30
|
}
|
|
18
31
|
|
|
19
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFwiLi9wcmVhbWJsZVwiO1xuXG5leHBvcnQgeyBkZWZhdWx0IGFzIGNsb2NrVXRpbGl0aWVzIH0gZnJvbSBcIi4vdXRpbGl0aWVzL2Nsb2NrXCI7XG5leHBvcnQgeyBkZWZhdWx0IGFzIGZpbGVDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIi4vdXRpbGl0aWVzL2ZpbGVDb250ZXh0XCI7XG5leHBvcnQgeyBkZWZhdWx0IGFzIHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIi4vdXRpbGl0aWVzL3JlbGVhc2VDb250ZXh0XCI7XG4iXSwibmFtZXMiOlsiY2xvY2tVdGlsaXRpZXMiLCJmaWxlQ29udGV4dFV0aWxpdGllcyIsInJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFJb0JBO2VBQUFBLGNBQWM7O1FBQ2RDO2VBQUFBLG9CQUFvQjs7UUFDcEJDO2VBQUFBLHVCQUF1Qjs7O1FBSnBDOzREQUVtQztrRUFDTTtxRUFDRyJ9
|
package/lib/utilities/clock.js
CHANGED
|
@@ -9,6 +9,9 @@ function _export(target, all) {
|
|
|
9
9
|
});
|
|
10
10
|
}
|
|
11
11
|
_export(exports, {
|
|
12
|
+
get default () {
|
|
13
|
+
return _default;
|
|
14
|
+
},
|
|
12
15
|
get startClock () {
|
|
13
16
|
return startClock;
|
|
14
17
|
},
|
|
@@ -27,5 +30,9 @@ function startClock() {
|
|
|
27
30
|
now = Date.now();
|
|
28
31
|
return now;
|
|
29
32
|
}
|
|
33
|
+
var _default = {
|
|
34
|
+
stopClock: stopClock,
|
|
35
|
+
startClock: startClock
|
|
36
|
+
};
|
|
30
37
|
|
|
31
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
38
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY2xvY2suanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBzdG9wQ2xvY2sobm93LCBsb2cpIHtcbiAgY29uc3QgdGhlbiA9IG5vdzsgLy8vXG5cbiAgbm93ID0gRGF0ZS5ub3coKTtcblxuICBjb25zdCBzZWNvbmRzID0gTWF0aC5mbG9vcihub3cgLSB0aGVuKSAvIDEwMDA7XG5cbiAgbG9nLmluZm8oYFRpbWUgJHtzZWNvbmRzfSBzZWNvbmRzLmApO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc3RhcnRDbG9jaygpIHtcbiAgbGV0IG5vdztcblxuICBub3cgPSBEYXRlLm5vdygpO1xuXG4gIHJldHVybiBub3c7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgc3RvcENsb2NrLFxuICBzdGFydENsb2NrXG59O1xuIl0sIm5hbWVzIjpbInN0YXJ0Q2xvY2siLCJzdG9wQ2xvY2siLCJub3ciLCJsb2ciLCJ0aGVuIiwiRGF0ZSIsInNlY29uZHMiLCJNYXRoIiwiZmxvb3IiLCJpbmZvIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFvQkE7ZUFBQTs7UUFSZ0JBO2VBQUFBOztRQVZBQztlQUFBQTs7O0FBQVQsU0FBU0EsVUFBVUMsR0FBRyxFQUFFQyxHQUFHO0lBQ2hDLElBQU1DLE9BQU9GLEtBQUssR0FBRztJQUVyQkEsTUFBTUcsS0FBS0gsR0FBRztJQUVkLElBQU1JLFVBQVVDLEtBQUtDLEtBQUssQ0FBQ04sTUFBTUUsUUFBUTtJQUV6Q0QsSUFBSU0sSUFBSSxDQUFDLEFBQUMsUUFBZSxPQUFSSCxTQUFRO0FBQzNCO0FBRU8sU0FBU047SUFDZCxJQUFJRTtJQUVKQSxNQUFNRyxLQUFLSCxHQUFHO0lBRWQsT0FBT0E7QUFDVDtJQUVBLFdBQWU7SUFDYkQsV0FBQUE7SUFDQUQsWUFBQUE7QUFDRiJ9
|
|
@@ -2,10 +2,18 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", {
|
|
3
3
|
value: true
|
|
4
4
|
});
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
5
|
+
function _export(target, all) {
|
|
6
|
+
for(var name in all)Object.defineProperty(target, name, {
|
|
7
|
+
enumerable: true,
|
|
8
|
+
get: Object.getOwnPropertyDescriptor(all, name).get
|
|
9
|
+
});
|
|
10
|
+
}
|
|
11
|
+
_export(exports, {
|
|
12
|
+
get FileContextFromFilePath () {
|
|
8
13
|
return FileContextFromFilePath;
|
|
14
|
+
},
|
|
15
|
+
get default () {
|
|
16
|
+
return _default;
|
|
9
17
|
}
|
|
10
18
|
});
|
|
11
19
|
var _occammodel = require("occam-model");
|
|
@@ -28,5 +36,8 @@ function FileContextFromFilePath(filePath) {
|
|
|
28
36
|
}
|
|
29
37
|
return FileContext;
|
|
30
38
|
}
|
|
39
|
+
var _default = {
|
|
40
|
+
FileContextFromFilePath: FileContextFromFilePath
|
|
41
|
+
};
|
|
31
42
|
|
|
32
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
43
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvZmlsZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGZpbGVQYXRoVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyBGdXJ0bGVGaWxlQ29udGV4dCB9IGZyb20gXCJvY2NhbS1mdXJ0bGVcIjtcblxuaW1wb3J0IE5vbWluYWxGaWxlQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9maWxlL25vbWluYWxcIjtcblxuY29uc3QgeyBpc0ZpbGVQYXRoRnVydGxlRmlsZVBhdGgsIGlzRmlsZVBhdGhOb21pbmFsRmlsZVBhdGggfSA9IGZpbGVQYXRoVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgoZmlsZVBhdGgpIHtcbiAgbGV0IEZpbGVDb250ZXh0ID0gbnVsbDtcblxuICBjb25zdCBmaWxlUGF0aEZ1cnRsZUZpbGVQYXRoID0gaXNGaWxlUGF0aEZ1cnRsZUZpbGVQYXRoKGZpbGVQYXRoKSxcbiAgICAgICAgZmlsZVBhdGhOb21pbmFsRmlsZVBhdGggPSBpc0ZpbGVQYXRoTm9taW5hbEZpbGVQYXRoKGZpbGVQYXRoKTtcblxuICBpZiAoZmlsZVBhdGhGdXJ0bGVGaWxlUGF0aCkge1xuICAgIEZpbGVDb250ZXh0ID0gRnVydGxlRmlsZUNvbnRleHQ7ICAvLy9cbiAgfVxuXG4gIGlmIChmaWxlUGF0aE5vbWluYWxGaWxlUGF0aCkge1xuICAgIEZpbGVDb250ZXh0ID0gTm9taW5hbEZpbGVDb250ZXh0OyAvLy9cbiAgfVxuXG4gIHJldHVybiBGaWxlQ29udGV4dDtcbn1cblxuZXhwb3J0IGRlZmF1bHQge1xuICBGaWxlQ29udGV4dEZyb21GaWxlUGF0aFxufTtcbiJdLCJuYW1lcyI6WyJGaWxlQ29udGV4dEZyb21GaWxlUGF0aCIsImlzRmlsZVBhdGhGdXJ0bGVGaWxlUGF0aCIsImZpbGVQYXRoVXRpbGl0aWVzIiwiaXNGaWxlUGF0aE5vbWluYWxGaWxlUGF0aCIsImZpbGVQYXRoIiwiRmlsZUNvbnRleHQiLCJmaWxlUGF0aEZ1cnRsZUZpbGVQYXRoIiwiZmlsZVBhdGhOb21pbmFsRmlsZVBhdGgiLCJGdXJ0bGVGaWxlQ29udGV4dCIsIk5vbWluYWxGaWxlQ29udGV4dCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBU2dCQTtlQUFBQTs7UUFpQmhCO2VBQUE7OzswQkF4QmtDOzJCQUNBOzhEQUVIOzs7Ozs7QUFFL0IsSUFBUUMsMkJBQXdEQyw2QkFBaUIsQ0FBekVELDBCQUEwQkUsNEJBQThCRCw2QkFBaUIsQ0FBL0NDO0FBRTNCLFNBQVNILHdCQUF3QkksUUFBUTtJQUM5QyxJQUFJQyxjQUFjO0lBRWxCLElBQU1DLHlCQUF5QkwseUJBQXlCRyxXQUNsREcsMEJBQTBCSiwwQkFBMEJDO0lBRTFELElBQUlFLHdCQUF3QjtRQUMxQkQsY0FBY0csOEJBQWlCLEVBQUcsR0FBRztJQUN2QztJQUVBLElBQUlELHlCQUF5QjtRQUMzQkYsY0FBY0ksZ0JBQWtCLEVBQUUsR0FBRztJQUN2QztJQUVBLE9BQU9KO0FBQ1Q7SUFFQSxXQUFlO0lBQ2JMLHlCQUFBQTtBQUNGIn0=
|
|
@@ -153,9 +153,7 @@ function releaseContextFromDependency(dependency, context) {
|
|
|
153
153
|
releaseContext = releaseContextFromJSON(json, context);
|
|
154
154
|
} else {
|
|
155
155
|
projectName = dependencyName, project = loadProject(projectName, projectsDirectoryPath);
|
|
156
|
-
|
|
157
|
-
releaseContext = releaseContextFromProject(project, context);
|
|
158
|
-
}
|
|
156
|
+
releaseContext = releaseContextFromProject(project, context);
|
|
159
157
|
}
|
|
160
158
|
}
|
|
161
159
|
return [
|
|
@@ -169,4 +167,4 @@ var _default = {
|
|
|
169
167
|
releaseContextFromDependency: releaseContextFromDependency
|
|
170
168
|
};
|
|
171
169
|
|
|
172
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
170
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuaW1wb3J0IHsgZmlsZVN5c3RlbVV0aWxpdGllcyBhcyBvY2NhbUZpbGVTeXN0ZW1VdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tZmlsZS1zeXN0ZW1cIjtcbmltcG9ydCB7IHBhdGhVdGlsaXRpZXMsIGZpbGVTeXN0ZW1VdGlsaXRpZXMgYXMgbmVjZXNzYXJ5RmlsZVN5c3RlbVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuY29uc3QgeyBsb2FkUHJvamVjdCB9ID0gb2NjYW1GaWxlU3lzdGVtVXRpbGl0aWVzLFxuICAgICAgeyBjb25jYXRlbmF0ZVBhdGhzIH0gPSBwYXRoVXRpbGl0aWVzLFxuICAgICAgeyByZWFkRmlsZSwgaXNFbnRyeUZpbGUsIGNoZWNrRW50cnlFeGlzdHMgfSA9IG5lY2Vzc2FyeUZpbGVTeXN0ZW1VdGlsaXRpZXMsXG4gICAgICB7IHJlbGVhc2VDb250ZXh0RnJvbUpTT04sIHJlbGVhc2VDb250ZXh0RnJvbVByb2plY3QgfSA9IHJlbGVhc2VDb250ZXh0VXRpbGl0aWVzO1xuXG5leHBvcnQgYXN5bmMgZnVuY3Rpb24gcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeShkZXBlbmRlbmN5LCBjb250ZXh0KSB7XG4gIGxldCByZWxlYXNlQ29udGV4dCA9IG51bGw7XG5cbiAgY29uc3QgcHJvamVjdHNEaXJlY3RvcnlQYXRoID0gcHJvY2Vzcy5jd2QoKSwgLy8vXG4gICAgICAgIGRlcGVuZGVuY3lOYW1lID0gZGVwZW5kZW5jeS5nZXROYW1lKCksXG4gICAgICAgIGVudHJ5UGF0aCA9IGNvbmNhdGVuYXRlUGF0aHMocHJvamVjdHNEaXJlY3RvcnlQYXRoLCBkZXBlbmRlbmN5TmFtZSksXG4gICAgICAgIGVudHJ5RXhpc3RzID0gY2hlY2tFbnRyeUV4aXN0cyhlbnRyeVBhdGgpO1xuXG4gIGlmIChlbnRyeUV4aXN0cykge1xuICAgIGNvbnN0IGVudHJ5RmlsZSA9IGlzRW50cnlGaWxlKGVudHJ5UGF0aCk7XG5cbiAgICBpZiAoZW50cnlGaWxlKSB7XG4gICAgICBjb25zdCBmaWxlUGF0aCA9IGVudHJ5UGF0aCwgLy8vXG4gICAgICAgICAgICBjb250ZW50ID0gcmVhZEZpbGUoZmlsZVBhdGgpLFxuICAgICAgICAgICAganNvblN0cmluZyA9IGNvbnRlbnQsIC8vL1xuICAgICAgICAgICAganNvbiA9IEpTT04ucGFyc2UoanNvblN0cmluZyk7XG5cbiAgICAgIHJlbGVhc2VDb250ZXh0ID0gcmVsZWFzZUNvbnRleHRGcm9tSlNPTihqc29uLCBjb250ZXh0KTtcbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgcHJvamVjdE5hbWUgPSBkZXBlbmRlbmN5TmFtZSwgLy8vXG4gICAgICAgICAgICBwcm9qZWN0ID0gbG9hZFByb2plY3QocHJvamVjdE5hbWUsIHByb2plY3RzRGlyZWN0b3J5UGF0aCk7XG5cbiAgICAgIHJlbGVhc2VDb250ZXh0ID0gcmVsZWFzZUNvbnRleHRGcm9tUHJvamVjdChwcm9qZWN0LCBjb250ZXh0KTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gcmVsZWFzZUNvbnRleHQ7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgcmVsZWFzZUNvbnRleHRGcm9tRGVwZW5kZW5jeVxufTtcbiJdLCJuYW1lcyI6WyJyZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IiwibG9hZFByb2plY3QiLCJvY2NhbUZpbGVTeXN0ZW1VdGlsaXRpZXMiLCJjb25jYXRlbmF0ZVBhdGhzIiwicGF0aFV0aWxpdGllcyIsInJlYWRGaWxlIiwibmVjZXNzYXJ5RmlsZVN5c3RlbVV0aWxpdGllcyIsImlzRW50cnlGaWxlIiwiY2hlY2tFbnRyeUV4aXN0cyIsInJlbGVhc2VDb250ZXh0RnJvbUpTT04iLCJyZWxlYXNlQ29udGV4dFV0aWxpdGllcyIsInJlbGVhc2VDb250ZXh0RnJvbVByb2plY3QiLCJkZXBlbmRlbmN5IiwiY29udGV4dCIsInJlbGVhc2VDb250ZXh0IiwicHJvamVjdHNEaXJlY3RvcnlQYXRoIiwiZGVwZW5kZW5jeU5hbWUiLCJlbnRyeVBhdGgiLCJlbnRyeUV4aXN0cyIsImVudHJ5RmlsZSIsImZpbGVQYXRoIiwiY29udGVudCIsImpzb25TdHJpbmciLCJqc29uIiwicHJvamVjdE5hbWUiLCJwcm9qZWN0IiwicHJvY2VzcyIsImN3ZCIsImdldE5hbWUiLCJKU09OIiwicGFyc2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQXdDQTtlQUFBOztRQTdCc0JBO2VBQUFBOzs7OEJBVGtCOytCQUN3Qjt5QkFDbUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFbkYsSUFBTSxBQUFFQyxjQUFnQkMsb0NBQXdCLENBQXhDRCxhQUNGLEFBQUVFLG1CQUFxQkMsd0JBQWEsQ0FBbENELGtCQUNBRSxXQUE0Q0MsOEJBQTRCLENBQXhFRCxVQUFVRSxjQUFrQ0QsOEJBQTRCLENBQTlEQyxhQUFhQyxtQkFBcUJGLDhCQUE0QixDQUFqREUsa0JBQ3ZCQyx5QkFBc0RDLHVDQUF1QixDQUE3RUQsd0JBQXdCRSw0QkFBOEJELHVDQUF1QixDQUFyREM7QUFFekIsU0FBZVgsNkJBQTZCWSxVQUFVLEVBQUVDLE9BQU87O1lBQ2hFQyxnQkFFRUMsdUJBQ0FDLGdCQUNBQyxXQUNBQyxhQUdFQyxXQUdFQyxVQUNBQyxTQUNBQyxZQUNBQyxNQUlBQyxhQUNBQzs7WUFuQk5YLGlCQUFpQjtZQUVmQyx3QkFBd0JXLFFBQVFDLEdBQUcsSUFDbkNYLGlCQUFpQkosV0FBV2dCLE9BQU8sSUFDbkNYLFlBQVlkLGlCQUFpQlksdUJBQXVCQyxpQkFDcERFLGNBQWNWLGlCQUFpQlM7WUFFckMsSUFBSUMsYUFBYTtnQkFDVEMsWUFBWVosWUFBWVU7Z0JBRTlCLElBQUlFLFdBQVc7b0JBQ1BDLFdBQVdILFdBQ1hJLFVBQVVoQixTQUFTZSxXQUNuQkUsYUFBYUQsU0FDYkUsT0FBT00sS0FBS0MsS0FBSyxDQUFDUjtvQkFFeEJSLGlCQUFpQkwsdUJBQXVCYyxNQUFNVjtnQkFDaEQsT0FBTztvQkFDQ1csY0FBY1IsZ0JBQ2RTLFVBQVV4QixZQUFZdUIsYUFBYVQ7b0JBRXpDRCxpQkFBaUJILDBCQUEwQmMsU0FBU1o7Z0JBQ3REO1lBQ0Y7WUFFQTs7Z0JBQU9DOzs7SUFDVDs7SUFFQSxXQUFlO0lBQ2JkLDhCQUFBQTtBQUNGIn0=
|
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.657",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -13,12 +13,12 @@
|
|
|
13
13
|
"argumentative": "^2.0.36",
|
|
14
14
|
"necessary": "^17.0.9",
|
|
15
15
|
"occam-file-system": "^6.0.505",
|
|
16
|
-
"occam-furtle": "^3.0.
|
|
16
|
+
"occam-furtle": "^3.0.126",
|
|
17
17
|
"occam-grammars": "^1.3.512",
|
|
18
|
-
"occam-languages": "^0.0.
|
|
18
|
+
"occam-languages": "^0.0.104",
|
|
19
19
|
"occam-lexers": "^23.1.34",
|
|
20
20
|
"occam-model": "^1.0.496",
|
|
21
|
-
"occam-nominal": "^1.0.
|
|
21
|
+
"occam-nominal": "^1.0.50",
|
|
22
22
|
"occam-parsers": "^23.1.42"
|
|
23
23
|
},
|
|
24
24
|
"devDependencies": {
|
package/src/action/verify.js
CHANGED
|
@@ -3,12 +3,13 @@
|
|
|
3
3
|
import "../preamble";
|
|
4
4
|
|
|
5
5
|
import { Dependency } from "occam-model";
|
|
6
|
-
import { releaseContextUtilities } from "occam-languages";
|
|
6
|
+
import { verificationUtilities, releaseContextUtilities } from "occam-languages";
|
|
7
7
|
|
|
8
8
|
import { FileContextFromFilePath } from "../utilities/fileContext";
|
|
9
9
|
import { releaseContextFromDependency } from "../utilities/releaseContext";
|
|
10
10
|
|
|
11
|
-
const {
|
|
11
|
+
const { releaseContextFromJSON } = releaseContextUtilities,
|
|
12
|
+
{ createReleaseContext, verifyReleaseContext, initialiseReleaseContext } = verificationUtilities;
|
|
12
13
|
|
|
13
14
|
export default async function verifyAction(name, log) {
|
|
14
15
|
const callback = async (context, filePath, lineIndex) => {
|
package/src/index.js
CHANGED
package/src/utilities/clock.js
CHANGED
|
@@ -31,9 +31,7 @@ export async function releaseContextFromDependency(dependency, context) {
|
|
|
31
31
|
const projectName = dependencyName, ///
|
|
32
32
|
project = loadProject(projectName, projectsDirectoryPath);
|
|
33
33
|
|
|
34
|
-
|
|
35
|
-
releaseContext = releaseContextFromProject(project, context);
|
|
36
|
-
}
|
|
34
|
+
releaseContext = releaseContextFromProject(project, context);
|
|
37
35
|
}
|
|
38
36
|
}
|
|
39
37
|
|