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/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
|
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 AxiomNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(AxiomNode,
|
|
90
|
+
var AxiomNode = /*#__PURE__*/ function(TopLevelAssertionNode) {
|
|
91
|
+
_inherits(AxiomNode, TopLevelAssertionNode);
|
|
138
92
|
function AxiomNode() {
|
|
139
93
|
_class_call_check(this, AxiomNode);
|
|
140
94
|
return _call_super(this, AxiomNode, arguments);
|
|
@@ -143,11 +97,11 @@ var AxiomNode = /*#__PURE__*/ function(Node) {
|
|
|
143
97
|
{
|
|
144
98
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
99
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
100
|
+
return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence);
|
|
147
101
|
}
|
|
148
102
|
}
|
|
149
103
|
]);
|
|
150
104
|
return AxiomNode;
|
|
151
|
-
}(
|
|
105
|
+
}(_topLevelAssertion.default);
|
|
152
106
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
107
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2F4aW9tLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIGZyb20gXCIuLi9ub2RlL3RvcExldmVsQXNzZXJ0aW9uXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEF4aW9tTm9kZSBleHRlbmRzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIFRvcExldmVsQXNzZXJ0aW9uTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQXhpb21Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJBeGlvbU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIlRvcExldmVsQXNzZXJ0aW9uTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7d0VBRmE7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFbkIsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsMEJBQXFCLENBQUNMLDBDQUEwQyxDQURuSkQsV0FDK0pFLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQUQzTUw7RUFBa0JNLDBCQUFxQiJ9
|
package/lib/node/combinator.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return CombinatorNode;
|
|
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 CombinatorNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(CombinatorNode,
|
|
90
|
+
var CombinatorNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
91
|
+
_inherits(CombinatorNode, NonTerminalNode);
|
|
138
92
|
function CombinatorNode() {
|
|
139
93
|
_class_call_check(this, CombinatorNode);
|
|
140
94
|
return _call_super(this, CombinatorNode, arguments);
|
|
@@ -143,11 +97,11 @@ var CombinatorNode = /*#__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(CombinatorNode, ruleName, childNodes, opacity, precedence);
|
|
147
101
|
}
|
|
148
102
|
}
|
|
149
103
|
]);
|
|
150
104
|
return CombinatorNode;
|
|
151
|
-
}(
|
|
105
|
+
}(_nonTerminal.default);
|
|
152
106
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
107
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbWJpbmF0b3IuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQ29tYmluYXRvck5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENvbWJpbmF0b3JOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJDb21iaW5hdG9yTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OztrRUFGTzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUViLElBQUEsQUFBTUEsK0JBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNMLDBDQUEwQyxDQUQ3SUQsZ0JBQzhKRSxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FEMU1MO0VBQXVCTSxvQkFBZSJ9
|
package/lib/node/conclusion.js
CHANGED
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ConclusionNode;
|
|
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 ConclusionNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(ConclusionNode,
|
|
91
|
+
var ConclusionNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
92
|
+
_inherits(ConclusionNode, NonTerminalNode);
|
|
138
93
|
function ConclusionNode() {
|
|
139
94
|
_class_call_check(this, ConclusionNode);
|
|
140
95
|
return _call_super(this, ConclusionNode, arguments);
|
|
141
96
|
}
|
|
142
|
-
_create_class(ConclusionNode,
|
|
97
|
+
_create_class(ConclusionNode, [
|
|
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(ConclusionNode, ruleName, childNodes, opacity, precedence);
|
|
147
110
|
}
|
|
148
111
|
}
|
|
149
112
|
]);
|
|
150
113
|
return ConclusionNode;
|
|
151
|
-
}(
|
|
114
|
+
}(_nonTerminal.default);
|
|
152
115
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbmNsdXNpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQ29uY2x1c2lvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRTdGF0ZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1RBVEVNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBzdGF0ZW1lbnROb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc3RhdGVtZW50Tm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ29uY2x1c2lvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkNvbmNsdXNpb25Ob2RlIiwiZ2V0U3RhdGVtZW50Tm9kZSIsInJ1bGVOYW1lIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRVE7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFckIsSUFBQSxBQUFNQSwrQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO2dCQUU3QyxPQUFPRTtZQUNUOzs7O1lBRU9FLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0FSN0lOLGdCQVE4SkUsVUFBVUssWUFBWUMsU0FBU0M7WUFBYTs7O1dBUjFNVDtFQUF1QlUsb0JBQWUifQ==
|
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
|
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 ConjectureNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(ConjectureNode,
|
|
90
|
+
var ConjectureNode = /*#__PURE__*/ function(TopLevelAssertionNode) {
|
|
91
|
+
_inherits(ConjectureNode, TopLevelAssertionNode);
|
|
138
92
|
function ConjectureNode() {
|
|
139
93
|
_class_call_check(this, ConjectureNode);
|
|
140
94
|
return _call_super(this, ConjectureNode, arguments);
|
|
@@ -143,11 +97,11 @@ var ConjectureNode = /*#__PURE__*/ function(Node) {
|
|
|
143
97
|
{
|
|
144
98
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
99
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
100
|
+
return _topLevelAssertion.default.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureNode, ruleName, childNodes, opacity, precedence);
|
|
147
101
|
}
|
|
148
102
|
}
|
|
149
103
|
]);
|
|
150
104
|
return ConjectureNode;
|
|
151
|
-
}(
|
|
105
|
+
}(_topLevelAssertion.default);
|
|
152
106
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
107
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbmplY3R1cmUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUb3BMZXZlbEFzc2VydGlvbk5vZGUgZnJvbSBcIi4uL25vZGUvdG9wTGV2ZWxBc3NlcnRpb25cIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQ29uamVjdHVyZU5vZGUgZXh0ZW5kcyBUb3BMZXZlbEFzc2VydGlvbk5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBUb3BMZXZlbEFzc2VydGlvbk5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENvbmplY3R1cmVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJDb25qZWN0dXJlTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7Ozt3RUFGYTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVuQixJQUFBLEFBQU1BLCtCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQywwQkFBcUIsQ0FBQ0wsMENBQTBDLENBRG5KRCxnQkFDb0tFLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQURoTkw7RUFBdUJNLDBCQUFxQiJ9
|
package/lib/node/constructor.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ConstructorNode;
|
|
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 ConstructorNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(ConstructorNode,
|
|
90
|
+
var ConstructorNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
91
|
+
_inherits(ConstructorNode, NonTerminalNode);
|
|
138
92
|
function ConstructorNode() {
|
|
139
93
|
_class_call_check(this, ConstructorNode);
|
|
140
94
|
return _call_super(this, ConstructorNode, arguments);
|
|
@@ -143,11 +97,11 @@ var ConstructorNode = /*#__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(ConstructorNode, ruleName, childNodes, opacity, precedence);
|
|
147
101
|
}
|
|
148
102
|
}
|
|
149
103
|
]);
|
|
150
104
|
return ConstructorNode;
|
|
151
|
-
}(
|
|
105
|
+
}(_nonTerminal.default);
|
|
152
106
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
107
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbnN0cnVjdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbnN0cnVjdG9yTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ29uc3RydWN0b3JOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJDb25zdHJ1Y3Rvck5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7a0VBRk87Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFYixJQUFBLEFBQU1BLGdDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDTCwwQ0FBMEMsQ0FEN0lELGlCQUMrSkUsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBRDNNTDtFQUF3Qk0sb0JBQWUifQ==
|
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ContainedDeclarationNode;
|
|
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,8 +88,8 @@ function _is_native_reflect_construct() {
|
|
|
133
88
|
return !!result;
|
|
134
89
|
})();
|
|
135
90
|
}
|
|
136
|
-
var ContainedDeclarationNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(ContainedDeclarationNode,
|
|
91
|
+
var ContainedDeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
92
|
+
_inherits(ContainedDeclarationNode, NonTerminalNode);
|
|
138
93
|
function ContainedDeclarationNode() {
|
|
139
94
|
_class_call_check(this, ContainedDeclarationNode);
|
|
140
95
|
return _call_super(this, ContainedDeclarationNode, arguments);
|
|
@@ -143,10 +98,7 @@ var ContainedDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
143
98
|
{
|
|
144
99
|
key: "getStatementNode",
|
|
145
100
|
value: function getStatementNode() {
|
|
146
|
-
var statementNode = this.
|
|
147
|
-
var statementNode = secondChildNode; ///
|
|
148
|
-
return statementNode;
|
|
149
|
-
});
|
|
101
|
+
var ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getNodeByRuleName(ruleName);
|
|
150
102
|
return statementNode;
|
|
151
103
|
}
|
|
152
104
|
}
|
|
@@ -154,11 +106,11 @@ var ContainedDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
154
106
|
{
|
|
155
107
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
156
108
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
157
|
-
return
|
|
109
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ContainedDeclarationNode, ruleName, childNodes, opacity, precedence);
|
|
158
110
|
}
|
|
159
111
|
}
|
|
160
112
|
]);
|
|
161
113
|
return ContainedDeclarationNode;
|
|
162
|
-
}(
|
|
114
|
+
}(_nonTerminal.default);
|
|
163
115
|
|
|
164
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL2NvbWJpbmF0b3IuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uLy4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX1JVTEVfTkFNRSB9IGZyb20gXCIuLi8uLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQ29udGFpbmVkRGVjbGFyYXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENvbnRhaW5lZERlY2xhcmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29udGFpbmVkRGVjbGFyYXRpb25Ob2RlIiwiZ2V0U3RhdGVtZW50Tm9kZSIsInJ1bGVOYW1lIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRVE7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFckIsSUFBQSxBQUFNQSx5Q0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO2dCQUU3QyxPQUFPRTtZQUNUOzs7O1lBRU9FLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0FSN0lOLDBCQVF3S0UsVUFBVUssWUFBWUMsU0FBU0M7WUFBYTs7O1dBUnBOVDtFQUFpQ1Usb0JBQWUifQ==
|