occam-verify-cli 1.0.192 → 1.0.198
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/context/file.js +3 -3
- package/lib/dom/assertion/contained.js +12 -24
- package/lib/dom/assertion/defined.js +9 -21
- package/lib/dom/assertion/property.js +7 -7
- package/lib/dom/assertion/satisfies.js +6 -8
- package/lib/dom/declaration/complexType.js +3 -3
- package/lib/dom/declaration/constructor.js +6 -6
- package/lib/dom/declaration/variable.js +6 -6
- package/lib/dom/declaration.js +13 -13
- package/lib/dom/frame.js +7 -7
- package/lib/dom/judgement.js +7 -7
- package/lib/dom/propertyRelation.js +7 -7
- package/lib/dom/term.js +1 -3
- package/lib/dom/topLevelMetaAssertion.js +77 -131
- package/lib/dom/type.js +2 -2
- package/lib/equivalence.js +4 -6
- package/lib/mixins/term/verify.js +4 -8
- package/lib/node/argument.js +116 -0
- package/lib/node/assertion/contained.js +31 -23
- package/lib/node/assertion/defined.js +30 -17
- package/lib/node/assertion/property.js +14 -19
- package/lib/node/assertion/satisfies.js +20 -13
- package/lib/node/assertion/subproof.js +11 -11
- package/lib/node/assertion/type.js +12 -17
- package/lib/node/combinator.js +9 -4
- package/lib/node/conclusion.js +11 -11
- package/lib/node/constructor.js +9 -4
- package/lib/node/declaration/combinator.js +11 -11
- package/lib/node/declaration/complexType.js +38 -34
- package/lib/node/declaration/constructor.js +24 -29
- package/lib/node/declaration/metavariable.js +12 -17
- package/lib/node/declaration/property.js +19 -24
- package/lib/node/declaration/type.js +41 -28
- package/lib/node/declaration/variable.js +12 -17
- package/lib/node/declaration.js +12 -17
- package/lib/node/deduction.js +11 -11
- package/lib/node/derivation.js +39 -11
- package/lib/node/equality.js +21 -18
- package/lib/node/error.js +9 -4
- package/lib/node/frame.js +13 -30
- package/lib/node/judgement.js +15 -20
- package/lib/node/label.js +11 -11
- package/lib/node/labels.js +11 -11
- package/lib/node/metaArgument.js +116 -0
- package/lib/node/metaType.js +9 -8
- package/lib/node/metavariable.js +12 -17
- package/lib/node/nonTerminal.js +200 -0
- package/lib/node/parameter.js +9 -4
- package/lib/node/parenthesisedLabel.js +116 -0
- package/lib/node/parenthesisedLabels.js +11 -11
- package/lib/node/premise.js +12 -17
- package/lib/node/procedureCall.js +12 -17
- package/lib/node/proof.js +11 -11
- package/lib/node/property.js +9 -4
- package/lib/node/propertyRelation.js +12 -17
- package/lib/node/reference.js +11 -11
- package/lib/node/rule.js +44 -7
- package/lib/node/statement.js +92 -53
- package/lib/node/step.js +12 -17
- package/lib/node/subDerivation.js +46 -11
- package/lib/node/subproof.js +19 -17
- package/lib/node/substitution/frame.js +123 -0
- package/lib/node/substitution/reference.js +123 -0
- package/lib/node/substitution/statement.js +123 -0
- package/lib/node/substitution/term.js +123 -0
- package/lib/node/supposition.js +12 -17
- package/lib/node/term.js +22 -33
- package/lib/node/topLevelAssertion.js +14 -29
- package/lib/node/topLevelMetaAssertion.js +26 -41
- package/lib/node/type.js +9 -4
- package/lib/node/types.js +116 -0
- package/lib/node/variable.js +9 -4
- package/lib/nonTerminalNodeMap.js +11 -3
- package/lib/ruleNames.js +33 -1
- package/lib/substitution/frame.js +5 -7
- package/lib/substitution/reference.js +5 -7
- package/lib/substitution/term.js +5 -7
- package/lib/unifier/metaLevel.js +4 -4
- package/lib/utilities/brackets.js +5 -5
- package/lib/utilities/json.js +18 -1
- package/lib/utilities/node.js +1 -313
- package/lib/utilities/subproof.js +13 -4
- package/package.json +1 -1
- package/src/context/file.js +2 -2
- package/src/dom/assertion/contained.js +12 -34
- package/src/dom/assertion/defined.js +9 -30
- package/src/dom/assertion/property.js +6 -8
- package/src/dom/assertion/satisfies.js +5 -10
- package/src/dom/declaration/complexType.js +2 -2
- package/src/dom/declaration/constructor.js +6 -7
- package/src/dom/declaration/variable.js +6 -7
- package/src/dom/declaration.js +11 -15
- package/src/dom/frame.js +4 -6
- package/src/dom/judgement.js +6 -8
- package/src/dom/propertyRelation.js +6 -8
- package/src/dom/term.js +0 -3
- package/src/dom/topLevelMetaAssertion.js +83 -39
- package/src/dom/type.js +2 -2
- package/src/equivalence.js +3 -6
- package/src/mixins/term/verify.js +5 -11
- package/src/node/argument.js +16 -0
- package/src/node/assertion/contained.js +30 -22
- package/src/node/assertion/defined.js +28 -15
- package/src/node/assertion/property.js +7 -17
- package/src/node/assertion/satisfies.js +11 -9
- package/src/node/assertion/subproof.js +4 -9
- package/src/node/assertion/type.js +6 -16
- package/src/node/combinator.js +1 -1
- package/src/node/conclusion.js +4 -9
- package/src/node/constructor.js +1 -1
- package/src/node/declaration/combinator.js +4 -9
- package/src/node/declaration/complexType.js +31 -35
- package/src/node/declaration/constructor.js +16 -26
- package/src/node/declaration/metavariable.js +6 -16
- package/src/node/declaration/property.js +13 -23
- package/src/node/declaration/type.js +35 -29
- package/src/node/declaration/variable.js +6 -16
- package/src/node/declaration.js +6 -16
- package/src/node/deduction.js +4 -9
- package/src/node/derivation.js +7 -10
- package/src/node/equality.js +19 -18
- package/src/node/error.js +1 -1
- package/src/node/frame.js +8 -35
- package/src/node/judgement.js +8 -18
- package/src/node/label.js +4 -9
- package/src/node/labels.js +4 -9
- package/src/node/metaArgument.js +16 -0
- package/src/node/metaType.js +1 -5
- package/src/node/metavariable.js +6 -16
- package/src/node/nonTerminal.js +112 -0
- package/src/node/parameter.js +1 -1
- package/src/node/parenthesisedLabel.js +16 -0
- package/src/node/parenthesisedLabels.js +5 -10
- package/src/node/premise.js +6 -16
- package/src/node/procedureCall.js +6 -16
- package/src/node/proof.js +4 -9
- package/src/node/property.js +1 -1
- package/src/node/propertyRelation.js +7 -16
- package/src/node/reference.js +4 -9
- package/src/node/rule.js +40 -3
- package/src/node/statement.js +109 -66
- package/src/node/step.js +6 -16
- package/src/node/subDerivation.js +14 -10
- package/src/node/subproof.js +13 -16
- package/src/node/substitution/frame.js +23 -0
- package/src/node/substitution/reference.js +23 -0
- package/src/node/substitution/statement.js +23 -0
- package/src/node/substitution/term.js +23 -0
- package/src/node/supposition.js +6 -16
- package/src/node/term.js +15 -39
- package/src/node/topLevelAssertion.js +13 -33
- package/src/node/topLevelMetaAssertion.js +20 -39
- package/src/node/type.js +1 -1
- package/src/node/types.js +16 -0
- package/src/node/variable.js +1 -1
- package/src/nonTerminalNodeMap.js +60 -36
- package/src/ruleNames.js +8 -0
- package/src/substitution/frame.js +7 -10
- package/src/substitution/reference.js +7 -10
- package/src/substitution/term.js +7 -9
- package/src/unifier/metaLevel.js +2 -3
- package/src/utilities/brackets.js +8 -8
- package/src/utilities/json.js +19 -0
- package/src/utilities/node.js +0 -168
- package/src/utilities/subproof.js +22 -6
package/lib/node/derivation.js
CHANGED
|
@@ -8,8 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DerivationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
12
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
|
+
var _ruleNames = require("../ruleNames");
|
|
13
|
+
function _array_like_to_array(arr, len) {
|
|
14
|
+
if (len == null || len > arr.length) len = arr.length;
|
|
15
|
+
for(var i = 0, arr2 = new Array(len); i < len; i++)arr2[i] = arr[i];
|
|
16
|
+
return arr2;
|
|
17
|
+
}
|
|
18
|
+
function _array_without_holes(arr) {
|
|
19
|
+
if (Array.isArray(arr)) return _array_like_to_array(arr);
|
|
20
|
+
}
|
|
13
21
|
function _assert_this_initialized(self) {
|
|
14
22
|
if (self === void 0) {
|
|
15
23
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -58,6 +66,17 @@ function _inherits(subClass, superClass) {
|
|
|
58
66
|
});
|
|
59
67
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
60
68
|
}
|
|
69
|
+
function _interop_require_default(obj) {
|
|
70
|
+
return obj && obj.__esModule ? obj : {
|
|
71
|
+
default: obj
|
|
72
|
+
};
|
|
73
|
+
}
|
|
74
|
+
function _iterable_to_array(iter) {
|
|
75
|
+
if (typeof Symbol !== "undefined" && iter[Symbol.iterator] != null || iter["@@iterator"] != null) return Array.from(iter);
|
|
76
|
+
}
|
|
77
|
+
function _non_iterable_spread() {
|
|
78
|
+
throw new TypeError("Invalid attempt to spread non-iterable instance.\\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.");
|
|
79
|
+
}
|
|
61
80
|
function _possible_constructor_return(self, call) {
|
|
62
81
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
63
82
|
return call;
|
|
@@ -71,10 +90,21 @@ function _set_prototype_of(o, p) {
|
|
|
71
90
|
};
|
|
72
91
|
return _set_prototype_of(o, p);
|
|
73
92
|
}
|
|
93
|
+
function _to_consumable_array(arr) {
|
|
94
|
+
return _array_without_holes(arr) || _iterable_to_array(arr) || _unsupported_iterable_to_array(arr) || _non_iterable_spread();
|
|
95
|
+
}
|
|
74
96
|
function _type_of(obj) {
|
|
75
97
|
"@swc/helpers - typeof";
|
|
76
98
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
77
99
|
}
|
|
100
|
+
function _unsupported_iterable_to_array(o, minLen) {
|
|
101
|
+
if (!o) return;
|
|
102
|
+
if (typeof o === "string") return _array_like_to_array(o, minLen);
|
|
103
|
+
var n = Object.prototype.toString.call(o).slice(8, -1);
|
|
104
|
+
if (n === "Object" && o.constructor) n = o.constructor.name;
|
|
105
|
+
if (n === "Map" || n === "Set") return Array.from(n);
|
|
106
|
+
if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
|
|
107
|
+
}
|
|
78
108
|
function _is_native_reflect_construct() {
|
|
79
109
|
try {
|
|
80
110
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -93,12 +123,10 @@ var DerivationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
123
|
{
|
|
94
124
|
key: "getStepOrSubproofNodes",
|
|
95
125
|
value: function getStepOrSubproofNodes() {
|
|
96
|
-
var
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
}
|
|
101
|
-
});
|
|
126
|
+
var ruleNames = [
|
|
127
|
+
_ruleNames.STEP_RULE_NAME,
|
|
128
|
+
_ruleNames.SUBPROOF_RULE_NAME
|
|
129
|
+
], stepOrSubproofNodes = this.getNodesByRuleName.apply(this, _to_consumable_array(ruleNames));
|
|
102
130
|
return stepOrSubproofNodes;
|
|
103
131
|
}
|
|
104
132
|
}
|
|
@@ -106,11 +134,11 @@ var DerivationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
106
134
|
{
|
|
107
135
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
108
136
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
109
|
-
return
|
|
137
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(DerivationNode, ruleName, childNodes, opacity, precedence);
|
|
110
138
|
}
|
|
111
139
|
}
|
|
112
140
|
]);
|
|
113
141
|
return DerivationNode;
|
|
114
|
-
}(
|
|
142
|
+
}(_nonTerminal.default);
|
|
115
143
|
|
|
116
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
144
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Rlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgU1RFUF9SVUxFX05BTUUsIFNVQlBST09GX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRGVyaXZhdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRTdGVwT3JTdWJwcm9vZk5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lcyA9IFtcbiAgICAgICAgICAgIFNURVBfUlVMRV9OQU1FLFxuICAgICAgICAgICAgU1VCUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgIF0sXG4gICAgICAgICAgc3RlcE9yU3VicHJvb2ZOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKC4uLnJ1bGVOYW1lcyk7XG5cbiAgICByZXR1cm4gc3RlcE9yU3VicHJvb2ZOb2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRGVyaXZhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkRlcml2YXRpb25Ob2RlIiwiZ2V0U3RlcE9yU3VicHJvb2ZOb2RlcyIsInJ1bGVOYW1lcyIsIlNURVBfUlVMRV9OQU1FIiwiU1VCUFJPT0ZfUlVMRV9OQU1FIiwic3RlcE9yU3VicHJvb2ZOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFdUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXBDLElBQUEsQUFBTUEsK0JBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxZQUFZO29CQUNWQyx5QkFBYztvQkFDZEMsNkJBQWtCO2lCQUNuQixFQUNEQyxzQkFBc0IsSUFBSSxDQUFDQyxrQkFBa0IsT0FBdkIsSUFBSSxFQUFvQixxQkFBR0o7Z0JBRXZELE9BQU9HO1lBQ1Q7Ozs7WUFFT0UsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNMLDBDQUEwQyxDQVg3SVAsZ0JBVzhKUSxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FYMU1YO0VBQXVCWSxvQkFBZSJ9
|
package/lib/node/equality.js
CHANGED
|
@@ -8,7 +8,9 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return EqualityNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _necessary = require("necessary");
|
|
12
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
13
|
+
var _ruleNames = require("../ruleNames");
|
|
12
14
|
function _assert_this_initialized(self) {
|
|
13
15
|
if (self === void 0) {
|
|
14
16
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -57,6 +59,11 @@ function _inherits(subClass, superClass) {
|
|
|
57
59
|
});
|
|
58
60
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
59
61
|
}
|
|
62
|
+
function _interop_require_default(obj) {
|
|
63
|
+
return obj && obj.__esModule ? obj : {
|
|
64
|
+
default: obj
|
|
65
|
+
};
|
|
66
|
+
}
|
|
60
67
|
function _possible_constructor_return(self, call) {
|
|
61
68
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
62
69
|
return call;
|
|
@@ -82,6 +89,7 @@ function _is_native_reflect_construct() {
|
|
|
82
89
|
return !!result;
|
|
83
90
|
})();
|
|
84
91
|
}
|
|
92
|
+
var first = _necessary.arrayUtilities.first, last = _necessary.arrayUtilities.last;
|
|
85
93
|
var EqualityNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
86
94
|
_inherits(EqualityNode, NonTerminalNode);
|
|
87
95
|
function EqualityNode() {
|
|
@@ -89,29 +97,24 @@ var EqualityNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
89
97
|
return _call_super(this, EqualityNode, arguments);
|
|
90
98
|
}
|
|
91
99
|
_create_class(EqualityNode, [
|
|
100
|
+
{
|
|
101
|
+
key: "getTermNodes",
|
|
102
|
+
value: function getTermNodes() {
|
|
103
|
+
var ruleName = _ruleNames.TERM_RULE_NAME, termNodes = this.getNodeByRuleName(ruleName);
|
|
104
|
+
return termNodes;
|
|
105
|
+
}
|
|
106
|
+
},
|
|
92
107
|
{
|
|
93
108
|
key: "getLeftTermNode",
|
|
94
109
|
value: function getLeftTermNode() {
|
|
95
|
-
var leftTermNode;
|
|
96
|
-
this.someChildNode(function(childNode, index) {
|
|
97
|
-
if (index === 0) {
|
|
98
|
-
leftTermNode = childNode; ///
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
});
|
|
110
|
+
var termNodes = this.getTermNodes(), firstTermNode = first(termNodes), leftTermNode = firstTermNode; ///
|
|
102
111
|
return leftTermNode;
|
|
103
112
|
}
|
|
104
113
|
},
|
|
105
114
|
{
|
|
106
115
|
key: "getRightTermNode",
|
|
107
116
|
value: function getRightTermNode() {
|
|
108
|
-
var rightTermNode;
|
|
109
|
-
this.someChildNode(function(childNode, index) {
|
|
110
|
-
if (index === 2) {
|
|
111
|
-
rightTermNode = childNode; ///
|
|
112
|
-
return true;
|
|
113
|
-
}
|
|
114
|
-
});
|
|
117
|
+
var termNodes = this.getTermNodes(), firstTermNode = last(termNodes), rightTermNode = firstTermNode; ///
|
|
115
118
|
return rightTermNode;
|
|
116
119
|
}
|
|
117
120
|
}
|
|
@@ -119,11 +122,11 @@ var EqualityNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
119
122
|
{
|
|
120
123
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
121
124
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
122
|
-
return
|
|
125
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence);
|
|
123
126
|
}
|
|
124
127
|
}
|
|
125
128
|
]);
|
|
126
129
|
return EqualityNode;
|
|
127
|
-
}(
|
|
130
|
+
}(_nonTerminal.default);
|
|
128
131
|
|
|
129
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
132
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQgeyBURVJNX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuY29uc3QgeyBmaXJzdCwgbGFzdCB9ID0gYXJyYXlVdGlsaXRpZXM7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEVxdWFsaXR5Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFRlcm1Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlcyA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHRlcm1Ob2RlcztcbiAgfVxuXG4gIGdldExlZnRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCB0ZXJtTm9kZXMgPSB0aGlzLmdldFRlcm1Ob2RlcygpLFxuICAgICAgICAgIGZpcnN0VGVybU5vZGUgPSBmaXJzdCh0ZXJtTm9kZXMpLFxuICAgICAgICAgIGxlZnRUZXJtTm9kZSA9IGZpcnN0VGVybU5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIGxlZnRUZXJtTm9kZTtcbiAgfVxuXG4gIGdldFJpZ2h0VGVybU5vZGUoKSB7XG4gICAgY29uc3QgdGVybU5vZGVzID0gdGhpcy5nZXRUZXJtTm9kZXMoKSxcbiAgICAgICAgICBmaXJzdFRlcm1Ob2RlID0gbGFzdCh0ZXJtTm9kZXMpLFxuICAgICAgICAgIHJpZ2h0VGVybU5vZGUgPSBmaXJzdFRlcm1Ob2RlOyAvLy9cblxuICAgIHJldHVybiByaWdodFRlcm1Ob2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShFcXVhbGl0eU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkVxdWFsaXR5Tm9kZSIsImZpcnN0IiwiYXJyYXlVdGlsaXRpZXMiLCJsYXN0IiwiZ2V0VGVybU5vZGVzIiwicnVsZU5hbWUiLCJURVJNX1JVTEVfTkFNRSIsInRlcm1Ob2RlcyIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0TGVmdFRlcm1Ob2RlIiwiZmlyc3RUZXJtTm9kZSIsImxlZnRUZXJtTm9kZSIsImdldFJpZ2h0VGVybU5vZGUiLCJyaWdodFRlcm1Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQVVxQkE7Ozt5QkFSVTtrRUFFSDt5QkFFRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUvQixJQUFRQyxRQUFnQkMseUJBQWMsQ0FBOUJELE9BQU9FLE9BQVNELHlCQUFjLENBQXZCQztBQUVBLElBQUEsQUFBTUgsNkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJJLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsWUFBWSxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtnQkFFekMsT0FBT0U7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNRixZQUFZLElBQUksQ0FBQ0gsWUFBWSxJQUM3Qk0sZ0JBQWdCVCxNQUFNTSxZQUN0QkksZUFBZUQsZUFBZSxHQUFHO2dCQUV2QyxPQUFPQztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1MLFlBQVksSUFBSSxDQUFDSCxZQUFZLElBQzdCTSxnQkFBZ0JQLEtBQUtJLFlBQ3JCTSxnQkFBZ0JILGVBQWUsR0FBRztnQkFFeEMsT0FBT0c7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNULFFBQVEsRUFBRVUsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBeEI3SWQsY0F3QjRKSyxVQUFVVSxZQUFZQyxTQUFTQztZQUFhOzs7V0F4QnhNakI7RUFBcUJrQixvQkFBZSJ9
|
package/lib/node/error.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ErrorNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
12
|
function _assert_this_initialized(self) {
|
|
13
13
|
if (self === void 0) {
|
|
14
14
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -57,6 +57,11 @@ function _inherits(subClass, superClass) {
|
|
|
57
57
|
});
|
|
58
58
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
59
59
|
}
|
|
60
|
+
function _interop_require_default(obj) {
|
|
61
|
+
return obj && obj.__esModule ? obj : {
|
|
62
|
+
default: obj
|
|
63
|
+
};
|
|
64
|
+
}
|
|
60
65
|
function _possible_constructor_return(self, call) {
|
|
61
66
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
62
67
|
return call;
|
|
@@ -92,11 +97,11 @@ var ErrorNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
92
97
|
{
|
|
93
98
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
94
99
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
95
|
-
return
|
|
100
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence);
|
|
96
101
|
}
|
|
97
102
|
}
|
|
98
103
|
]);
|
|
99
104
|
return ErrorNode;
|
|
100
|
-
}(
|
|
105
|
+
}(_nonTerminal.default);
|
|
101
106
|
|
|
102
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
107
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Vycm9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEVycm9yTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRXJyb3JOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJFcnJvck5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7a0VBRk87Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFYixJQUFBLEFBQU1BLDBCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDTCwwQ0FBMEMsQ0FEN0lELFdBQ3lKRSxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FEck1MO0VBQWtCTSxvQkFBZSJ9
|
package/lib/node/frame.js
CHANGED
|
@@ -8,9 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return FrameNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
12
|
-
var
|
|
13
|
-
var _node = require("../utilities/node");
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
|
+
var _ruleNames = require("../ruleNames");
|
|
14
13
|
function _assert_this_initialized(self) {
|
|
15
14
|
if (self === void 0) {
|
|
16
15
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -59,6 +58,11 @@ function _inherits(subClass, superClass) {
|
|
|
59
58
|
});
|
|
60
59
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
61
60
|
}
|
|
61
|
+
function _interop_require_default(obj) {
|
|
62
|
+
return obj && obj.__esModule ? obj : {
|
|
63
|
+
default: obj
|
|
64
|
+
};
|
|
65
|
+
}
|
|
62
66
|
function _possible_constructor_return(self, call) {
|
|
63
67
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
64
68
|
return call;
|
|
@@ -84,7 +88,6 @@ function _is_native_reflect_construct() {
|
|
|
84
88
|
return !!result;
|
|
85
89
|
})();
|
|
86
90
|
}
|
|
87
|
-
var first = _necessary.arrayUtilities.first;
|
|
88
91
|
var FrameNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
89
92
|
_inherits(FrameNode, NonTerminalNode);
|
|
90
93
|
function FrameNode() {
|
|
@@ -95,41 +98,21 @@ var FrameNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
95
98
|
{
|
|
96
99
|
key: "getDeclarationNodes",
|
|
97
100
|
value: function getDeclarationNodes() {
|
|
98
|
-
var declarationNodes = this.
|
|
99
|
-
var childNodeDeclarationNode = (0, _node.isNodeDeclarationNode)(childNode);
|
|
100
|
-
if (childNodeDeclarationNode) {
|
|
101
|
-
return true;
|
|
102
|
-
}
|
|
103
|
-
});
|
|
101
|
+
var ruleName = _ruleNames.DECLARATION_RULE_NAME, declarationNodes = this.getNodesByRuleName(ruleName);
|
|
104
102
|
return declarationNodes;
|
|
105
103
|
}
|
|
106
104
|
},
|
|
107
105
|
{
|
|
108
106
|
key: "getMetavariableNodes",
|
|
109
107
|
value: function getMetavariableNodes() {
|
|
110
|
-
var metavariableNodes = this.
|
|
111
|
-
var childNodeMetavariableNode = (0, _node.isNodeMetavariableNode)(childNode);
|
|
112
|
-
if (childNodeMetavariableNode) {
|
|
113
|
-
return true;
|
|
114
|
-
}
|
|
115
|
-
});
|
|
108
|
+
var ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNodes = this.getNodesByRuleName(ruleName);
|
|
116
109
|
return metavariableNodes;
|
|
117
110
|
}
|
|
118
111
|
},
|
|
119
112
|
{
|
|
120
113
|
key: "getSingularMetavariableNode",
|
|
121
114
|
value: function getSingularMetavariableNode() {
|
|
122
|
-
var singularMetavariableNode =
|
|
123
|
-
var metavariableNodes = this.filterChildNode(function(childNode) {
|
|
124
|
-
var childNodeMetavariableNode = (0, _node.isNodeMetavariableNode)(childNode);
|
|
125
|
-
if (!childNodeMetavariableNode) {
|
|
126
|
-
return true;
|
|
127
|
-
}
|
|
128
|
-
}), metavariableNodesLength = metavariableNodes.length;
|
|
129
|
-
if (metavariableNodesLength === 1) {
|
|
130
|
-
var firstMetavariableNode = first(metavariableNodes);
|
|
131
|
-
singularMetavariableNode = firstMetavariableNode; ///
|
|
132
|
-
}
|
|
115
|
+
var ruleName = _ruleNames.METAVARIABLE_RULE_NAME, singularMetavariableNode = this.getSingularTNodeByRuleName(ruleName);
|
|
133
116
|
return singularMetavariableNode;
|
|
134
117
|
}
|
|
135
118
|
}
|
|
@@ -137,11 +120,11 @@ var FrameNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
137
120
|
{
|
|
138
121
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
139
122
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
140
|
-
return
|
|
123
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(FrameNode, ruleName, childNodes, opacity, precedence);
|
|
141
124
|
}
|
|
142
125
|
}
|
|
143
126
|
]);
|
|
144
127
|
return FrameNode;
|
|
145
|
-
}(
|
|
128
|
+
}(_nonTerminal.default);
|
|
146
129
|
|
|
147
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
130
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2ZyYW1lLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IERFQ0xBUkFUSU9OX1JVTEVfTkFNRSwgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRnJhbWVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0RGVjbGFyYXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IERFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBkZWNsYXJhdGlvbk5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGRlY2xhcmF0aW9uTm9kZXM7XG4gIH1cblxuICBnZXRNZXRhdmFyaWFibGVOb2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbWV0YXZhcmlhYmxlTm9kZXM7XG4gIH1cblxuICBnZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJUTm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRnJhbWVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJGcmFtZU5vZGUiLCJnZXREZWNsYXJhdGlvbk5vZGVzIiwicnVsZU5hbWUiLCJERUNMQVJBVElPTl9SVUxFX05BTUUiLCJkZWNsYXJhdGlvbk5vZGVzIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZXMiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwibWV0YXZhcmlhYmxlTm9kZXMiLCJnZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUiLCJzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUiLCJnZXRTaW5ndWxhclROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRWtDOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRS9DLElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyxnQ0FBcUIsRUFDaENDLG1CQUFtQixJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtnQkFFakQsT0FBT0U7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSixXQUFXSyxpQ0FBc0IsRUFDakNDLG9CQUFvQixJQUFJLENBQUNILGtCQUFrQixDQUFDSDtnQkFFbEQsT0FBT007WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNUCxXQUFXSyxpQ0FBc0IsRUFDakNHLDJCQUEyQixJQUFJLENBQUNDLDBCQUEwQixDQUFDVDtnQkFFakUsT0FBT1E7WUFDVDs7OztZQUVPRSxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNWLFFBQVEsRUFBRVcsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBdEI3SVosV0FzQnlKRSxVQUFVVyxZQUFZQyxTQUFTQztZQUFhOzs7V0F0QnJNZjtFQUFrQmdCLG9CQUFlIn0=
|
package/lib/node/judgement.js
CHANGED
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return JudgementNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
12
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
|
+
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
15
15
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -58,6 +58,11 @@ function _inherits(subClass, superClass) {
|
|
|
58
58
|
});
|
|
59
59
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
60
60
|
}
|
|
61
|
+
function _interop_require_default(obj) {
|
|
62
|
+
return obj && obj.__esModule ? obj : {
|
|
63
|
+
default: obj
|
|
64
|
+
};
|
|
65
|
+
}
|
|
61
66
|
function _possible_constructor_return(self, call) {
|
|
62
67
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
63
68
|
return call;
|
|
@@ -93,36 +98,26 @@ var JudgementNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
98
|
{
|
|
94
99
|
key: "getFrameNode",
|
|
95
100
|
value: function getFrameNode() {
|
|
96
|
-
var frameNode = this.
|
|
97
|
-
var childNodeFrameNode = (0, _node.isNodeFrameNode)(childNode);
|
|
98
|
-
if (childNodeFrameNode) {
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
}) || null;
|
|
101
|
+
var ruleName = _ruleNames.FRAME_RULE_NAME, frameNode = this.getNodesByRuleName(ruleName);
|
|
102
102
|
return frameNode;
|
|
103
103
|
}
|
|
104
104
|
},
|
|
105
105
|
{
|
|
106
|
-
key: "
|
|
107
|
-
value: function
|
|
108
|
-
var
|
|
109
|
-
|
|
110
|
-
if (childNodeDeclarationNode) {
|
|
111
|
-
return true;
|
|
112
|
-
}
|
|
113
|
-
}) || null;
|
|
114
|
-
return declarationNode;
|
|
106
|
+
key: "getDeclarationNodes",
|
|
107
|
+
value: function getDeclarationNodes() {
|
|
108
|
+
var ruleName = _ruleNames.DECLARATION_RULE_NAME, declarationNodes = this.getNodesByRuleName(ruleName);
|
|
109
|
+
return declarationNodes;
|
|
115
110
|
}
|
|
116
111
|
}
|
|
117
112
|
], [
|
|
118
113
|
{
|
|
119
114
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
120
115
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
121
|
-
return
|
|
116
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(JudgementNode, ruleName, childNodes, opacity, precedence);
|
|
122
117
|
}
|
|
123
118
|
}
|
|
124
119
|
]);
|
|
125
120
|
return JudgementNode;
|
|
126
|
-
}(
|
|
121
|
+
}(_nonTerminal.default);
|
|
127
122
|
|
|
128
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2p1ZGdlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQgeyBGUkFNRV9SVUxFX05BTUUsIERFQ0xBUkFUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgSnVkZ2VtZW50Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldEZyYW1lTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEZSQU1FX1JVTEVfTkFNRSxcbiAgICAgICAgICBmcmFtZU5vZGUgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZnJhbWVOb2RlO1xuICB9XG5cbiAgZ2V0RGVjbGFyYXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IERFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBkZWNsYXJhdGlvbk5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGRlY2xhcmF0aW9uTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEp1ZGdlbWVudE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkp1ZGdlbWVudE5vZGUiLCJnZXRGcmFtZU5vZGUiLCJydWxlTmFtZSIsIkZSQU1FX1JVTEVfTkFNRSIsImZyYW1lTm9kZSIsImdldE5vZGVzQnlSdWxlTmFtZSIsImdldERlY2xhcmF0aW9uTm9kZXMiLCJERUNMQVJBVElPTl9SVUxFX05BTUUiLCJkZWNsYXJhdGlvbk5vZGVzIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFMkI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFeEMsSUFBQSxBQUFNQSw4QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLDBCQUFlLEVBQzFCQyxZQUFZLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO2dCQUUxQyxPQUFPRTtZQUNUOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1KLFdBQVdLLGdDQUFxQixFQUNoQ0MsbUJBQW1CLElBQUksQ0FBQ0gsa0JBQWtCLENBQUNIO2dCQUVqRCxPQUFPTTtZQUNUOzs7O1lBRU9DLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ1AsUUFBUSxFQUFFUSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0FmN0lULGVBZTZKRSxVQUFVUSxZQUFZQyxTQUFTQztZQUFhOzs7V0Fmek1aO0VBQXNCYSxvQkFBZSJ9
|
package/lib/node/label.js
CHANGED
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return LabelNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
12
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
|
+
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
15
15
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -58,6 +58,11 @@ function _inherits(subClass, superClass) {
|
|
|
58
58
|
});
|
|
59
59
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
60
60
|
}
|
|
61
|
+
function _interop_require_default(obj) {
|
|
62
|
+
return obj && obj.__esModule ? obj : {
|
|
63
|
+
default: obj
|
|
64
|
+
};
|
|
65
|
+
}
|
|
61
66
|
function _possible_constructor_return(self, call) {
|
|
62
67
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
63
68
|
return call;
|
|
@@ -93,12 +98,7 @@ var LabelNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
98
|
{
|
|
94
99
|
key: "getMetavariableNode",
|
|
95
100
|
value: function getMetavariableNode() {
|
|
96
|
-
var metavariableNode = this.
|
|
97
|
-
var childNodeMetavariableNode = (0, _node.isNodeMetavariableNode)(childNode);
|
|
98
|
-
if (childNodeMetavariableNode) {
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
}) || null;
|
|
101
|
+
var ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNode = this.getNodeByRuleName(ruleName);
|
|
102
102
|
return metavariableNode;
|
|
103
103
|
}
|
|
104
104
|
}
|
|
@@ -106,11 +106,11 @@ var LabelNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
106
106
|
{
|
|
107
107
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
108
108
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
109
|
-
return
|
|
109
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(LabelNode, ruleName, childNodes, opacity, precedence);
|
|
110
110
|
}
|
|
111
111
|
}
|
|
112
112
|
]);
|
|
113
113
|
return LabelNode;
|
|
114
|
-
}(
|
|
114
|
+
}(_nonTerminal.default);
|
|
115
115
|
|
|
116
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2xhYmVsLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIExhYmVsTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldE1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIG1ldGF2YXJpYWJsZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGVOb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShMYWJlbE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkxhYmVsTm9kZSIsImdldE1ldGF2YXJpYWJsZU5vZGUiLCJydWxlTmFtZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJtZXRhdmFyaWFibGVOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O2tFQUpPO3lCQUVXOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXhCLElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyxpQ0FBc0IsRUFDakNDLG1CQUFtQixJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtnQkFFaEQsT0FBT0U7WUFDVDs7OztZQUVPRSxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBUjdJTixXQVF5SkUsVUFBVUssWUFBWUMsU0FBU0M7WUFBYTs7O1dBUnJNVDtFQUFrQlUsb0JBQWUifQ==
|
package/lib/node/labels.js
CHANGED
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return LabelsNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
12
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
|
+
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
15
15
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -58,6 +58,11 @@ function _inherits(subClass, superClass) {
|
|
|
58
58
|
});
|
|
59
59
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
60
60
|
}
|
|
61
|
+
function _interop_require_default(obj) {
|
|
62
|
+
return obj && obj.__esModule ? obj : {
|
|
63
|
+
default: obj
|
|
64
|
+
};
|
|
65
|
+
}
|
|
61
66
|
function _possible_constructor_return(self, call) {
|
|
62
67
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
63
68
|
return call;
|
|
@@ -93,12 +98,7 @@ var LabelsNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
98
|
{
|
|
94
99
|
key: "getLabelNodes",
|
|
95
100
|
value: function getLabelNodes() {
|
|
96
|
-
var labelNodes = this.
|
|
97
|
-
var childNodeLabelNode = (0, _node.isNodeLabelNode)(childNode);
|
|
98
|
-
if (childNodeLabelNode) {
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
});
|
|
101
|
+
var ruleName = _ruleNames.LABEL_RULE_NAME, labelNodes = this.getNodesByRuleName(ruleName);
|
|
102
102
|
return labelNodes;
|
|
103
103
|
}
|
|
104
104
|
}
|
|
@@ -106,11 +106,11 @@ var LabelsNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
106
106
|
{
|
|
107
107
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
108
108
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
109
|
-
return
|
|
109
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(LabelsNode, ruleName, childNodes, opacity, precedence);
|
|
110
110
|
}
|
|
111
111
|
}
|
|
112
112
|
]);
|
|
113
113
|
return LabelsNode;
|
|
114
|
-
}(
|
|
114
|
+
}(_nonTerminal.default);
|
|
115
115
|
|
|
116
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2xhYmVscy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQgeyBMQUJFTF9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIExhYmVsc05vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRMYWJlbE5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgIGxhYmVsTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoTGFiZWxzTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTGFiZWxzTm9kZSIsImdldExhYmVsTm9kZXMiLCJydWxlTmFtZSIsIkxBQkVMX1JVTEVfTkFNRSIsImxhYmVsTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O2tFQUpPO3lCQUVJOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRWpCLElBQUEsQUFBTUEsMkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQywwQkFBZSxFQUMxQkMsYUFBYSxJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtnQkFFM0MsT0FBT0U7WUFDVDs7OztZQUVPRSxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBUjdJTixZQVEwSkUsVUFBVUssWUFBWUMsU0FBU0M7WUFBYTs7O1dBUnRNVDtFQUFtQlUsb0JBQWUifQ==
|