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
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ParenthesisedLabelsNode;
|
|
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;
|
|
@@ -100,12 +105,7 @@ var ParenthesisedLabelsNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
100
105
|
{
|
|
101
106
|
key: "getLabelsNode",
|
|
102
107
|
value: function getLabelsNode() {
|
|
103
|
-
var labelsNode = this.
|
|
104
|
-
var childNodeLabelsNode = (0, _node.isNodeLabelsNode)(childNode);
|
|
105
|
-
if (childNodeLabelsNode) {
|
|
106
|
-
return true;
|
|
107
|
-
}
|
|
108
|
-
}) || null;
|
|
108
|
+
var ruleName = _ruleNames.LABELS_RULE_NAME, labelsNode = this.getNodeByRuleName(ruleName);
|
|
109
109
|
return labelsNode;
|
|
110
110
|
}
|
|
111
111
|
}
|
|
@@ -113,11 +113,11 @@ var ParenthesisedLabelsNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
113
113
|
{
|
|
114
114
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
115
115
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
116
|
-
return
|
|
116
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ParenthesisedLabelsNode, ruleName, childNodes, opacity, precedence);
|
|
117
117
|
}
|
|
118
118
|
}
|
|
119
119
|
]);
|
|
120
120
|
return ParenthesisedLabelsNode;
|
|
121
|
-
}(
|
|
121
|
+
}(_nonTerminal.default);
|
|
122
122
|
|
|
123
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BhcmVudGhlc2lzZWRMYWJlbHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgTEFCRUxTX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUGFyZW50aGVzaXNlZExhYmVsc05vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRMYWJlbE5vZGVzKCkge1xuICAgIGNvbnN0IGxhYmVsc05vZGUgPSB0aGlzLmdldExhYmVsc05vZGUoKSxcbiAgICAgICAgICBsYWJlbE5vZGVzID0gbGFiZWxzTm9kZS5nZXRMYWJlbE5vZGVzKCk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlcztcbiAgfVxuXG4gIGdldExhYmVsc05vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBMQUJFTFNfUlVMRV9OQU1FLFxuICAgICAgICAgIGxhYmVsc05vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBsYWJlbHNOb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShQYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUGFyZW50aGVzaXNlZExhYmVsc05vZGUiLCJnZXRMYWJlbE5vZGVzIiwibGFiZWxzTm9kZSIsImdldExhYmVsc05vZGUiLCJsYWJlbE5vZGVzIiwicnVsZU5hbWUiLCJMQUJFTFNfUlVMRV9OQU1FIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O2tFQUpPO3lCQUVLOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRWxCLElBQUEsQUFBTUEsd0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxhQUFhLElBQUksQ0FBQ0MsYUFBYSxJQUMvQkMsYUFBYUYsV0FBV0QsYUFBYTtnQkFFM0MsT0FBT0c7WUFDVDs7O1lBRUFELEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNRSxXQUFXQywyQkFBZ0IsRUFDM0JKLGFBQWEsSUFBSSxDQUFDSyxpQkFBaUIsQ0FBQ0Y7Z0JBRTFDLE9BQU9IO1lBQ1Q7Ozs7WUFFT00sS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDSCxRQUFRLEVBQUVJLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNKLDBDQUEwQyxDQWY3SVIseUJBZXVLSyxVQUFVSSxZQUFZQyxTQUFTQztZQUFhOzs7V0Fmbk5YO0VBQWdDWSxvQkFBZSJ9
|
package/lib/node/premise.js
CHANGED
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return PremiseNode;
|
|
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,24 +98,14 @@ var PremiseNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
98
|
{
|
|
94
99
|
key: "getStatementNode",
|
|
95
100
|
value: function getStatementNode() {
|
|
96
|
-
var statementNode = this.
|
|
97
|
-
var childNodeStatementNode = (0, _node.isNodeStatementNode)(childNode);
|
|
98
|
-
if (childNodeStatementNode) {
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
}) || null;
|
|
101
|
+
var ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getNodeByRuleName(ruleName);
|
|
102
102
|
return statementNode;
|
|
103
103
|
}
|
|
104
104
|
},
|
|
105
105
|
{
|
|
106
106
|
key: "getProcedureCallNode",
|
|
107
107
|
value: function getProcedureCallNode() {
|
|
108
|
-
var procedureCallNode = this.
|
|
109
|
-
var childNodeProcedureCallNode = (0, _node.isNodeProcedureCallNode)(childNode);
|
|
110
|
-
if (childNodeProcedureCallNode) {
|
|
111
|
-
return true;
|
|
112
|
-
}
|
|
113
|
-
}) || null;
|
|
108
|
+
var ruleName = _ruleNames.PROCEDURE_CALL_RULE_NAME, procedureCallNode = this.getNodeByRuleName(ruleName);
|
|
114
109
|
return procedureCallNode;
|
|
115
110
|
}
|
|
116
111
|
}
|
|
@@ -118,11 +113,11 @@ var PremiseNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
118
113
|
{
|
|
119
114
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
120
115
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
121
|
-
return
|
|
116
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(PremiseNode, ruleName, childNodes, opacity, precedence);
|
|
122
117
|
}
|
|
123
118
|
}
|
|
124
119
|
]);
|
|
125
120
|
return PremiseNode;
|
|
126
|
-
}(
|
|
121
|
+
}(_nonTerminal.default);
|
|
127
122
|
|
|
128
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3ByZW1pc2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX1JVTEVfTkFNRSwgUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcmVtaXNlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHN0YXRlbWVudE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdGF0ZW1lbnROb2RlO1xuICB9XG5cbiAgZ2V0UHJvY2VkdXJlQ2FsbE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUsXG4gICAgICAgICAgcHJvY2VkdXJlQ2FsbE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBwcm9jZWR1cmVDYWxsTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJlbWlzZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlByZW1pc2VOb2RlIiwiZ2V0U3RhdGVtZW50Tm9kZSIsInJ1bGVOYW1lIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldFByb2NlZHVyZUNhbGxOb2RlIiwiUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIiwicHJvY2VkdXJlQ2FsbE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O2tFQUpPO3lCQUVrQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUvQyxJQUFBLEFBQU1BLDRCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBV0MsOEJBQW1CLEVBQzlCQyxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7Z0JBRTdDLE9BQU9FO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUosV0FBV0ssbUNBQXdCLEVBQ25DQyxvQkFBb0IsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7Z0JBRWpELE9BQU9NO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDUCxRQUFRLEVBQUVRLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNKLDBDQUEwQyxDQWY3SVQsYUFlMkpFLFVBQVVRLFlBQVlDLFNBQVNDO1lBQWE7OztXQWZ2TVo7RUFBb0JhLG9CQUFlIn0=
|
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ProcedureCallNode;
|
|
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,24 +98,14 @@ var ProcedureCallNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
98
|
{
|
|
94
99
|
key: "getReferenceNode",
|
|
95
100
|
value: function getReferenceNode() {
|
|
96
|
-
var referenceNode = this.
|
|
97
|
-
var childNodeReferenceNode = (0, _node.isNodeReferenceNode)(childNode);
|
|
98
|
-
if (childNodeReferenceNode) {
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
}) || null;
|
|
101
|
+
var ruleName = _ruleNames.REFERENCE_RULE_NAME, referenceNode = this.getNodeByRuleName(ruleName);
|
|
102
102
|
return referenceNode;
|
|
103
103
|
}
|
|
104
104
|
},
|
|
105
105
|
{
|
|
106
106
|
key: "getParameterNodes",
|
|
107
107
|
value: function getParameterNodes() {
|
|
108
|
-
var parameterNodes = this.
|
|
109
|
-
var childNodeParameterNode = (0, _node.isNodeParameterNode)(childNode);
|
|
110
|
-
if (childNodeParameterNode) {
|
|
111
|
-
return true;
|
|
112
|
-
}
|
|
113
|
-
});
|
|
108
|
+
var ruleName = _ruleNames.PARAMETER_RULE_NAME, parameterNodes = this.getNodesByRuleName(ruleName);
|
|
114
109
|
return parameterNodes;
|
|
115
110
|
}
|
|
116
111
|
}
|
|
@@ -118,11 +113,11 @@ var ProcedureCallNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
118
113
|
{
|
|
119
114
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
120
115
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
121
|
-
return
|
|
116
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ProcedureCallNode, ruleName, childNodes, opacity, precedence);
|
|
122
117
|
}
|
|
123
118
|
}
|
|
124
119
|
]);
|
|
125
120
|
return ProcedureCallNode;
|
|
126
|
-
}(
|
|
121
|
+
}(_nonTerminal.default);
|
|
127
122
|
|
|
128
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb2NlZHVyZUNhbGwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgUkVGRVJFTkNFX1JVTEVfTkFNRSwgUEFSQU1FVEVSX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUHJvY2VkdXJlQ2FsbE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRSZWZlcmVuY2VOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgICByZWZlcmVuY2VOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcmVmZXJlbmNlTm9kZTtcbiAgfVxuXG4gIGdldFBhcmFtZXRlck5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUEFSQU1FVEVSX1JVTEVfTkFNRSxcbiAgICAgICAgICBwYXJhbWV0ZXJOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBwYXJhbWV0ZXJOb2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvY2VkdXJlQ2FsbE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlByb2NlZHVyZUNhbGxOb2RlIiwiZ2V0UmVmZXJlbmNlTm9kZSIsInJ1bGVOYW1lIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsInJlZmVyZW5jZU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldFBhcmFtZXRlck5vZGVzIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsInBhcmFtZXRlck5vZGVzIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFNkI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFMUMsSUFBQSxBQUFNQSxrQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO2dCQUU3QyxPQUFPRTtZQUNUOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1KLFdBQVdLLDhCQUFtQixFQUM5QkMsaUJBQWlCLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNQO2dCQUUvQyxPQUFPTTtZQUNUOzs7O1lBRU9FLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ1IsUUFBUSxFQUFFUyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0FmN0lWLG1CQWVpS0UsVUFBVVMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBZjdNYjtFQUEwQmMsb0JBQWUifQ==
|
package/lib/node/proof.js
CHANGED
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ProofNode;
|
|
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 ProofNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
98
|
{
|
|
94
99
|
key: "getDerivationNode",
|
|
95
100
|
value: function getDerivationNode() {
|
|
96
|
-
var derivationNode = this.
|
|
97
|
-
var childNodeDerivationNode = (0, _node.isNodeDerivationNode)(childNode);
|
|
98
|
-
if (childNodeDerivationNode) {
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
});
|
|
101
|
+
var ruleName = _ruleNames.DERIVATION_RULE_NAME, derivationNode = this.getNodeByRuleName(ruleName);
|
|
102
102
|
return derivationNode;
|
|
103
103
|
}
|
|
104
104
|
}
|
|
@@ -106,11 +106,11 @@ var ProofNode = /*#__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(ProofNode, ruleName, childNodes, opacity, precedence);
|
|
110
110
|
}
|
|
111
111
|
}
|
|
112
112
|
]);
|
|
113
113
|
return ProofNode;
|
|
114
|
-
}(
|
|
114
|
+
}(_nonTerminal.default);
|
|
115
115
|
|
|
116
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IERFUklWQVRJT05fUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9vZk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXREZXJpdmF0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IERFUklWQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgIGRlcml2YXRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZGVyaXZhdGlvbk5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFByb29mTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvb2ZOb2RlIiwiZ2V0RGVyaXZhdGlvbk5vZGUiLCJydWxlTmFtZSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiZGVyaXZhdGlvbk5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRVM7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFdEIsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLCtCQUFvQixFQUMvQkMsaUJBQWlCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO2dCQUU5QyxPQUFPRTtZQUNUOzs7O1lBRU9FLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0FSN0lOLFdBUXlKRSxVQUFVSyxZQUFZQyxTQUFTQztZQUFhOzs7V0FSck1UO0VBQWtCVSxvQkFBZSJ9
|
package/lib/node/property.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return PropertyNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
12
|
var _constants = require("../constants");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
@@ -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;
|
|
@@ -111,11 +116,11 @@ var PropertyNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
111
116
|
{
|
|
112
117
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
113
118
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
114
|
-
return
|
|
119
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(PropertyNode, ruleName, childNodes, opacity, precedence);
|
|
115
120
|
}
|
|
116
121
|
}
|
|
117
122
|
]);
|
|
118
123
|
return PropertyNode;
|
|
119
|
-
}(
|
|
124
|
+
}(_nonTerminal.default);
|
|
120
125
|
|
|
121
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
126
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IFNJTkdMRV9TUEFDRSB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUHJvcGVydHlOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0UHJvcGVydHlOYW1lKCkge1xuICAgIGNvbnN0IG5hbWVzID0gdGhpcy5nZXROYW1lcygpLFxuICAgICAgICAgIHByb3BlcnR5TmFtZSA9IG5hbWVzLmpvaW4oU0lOR0xFX1NQQUNFKTtcblxuICAgIHJldHVybiBwcm9wZXJ0eU5hbWU7XG4gIH1cblxuICBnZXROYW1lcygpIHtcbiAgICBjb25zdCBuYW1lcyA9IHRoaXMubWFwQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IHRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICBjb250ZW50ID0gdGVybWluYWxOb2RlLmdldENvbnRlbnQoKSxcbiAgICAgICAgICAgIG5hbWUgPSBjb250ZW50OyAvL1xuXG4gICAgICByZXR1cm4gbmFtZTtcbiAgICB9KTtcblxuICAgIHJldHVybiBuYW1lcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvcGVydHlOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQcm9wZXJ0eU5vZGUiLCJnZXRQcm9wZXJ0eU5hbWUiLCJuYW1lcyIsImdldE5hbWVzIiwicHJvcGVydHlOYW1lIiwiam9pbiIsIlNJTkdMRV9TUEFDRSIsIm1hcENoaWxkTm9kZSIsImNoaWxkTm9kZSIsInRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwibmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVkLElBQUEsQUFBTUEsNkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxRQUFRLElBQUksQ0FBQ0MsUUFBUSxJQUNyQkMsZUFBZUYsTUFBTUcsSUFBSSxDQUFDQyx1QkFBWTtnQkFFNUMsT0FBT0Y7WUFDVDs7O1lBRUFELEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNRCxRQUFRLElBQUksQ0FBQ0ssWUFBWSxDQUFDLFNBQUNDO29CQUMvQixJQUFNQyxlQUFlRCxXQUNmRSxVQUFVRCxhQUFhRSxVQUFVLElBQ2pDQyxPQUFPRixTQUFTLEVBQUU7b0JBRXhCLE9BQU9FO2dCQUNUO2dCQUVBLE9BQU9WO1lBQ1Q7Ozs7WUFFT1csS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNMLDBDQUEwQyxDQXBCN0liLGNBb0I0SmMsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBcEJ4TWpCO0VBQXFCa0Isb0JBQWUifQ==
|
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return PropertyRelationNode;
|
|
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,24 +98,14 @@ var PropertyRelationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
93
98
|
{
|
|
94
99
|
key: "getTermNode",
|
|
95
100
|
value: function getTermNode() {
|
|
96
|
-
var termNode = this.
|
|
97
|
-
var childNodeTermNode = (0, _node.isNodeTermNode)(childNode);
|
|
98
|
-
if (childNodeTermNode) {
|
|
99
|
-
return true;
|
|
100
|
-
}
|
|
101
|
-
}) || null;
|
|
101
|
+
var ruleName = _ruleNames.TERM_RULE_NAME, termNode = this.getNodeByRuleName(ruleName);
|
|
102
102
|
return termNode;
|
|
103
103
|
}
|
|
104
104
|
},
|
|
105
105
|
{
|
|
106
106
|
key: "getPropertyNode",
|
|
107
107
|
value: function getPropertyNode() {
|
|
108
|
-
var propertyNode = this.
|
|
109
|
-
var childNodePropertyNode = (0, _node.isNodePropertyNode)(childNode);
|
|
110
|
-
if (childNodePropertyNode) {
|
|
111
|
-
return true;
|
|
112
|
-
}
|
|
113
|
-
}) || null;
|
|
108
|
+
var ruleName = _ruleNames.PROPERTY_RULE_NAME, propertyNode = this.getNodeByRuleName(ruleName);
|
|
114
109
|
return propertyNode;
|
|
115
110
|
}
|
|
116
111
|
},
|
|
@@ -125,11 +120,11 @@ var PropertyRelationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
125
120
|
{
|
|
126
121
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
127
122
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
128
|
-
return
|
|
123
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(PropertyRelationNode, ruleName, childNodes, opacity, precedence);
|
|
129
124
|
}
|
|
130
125
|
}
|
|
131
126
|
]);
|
|
132
127
|
return PropertyRelationNode;
|
|
133
|
-
}(
|
|
128
|
+
}(_nonTerminal.default);
|
|
134
129
|
|
|
135
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
130
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5UmVsYXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgVEVSTV9SVUxFX05BTUUsIFBST1BFUlRZX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUHJvcGVydHlSZWxhdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdGVybU5vZGU7XG4gIH1cblxuICBnZXRQcm9wZXJ0eU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9QRVJUWV9SVUxFX05BTUUsXG4gICAgICAgICAgcHJvcGVydHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcHJvcGVydHlOb2RlO1xuICB9XG5cbiAgZ2V0UHJvcGVydHlOYW1lKCkge1xuICAgIGNvbnN0IHByb3BlcnR5Tm9kZSA9IHRoaXMuZ2V0UHJvcGVydHlOb2RlKCksXG4gICAgICAgICAgcHJvcGVydHlOYW1lID0gcHJvcGVydHlOb2RlLmdldFByb3BlcnR5TmFtZSgpO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5TmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvcGVydHlSZWxhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlByb3BlcnR5UmVsYXRpb25Ob2RlIiwiZ2V0VGVybU5vZGUiLCJydWxlTmFtZSIsIlRFUk1fUlVMRV9OQU1FIiwidGVybU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldFByb3BlcnR5Tm9kZSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsInByb3BlcnR5Tm9kZSIsImdldFByb3BlcnR5TmFtZSIsInByb3BlcnR5TmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRXVCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXBDLElBQUEsQUFBTUEscUNBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsV0FBVyxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtnQkFFeEMsT0FBT0U7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSixXQUFXSyw2QkFBa0IsRUFDN0JDLGVBQWUsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7Z0JBRTVDLE9BQU9NO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUQsZUFBZSxJQUFJLENBQUNGLGVBQWUsSUFDbkNJLGVBQWVGLGFBQWFDLGVBQWU7Z0JBRWpELE9BQU9DO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDVCxRQUFRLEVBQUVVLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNKLDBDQUEwQyxDQXRCN0lYLHNCQXNCb0tFLFVBQVVVLFlBQVlDLFNBQVNDO1lBQWE7OztXQXRCaE5kO0VBQTZCZSxvQkFBZSJ9
|
package/lib/node/reference.js
CHANGED
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ReferenceNode;
|
|
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 ReferenceNode = /*#__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 ReferenceNode = /*#__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(ReferenceNode, ruleName, childNodes, opacity, precedence);
|
|
110
110
|
}
|
|
111
111
|
}
|
|
112
112
|
]);
|
|
113
113
|
return ReferenceNode;
|
|
114
|
-
}(
|
|
114
|
+
}(_nonTerminal.default);
|
|
115
115
|
|
|
116
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3JlZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQgeyBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBSZWZlcmVuY2VOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0TWV0YXZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFJlZmVyZW5jZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlJlZmVyZW5jZU5vZGUiLCJnZXRNZXRhdmFyaWFibGVOb2RlIiwicnVsZU5hbWUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwibWV0YXZhcmlhYmxlTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFVzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV4QixJQUFBLEFBQU1BLDhCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBV0MsaUNBQXNCLEVBQ2pDQyxtQkFBbUIsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7Z0JBRWhELE9BQU9FO1lBQ1Q7Ozs7WUFFT0UsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNKLDBDQUEwQyxDQVI3SU4sZUFRNkpFLFVBQVVLLFlBQVlDLFNBQVNDO1lBQWE7OztXQVJ6TVQ7RUFBc0JVLG9CQUFlIn0=
|
package/lib/node/rule.js
CHANGED
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return RuleNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../node/nonTerminal"));
|
|
12
|
+
var _ruleNames = require("../ruleNames");
|
|
12
13
|
function _assert_this_initialized(self) {
|
|
13
14
|
if (self === void 0) {
|
|
14
15
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -87,21 +88,57 @@ function _is_native_reflect_construct() {
|
|
|
87
88
|
return !!result;
|
|
88
89
|
})();
|
|
89
90
|
}
|
|
90
|
-
var RuleNode = /*#__PURE__*/ function(
|
|
91
|
-
_inherits(RuleNode,
|
|
91
|
+
var RuleNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
92
|
+
_inherits(RuleNode, NonTerminalNode);
|
|
92
93
|
function RuleNode() {
|
|
93
94
|
_class_call_check(this, RuleNode);
|
|
94
95
|
return _call_super(this, RuleNode, arguments);
|
|
95
96
|
}
|
|
96
|
-
_create_class(RuleNode,
|
|
97
|
+
_create_class(RuleNode, [
|
|
98
|
+
{
|
|
99
|
+
key: "getLabelNodes",
|
|
100
|
+
value: function getLabelNodes() {
|
|
101
|
+
var parenthesisedLabelsNode = this.getParenthesisedLabelsNode(), labelNodes = parenthesisedLabelsNode.getLabelNodes();
|
|
102
|
+
return labelNodes;
|
|
103
|
+
}
|
|
104
|
+
},
|
|
105
|
+
{
|
|
106
|
+
key: "getProofNode",
|
|
107
|
+
value: function getProofNode() {
|
|
108
|
+
var ruleName = _ruleNames.PROOF_RULE_NAME, proofNode = this.getNodeByRuleName(ruleName);
|
|
109
|
+
return proofNode;
|
|
110
|
+
}
|
|
111
|
+
},
|
|
112
|
+
{
|
|
113
|
+
key: "getPremiseNodes",
|
|
114
|
+
value: function getPremiseNodes() {
|
|
115
|
+
var ruleName = _ruleNames.PREMISE_RULE_NAME, premiseNodes = this.getNodesByRuleName(ruleName);
|
|
116
|
+
return premiseNodes;
|
|
117
|
+
}
|
|
118
|
+
},
|
|
119
|
+
{
|
|
120
|
+
key: "getConclusionNode",
|
|
121
|
+
value: function getConclusionNode() {
|
|
122
|
+
var ruleName = _ruleNames.CONCLUSION_RULE_NAME, conclusionNode = this.getNodeByRuleName(ruleName);
|
|
123
|
+
return conclusionNode;
|
|
124
|
+
}
|
|
125
|
+
},
|
|
126
|
+
{
|
|
127
|
+
key: "getParenthesisedLabelsNode",
|
|
128
|
+
value: function getParenthesisedLabelsNode() {
|
|
129
|
+
var ruleName = _ruleNames.PARENTHESISED_LABELS_RULE_NAME, parenthesisedLabelsNode = this.getNodeByRuleName(ruleName);
|
|
130
|
+
return parenthesisedLabelsNode;
|
|
131
|
+
}
|
|
132
|
+
}
|
|
133
|
+
], [
|
|
97
134
|
{
|
|
98
135
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
99
136
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
100
|
-
return
|
|
137
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(RuleNode, ruleName, childNodes, opacity, precedence);
|
|
101
138
|
}
|
|
102
139
|
}
|
|
103
140
|
]);
|
|
104
141
|
return RuleNode;
|
|
105
|
-
}(
|
|
142
|
+
}(_nonTerminal.default);
|
|
106
143
|
|
|
107
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
144
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3J1bGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgIFBST09GX1JVTEVfTkFNRSwgUFJFTUlTRV9SVUxFX05BTUUsIENPTkNMVVNJT05fUlVMRV9OQU1FLCBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFJ1bGVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0TGFiZWxOb2RlcygpIHtcbiAgICBjb25zdCBwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSA9IHRoaXMuZ2V0UGFyZW50aGVzaXNlZExhYmVsc05vZGUoKSxcbiAgICAgICAgICBsYWJlbE5vZGVzID0gcGFyZW50aGVzaXNlZExhYmVsc05vZGUuZ2V0TGFiZWxOb2RlcygpO1xuXG4gICAgcmV0dXJuIGxhYmVsTm9kZXM7XG4gIH1cblxuICBnZXRQcm9vZk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICAgcHJvb2ZOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcHJvb2ZOb2RlO1xuICB9XG5cbiAgZ2V0UHJlbWlzZU5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUFJFTUlTRV9SVUxFX05BTUUsXG4gICAgICAgICAgcHJlbWlzZU5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHByZW1pc2VOb2RlcztcbiAgfVxuXG4gIGdldENvbmNsdXNpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gQ09OQ0xVU0lPTl9SVUxFX05BTUUsXG4gICAgICAgICAgY29uY2x1c2lvbk5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBjb25jbHVzaW9uTm9kZTtcbiAgfVxuXG4gIGdldFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FLFxuICAgICAgICAgIHBhcmVudGhlc2lzZWRMYWJlbHNOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcGFyZW50aGVzaXNlZExhYmVsc05vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFJ1bGVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJSdWxlTm9kZSIsImdldExhYmVsTm9kZXMiLCJwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSIsImdldFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIiwibGFiZWxOb2RlcyIsImdldFByb29mTm9kZSIsInJ1bGVOYW1lIiwiUFJPT0ZfUlVMRV9OQU1FIiwicHJvb2ZOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRQcmVtaXNlTm9kZXMiLCJQUkVNSVNFX1JVTEVfTkFNRSIsInByZW1pc2VOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImdldENvbmNsdXNpb25Ob2RlIiwiQ09OQ0xVU0lPTl9SVUxFX05BTUUiLCJjb25jbHVzaW9uTm9kZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRThFOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRTNGLElBQUEsQUFBTUEseUJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQywwQkFBMEIsSUFBSSxDQUFDQywwQkFBMEIsSUFDekRDLGFBQWFGLHdCQUF3QkQsYUFBYTtnQkFFeEQsT0FBT0c7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQywwQkFBZSxFQUMxQkMsWUFBWSxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtnQkFFekMsT0FBT0U7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSixXQUFXSyw0QkFBaUIsRUFDNUJDLGVBQWUsSUFBSSxDQUFDQyxrQkFBa0IsQ0FBQ1A7Z0JBRTdDLE9BQU9NO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTVIsV0FBV1MsK0JBQW9CLEVBQy9CQyxpQkFBaUIsSUFBSSxDQUFDUCxpQkFBaUIsQ0FBQ0g7Z0JBRTlDLE9BQU9VO1lBQ1Q7OztZQUVBYixLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUcsV0FBV1cseUNBQThCLEVBQ3pDZiwwQkFBMEIsSUFBSSxDQUFDTyxpQkFBaUIsQ0FBQ0g7Z0JBRXZELE9BQU9KO1lBQ1Q7Ozs7WUFFT2dCLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ1osUUFBUSxFQUFFYSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0FwQzdJbEIsVUFvQ3dKTSxVQUFVYSxZQUFZQyxTQUFTQztZQUFhOzs7V0FwQ3BNckI7RUFBaUJzQixvQkFBZSJ9
|