occam-verify-cli 1.0.185 → 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/constants.js +5 -1
- 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 +8 -10
- package/lib/dom/assertion/satisfies.js +6 -8
- package/lib/dom/assertion/subproof.js +3 -5
- package/lib/dom/assertion/type.js +6 -8
- package/lib/dom/axiom.js +15 -100
- package/lib/dom/conjecture.js +5 -4
- package/lib/dom/constructor/bracketed.js +6 -7
- package/lib/dom/declaration/complexType.js +6 -6
- package/lib/dom/declaration/constructor.js +6 -6
- package/lib/dom/declaration/metavariable.js +3 -5
- package/lib/dom/declaration/type.js +2 -2
- package/lib/dom/declaration/variable.js +6 -6
- package/lib/dom/declaration.js +14 -16
- package/lib/dom/derivation.js +2 -4
- package/lib/dom/equality.js +9 -11
- package/lib/dom/frame.js +14 -18
- package/lib/dom/judgement.js +8 -10
- package/lib/dom/lemma.js +5 -4
- package/lib/dom/metaLemma.js +5 -4
- package/lib/dom/metaType.js +2 -4
- package/lib/dom/metatheorem.js +5 -4
- package/lib/dom/metavariable.js +12 -15
- package/lib/dom/parameter.js +2 -4
- package/lib/dom/procedureCall.js +6 -10
- package/lib/dom/proof.js +2 -4
- package/lib/dom/property.js +16 -51
- package/lib/dom/propertyRelation.js +14 -16
- package/lib/dom/reference.js +7 -11
- package/lib/dom/rule.js +6 -8
- package/lib/dom/statement.js +27 -31
- package/lib/dom/step.js +4 -6
- package/lib/dom/subDerivation.js +2 -4
- package/lib/dom/subproof.js +6 -8
- package/lib/dom/term.js +12 -20
- package/lib/dom/theorem.js +5 -4
- package/lib/dom/topLevelAssertion.js +30 -24
- package/lib/dom/topLevelMetaAssertion.js +76 -140
- package/lib/dom/type.js +8 -25
- package/lib/dom/variable.js +5 -11
- 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 +48 -53
- package/lib/node/assertion/defined.js +41 -53
- package/lib/node/assertion/property.js +23 -53
- package/lib/node/assertion/satisfies.js +23 -53
- package/lib/node/assertion/subproof.js +16 -53
- package/lib/node/assertion/type.js +23 -53
- package/lib/node/axiom.js +6 -52
- package/lib/node/combinator.js +6 -52
- package/lib/node/conclusion.js +16 -53
- package/lib/node/conjecture.js +6 -52
- package/lib/node/constructor.js +6 -52
- package/lib/node/declaration/combinator.js +8 -56
- package/lib/node/declaration/complexType.js +42 -86
- package/lib/node/declaration/constructor.js +26 -77
- package/lib/node/declaration/metavariable.js +30 -53
- package/lib/node/declaration/property.js +19 -69
- package/lib/node/declaration/type.js +45 -78
- package/lib/node/declaration/variable.js +21 -81
- package/lib/node/declaration.js +23 -53
- package/lib/node/deduction.js +16 -53
- package/lib/node/derivation.js +42 -51
- package/lib/node/equality.js +32 -53
- package/lib/node/error.js +6 -52
- package/lib/node/frame.js +30 -53
- package/lib/node/judgement.js +23 -53
- package/lib/node/label.js +16 -53
- package/lib/node/labels.js +116 -0
- package/lib/node/lemma.js +6 -52
- package/lib/node/metaArgument.js +116 -0
- package/lib/node/metaLemma.js +6 -52
- package/lib/node/metaType.js +14 -55
- package/lib/node/metatheorem.js +6 -52
- package/lib/node/metavariable.js +30 -56
- package/lib/node/nonTerminal.js +200 -0
- package/lib/node/parameter.js +22 -53
- package/lib/node/parenthesisedLabel.js +116 -0
- package/lib/node/parenthesisedLabels.js +123 -0
- package/lib/node/premise.js +23 -53
- package/lib/node/procedureCall.js +23 -53
- package/lib/node/proof.js +16 -53
- package/lib/node/property.js +18 -57
- package/lib/node/propertyRelation.js +30 -53
- package/lib/node/reference.js +16 -53
- package/lib/node/rule.js +44 -53
- package/lib/node/statement.js +139 -53
- package/lib/node/step.js +37 -53
- package/lib/node/subDerivation.js +49 -51
- package/lib/node/subproof.js +44 -53
- 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 +23 -53
- package/lib/node/term.js +41 -53
- package/lib/node/theorem.js +6 -52
- package/lib/node/topLevelAssertion.js +66 -54
- package/lib/node/topLevelMetaAssertion.js +45 -54
- package/lib/node/type.js +14 -55
- package/lib/{node.js → node/types.js} +22 -24
- package/lib/node/variable.js +14 -55
- package/lib/nominal/parser.js +3 -3
- package/lib/nonTerminalNodeMap.js +14 -4
- package/lib/ruleNames.js +42 -2
- 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 -37
- package/lib/utilities/subproof.js +13 -4
- package/lib/utilities/type.js +16 -4
- package/lib/verifier/topLevel.js +6 -6
- package/package.json +2 -2
- package/src/constants.js +1 -0
- 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 +7 -12
- package/src/dom/assertion/satisfies.js +5 -10
- package/src/dom/assertion/subproof.js +2 -6
- package/src/dom/assertion/type.js +7 -10
- package/src/dom/axiom.js +7 -77
- package/src/dom/conjecture.js +6 -1
- package/src/dom/constructor/bracketed.js +6 -8
- package/src/dom/declaration/complexType.js +8 -7
- package/src/dom/declaration/constructor.js +6 -7
- package/src/dom/declaration/metavariable.js +2 -6
- package/src/dom/declaration/type.js +4 -2
- package/src/dom/declaration/variable.js +6 -7
- package/src/dom/declaration.js +12 -20
- package/src/dom/derivation.js +1 -4
- package/src/dom/equality.js +13 -17
- package/src/dom/frame.js +11 -25
- package/src/dom/judgement.js +7 -12
- package/src/dom/lemma.js +6 -1
- package/src/dom/metaLemma.js +6 -1
- package/src/dom/metaType.js +1 -5
- package/src/dom/metatheorem.js +6 -1
- package/src/dom/metavariable.js +11 -25
- package/src/dom/parameter.js +2 -6
- package/src/dom/procedureCall.js +5 -14
- package/src/dom/proof.js +1 -4
- package/src/dom/property.js +21 -78
- package/src/dom/propertyRelation.js +16 -22
- package/src/dom/reference.js +6 -18
- package/src/dom/rule.js +6 -12
- package/src/dom/statement.js +26 -46
- package/src/dom/step.js +3 -5
- package/src/dom/subDerivation.js +1 -4
- package/src/dom/subproof.js +8 -12
- package/src/dom/term.js +14 -33
- package/src/dom/theorem.js +6 -1
- package/src/dom/topLevelAssertion.js +30 -25
- package/src/dom/topLevelMetaAssertion.js +87 -55
- package/src/dom/type.js +11 -37
- package/src/dom/variable.js +4 -12
- 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 +49 -3
- package/src/node/assertion/defined.js +42 -3
- package/src/node/assertion/property.js +19 -3
- package/src/node/assertion/satisfies.js +19 -3
- package/src/node/assertion/subproof.js +12 -3
- package/src/node/assertion/type.js +19 -3
- package/src/node/axiom.js +3 -3
- package/src/node/combinator.js +3 -3
- package/src/node/conclusion.js +12 -3
- package/src/node/conjecture.js +3 -3
- package/src/node/constructor.js +3 -3
- package/src/node/declaration/combinator.js +7 -8
- package/src/node/declaration/complexType.js +40 -43
- package/src/node/declaration/constructor.js +25 -30
- package/src/node/declaration/metavariable.js +26 -3
- package/src/node/declaration/property.js +17 -23
- package/src/node/declaration/type.js +43 -32
- package/src/node/declaration/variable.js +19 -37
- package/src/node/declaration.js +19 -3
- package/src/node/deduction.js +12 -3
- package/src/node/derivation.js +15 -3
- package/src/node/equality.js +32 -3
- package/src/node/error.js +3 -3
- package/src/node/frame.js +26 -3
- package/src/node/judgement.js +19 -3
- package/src/node/label.js +12 -3
- package/src/node/labels.js +16 -0
- package/src/node/lemma.js +3 -3
- package/src/node/metaArgument.js +16 -0
- package/src/node/metaLemma.js +3 -3
- package/src/node/metaType.js +15 -8
- package/src/node/metatheorem.js +3 -3
- package/src/node/metavariable.js +32 -9
- package/src/node/nonTerminal.js +112 -0
- package/src/node/parameter.js +20 -3
- package/src/node/parenthesisedLabel.js +16 -0
- package/src/node/parenthesisedLabels.js +23 -0
- package/src/node/premise.js +19 -3
- package/src/node/procedureCall.js +19 -3
- package/src/node/proof.js +12 -3
- package/src/node/property.js +18 -12
- package/src/node/propertyRelation.js +26 -3
- package/src/node/reference.js +12 -3
- package/src/node/rule.js +40 -3
- package/src/node/statement.js +151 -3
- package/src/node/step.js +31 -3
- package/src/node/subDerivation.js +22 -3
- package/src/node/subproof.js +38 -3
- 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 +19 -3
- package/src/node/term.js +38 -3
- package/src/node/theorem.js +3 -3
- package/src/node/topLevelAssertion.js +69 -3
- package/src/node/topLevelMetaAssertion.js +40 -3
- package/src/node/type.js +15 -8
- package/src/node/types.js +16 -0
- package/src/node/variable.js +15 -8
- package/src/nominal/parser.js +1 -1
- package/src/nonTerminalNodeMap.js +67 -37
- package/src/ruleNames.js +11 -1
- 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 -27
- package/src/utilities/subproof.js +22 -6
- package/src/utilities/type.js +9 -0
- package/src/verifier/topLevel.js +5 -10
- package/lib/defaultTerminalNode.js +0 -20
- package/lib/mixins/node.js +0 -145
- package/src/defaultTerminalNode.js +0 -7
- package/src/mixins/node.js +0 -201
- package/src/node.js +0 -29
package/lib/node/deduction.js
CHANGED
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DeductionNode;
|
|
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");
|
|
@@ -24,23 +25,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
24
25
|
throw new TypeError("Cannot call a class as a function");
|
|
25
26
|
}
|
|
26
27
|
}
|
|
27
|
-
function _construct(Parent, args, Class) {
|
|
28
|
-
if (_is_native_reflect_construct()) {
|
|
29
|
-
_construct = Reflect.construct;
|
|
30
|
-
} else {
|
|
31
|
-
_construct = function construct(Parent, args, Class) {
|
|
32
|
-
var a = [
|
|
33
|
-
null
|
|
34
|
-
];
|
|
35
|
-
a.push.apply(a, args);
|
|
36
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
-
var instance = new Constructor();
|
|
38
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
-
return instance;
|
|
40
|
-
};
|
|
41
|
-
}
|
|
42
|
-
return _construct.apply(null, arguments);
|
|
43
|
-
}
|
|
44
28
|
function _defineProperties(target, props) {
|
|
45
29
|
for(var i = 0; i < props.length; i++){
|
|
46
30
|
var descriptor = props[i];
|
|
@@ -79,9 +63,6 @@ function _interop_require_default(obj) {
|
|
|
79
63
|
default: obj
|
|
80
64
|
};
|
|
81
65
|
}
|
|
82
|
-
function _is_native_function(fn) {
|
|
83
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
84
|
-
}
|
|
85
66
|
function _possible_constructor_return(self, call) {
|
|
86
67
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
87
68
|
return call;
|
|
@@ -99,32 +80,6 @@ function _type_of(obj) {
|
|
|
99
80
|
"@swc/helpers - typeof";
|
|
100
81
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
101
82
|
}
|
|
102
|
-
function _wrap_native_super(Class) {
|
|
103
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
104
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
105
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
106
|
-
if (typeof Class !== "function") {
|
|
107
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
108
|
-
}
|
|
109
|
-
if (typeof _cache !== "undefined") {
|
|
110
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
111
|
-
_cache.set(Class, Wrapper);
|
|
112
|
-
}
|
|
113
|
-
function Wrapper() {
|
|
114
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
115
|
-
}
|
|
116
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
117
|
-
constructor: {
|
|
118
|
-
value: Wrapper,
|
|
119
|
-
enumerable: false,
|
|
120
|
-
writable: true,
|
|
121
|
-
configurable: true
|
|
122
|
-
}
|
|
123
|
-
});
|
|
124
|
-
return _set_prototype_of(Wrapper, Class);
|
|
125
|
-
};
|
|
126
|
-
return _wrap_native_super(Class);
|
|
127
|
-
}
|
|
128
83
|
function _is_native_reflect_construct() {
|
|
129
84
|
try {
|
|
130
85
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -133,21 +88,29 @@ function _is_native_reflect_construct() {
|
|
|
133
88
|
return !!result;
|
|
134
89
|
})();
|
|
135
90
|
}
|
|
136
|
-
var DeductionNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(DeductionNode,
|
|
91
|
+
var DeductionNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
92
|
+
_inherits(DeductionNode, NonTerminalNode);
|
|
138
93
|
function DeductionNode() {
|
|
139
94
|
_class_call_check(this, DeductionNode);
|
|
140
95
|
return _call_super(this, DeductionNode, arguments);
|
|
141
96
|
}
|
|
142
|
-
_create_class(DeductionNode,
|
|
97
|
+
_create_class(DeductionNode, [
|
|
98
|
+
{
|
|
99
|
+
key: "getStatementNode",
|
|
100
|
+
value: function getStatementNode() {
|
|
101
|
+
var ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getNodeByRuleName(ruleName);
|
|
102
|
+
return statementNode;
|
|
103
|
+
}
|
|
104
|
+
}
|
|
105
|
+
], [
|
|
143
106
|
{
|
|
144
107
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
108
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
109
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(DeductionNode, ruleName, childNodes, opacity, precedence);
|
|
147
110
|
}
|
|
148
111
|
}
|
|
149
112
|
]);
|
|
150
113
|
return DeductionNode;
|
|
151
|
-
}(
|
|
114
|
+
}(_nonTerminal.default);
|
|
152
115
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RlZHVjdGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQgeyBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBEZWR1Y3Rpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKERlZHVjdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkRlZHVjdGlvbk5vZGUiLCJnZXRTdGF0ZW1lbnROb2RlIiwicnVsZU5hbWUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwic3RhdGVtZW50Tm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFUTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVyQixJQUFBLEFBQU1BLDhCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBV0MsOEJBQW1CLEVBQzlCQyxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7Z0JBRTdDLE9BQU9FO1lBQ1Q7Ozs7WUFFT0UsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNKLDBDQUEwQyxDQVI3SU4sZUFRNkpFLFVBQVVLLFlBQVlDLFNBQVNDO1lBQWE7OztXQVJ6TVQ7RUFBc0JVLG9CQUFlIn0=
|
package/lib/node/derivation.js
CHANGED
|
@@ -8,7 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DerivationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
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
|
+
}
|
|
12
21
|
function _assert_this_initialized(self) {
|
|
13
22
|
if (self === void 0) {
|
|
14
23
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -24,23 +33,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
24
33
|
throw new TypeError("Cannot call a class as a function");
|
|
25
34
|
}
|
|
26
35
|
}
|
|
27
|
-
function _construct(Parent, args, Class) {
|
|
28
|
-
if (_is_native_reflect_construct()) {
|
|
29
|
-
_construct = Reflect.construct;
|
|
30
|
-
} else {
|
|
31
|
-
_construct = function construct(Parent, args, Class) {
|
|
32
|
-
var a = [
|
|
33
|
-
null
|
|
34
|
-
];
|
|
35
|
-
a.push.apply(a, args);
|
|
36
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
-
var instance = new Constructor();
|
|
38
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
-
return instance;
|
|
40
|
-
};
|
|
41
|
-
}
|
|
42
|
-
return _construct.apply(null, arguments);
|
|
43
|
-
}
|
|
44
36
|
function _defineProperties(target, props) {
|
|
45
37
|
for(var i = 0; i < props.length; i++){
|
|
46
38
|
var descriptor = props[i];
|
|
@@ -79,8 +71,11 @@ function _interop_require_default(obj) {
|
|
|
79
71
|
default: obj
|
|
80
72
|
};
|
|
81
73
|
}
|
|
82
|
-
function
|
|
83
|
-
|
|
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.");
|
|
84
79
|
}
|
|
85
80
|
function _possible_constructor_return(self, call) {
|
|
86
81
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
@@ -95,35 +90,20 @@ function _set_prototype_of(o, p) {
|
|
|
95
90
|
};
|
|
96
91
|
return _set_prototype_of(o, p);
|
|
97
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
|
+
}
|
|
98
96
|
function _type_of(obj) {
|
|
99
97
|
"@swc/helpers - typeof";
|
|
100
98
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
101
99
|
}
|
|
102
|
-
function
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
if (typeof _cache !== "undefined") {
|
|
110
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
111
|
-
_cache.set(Class, Wrapper);
|
|
112
|
-
}
|
|
113
|
-
function Wrapper() {
|
|
114
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
115
|
-
}
|
|
116
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
117
|
-
constructor: {
|
|
118
|
-
value: Wrapper,
|
|
119
|
-
enumerable: false,
|
|
120
|
-
writable: true,
|
|
121
|
-
configurable: true
|
|
122
|
-
}
|
|
123
|
-
});
|
|
124
|
-
return _set_prototype_of(Wrapper, Class);
|
|
125
|
-
};
|
|
126
|
-
return _wrap_native_super(Class);
|
|
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);
|
|
127
107
|
}
|
|
128
108
|
function _is_native_reflect_construct() {
|
|
129
109
|
try {
|
|
@@ -133,21 +113,32 @@ function _is_native_reflect_construct() {
|
|
|
133
113
|
return !!result;
|
|
134
114
|
})();
|
|
135
115
|
}
|
|
136
|
-
var DerivationNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(DerivationNode,
|
|
116
|
+
var DerivationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
117
|
+
_inherits(DerivationNode, NonTerminalNode);
|
|
138
118
|
function DerivationNode() {
|
|
139
119
|
_class_call_check(this, DerivationNode);
|
|
140
120
|
return _call_super(this, DerivationNode, arguments);
|
|
141
121
|
}
|
|
142
|
-
_create_class(DerivationNode,
|
|
122
|
+
_create_class(DerivationNode, [
|
|
123
|
+
{
|
|
124
|
+
key: "getStepOrSubproofNodes",
|
|
125
|
+
value: function getStepOrSubproofNodes() {
|
|
126
|
+
var ruleNames = [
|
|
127
|
+
_ruleNames.STEP_RULE_NAME,
|
|
128
|
+
_ruleNames.SUBPROOF_RULE_NAME
|
|
129
|
+
], stepOrSubproofNodes = this.getNodesByRuleName.apply(this, _to_consumable_array(ruleNames));
|
|
130
|
+
return stepOrSubproofNodes;
|
|
131
|
+
}
|
|
132
|
+
}
|
|
133
|
+
], [
|
|
143
134
|
{
|
|
144
135
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
136
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
137
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(DerivationNode, ruleName, childNodes, opacity, precedence);
|
|
147
138
|
}
|
|
148
139
|
}
|
|
149
140
|
]);
|
|
150
141
|
return DerivationNode;
|
|
151
|
-
}(
|
|
142
|
+
}(_nonTerminal.default);
|
|
152
143
|
|
|
153
|
-
//# 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");
|
|
@@ -24,23 +26,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
24
26
|
throw new TypeError("Cannot call a class as a function");
|
|
25
27
|
}
|
|
26
28
|
}
|
|
27
|
-
function _construct(Parent, args, Class) {
|
|
28
|
-
if (_is_native_reflect_construct()) {
|
|
29
|
-
_construct = Reflect.construct;
|
|
30
|
-
} else {
|
|
31
|
-
_construct = function construct(Parent, args, Class) {
|
|
32
|
-
var a = [
|
|
33
|
-
null
|
|
34
|
-
];
|
|
35
|
-
a.push.apply(a, args);
|
|
36
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
-
var instance = new Constructor();
|
|
38
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
-
return instance;
|
|
40
|
-
};
|
|
41
|
-
}
|
|
42
|
-
return _construct.apply(null, arguments);
|
|
43
|
-
}
|
|
44
29
|
function _defineProperties(target, props) {
|
|
45
30
|
for(var i = 0; i < props.length; i++){
|
|
46
31
|
var descriptor = props[i];
|
|
@@ -79,9 +64,6 @@ function _interop_require_default(obj) {
|
|
|
79
64
|
default: obj
|
|
80
65
|
};
|
|
81
66
|
}
|
|
82
|
-
function _is_native_function(fn) {
|
|
83
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
84
|
-
}
|
|
85
67
|
function _possible_constructor_return(self, call) {
|
|
86
68
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
87
69
|
return call;
|
|
@@ -99,32 +81,6 @@ function _type_of(obj) {
|
|
|
99
81
|
"@swc/helpers - typeof";
|
|
100
82
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
101
83
|
}
|
|
102
|
-
function _wrap_native_super(Class) {
|
|
103
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
104
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
105
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
106
|
-
if (typeof Class !== "function") {
|
|
107
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
108
|
-
}
|
|
109
|
-
if (typeof _cache !== "undefined") {
|
|
110
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
111
|
-
_cache.set(Class, Wrapper);
|
|
112
|
-
}
|
|
113
|
-
function Wrapper() {
|
|
114
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
115
|
-
}
|
|
116
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
117
|
-
constructor: {
|
|
118
|
-
value: Wrapper,
|
|
119
|
-
enumerable: false,
|
|
120
|
-
writable: true,
|
|
121
|
-
configurable: true
|
|
122
|
-
}
|
|
123
|
-
});
|
|
124
|
-
return _set_prototype_of(Wrapper, Class);
|
|
125
|
-
};
|
|
126
|
-
return _wrap_native_super(Class);
|
|
127
|
-
}
|
|
128
84
|
function _is_native_reflect_construct() {
|
|
129
85
|
try {
|
|
130
86
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -133,21 +89,44 @@ function _is_native_reflect_construct() {
|
|
|
133
89
|
return !!result;
|
|
134
90
|
})();
|
|
135
91
|
}
|
|
136
|
-
var
|
|
137
|
-
|
|
92
|
+
var first = _necessary.arrayUtilities.first, last = _necessary.arrayUtilities.last;
|
|
93
|
+
var EqualityNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
94
|
+
_inherits(EqualityNode, NonTerminalNode);
|
|
138
95
|
function EqualityNode() {
|
|
139
96
|
_class_call_check(this, EqualityNode);
|
|
140
97
|
return _call_super(this, EqualityNode, arguments);
|
|
141
98
|
}
|
|
142
|
-
_create_class(EqualityNode,
|
|
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
|
+
},
|
|
107
|
+
{
|
|
108
|
+
key: "getLeftTermNode",
|
|
109
|
+
value: function getLeftTermNode() {
|
|
110
|
+
var termNodes = this.getTermNodes(), firstTermNode = first(termNodes), leftTermNode = firstTermNode; ///
|
|
111
|
+
return leftTermNode;
|
|
112
|
+
}
|
|
113
|
+
},
|
|
114
|
+
{
|
|
115
|
+
key: "getRightTermNode",
|
|
116
|
+
value: function getRightTermNode() {
|
|
117
|
+
var termNodes = this.getTermNodes(), firstTermNode = last(termNodes), rightTermNode = firstTermNode; ///
|
|
118
|
+
return rightTermNode;
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
], [
|
|
143
122
|
{
|
|
144
123
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
124
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
125
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence);
|
|
147
126
|
}
|
|
148
127
|
}
|
|
149
128
|
]);
|
|
150
129
|
return EqualityNode;
|
|
151
|
-
}(
|
|
130
|
+
}(_nonTerminal.default);
|
|
152
131
|
|
|
153
|
-
//# 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");
|
|
@@ -24,23 +24,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
24
24
|
throw new TypeError("Cannot call a class as a function");
|
|
25
25
|
}
|
|
26
26
|
}
|
|
27
|
-
function _construct(Parent, args, Class) {
|
|
28
|
-
if (_is_native_reflect_construct()) {
|
|
29
|
-
_construct = Reflect.construct;
|
|
30
|
-
} else {
|
|
31
|
-
_construct = function construct(Parent, args, Class) {
|
|
32
|
-
var a = [
|
|
33
|
-
null
|
|
34
|
-
];
|
|
35
|
-
a.push.apply(a, args);
|
|
36
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
-
var instance = new Constructor();
|
|
38
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
-
return instance;
|
|
40
|
-
};
|
|
41
|
-
}
|
|
42
|
-
return _construct.apply(null, arguments);
|
|
43
|
-
}
|
|
44
27
|
function _defineProperties(target, props) {
|
|
45
28
|
for(var i = 0; i < props.length; i++){
|
|
46
29
|
var descriptor = props[i];
|
|
@@ -79,9 +62,6 @@ function _interop_require_default(obj) {
|
|
|
79
62
|
default: obj
|
|
80
63
|
};
|
|
81
64
|
}
|
|
82
|
-
function _is_native_function(fn) {
|
|
83
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
84
|
-
}
|
|
85
65
|
function _possible_constructor_return(self, call) {
|
|
86
66
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
87
67
|
return call;
|
|
@@ -99,32 +79,6 @@ function _type_of(obj) {
|
|
|
99
79
|
"@swc/helpers - typeof";
|
|
100
80
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
101
81
|
}
|
|
102
|
-
function _wrap_native_super(Class) {
|
|
103
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
104
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
105
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
106
|
-
if (typeof Class !== "function") {
|
|
107
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
108
|
-
}
|
|
109
|
-
if (typeof _cache !== "undefined") {
|
|
110
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
111
|
-
_cache.set(Class, Wrapper);
|
|
112
|
-
}
|
|
113
|
-
function Wrapper() {
|
|
114
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
115
|
-
}
|
|
116
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
117
|
-
constructor: {
|
|
118
|
-
value: Wrapper,
|
|
119
|
-
enumerable: false,
|
|
120
|
-
writable: true,
|
|
121
|
-
configurable: true
|
|
122
|
-
}
|
|
123
|
-
});
|
|
124
|
-
return _set_prototype_of(Wrapper, Class);
|
|
125
|
-
};
|
|
126
|
-
return _wrap_native_super(Class);
|
|
127
|
-
}
|
|
128
82
|
function _is_native_reflect_construct() {
|
|
129
83
|
try {
|
|
130
84
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -133,8 +87,8 @@ function _is_native_reflect_construct() {
|
|
|
133
87
|
return !!result;
|
|
134
88
|
})();
|
|
135
89
|
}
|
|
136
|
-
var ErrorNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(ErrorNode,
|
|
90
|
+
var ErrorNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
91
|
+
_inherits(ErrorNode, NonTerminalNode);
|
|
138
92
|
function ErrorNode() {
|
|
139
93
|
_class_call_check(this, ErrorNode);
|
|
140
94
|
return _call_super(this, ErrorNode, arguments);
|
|
@@ -143,11 +97,11 @@ var ErrorNode = /*#__PURE__*/ function(Node) {
|
|
|
143
97
|
{
|
|
144
98
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
99
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
100
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence);
|
|
147
101
|
}
|
|
148
102
|
}
|
|
149
103
|
]);
|
|
150
104
|
return ErrorNode;
|
|
151
|
-
}(
|
|
105
|
+
}(_nonTerminal.default);
|
|
152
106
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
107
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Vycm9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEVycm9yTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRXJyb3JOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJFcnJvck5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7a0VBRk87Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFYixJQUFBLEFBQU1BLDBCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDTCwwQ0FBMEMsQ0FEN0lELFdBQ3lKRSxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FEck1MO0VBQWtCTSxvQkFBZSJ9
|
package/lib/node/frame.js
CHANGED
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return FrameNode;
|
|
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");
|
|
@@ -24,23 +25,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
24
25
|
throw new TypeError("Cannot call a class as a function");
|
|
25
26
|
}
|
|
26
27
|
}
|
|
27
|
-
function _construct(Parent, args, Class) {
|
|
28
|
-
if (_is_native_reflect_construct()) {
|
|
29
|
-
_construct = Reflect.construct;
|
|
30
|
-
} else {
|
|
31
|
-
_construct = function construct(Parent, args, Class) {
|
|
32
|
-
var a = [
|
|
33
|
-
null
|
|
34
|
-
];
|
|
35
|
-
a.push.apply(a, args);
|
|
36
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
-
var instance = new Constructor();
|
|
38
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
-
return instance;
|
|
40
|
-
};
|
|
41
|
-
}
|
|
42
|
-
return _construct.apply(null, arguments);
|
|
43
|
-
}
|
|
44
28
|
function _defineProperties(target, props) {
|
|
45
29
|
for(var i = 0; i < props.length; i++){
|
|
46
30
|
var descriptor = props[i];
|
|
@@ -79,9 +63,6 @@ function _interop_require_default(obj) {
|
|
|
79
63
|
default: obj
|
|
80
64
|
};
|
|
81
65
|
}
|
|
82
|
-
function _is_native_function(fn) {
|
|
83
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
84
|
-
}
|
|
85
66
|
function _possible_constructor_return(self, call) {
|
|
86
67
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
87
68
|
return call;
|
|
@@ -99,32 +80,6 @@ function _type_of(obj) {
|
|
|
99
80
|
"@swc/helpers - typeof";
|
|
100
81
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
101
82
|
}
|
|
102
|
-
function _wrap_native_super(Class) {
|
|
103
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
104
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
105
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
106
|
-
if (typeof Class !== "function") {
|
|
107
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
108
|
-
}
|
|
109
|
-
if (typeof _cache !== "undefined") {
|
|
110
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
111
|
-
_cache.set(Class, Wrapper);
|
|
112
|
-
}
|
|
113
|
-
function Wrapper() {
|
|
114
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
115
|
-
}
|
|
116
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
117
|
-
constructor: {
|
|
118
|
-
value: Wrapper,
|
|
119
|
-
enumerable: false,
|
|
120
|
-
writable: true,
|
|
121
|
-
configurable: true
|
|
122
|
-
}
|
|
123
|
-
});
|
|
124
|
-
return _set_prototype_of(Wrapper, Class);
|
|
125
|
-
};
|
|
126
|
-
return _wrap_native_super(Class);
|
|
127
|
-
}
|
|
128
83
|
function _is_native_reflect_construct() {
|
|
129
84
|
try {
|
|
130
85
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -133,21 +88,43 @@ function _is_native_reflect_construct() {
|
|
|
133
88
|
return !!result;
|
|
134
89
|
})();
|
|
135
90
|
}
|
|
136
|
-
var FrameNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(FrameNode,
|
|
91
|
+
var FrameNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
92
|
+
_inherits(FrameNode, NonTerminalNode);
|
|
138
93
|
function FrameNode() {
|
|
139
94
|
_class_call_check(this, FrameNode);
|
|
140
95
|
return _call_super(this, FrameNode, arguments);
|
|
141
96
|
}
|
|
142
|
-
_create_class(FrameNode,
|
|
97
|
+
_create_class(FrameNode, [
|
|
98
|
+
{
|
|
99
|
+
key: "getDeclarationNodes",
|
|
100
|
+
value: function getDeclarationNodes() {
|
|
101
|
+
var ruleName = _ruleNames.DECLARATION_RULE_NAME, declarationNodes = this.getNodesByRuleName(ruleName);
|
|
102
|
+
return declarationNodes;
|
|
103
|
+
}
|
|
104
|
+
},
|
|
105
|
+
{
|
|
106
|
+
key: "getMetavariableNodes",
|
|
107
|
+
value: function getMetavariableNodes() {
|
|
108
|
+
var ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNodes = this.getNodesByRuleName(ruleName);
|
|
109
|
+
return metavariableNodes;
|
|
110
|
+
}
|
|
111
|
+
},
|
|
112
|
+
{
|
|
113
|
+
key: "getSingularMetavariableNode",
|
|
114
|
+
value: function getSingularMetavariableNode() {
|
|
115
|
+
var ruleName = _ruleNames.METAVARIABLE_RULE_NAME, singularMetavariableNode = this.getSingularTNodeByRuleName(ruleName);
|
|
116
|
+
return singularMetavariableNode;
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
], [
|
|
143
120
|
{
|
|
144
121
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
122
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
123
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(FrameNode, ruleName, childNodes, opacity, precedence);
|
|
147
124
|
}
|
|
148
125
|
}
|
|
149
126
|
]);
|
|
150
127
|
return FrameNode;
|
|
151
|
-
}(
|
|
128
|
+
}(_nonTerminal.default);
|
|
152
129
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
130
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2ZyYW1lLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IERFQ0xBUkFUSU9OX1JVTEVfTkFNRSwgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRnJhbWVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0RGVjbGFyYXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IERFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBkZWNsYXJhdGlvbk5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGRlY2xhcmF0aW9uTm9kZXM7XG4gIH1cblxuICBnZXRNZXRhdmFyaWFibGVOb2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbWV0YXZhcmlhYmxlTm9kZXM7XG4gIH1cblxuICBnZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJUTm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRnJhbWVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJGcmFtZU5vZGUiLCJnZXREZWNsYXJhdGlvbk5vZGVzIiwicnVsZU5hbWUiLCJERUNMQVJBVElPTl9SVUxFX05BTUUiLCJkZWNsYXJhdGlvbk5vZGVzIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZXMiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwibWV0YXZhcmlhYmxlTm9kZXMiLCJnZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUiLCJzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUiLCJnZXRTaW5ndWxhclROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRWtDOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRS9DLElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyxnQ0FBcUIsRUFDaENDLG1CQUFtQixJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtnQkFFakQsT0FBT0U7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSixXQUFXSyxpQ0FBc0IsRUFDakNDLG9CQUFvQixJQUFJLENBQUNILGtCQUFrQixDQUFDSDtnQkFFbEQsT0FBT007WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNUCxXQUFXSyxpQ0FBc0IsRUFDakNHLDJCQUEyQixJQUFJLENBQUNDLDBCQUEwQixDQUFDVDtnQkFFakUsT0FBT1E7WUFDVDs7OztZQUVPRSxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNWLFFBQVEsRUFBRVcsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBdEI3SVosV0FzQnlKRSxVQUFVVyxZQUFZQyxTQUFTQztZQUFhOzs7V0F0QnJNZjtFQUFrQmdCLG9CQUFlIn0=
|