occam-verify-cli 1.0.472 → 1.0.473
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/package.json +2 -2
- package/lib/utilities/node.js +0 -71
- package/src/utilities/node.js +0 -85
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.473",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -15,7 +15,7 @@
|
|
|
15
15
|
"occam-custom-grammars": "^5.0.1340",
|
|
16
16
|
"occam-entities": "^1.0.444",
|
|
17
17
|
"occam-file-system": "^6.0.459",
|
|
18
|
-
"occam-furtle": "^2.0.
|
|
18
|
+
"occam-furtle": "^2.0.283",
|
|
19
19
|
"occam-grammars": "^1.3.437",
|
|
20
20
|
"occam-lexers": "^23.1.34",
|
|
21
21
|
"occam-parsers": "^23.1.37",
|
package/lib/utilities/node.js
DELETED
|
@@ -1,71 +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: Object.getOwnPropertyDescriptor(all, name).get
|
|
9
|
-
});
|
|
10
|
-
}
|
|
11
|
-
_export(exports, {
|
|
12
|
-
get nodeAsString () {
|
|
13
|
-
return nodeAsString;
|
|
14
|
-
},
|
|
15
|
-
get nodesAsString () {
|
|
16
|
-
return nodesAsString;
|
|
17
|
-
}
|
|
18
|
-
});
|
|
19
|
-
var _constants = require("../constants");
|
|
20
|
-
function nodeAsString(node, tokens) {
|
|
21
|
-
var string;
|
|
22
|
-
tokens = nodeAsTokens(node, tokens); ///
|
|
23
|
-
string = tokensAsString(tokens);
|
|
24
|
-
string = trimString(string); ///
|
|
25
|
-
return string;
|
|
26
|
-
}
|
|
27
|
-
function nodesAsString(nodes, tokens) {
|
|
28
|
-
var string = nodes.reduce(function(string, node) {
|
|
29
|
-
var nodeString = nodeAsString(node, tokens);
|
|
30
|
-
string = string === null ? nodeString : "".concat(string, ", ").concat(nodeString);
|
|
31
|
-
return string;
|
|
32
|
-
}, null);
|
|
33
|
-
return string;
|
|
34
|
-
}
|
|
35
|
-
function trimString(string) {
|
|
36
|
-
string = string.replace(/\s+$/, _constants.EMPTY_STRING); ///
|
|
37
|
-
return string;
|
|
38
|
-
}
|
|
39
|
-
function tokensAsString(tokens) {
|
|
40
|
-
var string = tokens.reduce(function(string, token) {
|
|
41
|
-
var content = token.getContent();
|
|
42
|
-
string = "".concat(string).concat(content);
|
|
43
|
-
return string;
|
|
44
|
-
}, _constants.EMPTY_STRING);
|
|
45
|
-
return string;
|
|
46
|
-
}
|
|
47
|
-
function nodeAsTokens(node, tokens) {
|
|
48
|
-
var nodeTerminalNode = node.isTerminalNode();
|
|
49
|
-
if (nodeTerminalNode) {
|
|
50
|
-
var terminalNode = node; ///
|
|
51
|
-
tokens = terminalNodeAsTokens(terminalNode, tokens);
|
|
52
|
-
} else {
|
|
53
|
-
var nonTerminalNode = node; ///
|
|
54
|
-
tokens = nonTerminalNodeAsTokens(nonTerminalNode, tokens);
|
|
55
|
-
}
|
|
56
|
-
return tokens;
|
|
57
|
-
}
|
|
58
|
-
function terminalNodeAsTokens(terminalNode, tokens) {
|
|
59
|
-
var significantToken = terminalNode.getSignificantToken(), token = significantToken; ///
|
|
60
|
-
tokens = [
|
|
61
|
-
token
|
|
62
|
-
];
|
|
63
|
-
return tokens;
|
|
64
|
-
}
|
|
65
|
-
function nonTerminalNodeAsTokens(nonTerminalNode, tokens) {
|
|
66
|
-
var lastSignificantTokenIndex = nonTerminalNode.getLastSignificantTokenIndex(tokens), firstSignificantTokenIndex = nonTerminalNode.getFirstSignificantTokenIndex(tokens), start = firstSignificantTokenIndex, end = lastSignificantTokenIndex + 1;
|
|
67
|
-
tokens = tokens.slice(start, end); ///
|
|
68
|
-
return tokens;
|
|
69
|
-
}
|
|
70
|
-
|
|
71
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbm9kZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgRU1QVFlfU1RSSU5HIH0gZnJvbSBcIi4uL2NvbnN0YW50c1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gbm9kZUFzU3RyaW5nKG5vZGUsIHRva2Vucykge1xuICBsZXQgc3RyaW5nO1xuXG4gIHRva2VucyA9IG5vZGVBc1Rva2Vucyhub2RlLCB0b2tlbnMpOyAgLy8vXG5cbiAgc3RyaW5nID0gdG9rZW5zQXNTdHJpbmcodG9rZW5zKTtcblxuICBzdHJpbmcgPSB0cmltU3RyaW5nKHN0cmluZyk7ICAvLy9cblxuICByZXR1cm4gc3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbm9kZXNBc1N0cmluZyhub2RlcywgdG9rZW5zKSB7XG4gIGNvbnN0IHN0cmluZyA9IG5vZGVzLnJlZHVjZSgoc3RyaW5nLCBub2RlKSA9PiB7XG4gICAgY29uc3Qgbm9kZVN0cmluZyA9IG5vZGVBc1N0cmluZyhub2RlLCB0b2tlbnMpO1xuXG4gICAgc3RyaW5nID0gKHN0cmluZyA9PT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgbm9kZVN0cmluZyA6XG4gICAgICAgICAgICAgICAgYCR7c3RyaW5nfSwgJHtub2RlU3RyaW5nfWA7XG5cbiAgICByZXR1cm4gc3RyaW5nO1xuICB9LCBudWxsKTtcblxuICByZXR1cm4gc3RyaW5nO1xufVxuXG5mdW5jdGlvbiB0cmltU3RyaW5nKHN0cmluZykge1xuICBzdHJpbmcgPSBzdHJpbmcucmVwbGFjZSgvXFxzKyQvLCBFTVBUWV9TVFJJTkcpOyAgLy8vXG5cbiAgcmV0dXJuIHN0cmluZztcbn1cblxuZnVuY3Rpb24gdG9rZW5zQXNTdHJpbmcodG9rZW5zKSB7XG4gIGNvbnN0IHN0cmluZyA9IHRva2Vucy5yZWR1Y2UoKHN0cmluZywgdG9rZW4pID0+IHtcbiAgICBjb25zdCBjb250ZW50ID0gdG9rZW4uZ2V0Q29udGVudCgpO1xuXG4gICAgc3RyaW5nID0gYCR7c3RyaW5nfSR7Y29udGVudH1gO1xuXG4gICAgcmV0dXJuIHN0cmluZztcbiAgfSwgRU1QVFlfU1RSSU5HKTtcblxuICByZXR1cm4gc3RyaW5nO1xufVxuXG5mdW5jdGlvbiBub2RlQXNUb2tlbnMobm9kZSwgdG9rZW5zKSB7XG4gIGNvbnN0IG5vZGVUZXJtaW5hbE5vZGUgPSBub2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgaWYgKG5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBub2RlOyAgLy8vXG5cbiAgICB0b2tlbnMgPSB0ZXJtaW5hbE5vZGVBc1Rva2Vucyh0ZXJtaW5hbE5vZGUsIHRva2Vucyk7XG4gIH0gZWxzZSB7XG4gICAgY29uc3Qgbm9uVGVybWluYWxOb2RlID0gbm9kZTsgLy8vXG5cbiAgICB0b2tlbnMgPSBub25UZXJtaW5hbE5vZGVBc1Rva2Vucyhub25UZXJtaW5hbE5vZGUsIHRva2Vucyk7XG4gIH1cblxuICByZXR1cm4gdG9rZW5zO1xufVxuXG5mdW5jdGlvbiB0ZXJtaW5hbE5vZGVBc1Rva2Vucyh0ZXJtaW5hbE5vZGUsIHRva2Vucykge1xuICBjb25zdCBzaWduaWZpY2FudFRva2VuID0gdGVybWluYWxOb2RlLmdldFNpZ25pZmljYW50VG9rZW4oKSxcbiAgICAgICAgdG9rZW4gPSBzaWduaWZpY2FudFRva2VuOyAvLy9cblxuICB0b2tlbnMgPSBbICAvLy9cbiAgICB0b2tlblxuICBdO1xuXG4gIHJldHVybiB0b2tlbnM7XG59XG5cbmZ1bmN0aW9uIG5vblRlcm1pbmFsTm9kZUFzVG9rZW5zKG5vblRlcm1pbmFsTm9kZSwgdG9rZW5zKSB7XG4gIGNvbnN0IGxhc3RTaWduaWZpY2FudFRva2VuSW5kZXggPSBub25UZXJtaW5hbE5vZGUuZ2V0TGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCh0b2tlbnMpLFxuICAgICAgICBmaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCA9IG5vblRlcm1pbmFsTm9kZS5nZXRGaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCh0b2tlbnMpLFxuICAgICAgICBzdGFydCA9IGZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4LCAvLy9cbiAgICAgICAgZW5kID0gbGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCArIDE7XG5cbiAgdG9rZW5zID0gdG9rZW5zLnNsaWNlKHN0YXJ0LCBlbmQpOyAgLy8vXG5cbiAgcmV0dXJuIHRva2Vucztcbn1cbiJdLCJuYW1lcyI6WyJub2RlQXNTdHJpbmciLCJub2Rlc0FzU3RyaW5nIiwibm9kZSIsInRva2VucyIsInN0cmluZyIsIm5vZGVBc1Rva2VucyIsInRva2Vuc0FzU3RyaW5nIiwidHJpbVN0cmluZyIsIm5vZGVzIiwicmVkdWNlIiwibm9kZVN0cmluZyIsInJlcGxhY2UiLCJFTVBUWV9TVFJJTkciLCJ0b2tlbiIsImNvbnRlbnQiLCJnZXRDb250ZW50Iiwibm9kZVRlcm1pbmFsTm9kZSIsImlzVGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlQXNUb2tlbnMiLCJub25UZXJtaW5hbE5vZGUiLCJub25UZXJtaW5hbE5vZGVBc1Rva2VucyIsInNpZ25pZmljYW50VG9rZW4iLCJnZXRTaWduaWZpY2FudFRva2VuIiwibGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsImdldExhc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJmaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsImdldEZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4Iiwic3RhcnQiLCJlbmQiLCJzbGljZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBSWdCQTtlQUFBQTs7UUFZQUM7ZUFBQUE7Ozt5QkFkYTtBQUV0QixTQUFTRCxhQUFhRSxJQUFJLEVBQUVDLE1BQU07SUFDdkMsSUFBSUM7SUFFSkQsU0FBU0UsYUFBYUgsTUFBTUMsU0FBVSxHQUFHO0lBRXpDQyxTQUFTRSxlQUFlSDtJQUV4QkMsU0FBU0csV0FBV0gsU0FBVSxHQUFHO0lBRWpDLE9BQU9BO0FBQ1Q7QUFFTyxTQUFTSCxjQUFjTyxLQUFLLEVBQUVMLE1BQU07SUFDekMsSUFBTUMsU0FBU0ksTUFBTUMsTUFBTSxDQUFDLFNBQUNMLFFBQVFGO1FBQ25DLElBQU1RLGFBQWFWLGFBQWFFLE1BQU1DO1FBRXRDQyxTQUFTLEFBQUNBLFdBQVcsT0FDVk0sYUFDQyxBQUFDLEdBQWFBLE9BQVhOLFFBQU8sTUFBZSxPQUFYTTtRQUUxQixPQUFPTjtJQUNULEdBQUc7SUFFSCxPQUFPQTtBQUNUO0FBRUEsU0FBU0csV0FBV0gsTUFBTTtJQUN4QkEsU0FBU0EsT0FBT08sT0FBTyxDQUFDLFFBQVFDLHVCQUFZLEdBQUksR0FBRztJQUVuRCxPQUFPUjtBQUNUO0FBRUEsU0FBU0UsZUFBZUgsTUFBTTtJQUM1QixJQUFNQyxTQUFTRCxPQUFPTSxNQUFNLENBQUMsU0FBQ0wsUUFBUVM7UUFDcEMsSUFBTUMsVUFBVUQsTUFBTUUsVUFBVTtRQUVoQ1gsU0FBUyxBQUFDLEdBQVdVLE9BQVRWLFFBQWlCLE9BQVJVO1FBRXJCLE9BQU9WO0lBQ1QsR0FBR1EsdUJBQVk7SUFFZixPQUFPUjtBQUNUO0FBRUEsU0FBU0MsYUFBYUgsSUFBSSxFQUFFQyxNQUFNO0lBQ2hDLElBQU1hLG1CQUFtQmQsS0FBS2UsY0FBYztJQUU1QyxJQUFJRCxrQkFBa0I7UUFDcEIsSUFBTUUsZUFBZWhCLE1BQU8sR0FBRztRQUUvQkMsU0FBU2dCLHFCQUFxQkQsY0FBY2Y7SUFDOUMsT0FBTztRQUNMLElBQU1pQixrQkFBa0JsQixNQUFNLEdBQUc7UUFFakNDLFNBQVNrQix3QkFBd0JELGlCQUFpQmpCO0lBQ3BEO0lBRUEsT0FBT0E7QUFDVDtBQUVBLFNBQVNnQixxQkFBcUJELFlBQVksRUFBRWYsTUFBTTtJQUNoRCxJQUFNbUIsbUJBQW1CSixhQUFhSyxtQkFBbUIsSUFDbkRWLFFBQVFTLGtCQUFrQixHQUFHO0lBRW5DbkIsU0FBUztRQUNQVTtLQUNEO0lBRUQsT0FBT1Y7QUFDVDtBQUVBLFNBQVNrQix3QkFBd0JELGVBQWUsRUFBRWpCLE1BQU07SUFDdEQsSUFBTXFCLDRCQUE0QkosZ0JBQWdCSyw0QkFBNEIsQ0FBQ3RCLFNBQ3pFdUIsNkJBQTZCTixnQkFBZ0JPLDZCQUE2QixDQUFDeEIsU0FDM0V5QixRQUFRRiw0QkFDUkcsTUFBTUwsNEJBQTRCO0lBRXhDckIsU0FBU0EsT0FBTzJCLEtBQUssQ0FBQ0YsT0FBT0MsTUFBTyxHQUFHO0lBRXZDLE9BQU8xQjtBQUNUIn0=
|
package/src/utilities/node.js
DELETED
|
@@ -1,85 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
|
|
3
|
-
import { EMPTY_STRING } from "../constants";
|
|
4
|
-
|
|
5
|
-
export function nodeAsString(node, tokens) {
|
|
6
|
-
let string;
|
|
7
|
-
|
|
8
|
-
tokens = nodeAsTokens(node, tokens); ///
|
|
9
|
-
|
|
10
|
-
string = tokensAsString(tokens);
|
|
11
|
-
|
|
12
|
-
string = trimString(string); ///
|
|
13
|
-
|
|
14
|
-
return string;
|
|
15
|
-
}
|
|
16
|
-
|
|
17
|
-
export function nodesAsString(nodes, tokens) {
|
|
18
|
-
const string = nodes.reduce((string, node) => {
|
|
19
|
-
const nodeString = nodeAsString(node, tokens);
|
|
20
|
-
|
|
21
|
-
string = (string === null) ?
|
|
22
|
-
nodeString :
|
|
23
|
-
`${string}, ${nodeString}`;
|
|
24
|
-
|
|
25
|
-
return string;
|
|
26
|
-
}, null);
|
|
27
|
-
|
|
28
|
-
return string;
|
|
29
|
-
}
|
|
30
|
-
|
|
31
|
-
function trimString(string) {
|
|
32
|
-
string = string.replace(/\s+$/, EMPTY_STRING); ///
|
|
33
|
-
|
|
34
|
-
return string;
|
|
35
|
-
}
|
|
36
|
-
|
|
37
|
-
function tokensAsString(tokens) {
|
|
38
|
-
const string = tokens.reduce((string, token) => {
|
|
39
|
-
const content = token.getContent();
|
|
40
|
-
|
|
41
|
-
string = `${string}${content}`;
|
|
42
|
-
|
|
43
|
-
return string;
|
|
44
|
-
}, EMPTY_STRING);
|
|
45
|
-
|
|
46
|
-
return string;
|
|
47
|
-
}
|
|
48
|
-
|
|
49
|
-
function nodeAsTokens(node, tokens) {
|
|
50
|
-
const nodeTerminalNode = node.isTerminalNode();
|
|
51
|
-
|
|
52
|
-
if (nodeTerminalNode) {
|
|
53
|
-
const terminalNode = node; ///
|
|
54
|
-
|
|
55
|
-
tokens = terminalNodeAsTokens(terminalNode, tokens);
|
|
56
|
-
} else {
|
|
57
|
-
const nonTerminalNode = node; ///
|
|
58
|
-
|
|
59
|
-
tokens = nonTerminalNodeAsTokens(nonTerminalNode, tokens);
|
|
60
|
-
}
|
|
61
|
-
|
|
62
|
-
return tokens;
|
|
63
|
-
}
|
|
64
|
-
|
|
65
|
-
function terminalNodeAsTokens(terminalNode, tokens) {
|
|
66
|
-
const significantToken = terminalNode.getSignificantToken(),
|
|
67
|
-
token = significantToken; ///
|
|
68
|
-
|
|
69
|
-
tokens = [ ///
|
|
70
|
-
token
|
|
71
|
-
];
|
|
72
|
-
|
|
73
|
-
return tokens;
|
|
74
|
-
}
|
|
75
|
-
|
|
76
|
-
function nonTerminalNodeAsTokens(nonTerminalNode, tokens) {
|
|
77
|
-
const lastSignificantTokenIndex = nonTerminalNode.getLastSignificantTokenIndex(tokens),
|
|
78
|
-
firstSignificantTokenIndex = nonTerminalNode.getFirstSignificantTokenIndex(tokens),
|
|
79
|
-
start = firstSignificantTokenIndex, ///
|
|
80
|
-
end = lastSignificantTokenIndex + 1;
|
|
81
|
-
|
|
82
|
-
tokens = tokens.slice(start, end); ///
|
|
83
|
-
|
|
84
|
-
return tokens;
|
|
85
|
-
}
|