occam-verify-cli 0.0.325 → 0.0.328
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/callbacks.js +25 -13
- package/lib/callbacks.js +9 -2
- package/package.json +2 -2
- package/src/callbacks.js +13 -1
- package/bin/messages.js +0 -11
package/bin/callbacks.js
CHANGED
|
@@ -1,25 +1,41 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
const {
|
|
4
|
-
{ Callbacks } = require("../lib/index"),
|
|
3
|
+
const { Callbacks } = require("../lib/index"),
|
|
5
4
|
{ loggingUtilities } = require("necessary");
|
|
6
5
|
|
|
7
|
-
const { HALT_MESSAGE, BEGIN_MESSAGE, COMPLETED_MESSAGE } = require("./messages");
|
|
8
|
-
|
|
9
6
|
const { log } = loggingUtilities,
|
|
10
|
-
{
|
|
7
|
+
{ trace } = log,
|
|
8
|
+
{ HALT_MESSAGE, BEGIN_MESSAGE, COMPLETED_MESSAGE } = Callbacks;
|
|
9
|
+
|
|
10
|
+
function halt(filePath, leastLineIndex, greatestLineIndex) {
|
|
11
|
+
let message = HALT_MESSAGE;
|
|
12
|
+
|
|
13
|
+
message = formatMessage(message, filePath, leastLineIndex, greatestLineIndex); ///
|
|
14
|
+
|
|
15
|
+
trace(message);
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
function begin(filePath, leastLineIndex, greatestLineIndex) {
|
|
19
|
+
let message = BEGIN_MESSAGE;
|
|
11
20
|
|
|
12
|
-
|
|
21
|
+
message = formatMessage(message, filePath, leastLineIndex, greatestLineIndex); ///
|
|
13
22
|
|
|
14
|
-
|
|
23
|
+
trace(message);
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
function complete(filePath, leastLineIndex, greatestLineIndex) {
|
|
27
|
+
let message = COMPLETED_MESSAGE;
|
|
28
|
+
|
|
29
|
+
message = formatMessage(message, filePath, leastLineIndex, greatestLineIndex); ///
|
|
15
30
|
|
|
16
|
-
|
|
31
|
+
trace(message);
|
|
32
|
+
}
|
|
17
33
|
|
|
18
34
|
const callbacks = Callbacks.fromHaltBeginAndComplete(halt, begin, complete);
|
|
19
35
|
|
|
20
36
|
module.exports = callbacks;
|
|
21
37
|
|
|
22
|
-
function
|
|
38
|
+
function formatMessage(message, filePath, leastLineIndex, greatestLineIndex) {
|
|
23
39
|
if (leastLineIndex === greatestLineIndex) {
|
|
24
40
|
const lineIndex = leastLineIndex; ///
|
|
25
41
|
|
|
@@ -28,9 +44,5 @@ function logMessage(message, filePath, leastLineIndex, greatestLineIndex) {
|
|
|
28
44
|
message = `'${filePath}' : [${leastLineIndex}-${greatestLineIndex}] - ${message}`;
|
|
29
45
|
}
|
|
30
46
|
|
|
31
|
-
const level = TRACE_LEVEL;
|
|
32
|
-
|
|
33
|
-
log(message, level);
|
|
34
|
-
|
|
35
47
|
return message;
|
|
36
48
|
}
|
package/lib/callbacks.js
CHANGED
|
@@ -5,7 +5,7 @@ Object.defineProperty(exports, "__esModule", {
|
|
|
5
5
|
Object.defineProperty(exports, "default", {
|
|
6
6
|
enumerable: true,
|
|
7
7
|
get: function() {
|
|
8
|
-
return
|
|
8
|
+
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
11
|
function _classCallCheck(instance, Constructor) {
|
|
@@ -27,6 +27,7 @@ function _createClass(Constructor, protoProps, staticProps) {
|
|
|
27
27
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
28
28
|
return Constructor;
|
|
29
29
|
}
|
|
30
|
+
var HALT_MESSAGE = "Halted verification.", BEGIN_MESSAGE = "Begun verification...", COMPLETED_MESSAGE = "...completed verification.";
|
|
30
31
|
var Callbacks = /*#__PURE__*/ function() {
|
|
31
32
|
function Callbacks(halt, begin, complete) {
|
|
32
33
|
_classCallCheck(this, Callbacks);
|
|
@@ -64,5 +65,11 @@ var Callbacks = /*#__PURE__*/ function() {
|
|
|
64
65
|
]);
|
|
65
66
|
return Callbacks;
|
|
66
67
|
}();
|
|
68
|
+
Object.assign(Callbacks, {
|
|
69
|
+
HALT_MESSAGE: HALT_MESSAGE,
|
|
70
|
+
BEGIN_MESSAGE: BEGIN_MESSAGE,
|
|
71
|
+
COMPLETED_MESSAGE: COMPLETED_MESSAGE
|
|
72
|
+
});
|
|
73
|
+
var _default = Callbacks;
|
|
67
74
|
|
|
68
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
75
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jYWxsYmFja3MuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmNvbnN0IEhBTFRfTUVTU0FHRSA9IFwiSGFsdGVkIHZlcmlmaWNhdGlvbi5cIixcbiAgICAgIEJFR0lOX01FU1NBR0UgPSBcIkJlZ3VuIHZlcmlmaWNhdGlvbi4uLlwiLFxuICAgICAgQ09NUExFVEVEX01FU1NBR0UgPSBcIi4uLmNvbXBsZXRlZCB2ZXJpZmljYXRpb24uXCI7XG5cbmNsYXNzIENhbGxiYWNrcyB7XG4gIGNvbnN0cnVjdG9yKGhhbHQsIGJlZ2luLCBjb21wbGV0ZSkge1xuICAgIHRoaXMuaGFsdCA9IGhhbHQ7XG4gICAgdGhpcy5iZWdpbiA9IGJlZ2luO1xuICAgIHRoaXMuY29tcGxldGUgPSBjb21wbGV0ZTtcbiAgfVxuXG4gIGdldEhhbHQoKSB7XG4gICAgcmV0dXJuIHRoaXMuaGFsdDtcbiAgfVxuXG4gIGdldEJlZ2luKCkge1xuICAgIHJldHVybiB0aGlzLmJlZ2luO1xuICB9XG5cbiAgZ2V0Q29tcGxldGUoKSB7XG4gICAgcmV0dXJuIHRoaXMuY29tcGxldGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbUhhbHRCZWdpbkFuZENvbXBsZXRlKGhhbHQsIGJlZ2luLCBjb21wbGV0ZSkge1xuICAgIGNvbnN0IGNhbGxiYWNrcyA9IG5ldyBDYWxsYmFja3MoaGFsdCwgYmVnaW4sIGNvbXBsZXRlKTtcblxuICAgIHJldHVybiBjYWxsYmFja3M7XG4gIH1cbn1cblxuT2JqZWN0LmFzc2lnbihDYWxsYmFja3MsIHtcbiAgSEFMVF9NRVNTQUdFLFxuICBCRUdJTl9NRVNTQUdFLFxuICBDT01QTEVURURfTUVTU0FHRVxufSk7XG5cbmV4cG9ydCBkZWZhdWx0IENhbGxiYWNrcztcbiJdLCJuYW1lcyI6WyJIQUxUX01FU1NBR0UiLCJCRUdJTl9NRVNTQUdFIiwiQ09NUExFVEVEX01FU1NBR0UiLCJDYWxsYmFja3MiLCJoYWx0IiwiYmVnaW4iLCJjb21wbGV0ZSIsImdldEhhbHQiLCJnZXRCZWdpbiIsImdldENvbXBsZXRlIiwiZnJvbUhhbHRCZWdpbkFuZENvbXBsZXRlIiwiY2FsbGJhY2tzIiwiT2JqZWN0IiwiYXNzaWduIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFzQ0E7OztlQUFBOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBcENBLElBQU1BLGVBQWUsd0JBQ2ZDLGdCQUFnQix5QkFDaEJDLG9CQUFvQjtBQUUxQixJQUFBLEFBQU1DLDBCQTBCSCxBQTFCSDthQUFNQSxVQUNRQyxJQUFJLEVBQUVDLEtBQUssRUFBRUMsUUFBUTs4QkFEN0JIO1FBRUYsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxLQUFLLEdBQUdBO1FBQ2IsSUFBSSxDQUFDQyxRQUFRLEdBQUdBOztpQkFKZEg7O1lBT0pJLEtBQUFBO21CQUFBQSxTQUFBQSxVQUFVO2dCQUNSLE9BQU8sSUFBSSxDQUFDSCxJQUFJO1lBQ2xCOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLFdBQVc7Z0JBQ1QsT0FBTyxJQUFJLENBQUNILEtBQUs7WUFDbkI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUEsY0FBYztnQkFDWixPQUFPLElBQUksQ0FBQ0gsUUFBUTtZQUN0Qjs7OztZQUVPSSxLQUFBQTttQkFBUCxTQUFPQSx5QkFBeUJOLElBQUksRUFBRUMsS0FBSyxFQUFFQyxRQUFRLEVBQUU7Z0JBQ3JELElBQU1LLFlBQVksSUFwQmhCUixVQW9COEJDLE1BQU1DLE9BQU9DO2dCQUU3QyxPQUFPSztZQUNUOzs7V0F2QklSOztBQTBCTlMsT0FBT0MsTUFBTSxDQUFDVixXQUFXO0lBQ3ZCSCxjQUFBQTtJQUNBQyxlQUFBQTtJQUNBQyxtQkFBQUE7QUFDRjtJQUVBLFdBQWVDIn0=
|
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.328",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -14,7 +14,7 @@
|
|
|
14
14
|
"necessary": "^11.0.40",
|
|
15
15
|
"occam-custom-grammars": "^5.0.357",
|
|
16
16
|
"occam-dom": "^3.0.171",
|
|
17
|
-
"occam-file-system": "^5.0.
|
|
17
|
+
"occam-file-system": "^5.0.46",
|
|
18
18
|
"occam-grammar-utilities": "^7.0.66"
|
|
19
19
|
},
|
|
20
20
|
"devDependencies": {
|
package/src/callbacks.js
CHANGED
|
@@ -1,6 +1,10 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
const HALT_MESSAGE = "Halted verification.",
|
|
4
|
+
BEGIN_MESSAGE = "Begun verification...",
|
|
5
|
+
COMPLETED_MESSAGE = "...completed verification.";
|
|
6
|
+
|
|
7
|
+
class Callbacks {
|
|
4
8
|
constructor(halt, begin, complete) {
|
|
5
9
|
this.halt = halt;
|
|
6
10
|
this.begin = begin;
|
|
@@ -25,3 +29,11 @@ export default class Callbacks {
|
|
|
25
29
|
return callbacks;
|
|
26
30
|
}
|
|
27
31
|
}
|
|
32
|
+
|
|
33
|
+
Object.assign(Callbacks, {
|
|
34
|
+
HALT_MESSAGE,
|
|
35
|
+
BEGIN_MESSAGE,
|
|
36
|
+
COMPLETED_MESSAGE
|
|
37
|
+
});
|
|
38
|
+
|
|
39
|
+
export default Callbacks;
|
package/bin/messages.js
DELETED