occam-verify-cli 1.0.253 → 1.0.255
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/node/axiom.js +22 -36
- package/lib/node/conjecture.js +22 -43
- package/lib/node/header.js +8 -1
- package/lib/node/lemma.js +22 -50
- package/lib/node/metaLemma.js +22 -50
- package/lib/node/metatheorem.js +22 -50
- package/lib/node/theorem.js +22 -50
- package/lib/node/topLevelAssertion.js +157 -0
- package/lib/node/topLevelMetaAssertion.js +136 -0
- package/package.json +6 -6
- package/src/node/axiom.js +5 -30
- package/src/node/conjecture.js +5 -36
- package/src/node/header.js +8 -1
- package/src/node/lemma.js +5 -43
- package/src/node/metaLemma.js +5 -43
- package/src/node/metatheorem.js +5 -43
- package/src/node/theorem.js +5 -43
- package/src/node/topLevelAssertion.js +58 -0
- package/src/node/topLevelMetaAssertion.js +37 -0
package/lib/node/axiom.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return AxiomNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelAssertion"));
|
|
12
12
|
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
39
39
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
40
40
|
return Constructor;
|
|
41
41
|
}
|
|
42
|
+
function _define_property(obj, key, value) {
|
|
43
|
+
if (key in obj) {
|
|
44
|
+
Object.defineProperty(obj, key, {
|
|
45
|
+
value: value,
|
|
46
|
+
enumerable: true,
|
|
47
|
+
configurable: true,
|
|
48
|
+
writable: true
|
|
49
|
+
});
|
|
50
|
+
} else {
|
|
51
|
+
obj[key] = value;
|
|
52
|
+
}
|
|
53
|
+
return obj;
|
|
54
|
+
}
|
|
42
55
|
function _get_prototype_of(o) {
|
|
43
56
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
44
57
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -88,50 +101,23 @@ function _is_native_reflect_construct() {
|
|
|
88
101
|
return !!result;
|
|
89
102
|
})();
|
|
90
103
|
}
|
|
91
|
-
var AxiomNode = /*#__PURE__*/ function(
|
|
92
|
-
_inherits(AxiomNode,
|
|
104
|
+
var AxiomNode = /*#__PURE__*/ function(TopLevelAssertionNode) {
|
|
105
|
+
_inherits(AxiomNode, TopLevelAssertionNode);
|
|
93
106
|
function AxiomNode() {
|
|
94
107
|
_class_call_check(this, AxiomNode);
|
|
95
108
|
return _call_super(this, AxiomNode, arguments);
|
|
96
109
|
}
|
|
97
|
-
_create_class(AxiomNode, [
|
|
98
|
-
{
|
|
99
|
-
key: "getAxiomBodyNode",
|
|
100
|
-
value: function getAxiomBodyNode() {
|
|
101
|
-
var ruleName = _ruleNames.AXIOM_BODY_RULE_NAME, axiomBodyNode = this.getNodeByRuleName(ruleName);
|
|
102
|
-
return axiomBodyNode;
|
|
103
|
-
}
|
|
104
|
-
},
|
|
105
|
-
{
|
|
106
|
-
key: "getAxiomHeaderNode",
|
|
107
|
-
value: function getAxiomHeaderNode() {
|
|
108
|
-
var ruleName = _ruleNames.AXIOM_HEADER_RULE_NAME, axiomHeaderNode = this.getNodeByRuleName(ruleName);
|
|
109
|
-
return axiomHeaderNode;
|
|
110
|
-
}
|
|
111
|
-
},
|
|
112
|
-
{
|
|
113
|
-
key: "getSignatureNode",
|
|
114
|
-
value: function getSignatureNode() {
|
|
115
|
-
var axiomHeaderNode = this.getAxiomHeaderNode(), signatureNode = axiomHeaderNode.getSignatureNode();
|
|
116
|
-
return signatureNode;
|
|
117
|
-
}
|
|
118
|
-
},
|
|
119
|
-
{
|
|
120
|
-
key: "getLabelNodes",
|
|
121
|
-
value: function getLabelNodes() {
|
|
122
|
-
var axiomHeaderNode = this.getAxiomHeaderNode(), labelNodes = axiomHeaderNode.getLabelNodes();
|
|
123
|
-
return labelNodes;
|
|
124
|
-
}
|
|
125
|
-
}
|
|
126
|
-
], [
|
|
110
|
+
_create_class(AxiomNode, null, [
|
|
127
111
|
{
|
|
128
112
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
129
113
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
130
|
-
return
|
|
114
|
+
return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence);
|
|
131
115
|
}
|
|
132
116
|
}
|
|
133
117
|
]);
|
|
134
118
|
return AxiomNode;
|
|
135
|
-
}(
|
|
119
|
+
}(_topLevelAssertion.default);
|
|
120
|
+
_define_property(AxiomNode, "bodyRuleName", _ruleNames.AXIOM_BODY_RULE_NAME);
|
|
121
|
+
_define_property(AxiomNode, "headerRuleName", _ruleNames.AXIOM_HEADER_RULE_NAME);
|
|
136
122
|
|
|
137
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2F4aW9tLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIGZyb20gXCIuLi9ub2RlL3RvcExldmVsQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IEFYSU9NX0JPRFlfUlVMRV9OQU1FLCBBWElPTV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBBeGlvbU5vZGUgZXh0ZW5kcyBUb3BMZXZlbEFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gQVhJT01fQk9EWV9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGhlYWRlclJ1bGVOYW1lID0gQVhJT01fSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEF4aW9tTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiQXhpb21Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJUb3BMZXZlbEFzc2VydGlvbk5vZGUiLCJib2R5UnVsZU5hbWUiLCJBWElPTV9CT0RZX1JVTEVfTkFNRSIsImhlYWRlclJ1bGVOYW1lIiwiQVhJT01fSEVBREVSX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7d0VBSmE7eUJBRTJCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUU5QyxJQUFBLEFBQU1BLDBCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBS1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQywwQkFBcUIsQ0FBQ0wsMENBQTBDLENBTG5KRCxXQUsrSkUsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBTDNNTDtFQUFrQk0sMEJBQXFCO0FBQzFELGlCQURtQk4sV0FDWk8sZ0JBQWVDLCtCQUFvQjtBQUUxQyxpQkFIbUJSLFdBR1pTLGtCQUFpQkMsaUNBQXNCIn0=
|
package/lib/node/conjecture.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ConjectureNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelAssertion"));
|
|
12
12
|
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
39
39
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
40
40
|
return Constructor;
|
|
41
41
|
}
|
|
42
|
+
function _define_property(obj, key, value) {
|
|
43
|
+
if (key in obj) {
|
|
44
|
+
Object.defineProperty(obj, key, {
|
|
45
|
+
value: value,
|
|
46
|
+
enumerable: true,
|
|
47
|
+
configurable: true,
|
|
48
|
+
writable: true
|
|
49
|
+
});
|
|
50
|
+
} else {
|
|
51
|
+
obj[key] = value;
|
|
52
|
+
}
|
|
53
|
+
return obj;
|
|
54
|
+
}
|
|
42
55
|
function _get_prototype_of(o) {
|
|
43
56
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
44
57
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -88,57 +101,23 @@ function _is_native_reflect_construct() {
|
|
|
88
101
|
return !!result;
|
|
89
102
|
})();
|
|
90
103
|
}
|
|
91
|
-
var ConjectureNode = /*#__PURE__*/ function(
|
|
92
|
-
_inherits(ConjectureNode,
|
|
104
|
+
var ConjectureNode = /*#__PURE__*/ function(TopLevelAssertionNode) {
|
|
105
|
+
_inherits(ConjectureNode, TopLevelAssertionNode);
|
|
93
106
|
function ConjectureNode() {
|
|
94
107
|
_class_call_check(this, ConjectureNode);
|
|
95
108
|
return _call_super(this, ConjectureNode, arguments);
|
|
96
109
|
}
|
|
97
|
-
_create_class(ConjectureNode, [
|
|
98
|
-
{
|
|
99
|
-
key: "getConjectureBodyNode",
|
|
100
|
-
value: function getConjectureBodyNode() {
|
|
101
|
-
var ruleName = _ruleNames.CONJECTURE_BODY_RULE_NAME, conjectureBodyNode = this.getNodeByRuleName(ruleName);
|
|
102
|
-
return conjectureBodyNode;
|
|
103
|
-
}
|
|
104
|
-
},
|
|
105
|
-
{
|
|
106
|
-
key: "getConjectureHeaderNode",
|
|
107
|
-
value: function getConjectureHeaderNode() {
|
|
108
|
-
var ruleName = _ruleNames.CONJECTURE_HEADER_RULE_NAME, conjectureHeaderNode = this.getNodeByRuleName(ruleName);
|
|
109
|
-
return conjectureHeaderNode;
|
|
110
|
-
}
|
|
111
|
-
},
|
|
112
|
-
{
|
|
113
|
-
key: "getLabelNodes",
|
|
114
|
-
value: function getLabelNodes() {
|
|
115
|
-
var conjectureHeaderNode = this.getConjectureHeaderNode(), labelNodes = conjectureHeaderNode.getLabelNodes();
|
|
116
|
-
return labelNodes;
|
|
117
|
-
}
|
|
118
|
-
},
|
|
119
|
-
{
|
|
120
|
-
key: "getSuppositionNodes",
|
|
121
|
-
value: function getSuppositionNodes() {
|
|
122
|
-
var conjectureBodyNode = this.getConjectureBodyNode(), suppositionNodes = conjectureBodyNode.getSuppositionNodes();
|
|
123
|
-
return suppositionNodes;
|
|
124
|
-
}
|
|
125
|
-
},
|
|
126
|
-
{
|
|
127
|
-
key: "getDeductionNode",
|
|
128
|
-
value: function getDeductionNode() {
|
|
129
|
-
var conjectureBodyNode = this.getConjectureBodyNode(), deductionNode = conjectureBodyNode.getDeductionNode();
|
|
130
|
-
return deductionNode;
|
|
131
|
-
}
|
|
132
|
-
}
|
|
133
|
-
], [
|
|
110
|
+
_create_class(ConjectureNode, null, [
|
|
134
111
|
{
|
|
135
112
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
136
113
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
137
|
-
return
|
|
114
|
+
return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureNode, ruleName, childNodes, opacity, precedence);
|
|
138
115
|
}
|
|
139
116
|
}
|
|
140
117
|
]);
|
|
141
118
|
return ConjectureNode;
|
|
142
|
-
}(
|
|
119
|
+
}(_topLevelAssertion.default);
|
|
120
|
+
_define_property(ConjectureNode, "bodyRuleName", _ruleNames.CONJECTURE_BODY_RULE_NAME);
|
|
121
|
+
_define_property(ConjectureNode, "headerRuleName", _ruleNames.CONJECTURE_HEADER_RULE_NAME);
|
|
143
122
|
|
|
144
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbmplY3R1cmUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUb3BMZXZlbEFzc2VydGlvbk5vZGUgZnJvbSBcIi4uL25vZGUvdG9wTGV2ZWxBc3NlcnRpb25cIjtcblxuaW1wb3J0IHsgQ09OSkVDVFVSRV9CT0RZX1JVTEVfTkFNRSwgQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBDb25qZWN0dXJlTm9kZSBleHRlbmRzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSB7XG4gIHN0YXRpYyBib2R5UnVsZU5hbWUgPSBDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FO1xuXG4gIHN0YXRpYyBoZWFkZXJSdWxlTmFtZSA9IENPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENvbmplY3R1cmVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJDb25qZWN0dXJlTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIiwiYm9keVJ1bGVOYW1lIiwiQ09OSkVDVFVSRV9CT0RZX1JVTEVfTkFNRSIsImhlYWRlclJ1bGVOYW1lIiwiQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7Ozt3RUFKYTt5QkFFcUM7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXhELElBQUEsQUFBTUEsK0JBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFLWkMsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLDBCQUFxQixDQUFDTCwwQ0FBMEMsQ0FMbkpELGdCQUtvS0UsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBTGhOTDtFQUF1Qk0sMEJBQXFCO0FBQy9ELGlCQURtQk4sZ0JBQ1pPLGdCQUFlQyxvQ0FBeUI7QUFFL0MsaUJBSG1CUixnQkFHWlMsa0JBQWlCQyxzQ0FBMkIifQ==
|
package/lib/node/header.js
CHANGED
|
@@ -102,6 +102,13 @@ var HeaderNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
102
102
|
return parenthesisedLabelsNode;
|
|
103
103
|
}
|
|
104
104
|
},
|
|
105
|
+
{
|
|
106
|
+
key: "getSignatureNode",
|
|
107
|
+
value: function getSignatureNode() {
|
|
108
|
+
var ruleName = _ruleNames.SIGNATURE_RULE_NAME, signatureNode = this.getNodeByRuleName(ruleName);
|
|
109
|
+
return signatureNode;
|
|
110
|
+
}
|
|
111
|
+
},
|
|
105
112
|
{
|
|
106
113
|
key: "getLabelNodes",
|
|
107
114
|
value: function getLabelNodes() {
|
|
@@ -124,4 +131,4 @@ var HeaderNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
|
124
131
|
return HeaderNode;
|
|
125
132
|
}(_nonTerminal.default);
|
|
126
133
|
|
|
127
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
134
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2hlYWRlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQge1BBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSwgU0lHTkFUVVJFX1JVTEVfTkFNRX0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBIZWFkZXJOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0UGFyZW50aGVzaXNlZExhYmVsc05vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUsXG4gICAgICAgICAgcGFyZW50aGVzaXNlZExhYmVsc05vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZTtcbiAgfVxuXG4gIGdldFNpZ25hdHVyZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTSUdOQVRVUkVfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpZ25hdHVyZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaWduYXR1cmVOb2RlO1xuICB9XG5cbiAgZ2V0TGFiZWxOb2RlcygpIHtcbiAgICBsZXQgbGFiZWxOb2RlcyA9IFtdO1xuXG4gICAgY29uc3QgcGFyZW50aGVzaXNlZExhYmVsc05vZGUgPSB0aGlzLmdldFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlKCk7XG5cbiAgICBpZiAocGFyZW50aGVzaXNlZExhYmVsc05vZGUgIT09IG51bGwpIHtcbiAgICAgIGxhYmVsTm9kZXMgPSBwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZS5nZXRMYWJlbE5vZGVzKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIGxhYmVsTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiSGVhZGVyTm9kZSIsImdldFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIiwicnVsZU5hbWUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUiLCJwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0U2lnbmF0dXJlTm9kZSIsIlNJR05BVFVSRV9SVUxFX05BTUUiLCJzaWduYXR1cmVOb2RlIiwiZ2V0TGFiZWxOb2RlcyIsImxhYmVsTm9kZXMiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJDbGFzcyIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRXNDOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRW5ELElBQUEsQUFBTUEsMkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyx5Q0FBOEIsRUFDekNDLDBCQUEwQixJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtnQkFFdkQsT0FBT0U7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSixXQUFXSyw4QkFBbUIsRUFDOUJDLGdCQUFnQixJQUFJLENBQUNILGlCQUFpQixDQUFDSDtnQkFFN0MsT0FBT007WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQyxhQUFhLEVBQUU7Z0JBRW5CLElBQU1OLDBCQUEwQixJQUFJLENBQUNILDBCQUEwQjtnQkFFL0QsSUFBSUcsNEJBQTRCLE1BQU07b0JBQ3BDTSxhQUFhTix3QkFBd0JLLGFBQWE7Z0JBQ3BEO2dCQUVBLE9BQU9DO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxLQUFLLEVBQUVWLFFBQVEsRUFBRVcsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0wsMENBQTBDLENBQUNDLE9BQU9WLFVBQVVXLFlBQVlDLFNBQVNDO1lBQWE7OztXQTNCeE1mO0VBQW1CZ0Isb0JBQWUifQ==
|
package/lib/node/lemma.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return LemmaNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _topLevelAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelAssertion"));
|
|
12
12
|
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
39
39
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
40
40
|
return Constructor;
|
|
41
41
|
}
|
|
42
|
+
function _define_property(obj, key, value) {
|
|
43
|
+
if (key in obj) {
|
|
44
|
+
Object.defineProperty(obj, key, {
|
|
45
|
+
value: value,
|
|
46
|
+
enumerable: true,
|
|
47
|
+
configurable: true,
|
|
48
|
+
writable: true
|
|
49
|
+
});
|
|
50
|
+
} else {
|
|
51
|
+
obj[key] = value;
|
|
52
|
+
}
|
|
53
|
+
return obj;
|
|
54
|
+
}
|
|
42
55
|
function _get_prototype_of(o) {
|
|
43
56
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
44
57
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -88,64 +101,23 @@ function _is_native_reflect_construct() {
|
|
|
88
101
|
return !!result;
|
|
89
102
|
})();
|
|
90
103
|
}
|
|
91
|
-
var LemmaNode = /*#__PURE__*/ function(
|
|
92
|
-
_inherits(LemmaNode,
|
|
104
|
+
var LemmaNode = /*#__PURE__*/ function(TopLevelAssertionNode) {
|
|
105
|
+
_inherits(LemmaNode, TopLevelAssertionNode);
|
|
93
106
|
function LemmaNode() {
|
|
94
107
|
_class_call_check(this, LemmaNode);
|
|
95
108
|
return _call_super(this, LemmaNode, arguments);
|
|
96
109
|
}
|
|
97
|
-
_create_class(LemmaNode, [
|
|
98
|
-
{
|
|
99
|
-
key: "getLemmaBodyNode",
|
|
100
|
-
value: function getLemmaBodyNode() {
|
|
101
|
-
var ruleName = _ruleNames.LEMMA_BODY_RULE_NAME, lemmaBodyNode = this.getNodeByRuleName(ruleName);
|
|
102
|
-
return lemmaBodyNode;
|
|
103
|
-
}
|
|
104
|
-
},
|
|
105
|
-
{
|
|
106
|
-
key: "getLemmaHeaderNode",
|
|
107
|
-
value: function getLemmaHeaderNode() {
|
|
108
|
-
var ruleName = _ruleNames.LEMMA_HEADER_RULE_NAME, lemmaHeaderNode = this.getNodeByRuleName(ruleName);
|
|
109
|
-
return lemmaHeaderNode;
|
|
110
|
-
}
|
|
111
|
-
},
|
|
112
|
-
{
|
|
113
|
-
key: "getLabelNodes",
|
|
114
|
-
value: function getLabelNodes() {
|
|
115
|
-
var lemmaHeaderNode = this.getLemmaHeaderNode(), labelNodes = lemmaHeaderNode.getLabelNodes();
|
|
116
|
-
return labelNodes;
|
|
117
|
-
}
|
|
118
|
-
},
|
|
119
|
-
{
|
|
120
|
-
key: "getSuppositionNodes",
|
|
121
|
-
value: function getSuppositionNodes() {
|
|
122
|
-
var lemmaBodyNode = this.getLemmaBodyNode(), suppositionNodes = lemmaBodyNode.getSuppositionNodes();
|
|
123
|
-
return suppositionNodes;
|
|
124
|
-
}
|
|
125
|
-
},
|
|
126
|
-
{
|
|
127
|
-
key: "getDeductionNode",
|
|
128
|
-
value: function getDeductionNode() {
|
|
129
|
-
var lemmaBodyNode = this.getLemmaBodyNode(), deductionNode = lemmaBodyNode.getDeductionNode();
|
|
130
|
-
return deductionNode;
|
|
131
|
-
}
|
|
132
|
-
},
|
|
133
|
-
{
|
|
134
|
-
key: "getProofNode",
|
|
135
|
-
value: function getProofNode() {
|
|
136
|
-
var lemmaBodyNode = this.getLemmaBodyNode(), proofNode = lemmaBodyNode.getProofNode();
|
|
137
|
-
return proofNode;
|
|
138
|
-
}
|
|
139
|
-
}
|
|
140
|
-
], [
|
|
110
|
+
_create_class(LemmaNode, null, [
|
|
141
111
|
{
|
|
142
112
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
143
113
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
144
|
-
return
|
|
114
|
+
return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(LemmaNode, ruleName, childNodes, opacity, precedence);
|
|
145
115
|
}
|
|
146
116
|
}
|
|
147
117
|
]);
|
|
148
118
|
return LemmaNode;
|
|
149
|
-
}(
|
|
119
|
+
}(_topLevelAssertion.default);
|
|
120
|
+
_define_property(LemmaNode, "bodyRuleName", _ruleNames.LEMMA_BODY_RULE_NAME);
|
|
121
|
+
_define_property(LemmaNode, "headerRuleName", _ruleNames.LEMMA_HEADER_RULE_NAME);
|
|
150
122
|
|
|
151
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2xlbW1hLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIGZyb20gXCIuLi9ub2RlL3RvcExldmVsQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IExFTU1BX0JPRFlfUlVMRV9OQU1FLCBMRU1NQV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBMZW1tYU5vZGUgZXh0ZW5kcyBUb3BMZXZlbEFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gTEVNTUFfQk9EWV9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGhlYWRlclJ1bGVOYW1lID0gTEVNTUFfSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKExlbW1hTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTGVtbWFOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJUb3BMZXZlbEFzc2VydGlvbk5vZGUiLCJib2R5UnVsZU5hbWUiLCJMRU1NQV9CT0RZX1JVTEVfTkFNRSIsImhlYWRlclJ1bGVOYW1lIiwiTEVNTUFfSEVBREVSX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7d0VBSmE7eUJBRTJCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUU5QyxJQUFBLEFBQU1BLDBCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBS1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQywwQkFBcUIsQ0FBQ0wsMENBQTBDLENBTG5KRCxXQUsrSkUsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBTDNNTDtFQUFrQk0sMEJBQXFCO0FBQzFELGlCQURtQk4sV0FDWk8sZ0JBQWVDLCtCQUFvQjtBQUUxQyxpQkFIbUJSLFdBR1pTLGtCQUFpQkMsaUNBQXNCIn0=
|
package/lib/node/metaLemma.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return MetaLemmaNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _topLevelMetaAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelMetaAssertion"));
|
|
12
12
|
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
39
39
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
40
40
|
return Constructor;
|
|
41
41
|
}
|
|
42
|
+
function _define_property(obj, key, value) {
|
|
43
|
+
if (key in obj) {
|
|
44
|
+
Object.defineProperty(obj, key, {
|
|
45
|
+
value: value,
|
|
46
|
+
enumerable: true,
|
|
47
|
+
configurable: true,
|
|
48
|
+
writable: true
|
|
49
|
+
});
|
|
50
|
+
} else {
|
|
51
|
+
obj[key] = value;
|
|
52
|
+
}
|
|
53
|
+
return obj;
|
|
54
|
+
}
|
|
42
55
|
function _get_prototype_of(o) {
|
|
43
56
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
44
57
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -88,64 +101,23 @@ function _is_native_reflect_construct() {
|
|
|
88
101
|
return !!result;
|
|
89
102
|
})();
|
|
90
103
|
}
|
|
91
|
-
var MetaLemmaNode = /*#__PURE__*/ function(
|
|
92
|
-
_inherits(MetaLemmaNode,
|
|
104
|
+
var MetaLemmaNode = /*#__PURE__*/ function(TopLevelMetaAssertionNode) {
|
|
105
|
+
_inherits(MetaLemmaNode, TopLevelMetaAssertionNode);
|
|
93
106
|
function MetaLemmaNode() {
|
|
94
107
|
_class_call_check(this, MetaLemmaNode);
|
|
95
108
|
return _call_super(this, MetaLemmaNode, arguments);
|
|
96
109
|
}
|
|
97
|
-
_create_class(MetaLemmaNode, [
|
|
98
|
-
{
|
|
99
|
-
key: "getMetaLemmaBodyNode",
|
|
100
|
-
value: function getMetaLemmaBodyNode() {
|
|
101
|
-
var ruleName = _ruleNames.META_LEMMA_BODY_RULE_NAME, metaLemmaBodyNode = this.getNodeByRuleName(ruleName);
|
|
102
|
-
return metaLemmaBodyNode;
|
|
103
|
-
}
|
|
104
|
-
},
|
|
105
|
-
{
|
|
106
|
-
key: "getMetaLemmaHeaderNode",
|
|
107
|
-
value: function getMetaLemmaHeaderNode() {
|
|
108
|
-
var ruleName = _ruleNames.META_LEMMA_HEADER_RULE_NAME, metaLemmaHeaderNode = this.getNodeByRuleName(ruleName);
|
|
109
|
-
return metaLemmaHeaderNode;
|
|
110
|
-
}
|
|
111
|
-
},
|
|
112
|
-
{
|
|
113
|
-
key: "getLabelNode",
|
|
114
|
-
value: function getLabelNode() {
|
|
115
|
-
var metaLemmaHeaderNode = this.getMetaLemmaHeaderNode(), labelNode = metaLemmaHeaderNode.getLabelNode();
|
|
116
|
-
return labelNode;
|
|
117
|
-
}
|
|
118
|
-
},
|
|
119
|
-
{
|
|
120
|
-
key: "getSuppositionNodes",
|
|
121
|
-
value: function getSuppositionNodes() {
|
|
122
|
-
var metaLemmaBodyNode = this.getMetaLemmaBodyNode(), suppositionNodes = metaLemmaBodyNode.getSuppositionNodes();
|
|
123
|
-
return suppositionNodes;
|
|
124
|
-
}
|
|
125
|
-
},
|
|
126
|
-
{
|
|
127
|
-
key: "getDeductionNode",
|
|
128
|
-
value: function getDeductionNode() {
|
|
129
|
-
var metaLemmaBodyNode = this.getMetaLemmaBodyNode(), deductionNode = metaLemmaBodyNode.getDeductionNode();
|
|
130
|
-
return deductionNode;
|
|
131
|
-
}
|
|
132
|
-
},
|
|
133
|
-
{
|
|
134
|
-
key: "getProofNode",
|
|
135
|
-
value: function getProofNode() {
|
|
136
|
-
var metaLemmaBodyNode = this.getMetaLemmaBodyNode(), proofNode = metaLemmaBodyNode.getProofNode();
|
|
137
|
-
return proofNode;
|
|
138
|
-
}
|
|
139
|
-
}
|
|
140
|
-
], [
|
|
110
|
+
_create_class(MetaLemmaNode, null, [
|
|
141
111
|
{
|
|
142
112
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
143
113
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
144
|
-
return
|
|
114
|
+
return _topLevelMetaAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaNode, ruleName, childNodes, opacity, precedence);
|
|
145
115
|
}
|
|
146
116
|
}
|
|
147
117
|
]);
|
|
148
118
|
return MetaLemmaNode;
|
|
149
|
-
}(
|
|
119
|
+
}(_topLevelMetaAssertion.default);
|
|
120
|
+
_define_property(MetaLemmaNode, "bodyRuleName", _ruleNames.META_LEMMA_BODY_RULE_NAME);
|
|
121
|
+
_define_property(MetaLemmaNode, "headerRuleName", _ruleNames.META_LEMMA_HEADER_RULE_NAME);
|
|
150
122
|
|
|
151
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGFMZW1tYS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUgZnJvbSBcIi4uL25vZGUvdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUsIE1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YUxlbW1hTm9kZSBleHRlbmRzIFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gTUVUQV9MRU1NQV9CT0RZX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgaGVhZGVyUnVsZU5hbWUgPSBNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoTWV0YUxlbW1hTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YUxlbW1hTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSIsImJvZHlSdWxlTmFtZSIsIk1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJoZWFkZXJSdWxlTmFtZSIsIk1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7NEVBSmlCO3lCQUVpQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFeEQsSUFBQSxBQUFNQSw4QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUtaQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsOEJBQXlCLENBQUNMLDBDQUEwQyxDQUx2SkQsZUFLdUtFLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQUxuTkw7RUFBc0JNLDhCQUF5QjtBQUNsRSxpQkFEbUJOLGVBQ1pPLGdCQUFlQyxvQ0FBeUI7QUFFL0MsaUJBSG1CUixlQUdaUyxrQkFBaUJDLHNDQUEyQiJ9
|
package/lib/node/metatheorem.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return MetatheoremNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _topLevelMetaAssertion = /*#__PURE__*/ _interop_require_default(require("../node/topLevelMetaAssertion"));
|
|
12
12
|
var _ruleNames = require("../ruleNames");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
@@ -39,6 +39,19 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
39
39
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
40
40
|
return Constructor;
|
|
41
41
|
}
|
|
42
|
+
function _define_property(obj, key, value) {
|
|
43
|
+
if (key in obj) {
|
|
44
|
+
Object.defineProperty(obj, key, {
|
|
45
|
+
value: value,
|
|
46
|
+
enumerable: true,
|
|
47
|
+
configurable: true,
|
|
48
|
+
writable: true
|
|
49
|
+
});
|
|
50
|
+
} else {
|
|
51
|
+
obj[key] = value;
|
|
52
|
+
}
|
|
53
|
+
return obj;
|
|
54
|
+
}
|
|
42
55
|
function _get_prototype_of(o) {
|
|
43
56
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
44
57
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -88,64 +101,23 @@ function _is_native_reflect_construct() {
|
|
|
88
101
|
return !!result;
|
|
89
102
|
})();
|
|
90
103
|
}
|
|
91
|
-
var MetatheoremNode = /*#__PURE__*/ function(
|
|
92
|
-
_inherits(MetatheoremNode,
|
|
104
|
+
var MetatheoremNode = /*#__PURE__*/ function(TopLevelMetaAssertionNode) {
|
|
105
|
+
_inherits(MetatheoremNode, TopLevelMetaAssertionNode);
|
|
93
106
|
function MetatheoremNode() {
|
|
94
107
|
_class_call_check(this, MetatheoremNode);
|
|
95
108
|
return _call_super(this, MetatheoremNode, arguments);
|
|
96
109
|
}
|
|
97
|
-
_create_class(MetatheoremNode, [
|
|
98
|
-
{
|
|
99
|
-
key: "getMetatheoremBodyNode",
|
|
100
|
-
value: function getMetatheoremBodyNode() {
|
|
101
|
-
var ruleName = _ruleNames.METATHEOREM_BODY_RULE_NAME, metatheoremBodyNode = this.getNodeByRuleName(ruleName);
|
|
102
|
-
return metatheoremBodyNode;
|
|
103
|
-
}
|
|
104
|
-
},
|
|
105
|
-
{
|
|
106
|
-
key: "getMetatheoremHeaderNode",
|
|
107
|
-
value: function getMetatheoremHeaderNode() {
|
|
108
|
-
var ruleName = _ruleNames.METATHEOREM_HEADER_RULE_NAME, metatheoremHeaderNode = this.getNodeByRuleName(ruleName);
|
|
109
|
-
return metatheoremHeaderNode;
|
|
110
|
-
}
|
|
111
|
-
},
|
|
112
|
-
{
|
|
113
|
-
key: "getLabelNode",
|
|
114
|
-
value: function getLabelNode() {
|
|
115
|
-
var metatheoremHeaderNode = this.getMetatheoremHeaderNode(), labelNode = metatheoremHeaderNode.getLabelNode();
|
|
116
|
-
return labelNode;
|
|
117
|
-
}
|
|
118
|
-
},
|
|
119
|
-
{
|
|
120
|
-
key: "getSuppositionNodes",
|
|
121
|
-
value: function getSuppositionNodes() {
|
|
122
|
-
var metatheoremBodyNode = this.getMetatheoremBodyNode(), suppositionNodes = metatheoremBodyNode.getSuppositionNodes();
|
|
123
|
-
return suppositionNodes;
|
|
124
|
-
}
|
|
125
|
-
},
|
|
126
|
-
{
|
|
127
|
-
key: "getConclusionNode",
|
|
128
|
-
value: function getConclusionNode() {
|
|
129
|
-
var metatheoremBodyNode = this.getMetatheoremBodyNode(), conclusionNode = metatheoremBodyNode.getConclusionNode();
|
|
130
|
-
return conclusionNode;
|
|
131
|
-
}
|
|
132
|
-
},
|
|
133
|
-
{
|
|
134
|
-
key: "getProofNode",
|
|
135
|
-
value: function getProofNode() {
|
|
136
|
-
var metatheoremBodyNode = this.getMetatheoremBodyNode(), proofNode = metatheoremBodyNode.getProofNode();
|
|
137
|
-
return proofNode;
|
|
138
|
-
}
|
|
139
|
-
}
|
|
140
|
-
], [
|
|
110
|
+
_create_class(MetatheoremNode, null, [
|
|
141
111
|
{
|
|
142
112
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
143
113
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
144
|
-
return
|
|
114
|
+
return _topLevelMetaAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremNode, ruleName, childNodes, opacity, precedence);
|
|
145
115
|
}
|
|
146
116
|
}
|
|
147
117
|
]);
|
|
148
118
|
return MetatheoremNode;
|
|
149
|
-
}(
|
|
119
|
+
}(_topLevelMetaAssertion.default);
|
|
120
|
+
_define_property(MetatheoremNode, "bodyRuleName", _ruleNames.METATHEOREM_BODY_RULE_NAME);
|
|
121
|
+
_define_property(MetatheoremNode, "headerRuleName", _ruleNames.METATHEOREM_HEADER_RULE_NAME);
|
|
150
122
|
|
|
151
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
123
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGF0aGVvcmVtLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi4vbm9kZS90b3BMZXZlbE1ldGFBc3NlcnRpb25cIjtcblxuaW1wb3J0IHsgTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUsIE1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE1ldGF0aGVvcmVtTm9kZSBleHRlbmRzIFRvcExldmVsTWV0YUFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgYm9keVJ1bGVOYW1lID0gTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUU7XG5cbiAgc3RhdGljIGhlYWRlclJ1bGVOYW1lID0gTUVUQVRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRTtcblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShNZXRhdGhlb3JlbU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGF0aGVvcmVtTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSIsImJvZHlSdWxlTmFtZSIsIk1FVEFUSEVPUkVNX0JPRFlfUlVMRV9OQU1FIiwiaGVhZGVyUnVsZU5hbWUiLCJNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7Ozs0RUFKaUI7eUJBRW1DOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxRCxJQUFBLEFBQU1BLGdDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBS1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyw4QkFBeUIsQ0FBQ0wsMENBQTBDLENBTHZKRCxpQkFLeUtFLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQUxyTkw7RUFBd0JNLDhCQUF5QjtBQUNwRSxpQkFEbUJOLGlCQUNaTyxnQkFBZUMscUNBQTBCO0FBRWhELGlCQUhtQlIsaUJBR1pTLGtCQUFpQkMsdUNBQTRCIn0=
|