occam-nominal 1.0.254 → 1.0.255
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/node/argument.js +9 -4
- package/lib/node/assertion.js +9 -4
- package/lib/node/assumption/implicit.js +9 -4
- package/lib/node/assumption.js +9 -4
- package/lib/node/body.js +9 -4
- package/lib/node/combinator.js +9 -4
- package/lib/node/conclusion.js +9 -4
- package/lib/node/constraint.js +9 -4
- package/lib/node/constructor.js +9 -4
- package/lib/node/declaration.js +9 -4
- package/lib/node/deduction.js +9 -4
- package/lib/node/derivation.js +9 -4
- package/lib/node/document.js +9 -4
- package/lib/node/equality.js +9 -4
- package/lib/node/equivalence.js +9 -4
- package/lib/node/equivalences.js +9 -4
- package/lib/node/error.js +9 -4
- package/lib/node/frame.js +9 -4
- package/lib/node/generator.js +9 -4
- package/lib/node/goal.js +9 -4
- package/lib/node/header.js +9 -4
- package/lib/node/hypothesis.js +9 -4
- package/lib/node/judgement.js +9 -4
- package/lib/node/label.js +9 -4
- package/lib/node/labels.js +9 -4
- package/lib/node/metaArgument.js +9 -4
- package/lib/node/metaType.js +9 -4
- package/lib/node/metavariable.js +9 -4
- package/lib/node/parameter.js +9 -4
- package/lib/node/parenthesisedLabel.js +9 -4
- package/lib/node/parenthesisedLabels.js +9 -4
- package/lib/node/placeholder.js +9 -4
- package/lib/node/procedureCall.js +9 -4
- package/lib/node/procedureReference.js +9 -4
- package/lib/node/proof.js +9 -4
- package/lib/node/proofAssertion.js +9 -4
- package/lib/node/property.js +9 -4
- package/lib/node/qualification.js +9 -4
- package/lib/node/reference.js +9 -4
- package/lib/node/rule.js +9 -4
- package/lib/node/schema.js +9 -4
- package/lib/node/section.js +9 -4
- package/lib/node/signature.js +9 -4
- package/lib/node/statement.js +7 -4
- package/lib/node/subDerivation.js +9 -4
- package/lib/node/subproof.js +9 -4
- package/lib/node/substitution.js +9 -4
- package/lib/node/term.js +5 -2
- package/lib/node/topLevelAssertion.js +9 -4
- package/lib/node/type.js +9 -4
- package/lib/node/typePrefix.js +9 -4
- package/lib/node/types.js +9 -4
- package/lib/node/variable.js +9 -4
- package/lib/nonTerminalNode.js +20 -0
- package/package.json +1 -1
- package/src/node/argument.js +1 -1
- package/src/node/assertion.js +1 -1
- package/src/node/assumption/implicit.js +1 -1
- package/src/node/assumption.js +1 -1
- package/src/node/body.js +1 -1
- package/src/node/combinator.js +1 -1
- package/src/node/conclusion.js +1 -1
- package/src/node/constraint.js +1 -1
- package/src/node/constructor.js +1 -1
- package/src/node/declaration.js +1 -1
- package/src/node/deduction.js +1 -1
- package/src/node/derivation.js +1 -1
- package/src/node/document.js +1 -1
- package/src/node/equality.js +2 -1
- package/src/node/equivalence.js +1 -1
- package/src/node/equivalences.js +1 -1
- package/src/node/error.js +1 -1
- package/src/node/frame.js +1 -1
- package/src/node/generator.js +1 -1
- package/src/node/goal.js +1 -1
- package/src/node/header.js +1 -1
- package/src/node/hypothesis.js +1 -1
- package/src/node/judgement.js +1 -1
- package/src/node/label.js +1 -1
- package/src/node/labels.js +1 -1
- package/src/node/metaArgument.js +1 -1
- package/src/node/metaType.js +1 -1
- package/src/node/metavariable.js +1 -1
- package/src/node/parameter.js +1 -1
- package/src/node/parenthesisedLabel.js +1 -1
- package/src/node/parenthesisedLabels.js +1 -1
- package/src/node/placeholder.js +1 -1
- package/src/node/procedureCall.js +1 -1
- package/src/node/procedureReference.js +1 -1
- package/src/node/proof.js +1 -1
- package/src/node/proofAssertion.js +1 -1
- package/src/node/property.js +1 -1
- package/src/node/qualification.js +1 -1
- package/src/node/reference.js +1 -1
- package/src/node/rule.js +1 -1
- package/src/node/schema.js +1 -1
- package/src/node/section.js +1 -1
- package/src/node/signature.js +1 -1
- package/src/node/statement.js +7 -2
- package/src/node/subDerivation.js +1 -1
- package/src/node/subproof.js +1 -1
- package/src/node/substitution.js +1 -1
- package/src/node/term.js +6 -1
- package/src/node/topLevelAssertion.js +1 -1
- package/src/node/type.js +1 -1
- package/src/node/typePrefix.js +1 -1
- package/src/node/types.js +1 -1
- package/src/node/variable.js +1 -1
- package/src/nonTerminalNode.js +10 -0
package/lib/node/argument.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ArgumentNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class ArgumentNode extends _nonTerminalNode.default {
|
|
14
19
|
getTermNode() {
|
|
15
20
|
const ruleName = _ruleNames.TERM_RULE_NAME, termNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return termNode;
|
|
@@ -24,8 +29,8 @@ class ArgumentNode extends _occamlanguages.NonTerminalNode {
|
|
|
24
29
|
return singularTermNode;
|
|
25
30
|
}
|
|
26
31
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
27
|
-
return
|
|
32
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ArgumentNode, ruleName, childNodes, opacity, precedence);
|
|
28
33
|
}
|
|
29
34
|
}
|
|
30
35
|
|
|
31
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
36
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2FyZ3VtZW50LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgVEVSTV9SVUxFX05BTUUsIFRZUEVfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBBcmd1bWVudE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdGVybU5vZGU7XG4gIH1cblxuICBnZXRUeXBlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHR5cGVOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdHlwZU5vZGU7XG4gIH1cblxuICBnZXRTaW5ndWxhclRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVEVSTV9SVUxFX05BTUUsXG4gICAgICAgICAgc2luZ3VsYXJUZXJtTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJOb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc2luZ3VsYXJUZXJtTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQXJndW1lbnROb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJBcmd1bWVudE5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRUZXJtTm9kZSIsInJ1bGVOYW1lIiwiVEVSTV9SVUxFX05BTUUiLCJ0ZXJtTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0VHlwZU5vZGUiLCJUWVBFX1JVTEVfTkFNRSIsInR5cGVOb2RlIiwiZ2V0U2luZ3VsYXJUZXJtTm9kZSIsInNpbmd1bGFyVGVybU5vZGUiLCJnZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVtQjs7Ozs7O0FBRWhDLE1BQU1BLHFCQUFxQkMsd0JBQWU7SUFDdkRDLGNBQWM7UUFDWixNQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsV0FBVyxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUV4QyxPQUFPRTtJQUNUO0lBRUFFLGNBQWM7UUFDWixNQUFNSixXQUFXSyx5QkFBYyxFQUN6QkMsV0FBVyxJQUFJLENBQUNILGlCQUFpQixDQUFDSDtRQUV4QyxPQUFPTTtJQUNUO0lBRUFDLHNCQUFzQjtRQUNwQixNQUFNUCxXQUFXQyx5QkFBYyxFQUN6Qk8sbUJBQW1CLElBQUksQ0FBQ0MseUJBQXlCLENBQUNUO1FBRXhELE9BQU9RO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNWLFFBQVEsRUFBRVcsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9mLHdCQUFlLENBQUNZLDBDQUEwQyxDQUFDYixjQUFjRyxVQUFVVyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
|
package/lib/node/assertion.js
CHANGED
|
@@ -8,11 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return AssertionNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
12
|
-
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
|
+
function _interop_require_default(obj) {
|
|
13
|
+
return obj && obj.__esModule ? obj : {
|
|
14
|
+
default: obj
|
|
15
|
+
};
|
|
16
|
+
}
|
|
17
|
+
class AssertionNode extends _nonTerminalNode.default {
|
|
13
18
|
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
14
|
-
return
|
|
19
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
15
20
|
}
|
|
16
21
|
}
|
|
17
22
|
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Fzc2VydGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEFzc2VydGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiQXNzZXJ0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLHNCQUFzQkMsd0JBQWU7SUFDeEQsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLHdCQUFlLENBQUNDLDBDQUEwQyxDQUFDQyxPQUFPQyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
|
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ImplicitAssumptionNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class ImplicitAssumptionNode extends _nonTerminalNode.default {
|
|
14
19
|
getStatementNode() {
|
|
15
20
|
const ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return statementNode;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ImplicitAssumptionNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2Fzc3VtcHRpb24vaW1wbGljaXQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uLy4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBJbXBsaWNpdEFzc3VtcHRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEltcGxpY2l0QXNzdW1wdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkltcGxpY2l0QXNzdW1wdGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRTdGF0ZW1lbnROb2RlIiwicnVsZU5hbWUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwic3RhdGVtZW50Tm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVROzs7Ozs7QUFFckIsTUFBTUEsK0JBQStCQyx3QkFBZTtJQUNqRUMsbUJBQW1CO1FBQ2pCLE1BQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCx3QkFBd0JHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDdk8ifQ==
|
package/lib/node/assumption.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return AssumptionNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class AssumptionNode extends _nonTerminalNode.default {
|
|
14
19
|
getMetavariableNode() {
|
|
15
20
|
const ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return metavariableNode;
|
|
@@ -20,8 +25,8 @@ class AssumptionNode extends _occamlanguages.NonTerminalNode {
|
|
|
20
25
|
return statementNode;
|
|
21
26
|
}
|
|
22
27
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
-
return
|
|
28
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(AssumptionNode, ruleName, childNodes, opacity, precedence);
|
|
24
29
|
}
|
|
25
30
|
}
|
|
26
31
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Fzc3VtcHRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLCBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBBc3N1bXB0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldE1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIG1ldGF2YXJpYWJsZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGVOb2RlO1xuICB9XG5cbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEFzc3VtcHRpb25Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJBc3N1bXB0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldE1ldGF2YXJpYWJsZU5vZGUiLCJydWxlTmFtZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJtZXRhdmFyaWFibGVOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRTdGF0ZW1lbnROb2RlIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRWdDOzs7Ozs7QUFFN0MsTUFBTUEsdUJBQXVCQyx3QkFBZTtJQUN6REMsc0JBQXNCO1FBQ3BCLE1BQU1DLFdBQVdDLGlDQUFzQixFQUNqQ0MsbUJBQW1CLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRWhELE9BQU9FO0lBQ1Q7SUFFQUUsbUJBQW1CO1FBQ2pCLE1BQU1KLFdBQVdLLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9NO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkNQLFFBQVEsRUFBRVEsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9aLHdCQUFlLENBQUNTLDBDQUEwQyxDQUFDVixnQkFBZ0JHLFVBQVVRLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
|
package/lib/node/body.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return BodyNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class BodyNode extends _nonTerminalNode.default {
|
|
14
19
|
getProofNode() {
|
|
15
20
|
const ruleName = _ruleNames.PROOF_RULE_NAME, proofNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return proofNode;
|
|
@@ -24,8 +29,8 @@ class BodyNode extends _occamlanguages.NonTerminalNode {
|
|
|
24
29
|
return suppositionNodes;
|
|
25
30
|
}
|
|
26
31
|
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
27
|
-
return
|
|
32
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
28
33
|
}
|
|
29
34
|
}
|
|
30
35
|
|
|
31
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
36
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2JvZHkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBQUk9PRl9SVUxFX05BTUUsIERFRFVDVElPTl9SVUxFX05BTUUsIFNVUFBPU0lUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQm9keU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRQcm9vZk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICAgcHJvb2ZOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcHJvb2ZOb2RlO1xuICB9XG5cbiAgZ2V0RGVkdWN0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IERFRFVDVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgZGVkdWN0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGRlZHVjdGlvbk5vZGU7XG4gIH1cblxuICBnZXRTdXBwb3NpdGlvbk5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1VQUE9TSVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgIHN1cHBvc2l0aW9uTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc3VwcG9zaXRpb25Ob2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJCb2R5Tm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFByb29mTm9kZSIsInJ1bGVOYW1lIiwiUFJPT0ZfUlVMRV9OQU1FIiwicHJvb2ZOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXREZWR1Y3Rpb25Ob2RlIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsImRlZHVjdGlvbk5vZGUiLCJnZXRTdXBwb3NpdGlvbk5vZGVzIiwiU1VQUE9TSVRJT05fUlVMRV9OQU1FIiwic3VwcG9zaXRpb25Ob2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVnRDs7Ozs7O0FBRTdELE1BQU1BLGlCQUFpQkMsd0JBQWU7SUFDbkRDLGVBQWU7UUFDYixNQUFNQyxXQUFXQywwQkFBZSxFQUMxQkMsWUFBWSxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUV6QyxPQUFPRTtJQUNUO0lBRUFFLG1CQUFtQjtRQUNqQixNQUFNSixXQUFXSyw4QkFBbUIsRUFDOUJDLGdCQUFnQixJQUFJLENBQUNILGlCQUFpQixDQUFDSDtRQUU3QyxPQUFPTTtJQUNUO0lBRUFDLHNCQUFzQjtRQUNwQixNQUFNUCxXQUFXUSxnQ0FBcUIsRUFDaENDLG1CQUFtQixJQUFJLENBQUNDLGtCQUFrQixDQUFDVjtRQUVqRCxPQUFPUztJQUNUO0lBRUEsT0FBT0UsMkNBQTJDQyxLQUFLLEVBQUVaLFFBQVEsRUFBRWEsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9qQix3QkFBZSxDQUFDYSwwQ0FBMEMsQ0FBQ0MsT0FBT1osVUFBVWEsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9
|
package/lib/node/combinator.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return CombinatorNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class CombinatorNode extends _nonTerminalNode.default {
|
|
14
19
|
getStatementNode() {
|
|
15
20
|
const ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return statementNode;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(CombinatorNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbWJpbmF0b3IuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBDb21iaW5hdG9yTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHN0YXRlbWVudE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdGF0ZW1lbnROb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDb21iaW5hdG9yTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29tYmluYXRvck5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRTdGF0ZW1lbnROb2RlIiwicnVsZU5hbWUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwic3RhdGVtZW50Tm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVROzs7Ozs7QUFFckIsTUFBTUEsdUJBQXVCQyx3QkFBZTtJQUN6REMsbUJBQW1CO1FBQ2pCLE1BQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxnQkFBZ0JHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
|
package/lib/node/conclusion.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ConclusionNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class ConclusionNode extends _nonTerminalNode.default {
|
|
14
19
|
getNonsenseNode() {
|
|
15
20
|
const ruleName = _ruleNames.NONSENSE_RULE_NAME, nonsenseNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return nonsenseNode;
|
|
@@ -20,8 +25,8 @@ class ConclusionNode extends _occamlanguages.NonTerminalNode {
|
|
|
20
25
|
return statementNode;
|
|
21
26
|
}
|
|
22
27
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
-
return
|
|
28
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ConclusionNode, ruleName, childNodes, opacity, precedence);
|
|
24
29
|
}
|
|
25
30
|
}
|
|
26
31
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbmNsdXNpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBOT05TRU5TRV9SVUxFX05BTUUsIFNUQVRFTUVOVF9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbmNsdXNpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Tm9uc2Vuc2VOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gTk9OU0VOU0VfUlVMRV9OQU1FLFxuICAgICAgICAgIG5vbnNlbnNlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG5vbnNlbnNlTm9kZTtcbiAgfVxuXG4gIGdldFN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHN0YXRlbWVudE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdGF0ZW1lbnROb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDb25jbHVzaW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29uY2x1c2lvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXROb25zZW5zZU5vZGUiLCJydWxlTmFtZSIsIk5PTlNFTlNFX1JVTEVfTkFNRSIsIm5vbnNlbnNlTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0U3RhdGVtZW50Tm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJzdGF0ZW1lbnROb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUU0Qjs7Ozs7O0FBRXpDLE1BQU1BLHVCQUF1QkMsd0JBQWU7SUFDekRDLGtCQUFrQjtRQUNoQixNQUFNQyxXQUFXQyw2QkFBa0IsRUFDN0JDLGVBQWUsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFNUMsT0FBT0U7SUFDVDtJQUVBRSxtQkFBbUI7UUFDakIsTUFBTUosV0FBV0ssOEJBQW1CLEVBQzlCQyxnQkFBZ0IsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7UUFFN0MsT0FBT007SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ1AsUUFBUSxFQUFFUSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1osd0JBQWUsQ0FBQ1MsMENBQTBDLENBQUNWLGdCQUFnQkcsVUFBVVEsWUFBWUMsU0FBU0M7SUFBYTtBQUMvTiJ9
|
package/lib/node/constraint.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ConstraintNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class ConstraintNode extends _nonTerminalNode.default {
|
|
14
19
|
getReferenceNode() {
|
|
15
20
|
const ruleName = _ruleNames.REFERENCE_RULE_NAME, referenceNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return referenceNode;
|
|
@@ -20,8 +25,8 @@ class ConstraintNode extends _occamlanguages.NonTerminalNode {
|
|
|
20
25
|
return statementNode;
|
|
21
26
|
}
|
|
22
27
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
-
return
|
|
28
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ConstraintNode, ruleName, childNodes, opacity, precedence);
|
|
24
29
|
}
|
|
25
30
|
}
|
|
26
31
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbnN0cmFpbnQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBSRUZFUkVOQ0VfUlVMRV9OQU1FLCBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBDb25zdHJhaW50Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFJlZmVyZW5jZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBSRUZFUkVOQ0VfUlVMRV9OQU1FLFxuICAgICAgICAgIHJlZmVyZW5jZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiByZWZlcmVuY2VOb2RlO1xuICB9XG5cbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENvbnN0cmFpbnROb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJDb25zdHJhaW50Tm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFJlZmVyZW5jZU5vZGUiLCJydWxlTmFtZSIsIlJFRkVSRU5DRV9SVUxFX05BTUUiLCJyZWZlcmVuY2VOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRTdGF0ZW1lbnROb2RlIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRTZCOzs7Ozs7QUFFMUMsTUFBTUEsdUJBQXVCQyx3QkFBZTtJQUN6REMsbUJBQW1CO1FBQ2pCLE1BQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9FO0lBQ1Q7SUFFQUUsbUJBQW1CO1FBQ2pCLE1BQU1KLFdBQVdLLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9NO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkNQLFFBQVEsRUFBRVEsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9aLHdCQUFlLENBQUNTLDBDQUEwQyxDQUFDVixnQkFBZ0JHLFVBQVVRLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
|
package/lib/node/constructor.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ConstructorNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class ConstructorNode extends _nonTerminalNode.default {
|
|
14
19
|
getTermNode() {
|
|
15
20
|
const ruleName = _ruleNames.TERM_RULE_NAME, termNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return termNode;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ConstructorNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbnN0cnVjdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgVEVSTV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbnN0cnVjdG9yTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVEVSTV9SVUxFX05BTUUsXG4gICAgICAgICAgdGVybU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0ZXJtTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ29uc3RydWN0b3JOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJDb25zdHJ1Y3Rvck5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRUZXJtTm9kZSIsInJ1bGVOYW1lIiwiVEVSTV9SVUxFX05BTUUiLCJ0ZXJtTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVHOzs7Ozs7QUFFaEIsTUFBTUEsd0JBQXdCQyx3QkFBZTtJQUMxREMsY0FBYztRQUNaLE1BQU1DLFdBQVdDLHlCQUFjLEVBQ3pCQyxXQUFXLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRXhDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxpQkFBaUJHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDaE8ifQ==
|
package/lib/node/declaration.js
CHANGED
|
@@ -8,11 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
12
|
-
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
|
+
function _interop_require_default(obj) {
|
|
13
|
+
return obj && obj.__esModule ? obj : {
|
|
14
|
+
default: obj
|
|
15
|
+
};
|
|
16
|
+
}
|
|
17
|
+
class DeclarationNode extends _nonTerminalNode.default {
|
|
13
18
|
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
14
|
-
return
|
|
19
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
15
20
|
}
|
|
16
21
|
}
|
|
17
22
|
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRGVjbGFyYXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkRlY2xhcmF0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLHdCQUF3QkMsd0JBQWU7SUFDMUQsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLHdCQUFlLENBQUNDLDBDQUEwQyxDQUFDQyxPQUFPQyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
|
package/lib/node/deduction.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DeductionNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class DeductionNode extends _nonTerminalNode.default {
|
|
14
19
|
getNonsenseNode() {
|
|
15
20
|
const ruleName = _ruleNames.NONSENSE_RULE_NAME, nonsenseNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return nonsenseNode;
|
|
@@ -20,8 +25,8 @@ class DeductionNode extends _occamlanguages.NonTerminalNode {
|
|
|
20
25
|
return statementNode;
|
|
21
26
|
}
|
|
22
27
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
-
return
|
|
28
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(DeductionNode, ruleName, childNodes, opacity, precedence);
|
|
24
29
|
}
|
|
25
30
|
}
|
|
26
31
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RlZHVjdGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IE5PTlNFTlNFX1JVTEVfTkFNRSwgU1RBVEVNRU5UX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRGVkdWN0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldE5vbnNlbnNlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE5PTlNFTlNFX1JVTEVfTkFNRSxcbiAgICAgICAgICBub25zZW5zZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBub25zZW5zZU5vZGU7XG4gIH1cblxuICBnZXRTdGF0ZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1RBVEVNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBzdGF0ZW1lbnROb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc3RhdGVtZW50Tm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRGVkdWN0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiRGVkdWN0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldE5vbnNlbnNlTm9kZSIsInJ1bGVOYW1lIiwiTk9OU0VOU0VfUlVMRV9OQU1FIiwibm9uc2Vuc2VOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRTdGF0ZW1lbnROb2RlIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRTRCOzs7Ozs7QUFFekMsTUFBTUEsc0JBQXNCQyx3QkFBZTtJQUN4REMsa0JBQWtCO1FBQ2hCLE1BQU1DLFdBQVdDLDZCQUFrQixFQUM3QkMsZUFBZSxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUU1QyxPQUFPRTtJQUNUO0lBRUFFLG1CQUFtQjtRQUNqQixNQUFNSixXQUFXSyw4QkFBbUIsRUFDOUJDLGdCQUFnQixJQUFJLENBQUNILGlCQUFpQixDQUFDSDtRQUU3QyxPQUFPTTtJQUNUO0lBRUEsT0FBT0MsMkNBQTJDUCxRQUFRLEVBQUVRLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPWix3QkFBZSxDQUFDUywwQ0FBMEMsQ0FBQ1YsZUFBZUcsVUFBVVEsWUFBWUMsU0FBU0M7SUFBYTtBQUM5TiJ9
|
package/lib/node/derivation.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DerivationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class DerivationNode extends _nonTerminalNode.default {
|
|
14
19
|
getStepOrSubproofNodes() {
|
|
15
20
|
const ruleNames = [
|
|
16
21
|
_ruleNames.STEP_RULE_NAME,
|
|
@@ -19,8 +24,8 @@ class DerivationNode extends _occamlanguages.NonTerminalNode {
|
|
|
19
24
|
return stepOrSubproofNodes;
|
|
20
25
|
}
|
|
21
26
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
22
|
-
return
|
|
27
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(DerivationNode, ruleName, childNodes, opacity, precedence);
|
|
23
28
|
}
|
|
24
29
|
}
|
|
25
30
|
|
|
26
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
31
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Rlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBTVEVQX1JVTEVfTkFNRSwgU1VCUFJPT0ZfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBEZXJpdmF0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFN0ZXBPclN1YnByb29mTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWVzID0gW1xuICAgICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICAgICBTVUJQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICAgXSxcbiAgICAgICAgICBzdGVwT3JTdWJwcm9vZk5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUoLi4ucnVsZU5hbWVzKTtcblxuICAgIHJldHVybiBzdGVwT3JTdWJwcm9vZk5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShEZXJpdmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiRGVyaXZhdGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRTdGVwT3JTdWJwcm9vZk5vZGVzIiwicnVsZU5hbWVzIiwiU1RFUF9SVUxFX05BTUUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJzdGVwT3JTdWJwcm9vZk5vZGVzIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRXVCOzs7Ozs7QUFFcEMsTUFBTUEsdUJBQXVCQyx3QkFBZTtJQUN6REMseUJBQXlCO1FBQ3ZCLE1BQU1DLFlBQVk7WUFDVkMseUJBQWM7WUFDZEMsNkJBQWtCO1NBQ25CLEVBQ0RDLHNCQUFzQixJQUFJLENBQUNDLGtCQUFrQixJQUFJSjtRQUV2RCxPQUFPRztJQUNUO0lBRUEsT0FBT0UsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPWCx3QkFBZSxDQUFDTywwQ0FBMEMsQ0FBQ1IsZ0JBQWdCUyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQy9OIn0=
|
package/lib/node/document.js
CHANGED
|
@@ -8,11 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return DocumentNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
12
|
-
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
|
+
function _interop_require_default(obj) {
|
|
13
|
+
return obj && obj.__esModule ? obj : {
|
|
14
|
+
default: obj
|
|
15
|
+
};
|
|
16
|
+
}
|
|
17
|
+
class DocumentNode extends _nonTerminalNode.default {
|
|
13
18
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
14
|
-
return
|
|
19
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(DocumentNode, ruleName, childNodes, opacity, precedence);
|
|
15
20
|
}
|
|
16
21
|
}
|
|
17
22
|
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RvY3VtZW50LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRG9jdW1lbnROb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShEb2N1bWVudE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkRvY3VtZW50Tm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O3dFQUZPOzs7Ozs7QUFFYixNQUFNQSxxQkFBcUJDLHdCQUFlO0lBQ3ZELE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT0wsd0JBQWUsQ0FBQ0MsMENBQTBDLENBQUNGLGNBQWNHLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDN04ifQ==
|
package/lib/node/equality.js
CHANGED
|
@@ -9,10 +9,15 @@ Object.defineProperty(exports, "default", {
|
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
11
|
const _necessary = require("necessary");
|
|
12
|
-
const
|
|
12
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
13
13
|
const _ruleNames = require("../ruleNames");
|
|
14
|
+
function _interop_require_default(obj) {
|
|
15
|
+
return obj && obj.__esModule ? obj : {
|
|
16
|
+
default: obj
|
|
17
|
+
};
|
|
18
|
+
}
|
|
14
19
|
const { first, last } = _necessary.arrayUtilities;
|
|
15
|
-
class EqualityNode extends
|
|
20
|
+
class EqualityNode extends _nonTerminalNode.default {
|
|
16
21
|
getLeftTermNode() {
|
|
17
22
|
const termNodes = this.getTermNodes(), firstTermNode = first(termNodes), leftTermNode = firstTermNode; ///
|
|
18
23
|
return leftTermNode;
|
|
@@ -26,8 +31,8 @@ class EqualityNode extends _occamlanguages.NonTerminalNode {
|
|
|
26
31
|
return termNodes;
|
|
27
32
|
}
|
|
28
33
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
29
|
-
return
|
|
34
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence);
|
|
30
35
|
}
|
|
31
36
|
}
|
|
32
37
|
|
|
33
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
38
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IFRFUk1fUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5jb25zdCB7IGZpcnN0LCBsYXN0IH0gPSBhcnJheVV0aWxpdGllcztcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRXF1YWxpdHlOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0TGVmdFRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IHRlcm1Ob2RlcyA9IHRoaXMuZ2V0VGVybU5vZGVzKCksXG4gICAgICAgICAgZmlyc3RUZXJtTm9kZSA9IGZpcnN0KHRlcm1Ob2RlcyksXG4gICAgICAgICAgbGVmdFRlcm1Ob2RlID0gZmlyc3RUZXJtTm9kZTsgLy8vXG5cbiAgICByZXR1cm4gbGVmdFRlcm1Ob2RlO1xuICB9XG5cbiAgZ2V0UmlnaHRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCB0ZXJtTm9kZXMgPSB0aGlzLmdldFRlcm1Ob2RlcygpLFxuICAgICAgICAgIGZpcnN0VGVybU5vZGUgPSBsYXN0KHRlcm1Ob2RlcyksXG4gICAgICAgICAgcmlnaHRUZXJtTm9kZSA9IGZpcnN0VGVybU5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIHJpZ2h0VGVybU5vZGU7XG4gIH1cblxuICBnZXRUZXJtTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgICB0ZXJtTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdGVybU5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShFcXVhbGl0eU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkVxdWFsaXR5Tm9kZSIsImZpcnN0IiwibGFzdCIsImFycmF5VXRpbGl0aWVzIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0TGVmdFRlcm1Ob2RlIiwidGVybU5vZGVzIiwiZ2V0VGVybU5vZGVzIiwiZmlyc3RUZXJtTm9kZSIsImxlZnRUZXJtTm9kZSIsImdldFJpZ2h0VGVybU5vZGUiLCJyaWdodFRlcm1Ob2RlIiwicnVsZU5hbWUiLCJURVJNX1JVTEVfTkFNRSIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBVUE7OztlQUFxQkE7OzsyQkFSVTt3RUFFSDsyQkFFRzs7Ozs7O0FBRS9CLE1BQU0sRUFBRUMsS0FBSyxFQUFFQyxJQUFJLEVBQUUsR0FBR0MseUJBQWM7QUFFdkIsTUFBTUgscUJBQXFCSSx3QkFBZTtJQUN2REMsa0JBQWtCO1FBQ2hCLE1BQU1DLFlBQVksSUFBSSxDQUFDQyxZQUFZLElBQzdCQyxnQkFBZ0JQLE1BQU1LLFlBQ3RCRyxlQUFlRCxlQUFlLEdBQUc7UUFFdkMsT0FBT0M7SUFDVDtJQUVBQyxtQkFBbUI7UUFDakIsTUFBTUosWUFBWSxJQUFJLENBQUNDLFlBQVksSUFDN0JDLGdCQUFnQk4sS0FBS0ksWUFDckJLLGdCQUFnQkgsZUFBZSxHQUFHO1FBRXhDLE9BQU9HO0lBQ1Q7SUFFQUosZUFBZTtRQUNiLE1BQU1LLFdBQVdDLHlCQUFjLEVBQ3pCUCxZQUFZLElBQUksQ0FBQ1Esa0JBQWtCLENBQUNGO1FBRTFDLE9BQU9OO0lBQ1Q7SUFFQSxPQUFPUywyQ0FBMkNILFFBQVEsRUFBRUksVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLHdCQUFlLENBQUNXLDBDQUEwQyxDQUFDZixjQUFjWSxVQUFVSSxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
|
package/lib/node/equivalence.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return EquivalenceNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class EquivalenceNode extends _nonTerminalNode.default {
|
|
14
19
|
getTermNodes() {
|
|
15
20
|
const ruleName = _ruleNames.TERM_RULE_NAME, termNodes = this.getNodesByRuleName(ruleName);
|
|
16
21
|
return termNodes;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(EquivalenceNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWl2YWxlbmNlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgVEVSTV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEVxdWl2YWxlbmNlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFRlcm1Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0ZXJtTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEVxdWl2YWxlbmNlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiRXF1aXZhbGVuY2VOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VGVybU5vZGVzIiwicnVsZU5hbWUiLCJURVJNX1JVTEVfTkFNRSIsInRlcm1Ob2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFRzs7Ozs7O0FBRWhCLE1BQU1BLHdCQUF3QkMsd0JBQWU7SUFDMURDLGVBQWU7UUFDYixNQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsWUFBWSxJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtRQUUxQyxPQUFPRTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCx3QkFBZSxDQUFDTSwwQ0FBMEMsQ0FBQ1AsaUJBQWlCRyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQ2hPIn0=
|
package/lib/node/equivalences.js
CHANGED
|
@@ -8,11 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return EquivalencesNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
12
|
-
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
|
+
function _interop_require_default(obj) {
|
|
13
|
+
return obj && obj.__esModule ? obj : {
|
|
14
|
+
default: obj
|
|
15
|
+
};
|
|
16
|
+
}
|
|
17
|
+
class EquivalencesNode extends _nonTerminalNode.default {
|
|
13
18
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
14
|
-
return
|
|
19
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(EquivalencesNode, ruleName, childNodes, opacity, precedence);
|
|
15
20
|
}
|
|
16
21
|
}
|
|
17
22
|
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWl2YWxlbmNlcy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEVxdWl2YWxlbmNlc05vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEVxdWl2YWxlbmNlc05vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkVxdWl2YWxlbmNlc05vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSUE7OztlQUFxQkE7Ozt3RUFGTzs7Ozs7O0FBRWIsTUFBTUEseUJBQXlCQyx3QkFBZTtJQUMzRCxPQUFPQywyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9MLHdCQUFlLENBQUNDLDBDQUEwQyxDQUFDRixrQkFBa0JHLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDak8ifQ==
|
package/lib/node/error.js
CHANGED
|
@@ -8,11 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ErrorNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
12
|
-
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
|
+
function _interop_require_default(obj) {
|
|
13
|
+
return obj && obj.__esModule ? obj : {
|
|
14
|
+
default: obj
|
|
15
|
+
};
|
|
16
|
+
}
|
|
17
|
+
class ErrorNode extends _nonTerminalNode.default {
|
|
13
18
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
14
|
-
return
|
|
19
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence);
|
|
15
20
|
}
|
|
16
21
|
}
|
|
17
22
|
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Vycm9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRXJyb3JOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShFcnJvck5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkVycm9yTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O3dFQUZPOzs7Ozs7QUFFYixNQUFNQSxrQkFBa0JDLHdCQUFlO0lBQ3BELE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT0wsd0JBQWUsQ0FBQ0MsMENBQTBDLENBQUNGLFdBQVdHLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDMU4ifQ==
|
package/lib/node/frame.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return FrameNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _ruleNames = require("../ruleNames");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class FrameNode extends _nonTerminalNode.default {
|
|
14
19
|
isSingular() {
|
|
15
20
|
let singular = false;
|
|
16
21
|
const metavariableNode = this.getMetavariableNode();
|
|
@@ -31,8 +36,8 @@ class FrameNode extends _occamlanguages.NonTerminalNode {
|
|
|
31
36
|
return metavariableNode;
|
|
32
37
|
}
|
|
33
38
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
34
|
-
return
|
|
39
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(FrameNode, ruleName, childNodes, opacity, precedence);
|
|
35
40
|
}
|
|
36
41
|
}
|
|
37
42
|
|
|
38
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
43
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2ZyYW1lLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgQVNTVU1QVElPTl9SVUxFX05BTUUsIE1FVEFWQVJJQUJMRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEZyYW1lTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGlzU2luZ3VsYXIoKSB7XG4gICAgbGV0IHNpbmd1bGFyID0gZmFsc2U7XG5cbiAgICBjb25zdCBtZXRhdmFyaWFibGVOb2RlID0gdGhpcy5nZXRNZXRhdmFyaWFibGVOb2RlKCk7XG5cbiAgICBpZiAobWV0YXZhcmlhYmxlTm9kZSAhPT0gbnVsbCkge1xuICAgICAgY29uc3QgYXNzdW1wdGlvbk5vZGVzID0gdGhpcy5nZXRBc3N1bXB0aW9uTm9kZXMoKSxcbiAgICAgICAgICAgIGFzc3VtcHRpb25Ob2Rlc0xlbmd0aCA9IGFzc3VtcHRpb25Ob2Rlcy5sZW5ndGg7XG5cbiAgICAgIGlmIChhc3N1bXB0aW9uTm9kZXNMZW5ndGggPT09IDApIHtcbiAgICAgICAgc2luZ3VsYXIgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cblxuICAgIHJldHVybiBzaW5ndWxhcjtcbiAgfVxuXG4gIGdldEFzc3VtcHRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEFTU1VNUFRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgIGRlY2xhcmF0aW9uTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZGVjbGFyYXRpb25Ob2RlcztcbiAgfVxuXG4gIGdldE1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIG1ldGF2YXJpYWJsZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGVOb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShGcmFtZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkZyYW1lTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImlzU2luZ3VsYXIiLCJzaW5ndWxhciIsIm1ldGF2YXJpYWJsZU5vZGUiLCJnZXRNZXRhdmFyaWFibGVOb2RlIiwiYXNzdW1wdGlvbk5vZGVzIiwiZ2V0QXNzdW1wdGlvbk5vZGVzIiwiYXNzdW1wdGlvbk5vZGVzTGVuZ3RoIiwibGVuZ3RoIiwicnVsZU5hbWUiLCJBU1NVTVBUSU9OX1JVTEVfTkFNRSIsImRlY2xhcmF0aW9uTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRWlDOzs7Ozs7QUFFOUMsTUFBTUEsa0JBQWtCQyx3QkFBZTtJQUNwREMsYUFBYTtRQUNYLElBQUlDLFdBQVc7UUFFZixNQUFNQyxtQkFBbUIsSUFBSSxDQUFDQyxtQkFBbUI7UUFFakQsSUFBSUQscUJBQXFCLE1BQU07WUFDN0IsTUFBTUUsa0JBQWtCLElBQUksQ0FBQ0Msa0JBQWtCLElBQ3pDQyx3QkFBd0JGLGdCQUFnQkcsTUFBTTtZQUVwRCxJQUFJRCwwQkFBMEIsR0FBRztnQkFDL0JMLFdBQVc7WUFDYjtRQUNGO1FBRUEsT0FBT0E7SUFDVDtJQUVBSSxxQkFBcUI7UUFDbkIsTUFBTUcsV0FBV0MsK0JBQW9CLEVBQy9CQyxtQkFBbUIsSUFBSSxDQUFDQyxrQkFBa0IsQ0FBQ0g7UUFFakQsT0FBT0U7SUFDVDtJQUVBUCxzQkFBc0I7UUFDcEIsTUFBTUssV0FBV0ksaUNBQXNCLEVBQ2pDVixtQkFBbUIsSUFBSSxDQUFDVyxpQkFBaUIsQ0FBQ0w7UUFFaEQsT0FBT047SUFDVDtJQUVBLE9BQU9ZLDJDQUEyQ04sUUFBUSxFQUFFTyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT2xCLHdCQUFlLENBQUNlLDBDQUEwQyxDQUFDaEIsV0FBV1UsVUFBVU8sWUFBWUMsU0FBU0M7SUFBYTtBQUMxTiJ9
|