occam-verify-cli 1.0.662 → 1.0.664
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/.swcrc +3 -0
- package/lib/abbreviations.js +10 -10
- package/lib/action/help.js +27 -2
- package/lib/action/verify.js +33 -205
- package/lib/action/version.js +6 -6
- package/lib/commands.js +4 -4
- package/lib/constants.js +16 -16
- package/lib/context/ephemeral.js +337 -540
- package/lib/context/file/nominal.js +545 -1040
- package/lib/context/liminal.js +159 -325
- package/lib/context/literal.js +34 -138
- package/lib/context/nominal.js +29 -124
- package/lib/context/scoped.js +163 -325
- package/lib/context/synthetic.js +31 -126
- package/lib/context.js +230 -482
- package/lib/defaults.js +8 -8
- package/lib/element/assertion/contained.js +159 -299
- package/lib/element/assertion/defined.js +145 -279
- package/lib/element/assertion/property.js +132 -266
- package/lib/element/assertion/satisfies.js +108 -239
- package/lib/element/assertion/subproof.js +88 -207
- package/lib/element/assertion/type.js +132 -262
- package/lib/element/assertion.js +17 -156
- package/lib/element/assumption.js +187 -386
- package/lib/element/combinator/bracketed.js +19 -142
- package/lib/element/combinator.js +65 -228
- package/lib/element/conclusion.js +72 -370
- package/lib/element/constructor/bracketed.js +34 -157
- package/lib/element/constructor.js +81 -253
- package/lib/element/declaration/combinator.js +41 -286
- package/lib/element/declaration/complexType.js +184 -452
- package/lib/element/declaration/constructor.js +69 -323
- package/lib/element/declaration/metavariable.js +70 -317
- package/lib/element/declaration/simpleType.js +117 -378
- package/lib/element/declaration/typePrefix.js +54 -299
- package/lib/element/declaration/variable.js +74 -328
- package/lib/element/declaration.js +3 -114
- package/lib/element/deduction.js +76 -378
- package/lib/element/derivation.js +31 -340
- package/lib/element/equality.js +152 -347
- package/lib/element/equivalence.js +160 -385
- package/lib/element/equivalences.js +132 -356
- package/lib/element/error.js +16 -290
- package/lib/element/frame.js +210 -418
- package/lib/element/hypothesis.js +56 -354
- package/lib/element/judgement.js +120 -305
- package/lib/element/label.js +62 -236
- package/lib/element/metaType.js +35 -200
- package/lib/element/metavariable.js +249 -459
- package/lib/element/parameter.js +39 -202
- package/lib/element/procedureCall.js +74 -381
- package/lib/element/procedureReference.js +27 -186
- package/lib/element/proof.js +38 -349
- package/lib/element/proofAssertion/premise.js +174 -466
- package/lib/element/proofAssertion/step.js +144 -495
- package/lib/element/proofAssertion/supposition.js +170 -466
- package/lib/element/proofAssertion.js +47 -195
- package/lib/element/property.js +36 -201
- package/lib/element/propertyRelation.js +62 -223
- package/lib/element/reference.js +173 -378
- package/lib/element/rule.js +178 -673
- package/lib/element/section.js +47 -356
- package/lib/element/signature.js +96 -264
- package/lib/element/statement.js +195 -395
- package/lib/element/subDerivation.js +32 -341
- package/lib/element/subproof.js +73 -448
- package/lib/element/substitution/frame.js +114 -257
- package/lib/element/substitution/reference.js +108 -248
- package/lib/element/substitution/statement.js +223 -397
- package/lib/element/substitution/term.js +123 -266
- package/lib/element/substitution.js +97 -296
- package/lib/element/term.js +139 -339
- package/lib/element/topLevelAssertion/axiom.js +153 -459
- package/lib/element/topLevelAssertion/conjecture.js +24 -295
- package/lib/element/topLevelAssertion/lemma.js +22 -289
- package/lib/element/topLevelAssertion/theorem.js +24 -295
- package/lib/element/topLevelAssertion.js +218 -718
- package/lib/element/topLevelMetaAssertion/metaLemma.js +24 -290
- package/lib/element/topLevelMetaAssertion/metatheorem.js +24 -290
- package/lib/element/topLevelMetaAssertion.js +109 -509
- package/lib/element/type.js +198 -435
- package/lib/element/typePrefix.js +27 -186
- package/lib/element/variable.js +119 -308
- package/lib/elements.js +4 -4
- package/lib/index.js +4 -4
- package/lib/main.js +18 -18
- package/lib/messages.js +2 -2
- package/lib/metaTypeNames.js +4 -4
- package/lib/metaTypes.js +10 -10
- package/lib/node/argument.js +15 -109
- package/lib/node/assertion/contained.js +33 -130
- package/lib/node/assertion/defined.js +29 -123
- package/lib/node/assertion/property.js +18 -112
- package/lib/node/assertion/satisfies.js +14 -105
- package/lib/node/assertion/subproof.js +10 -98
- package/lib/node/assertion/type.js +14 -105
- package/lib/node/assertion.js +5 -89
- package/lib/node/assumption.js +12 -103
- package/lib/node/body/axiom.js +5 -89
- package/lib/node/body/conjecture.js +5 -89
- package/lib/node/body/lemma.js +5 -89
- package/lib/node/body/metaLemma.js +5 -89
- package/lib/node/body/metatheorem.js +5 -89
- package/lib/node/body/rule.js +26 -126
- package/lib/node/body/theorem.js +5 -89
- package/lib/node/body.js +15 -109
- package/lib/node/combinator.js +9 -97
- package/lib/node/conclusion.js +12 -103
- package/lib/node/constructor.js +9 -97
- package/lib/node/declaration/combinator.js +10 -98
- package/lib/node/declaration/complexType.js +53 -162
- package/lib/node/declaration/constructor.js +29 -123
- package/lib/node/declaration/metavariable.js +18 -112
- package/lib/node/declaration/property.js +26 -123
- package/lib/node/declaration/simpleType.js +52 -158
- package/lib/node/declaration/typePrefix.js +14 -105
- package/lib/node/declaration/variable.js +33 -130
- package/lib/node/declaration.js +5 -89
- package/lib/node/deduction.js +12 -103
- package/lib/node/derivation.js +12 -125
- package/lib/node/document.js +5 -89
- package/lib/node/equality.js +17 -111
- package/lib/node/equivalence.js +9 -97
- package/lib/node/equivalences.js +5 -89
- package/lib/node/error.js +5 -89
- package/lib/node/frame.js +26 -123
- package/lib/node/header/axiom.js +10 -98
- package/lib/node/header/conjecture.js +5 -89
- package/lib/node/header/lemma.js +5 -89
- package/lib/node/header/metaLemma.js +5 -89
- package/lib/node/header/metatheorem.js +5 -89
- package/lib/node/header/rule.js +5 -89
- package/lib/node/header/theorem.js +5 -89
- package/lib/node/header.js +30 -130
- package/lib/node/hypothesis.js +12 -103
- package/lib/node/judgement.js +15 -109
- package/lib/node/label.js +9 -97
- package/lib/node/labels.js +9 -97
- package/lib/node/metaArgument.js +9 -97
- package/lib/node/metaType.js +16 -104
- package/lib/node/metavariable.js +23 -117
- package/lib/node/parameter.js +32 -123
- package/lib/node/parenthesisedLabel.js +9 -97
- package/lib/node/parenthesisedLabels.js +12 -103
- package/lib/node/placeholder.js +5 -89
- package/lib/node/procedureCall.js +15 -109
- package/lib/node/procedureReference.js +16 -104
- package/lib/node/proof.js +9 -97
- package/lib/node/proofAssertion/premise.js +10 -98
- package/lib/node/proofAssertion/step.js +32 -132
- package/lib/node/proofAssertion/supposition.js +10 -98
- package/lib/node/proofAssertion.js +12 -103
- package/lib/node/property.js +15 -106
- package/lib/node/propertyRelation.js +15 -109
- package/lib/node/qualification.js +12 -103
- package/lib/node/reference.js +9 -97
- package/lib/node/rule.js +26 -129
- package/lib/node/section.js +22 -122
- package/lib/node/signature.js +9 -97
- package/lib/node/statement.js +93 -238
- package/lib/node/subDerivation.js +12 -125
- package/lib/node/subproof.js +18 -115
- package/lib/node/substitution/frame.js +22 -119
- package/lib/node/substitution/reference.js +22 -119
- package/lib/node/substitution/statement.js +42 -151
- package/lib/node/substitution/term.js +22 -119
- package/lib/node/substitution.js +5 -89
- package/lib/node/term.js +51 -160
- package/lib/node/topLevelAssertion/axiom.js +8 -105
- package/lib/node/topLevelAssertion/conjecture.js +8 -105
- package/lib/node/topLevelAssertion/lemma.js +8 -105
- package/lib/node/topLevelAssertion/theorem.js +8 -105
- package/lib/node/topLevelAssertion.js +29 -135
- package/lib/node/topLevelMetaAssertion/metaLemma.js +8 -105
- package/lib/node/topLevelMetaAssertion/metatheorem.js +8 -105
- package/lib/node/topLevelMetaAssertion.js +25 -128
- package/lib/node/type.js +43 -140
- package/lib/node/typePrefix.js +16 -104
- package/lib/node/types.js +9 -97
- package/lib/node/variable.js +16 -104
- package/lib/nominal/lexer.js +3 -68
- package/lib/nominal/parser.js +7 -85
- package/lib/nonTerminalNodeMap.js +171 -101
- package/lib/options.js +6 -6
- package/lib/preamble.js +62 -62
- package/lib/prepare.js +4 -4
- package/lib/process/assign.js +20 -20
- package/lib/process/equate.js +39 -117
- package/lib/process/instantiate.js +10 -9
- package/lib/process/unify.js +199 -325
- package/lib/process/validate.js +87 -195
- package/lib/process/verify.js +263 -786
- package/lib/ruleNames.js +84 -84
- package/lib/tokenTypes.js +3 -3
- package/lib/utilities/bnf.js +7 -7
- package/lib/utilities/brackets.js +18 -18
- package/lib/utilities/clock.js +8 -8
- package/lib/utilities/context.js +23 -191
- package/lib/utilities/element.js +276 -276
- package/lib/utilities/equivalence.js +7 -7
- package/lib/utilities/fileContext.js +9 -9
- package/lib/utilities/instance.js +14 -14
- package/lib/utilities/json.js +211 -211
- package/lib/utilities/releaseContext.js +19 -147
- package/lib/utilities/statement.js +10 -10
- package/lib/utilities/string.js +47 -47
- package/lib/utilities/substitutions.js +19 -19
- package/lib/utilities/type.js +5 -5
- package/lib/utilities/unification.js +196 -426
- package/lib/utilities/validation.js +72 -72
- package/package.json +1 -1
package/lib/node/declaration.js
CHANGED
|
@@ -8,95 +8,11 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
class DeclarationNode extends _occamlanguages.NonTerminalNode {
|
|
13
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
14
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
15
15
|
}
|
|
16
|
-
return self;
|
|
17
16
|
}
|
|
18
|
-
function _call_super(_this, derived, args) {
|
|
19
|
-
derived = _get_prototype_of(derived);
|
|
20
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
-
}
|
|
22
|
-
function _class_call_check(instance, Constructor) {
|
|
23
|
-
if (!(instance instanceof Constructor)) {
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
37
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _get_prototype_of(o) {
|
|
42
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
43
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
44
|
-
};
|
|
45
|
-
return _get_prototype_of(o);
|
|
46
|
-
}
|
|
47
|
-
function _inherits(subClass, superClass) {
|
|
48
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
49
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
50
|
-
}
|
|
51
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
52
|
-
constructor: {
|
|
53
|
-
value: subClass,
|
|
54
|
-
writable: true,
|
|
55
|
-
configurable: true
|
|
56
|
-
}
|
|
57
|
-
});
|
|
58
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
59
|
-
}
|
|
60
|
-
function _possible_constructor_return(self, call) {
|
|
61
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
62
|
-
return call;
|
|
63
|
-
}
|
|
64
|
-
return _assert_this_initialized(self);
|
|
65
|
-
}
|
|
66
|
-
function _set_prototype_of(o, p) {
|
|
67
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
68
|
-
o.__proto__ = p;
|
|
69
|
-
return o;
|
|
70
|
-
};
|
|
71
|
-
return _set_prototype_of(o, p);
|
|
72
|
-
}
|
|
73
|
-
function _type_of(obj) {
|
|
74
|
-
"@swc/helpers - typeof";
|
|
75
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
76
|
-
}
|
|
77
|
-
function _is_native_reflect_construct() {
|
|
78
|
-
try {
|
|
79
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
80
|
-
} catch (_) {}
|
|
81
|
-
return (_is_native_reflect_construct = function() {
|
|
82
|
-
return !!result;
|
|
83
|
-
})();
|
|
84
|
-
}
|
|
85
|
-
var DeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
86
|
-
_inherits(DeclarationNode, NonTerminalNode);
|
|
87
|
-
function DeclarationNode() {
|
|
88
|
-
_class_call_check(this, DeclarationNode);
|
|
89
|
-
return _call_super(this, DeclarationNode, arguments);
|
|
90
|
-
}
|
|
91
|
-
_create_class(DeclarationNode, null, [
|
|
92
|
-
{
|
|
93
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
94
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
95
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
96
|
-
}
|
|
97
|
-
}
|
|
98
|
-
]);
|
|
99
|
-
return DeclarationNode;
|
|
100
|
-
}(_occamlanguages.NonTerminalNode);
|
|
101
17
|
|
|
102
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
18
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIERlY2xhcmF0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJEZWNsYXJhdGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJDbGFzcyIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLHdCQUF3QkMsK0JBQWU7SUFDMUQsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLCtCQUFlLENBQUNDLDBDQUEwQyxDQUFDQyxPQUFPQyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
|
package/lib/node/deduction.js
CHANGED
|
@@ -8,111 +8,20 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DeductionNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
const _ruleNames = require("../ruleNames");
|
|
13
|
+
class DeductionNode extends _occamlanguages.NonTerminalNode {
|
|
14
|
+
getNonsenseNode() {
|
|
15
|
+
const ruleName = _ruleNames.NONSENSE_RULE_NAME, nonsenseNode = this.getNodeByRuleName(ruleName);
|
|
16
|
+
return nonsenseNode;
|
|
16
17
|
}
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
derived = _get_prototype_of(derived);
|
|
21
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
22
|
-
}
|
|
23
|
-
function _class_call_check(instance, Constructor) {
|
|
24
|
-
if (!(instance instanceof Constructor)) {
|
|
25
|
-
throw new TypeError("Cannot call a class as a function");
|
|
26
|
-
}
|
|
27
|
-
}
|
|
28
|
-
function _defineProperties(target, props) {
|
|
29
|
-
for(var i = 0; i < props.length; i++){
|
|
30
|
-
var descriptor = props[i];
|
|
31
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
32
|
-
descriptor.configurable = true;
|
|
33
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
34
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
18
|
+
getStatementNode() {
|
|
19
|
+
const ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getNodeByRuleName(ruleName);
|
|
20
|
+
return statementNode;
|
|
35
21
|
}
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
39
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
40
|
-
return Constructor;
|
|
41
|
-
}
|
|
42
|
-
function _get_prototype_of(o) {
|
|
43
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
44
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
45
|
-
};
|
|
46
|
-
return _get_prototype_of(o);
|
|
47
|
-
}
|
|
48
|
-
function _inherits(subClass, superClass) {
|
|
49
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
50
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
22
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DeductionNode, ruleName, childNodes, opacity, precedence);
|
|
51
24
|
}
|
|
52
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
53
|
-
constructor: {
|
|
54
|
-
value: subClass,
|
|
55
|
-
writable: true,
|
|
56
|
-
configurable: true
|
|
57
|
-
}
|
|
58
|
-
});
|
|
59
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
60
25
|
}
|
|
61
|
-
function _possible_constructor_return(self, call) {
|
|
62
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
63
|
-
return call;
|
|
64
|
-
}
|
|
65
|
-
return _assert_this_initialized(self);
|
|
66
|
-
}
|
|
67
|
-
function _set_prototype_of(o, p) {
|
|
68
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
69
|
-
o.__proto__ = p;
|
|
70
|
-
return o;
|
|
71
|
-
};
|
|
72
|
-
return _set_prototype_of(o, p);
|
|
73
|
-
}
|
|
74
|
-
function _type_of(obj) {
|
|
75
|
-
"@swc/helpers - typeof";
|
|
76
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
77
|
-
}
|
|
78
|
-
function _is_native_reflect_construct() {
|
|
79
|
-
try {
|
|
80
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
81
|
-
} catch (_) {}
|
|
82
|
-
return (_is_native_reflect_construct = function() {
|
|
83
|
-
return !!result;
|
|
84
|
-
})();
|
|
85
|
-
}
|
|
86
|
-
var DeductionNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
-
_inherits(DeductionNode, NonTerminalNode);
|
|
88
|
-
function DeductionNode() {
|
|
89
|
-
_class_call_check(this, DeductionNode);
|
|
90
|
-
return _call_super(this, DeductionNode, arguments);
|
|
91
|
-
}
|
|
92
|
-
_create_class(DeductionNode, [
|
|
93
|
-
{
|
|
94
|
-
key: "getNonsenseNode",
|
|
95
|
-
value: function getNonsenseNode() {
|
|
96
|
-
var ruleName = _ruleNames.NONSENSE_RULE_NAME, nonsenseNode = this.getNodeByRuleName(ruleName);
|
|
97
|
-
return nonsenseNode;
|
|
98
|
-
}
|
|
99
|
-
},
|
|
100
|
-
{
|
|
101
|
-
key: "getStatementNode",
|
|
102
|
-
value: function getStatementNode() {
|
|
103
|
-
var ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getNodeByRuleName(ruleName);
|
|
104
|
-
return statementNode;
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
], [
|
|
108
|
-
{
|
|
109
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
110
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
111
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DeductionNode, ruleName, childNodes, opacity, precedence);
|
|
112
|
-
}
|
|
113
|
-
}
|
|
114
|
-
]);
|
|
115
|
-
return DeductionNode;
|
|
116
|
-
}(_occamlanguages.NonTerminalNode);
|
|
117
26
|
|
|
118
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
27
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RlZHVjdGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBOT05TRU5TRV9SVUxFX05BTUUsIFNUQVRFTUVOVF9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIERlZHVjdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXROb25zZW5zZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBOT05TRU5TRV9SVUxFX05BTUUsXG4gICAgICAgICAgbm9uc2Vuc2VOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbm9uc2Vuc2VOb2RlO1xuICB9XG5cbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKERlZHVjdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkRlZHVjdGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXROb25zZW5zZU5vZGUiLCJydWxlTmFtZSIsIk5PTlNFTlNFX1JVTEVfTkFNRSIsIm5vbnNlbnNlTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0U3RhdGVtZW50Tm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJzdGF0ZW1lbnROb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O2dDQUpXOzJCQUV3QjtBQUV6QyxNQUFNQSxzQkFBc0JDLCtCQUFlO0lBQ3hEQyxrQkFBa0I7UUFDaEIsTUFBTUMsV0FBV0MsNkJBQWtCLEVBQzdCQyxlQUFlLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRTVDLE9BQU9FO0lBQ1Q7SUFFQUUsbUJBQW1CO1FBQ2pCLE1BQU1KLFdBQVdLLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9NO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkNQLFFBQVEsRUFBRVEsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9aLCtCQUFlLENBQUNTLDBDQUEwQyxDQUFDVixlQUFlRyxVQUFVUSxZQUFZQyxTQUFTQztJQUFhO0FBQzlOIn0=
|
package/lib/node/derivation.js
CHANGED
|
@@ -8,132 +8,19 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DerivationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
}
|
|
21
|
-
function _assert_this_initialized(self) {
|
|
22
|
-
if (self === void 0) {
|
|
23
|
-
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
24
|
-
}
|
|
25
|
-
return self;
|
|
26
|
-
}
|
|
27
|
-
function _call_super(_this, derived, args) {
|
|
28
|
-
derived = _get_prototype_of(derived);
|
|
29
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
30
|
-
}
|
|
31
|
-
function _class_call_check(instance, Constructor) {
|
|
32
|
-
if (!(instance instanceof Constructor)) {
|
|
33
|
-
throw new TypeError("Cannot call a class as a function");
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _defineProperties(target, props) {
|
|
37
|
-
for(var i = 0; i < props.length; i++){
|
|
38
|
-
var descriptor = props[i];
|
|
39
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
40
|
-
descriptor.configurable = true;
|
|
41
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
42
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
43
|
-
}
|
|
44
|
-
}
|
|
45
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
46
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
47
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
48
|
-
return Constructor;
|
|
49
|
-
}
|
|
50
|
-
function _get_prototype_of(o) {
|
|
51
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
52
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
53
|
-
};
|
|
54
|
-
return _get_prototype_of(o);
|
|
55
|
-
}
|
|
56
|
-
function _inherits(subClass, superClass) {
|
|
57
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
58
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
const _ruleNames = require("../ruleNames");
|
|
13
|
+
class DerivationNode extends _occamlanguages.NonTerminalNode {
|
|
14
|
+
getStepOrSubproofNodes() {
|
|
15
|
+
const ruleNames = [
|
|
16
|
+
_ruleNames.STEP_RULE_NAME,
|
|
17
|
+
_ruleNames.SUBPROOF_RULE_NAME
|
|
18
|
+
], stepOrSubproofNodes = this.getNodesByRuleName(...ruleNames);
|
|
19
|
+
return stepOrSubproofNodes;
|
|
59
20
|
}
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
value: subClass,
|
|
63
|
-
writable: true,
|
|
64
|
-
configurable: true
|
|
65
|
-
}
|
|
66
|
-
});
|
|
67
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
68
|
-
}
|
|
69
|
-
function _iterable_to_array(iter) {
|
|
70
|
-
if (typeof Symbol !== "undefined" && iter[Symbol.iterator] != null || iter["@@iterator"] != null) return Array.from(iter);
|
|
71
|
-
}
|
|
72
|
-
function _non_iterable_spread() {
|
|
73
|
-
throw new TypeError("Invalid attempt to spread non-iterable instance.\\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.");
|
|
74
|
-
}
|
|
75
|
-
function _possible_constructor_return(self, call) {
|
|
76
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
77
|
-
return call;
|
|
21
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
22
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DerivationNode, ruleName, childNodes, opacity, precedence);
|
|
78
23
|
}
|
|
79
|
-
return _assert_this_initialized(self);
|
|
80
|
-
}
|
|
81
|
-
function _set_prototype_of(o, p) {
|
|
82
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
83
|
-
o.__proto__ = p;
|
|
84
|
-
return o;
|
|
85
|
-
};
|
|
86
|
-
return _set_prototype_of(o, p);
|
|
87
24
|
}
|
|
88
|
-
function _to_consumable_array(arr) {
|
|
89
|
-
return _array_without_holes(arr) || _iterable_to_array(arr) || _unsupported_iterable_to_array(arr) || _non_iterable_spread();
|
|
90
|
-
}
|
|
91
|
-
function _type_of(obj) {
|
|
92
|
-
"@swc/helpers - typeof";
|
|
93
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
94
|
-
}
|
|
95
|
-
function _unsupported_iterable_to_array(o, minLen) {
|
|
96
|
-
if (!o) return;
|
|
97
|
-
if (typeof o === "string") return _array_like_to_array(o, minLen);
|
|
98
|
-
var n = Object.prototype.toString.call(o).slice(8, -1);
|
|
99
|
-
if (n === "Object" && o.constructor) n = o.constructor.name;
|
|
100
|
-
if (n === "Map" || n === "Set") return Array.from(n);
|
|
101
|
-
if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
|
|
102
|
-
}
|
|
103
|
-
function _is_native_reflect_construct() {
|
|
104
|
-
try {
|
|
105
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
106
|
-
} catch (_) {}
|
|
107
|
-
return (_is_native_reflect_construct = function() {
|
|
108
|
-
return !!result;
|
|
109
|
-
})();
|
|
110
|
-
}
|
|
111
|
-
var DerivationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
112
|
-
_inherits(DerivationNode, NonTerminalNode);
|
|
113
|
-
function DerivationNode() {
|
|
114
|
-
_class_call_check(this, DerivationNode);
|
|
115
|
-
return _call_super(this, DerivationNode, arguments);
|
|
116
|
-
}
|
|
117
|
-
_create_class(DerivationNode, [
|
|
118
|
-
{
|
|
119
|
-
key: "getStepOrSubproofNodes",
|
|
120
|
-
value: function getStepOrSubproofNodes() {
|
|
121
|
-
var ruleNames = [
|
|
122
|
-
_ruleNames.STEP_RULE_NAME,
|
|
123
|
-
_ruleNames.SUBPROOF_RULE_NAME
|
|
124
|
-
], stepOrSubproofNodes = this.getNodesByRuleName.apply(this, _to_consumable_array(ruleNames));
|
|
125
|
-
return stepOrSubproofNodes;
|
|
126
|
-
}
|
|
127
|
-
}
|
|
128
|
-
], [
|
|
129
|
-
{
|
|
130
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
131
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
132
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DerivationNode, ruleName, childNodes, opacity, precedence);
|
|
133
|
-
}
|
|
134
|
-
}
|
|
135
|
-
]);
|
|
136
|
-
return DerivationNode;
|
|
137
|
-
}(_occamlanguages.NonTerminalNode);
|
|
138
25
|
|
|
139
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
26
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Rlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgU1RFUF9SVUxFX05BTUUsIFNVQlBST09GX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRGVyaXZhdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRTdGVwT3JTdWJwcm9vZk5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lcyA9IFtcbiAgICAgICAgICAgIFNURVBfUlVMRV9OQU1FLFxuICAgICAgICAgICAgU1VCUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgIF0sXG4gICAgICAgICAgc3RlcE9yU3VicHJvb2ZOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKC4uLnJ1bGVOYW1lcyk7XG5cbiAgICByZXR1cm4gc3RlcE9yU3VicHJvb2ZOb2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRGVyaXZhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkRlcml2YXRpb25Ob2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0U3RlcE9yU3VicHJvb2ZOb2RlcyIsInJ1bGVOYW1lcyIsIlNURVBfUlVMRV9OQU1FIiwiU1VCUFJPT0ZfUlVMRV9OQU1FIiwic3RlcE9yU3VicHJvb2ZOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O2dDQUpXOzJCQUVtQjtBQUVwQyxNQUFNQSx1QkFBdUJDLCtCQUFlO0lBQ3pEQyx5QkFBeUI7UUFDdkIsTUFBTUMsWUFBWTtZQUNWQyx5QkFBYztZQUNkQyw2QkFBa0I7U0FDbkIsRUFDREMsc0JBQXNCLElBQUksQ0FBQ0Msa0JBQWtCLElBQUlKO1FBRXZELE9BQU9HO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9YLCtCQUFlLENBQUNPLDBDQUEwQyxDQUFDUixnQkFBZ0JTLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
|
package/lib/node/document.js
CHANGED
|
@@ -8,95 +8,11 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DocumentNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
class DocumentNode extends _occamlanguages.NonTerminalNode {
|
|
13
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
14
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DocumentNode, ruleName, childNodes, opacity, precedence);
|
|
15
15
|
}
|
|
16
|
-
return self;
|
|
17
16
|
}
|
|
18
|
-
function _call_super(_this, derived, args) {
|
|
19
|
-
derived = _get_prototype_of(derived);
|
|
20
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
-
}
|
|
22
|
-
function _class_call_check(instance, Constructor) {
|
|
23
|
-
if (!(instance instanceof Constructor)) {
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
37
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _get_prototype_of(o) {
|
|
42
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
43
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
44
|
-
};
|
|
45
|
-
return _get_prototype_of(o);
|
|
46
|
-
}
|
|
47
|
-
function _inherits(subClass, superClass) {
|
|
48
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
49
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
50
|
-
}
|
|
51
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
52
|
-
constructor: {
|
|
53
|
-
value: subClass,
|
|
54
|
-
writable: true,
|
|
55
|
-
configurable: true
|
|
56
|
-
}
|
|
57
|
-
});
|
|
58
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
59
|
-
}
|
|
60
|
-
function _possible_constructor_return(self, call) {
|
|
61
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
62
|
-
return call;
|
|
63
|
-
}
|
|
64
|
-
return _assert_this_initialized(self);
|
|
65
|
-
}
|
|
66
|
-
function _set_prototype_of(o, p) {
|
|
67
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
68
|
-
o.__proto__ = p;
|
|
69
|
-
return o;
|
|
70
|
-
};
|
|
71
|
-
return _set_prototype_of(o, p);
|
|
72
|
-
}
|
|
73
|
-
function _type_of(obj) {
|
|
74
|
-
"@swc/helpers - typeof";
|
|
75
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
76
|
-
}
|
|
77
|
-
function _is_native_reflect_construct() {
|
|
78
|
-
try {
|
|
79
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
80
|
-
} catch (_) {}
|
|
81
|
-
return (_is_native_reflect_construct = function() {
|
|
82
|
-
return !!result;
|
|
83
|
-
})();
|
|
84
|
-
}
|
|
85
|
-
var DocumentNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
86
|
-
_inherits(DocumentNode, NonTerminalNode);
|
|
87
|
-
function DocumentNode() {
|
|
88
|
-
_class_call_check(this, DocumentNode);
|
|
89
|
-
return _call_super(this, DocumentNode, arguments);
|
|
90
|
-
}
|
|
91
|
-
_create_class(DocumentNode, null, [
|
|
92
|
-
{
|
|
93
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
94
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
95
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DocumentNode, ruleName, childNodes, opacity, precedence);
|
|
96
|
-
}
|
|
97
|
-
}
|
|
98
|
-
]);
|
|
99
|
-
return DocumentNode;
|
|
100
|
-
}(_occamlanguages.NonTerminalNode);
|
|
101
17
|
|
|
102
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
18
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RvY3VtZW50LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIERvY3VtZW50Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRG9jdW1lbnROb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJEb2N1bWVudE5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSUE7OztlQUFxQkE7OztnQ0FGVztBQUVqQixNQUFNQSxxQkFBcUJDLCtCQUFlO0lBQ3ZELE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT0wsK0JBQWUsQ0FBQ0MsMENBQTBDLENBQUNGLGNBQWNHLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDN04ifQ==
|
package/lib/node/equality.js
CHANGED
|
@@ -8,120 +8,26 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return EqualityNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
11
|
+
const _necessary = require("necessary");
|
|
12
|
+
const _occamlanguages = require("occam-languages");
|
|
13
|
+
const _ruleNames = require("../ruleNames");
|
|
14
|
+
const { first, last } = _necessary.arrayUtilities;
|
|
15
|
+
class EqualityNode extends _occamlanguages.NonTerminalNode {
|
|
16
|
+
getLeftTermNode() {
|
|
17
|
+
const termNodes = this.getTermNodes(), firstTermNode = first(termNodes), leftTermNode = firstTermNode; ///
|
|
18
|
+
return leftTermNode;
|
|
17
19
|
}
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
derived = _get_prototype_of(derived);
|
|
22
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
23
|
-
}
|
|
24
|
-
function _class_call_check(instance, Constructor) {
|
|
25
|
-
if (!(instance instanceof Constructor)) {
|
|
26
|
-
throw new TypeError("Cannot call a class as a function");
|
|
27
|
-
}
|
|
28
|
-
}
|
|
29
|
-
function _defineProperties(target, props) {
|
|
30
|
-
for(var i = 0; i < props.length; i++){
|
|
31
|
-
var descriptor = props[i];
|
|
32
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
33
|
-
descriptor.configurable = true;
|
|
34
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
35
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
20
|
+
getRightTermNode() {
|
|
21
|
+
const termNodes = this.getTermNodes(), firstTermNode = last(termNodes), rightTermNode = firstTermNode; ///
|
|
22
|
+
return rightTermNode;
|
|
36
23
|
}
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
41
|
-
return Constructor;
|
|
42
|
-
}
|
|
43
|
-
function _get_prototype_of(o) {
|
|
44
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
45
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
46
|
-
};
|
|
47
|
-
return _get_prototype_of(o);
|
|
48
|
-
}
|
|
49
|
-
function _inherits(subClass, superClass) {
|
|
50
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
51
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
24
|
+
getTermNodes() {
|
|
25
|
+
const ruleName = _ruleNames.TERM_RULE_NAME, termNodes = this.getNodesByRuleName(ruleName);
|
|
26
|
+
return termNodes;
|
|
52
27
|
}
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
value: subClass,
|
|
56
|
-
writable: true,
|
|
57
|
-
configurable: true
|
|
58
|
-
}
|
|
59
|
-
});
|
|
60
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
61
|
-
}
|
|
62
|
-
function _possible_constructor_return(self, call) {
|
|
63
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
64
|
-
return call;
|
|
28
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
29
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence);
|
|
65
30
|
}
|
|
66
|
-
return _assert_this_initialized(self);
|
|
67
|
-
}
|
|
68
|
-
function _set_prototype_of(o, p) {
|
|
69
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
70
|
-
o.__proto__ = p;
|
|
71
|
-
return o;
|
|
72
|
-
};
|
|
73
|
-
return _set_prototype_of(o, p);
|
|
74
31
|
}
|
|
75
|
-
function _type_of(obj) {
|
|
76
|
-
"@swc/helpers - typeof";
|
|
77
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
78
|
-
}
|
|
79
|
-
function _is_native_reflect_construct() {
|
|
80
|
-
try {
|
|
81
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
82
|
-
} catch (_) {}
|
|
83
|
-
return (_is_native_reflect_construct = function() {
|
|
84
|
-
return !!result;
|
|
85
|
-
})();
|
|
86
|
-
}
|
|
87
|
-
var first = _necessary.arrayUtilities.first, last = _necessary.arrayUtilities.last;
|
|
88
|
-
var EqualityNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
89
|
-
_inherits(EqualityNode, NonTerminalNode);
|
|
90
|
-
function EqualityNode() {
|
|
91
|
-
_class_call_check(this, EqualityNode);
|
|
92
|
-
return _call_super(this, EqualityNode, arguments);
|
|
93
|
-
}
|
|
94
|
-
_create_class(EqualityNode, [
|
|
95
|
-
{
|
|
96
|
-
key: "getLeftTermNode",
|
|
97
|
-
value: function getLeftTermNode() {
|
|
98
|
-
var termNodes = this.getTermNodes(), firstTermNode = first(termNodes), leftTermNode = firstTermNode; ///
|
|
99
|
-
return leftTermNode;
|
|
100
|
-
}
|
|
101
|
-
},
|
|
102
|
-
{
|
|
103
|
-
key: "getRightTermNode",
|
|
104
|
-
value: function getRightTermNode() {
|
|
105
|
-
var termNodes = this.getTermNodes(), firstTermNode = last(termNodes), rightTermNode = firstTermNode; ///
|
|
106
|
-
return rightTermNode;
|
|
107
|
-
}
|
|
108
|
-
},
|
|
109
|
-
{
|
|
110
|
-
key: "getTermNodes",
|
|
111
|
-
value: function getTermNodes() {
|
|
112
|
-
var ruleName = _ruleNames.TERM_RULE_NAME, termNodes = this.getNodesByRuleName(ruleName);
|
|
113
|
-
return termNodes;
|
|
114
|
-
}
|
|
115
|
-
}
|
|
116
|
-
], [
|
|
117
|
-
{
|
|
118
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
119
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
120
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence);
|
|
121
|
-
}
|
|
122
|
-
}
|
|
123
|
-
]);
|
|
124
|
-
return EqualityNode;
|
|
125
|
-
}(_occamlanguages.NonTerminalNode);
|
|
126
32
|
|
|
127
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
33
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgVEVSTV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmNvbnN0IHsgZmlyc3QsIGxhc3QgfSA9IGFycmF5VXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcXVhbGl0eU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRMZWZ0VGVybU5vZGUoKSB7XG4gICAgY29uc3QgdGVybU5vZGVzID0gdGhpcy5nZXRUZXJtTm9kZXMoKSxcbiAgICAgICAgICBmaXJzdFRlcm1Ob2RlID0gZmlyc3QodGVybU5vZGVzKSxcbiAgICAgICAgICBsZWZ0VGVybU5vZGUgPSBmaXJzdFRlcm1Ob2RlOyAvLy9cblxuICAgIHJldHVybiBsZWZ0VGVybU5vZGU7XG4gIH1cblxuICBnZXRSaWdodFRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IHRlcm1Ob2RlcyA9IHRoaXMuZ2V0VGVybU5vZGVzKCksXG4gICAgICAgICAgZmlyc3RUZXJtTm9kZSA9IGxhc3QodGVybU5vZGVzKSxcbiAgICAgICAgICByaWdodFRlcm1Ob2RlID0gZmlyc3RUZXJtTm9kZTsgLy8vXG5cbiAgICByZXR1cm4gcmlnaHRUZXJtTm9kZTtcbiAgfVxuXG4gIGdldFRlcm1Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0ZXJtTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEVxdWFsaXR5Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiRXF1YWxpdHlOb2RlIiwiZmlyc3QiLCJsYXN0IiwiYXJyYXlVdGlsaXRpZXMiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRMZWZ0VGVybU5vZGUiLCJ0ZXJtTm9kZXMiLCJnZXRUZXJtTm9kZXMiLCJmaXJzdFRlcm1Ob2RlIiwibGVmdFRlcm1Ob2RlIiwiZ2V0UmlnaHRUZXJtTm9kZSIsInJpZ2h0VGVybU5vZGUiLCJydWxlTmFtZSIsIlRFUk1fUlVMRV9OQU1FIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFTQTs7O2VBQXFCQTs7OzJCQVBVO2dDQUNDOzJCQUVEO0FBRS9CLE1BQU0sRUFBRUMsS0FBSyxFQUFFQyxJQUFJLEVBQUUsR0FBR0MseUJBQWM7QUFFdkIsTUFBTUgscUJBQXFCSSwrQkFBZTtJQUN2REMsa0JBQWtCO1FBQ2hCLE1BQU1DLFlBQVksSUFBSSxDQUFDQyxZQUFZLElBQzdCQyxnQkFBZ0JQLE1BQU1LLFlBQ3RCRyxlQUFlRCxlQUFlLEdBQUc7UUFFdkMsT0FBT0M7SUFDVDtJQUVBQyxtQkFBbUI7UUFDakIsTUFBTUosWUFBWSxJQUFJLENBQUNDLFlBQVksSUFDN0JDLGdCQUFnQk4sS0FBS0ksWUFDckJLLGdCQUFnQkgsZUFBZSxHQUFHO1FBRXhDLE9BQU9HO0lBQ1Q7SUFFQUosZUFBZTtRQUNiLE1BQU1LLFdBQVdDLHlCQUFjLEVBQ3pCUCxZQUFZLElBQUksQ0FBQ1Esa0JBQWtCLENBQUNGO1FBRTFDLE9BQU9OO0lBQ1Q7SUFFQSxPQUFPUywyQ0FBMkNILFFBQVEsRUFBRUksVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLCtCQUFlLENBQUNXLDBDQUEwQyxDQUFDZixjQUFjWSxVQUFVSSxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
|