occam-nominal 1.0.253 → 1.0.255
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/node/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 +3 -3
- 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/generator.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return GeneratorNode;
|
|
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 GeneratorNode 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(GeneratorNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2dlbmVyYXRvci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IFRFUk1fUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBHZW5lcmF0b3JOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VGVybU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgICB0ZXJtTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHRlcm1Ob2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShHZW5lcmF0b3JOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJHZW5lcmF0b3JOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VGVybU5vZGUiLCJydWxlTmFtZSIsIlRFUk1fUlVMRV9OQU1FIiwidGVybU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFRzs7Ozs7O0FBRWhCLE1BQU1BLHNCQUFzQkMsd0JBQWU7SUFDeERDLGNBQWM7UUFDWixNQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsV0FBVyxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUV4QyxPQUFPRTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCx3QkFBZSxDQUFDTSwwQ0FBMEMsQ0FBQ1AsZUFBZUcsVUFBVUssWUFBWUMsU0FBU0M7SUFBYTtBQUM5TiJ9
|
package/lib/node/goal.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return GoalNode;
|
|
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 GoalNode 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 GoalNode extends _occamlanguages.NonTerminalNode {
|
|
|
20
25
|
return statementNode;
|
|
21
26
|
}
|
|
22
27
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
-
return
|
|
28
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(GoalNode, ruleName, childNodes, opacity, precedence);
|
|
24
29
|
}
|
|
25
30
|
}
|
|
26
31
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2dvYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLCBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBHb2FsTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldE1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIG1ldGF2YXJpYWJsZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGVOb2RlO1xuICB9XG5cbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEdvYWxOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJHb2FsTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldE1ldGF2YXJpYWJsZU5vZGUiLCJydWxlTmFtZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJtZXRhdmFyaWFibGVOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRTdGF0ZW1lbnROb2RlIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRWdDOzs7Ozs7QUFFN0MsTUFBTUEsaUJBQWlCQyx3QkFBZTtJQUNuREMsc0JBQXNCO1FBQ3BCLE1BQU1DLFdBQVdDLGlDQUFzQixFQUNqQ0MsbUJBQW1CLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRWhELE9BQU9FO0lBQ1Q7SUFFQUUsbUJBQW1CO1FBQ2pCLE1BQU1KLFdBQVdLLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9NO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkNQLFFBQVEsRUFBRVEsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9aLHdCQUFlLENBQUNTLDBDQUEwQyxDQUFDVixVQUFVRyxVQUFVUSxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=
|
package/lib/node/header.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return HeaderNode;
|
|
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 HeaderNode extends _nonTerminalNode.default {
|
|
14
19
|
getLabelNodes() {
|
|
15
20
|
let labelNodes = [];
|
|
16
21
|
const parenthesisedLabelsNode = this.getParenthesisedLabelsNode();
|
|
@@ -40,8 +45,8 @@ class HeaderNode extends _occamlanguages.NonTerminalNode {
|
|
|
40
45
|
return parenthesisedLabelsNode;
|
|
41
46
|
}
|
|
42
47
|
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
43
|
-
return
|
|
48
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
44
49
|
}
|
|
45
50
|
}
|
|
46
51
|
|
|
47
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
52
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2hlYWRlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IFNJR05BVFVSRV9SVUxFX05BTUUsIFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FLCBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEhlYWRlck5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRMYWJlbE5vZGVzKCkge1xuICAgIGxldCBsYWJlbE5vZGVzID0gW107XG5cbiAgICBjb25zdCBwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSA9IHRoaXMuZ2V0UGFyZW50aGVzaXNlZExhYmVsc05vZGUoKTtcblxuICAgIGlmIChwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSAhPT0gbnVsbCkge1xuICAgICAgbGFiZWxOb2RlcyA9IHBhcmVudGhlc2lzZWRMYWJlbHNOb2RlLmdldExhYmVsTm9kZXMoKTtcbiAgICB9XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlcztcbiAgfVxuXG4gIGdldExhYmVsTm9kZSgpIHtcbiAgICBsZXQgbGFiZWxOb2RlID0gW107XG5cbiAgICBjb25zdCBwYXJlbnRoZXNpc2VkTGFiZWxOb2RlID0gdGhpcy5nZXRQYXJlbnRoZXNpc2VkTGFiZWxOb2RlKCk7XG5cbiAgICBpZiAocGFyZW50aGVzaXNlZExhYmVsTm9kZSAhPT0gbnVsbCkge1xuICAgICAgbGFiZWxOb2RlID0gcGFyZW50aGVzaXNlZExhYmVsTm9kZS5nZXRMYWJlbE5vZGUoKTtcbiAgICB9XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlO1xuICB9XG5cbiAgZ2V0U2lnbmF0dXJlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNJR05BVFVSRV9SVUxFX05BTUUsXG4gICAgICAgICAgc2lnbmF0dXJlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpZ25hdHVyZU5vZGU7XG4gIH1cblxuICBnZXRQYXJlbnRoZXNpc2VkTGFiZWxOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUsXG4gICAgICAgICAgcGFyZW50aGVzaXNlZExhYmVsc05vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBwYXJlbnRoZXNpc2VkTGFiZWxzTm9kZTtcbiAgfVxuXG4gIGdldFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FLFxuICAgICAgICAgIHBhcmVudGhlc2lzZWRMYWJlbHNOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcGFyZW50aGVzaXNlZExhYmVsc05vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiSGVhZGVyTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldExhYmVsTm9kZXMiLCJsYWJlbE5vZGVzIiwicGFyZW50aGVzaXNlZExhYmVsc05vZGUiLCJnZXRQYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSIsImdldExhYmVsTm9kZSIsImxhYmVsTm9kZSIsInBhcmVudGhlc2lzZWRMYWJlbE5vZGUiLCJnZXRQYXJlbnRoZXNpc2VkTGFiZWxOb2RlIiwiZ2V0U2lnbmF0dXJlTm9kZSIsInJ1bGVOYW1lIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsInNpZ25hdHVyZU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiQ2xhc3MiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRXVFOzs7Ozs7QUFFcEYsTUFBTUEsbUJBQW1CQyx3QkFBZTtJQUNyREMsZ0JBQWdCO1FBQ2QsSUFBSUMsYUFBYSxFQUFFO1FBRW5CLE1BQU1DLDBCQUEwQixJQUFJLENBQUNDLDBCQUEwQjtRQUUvRCxJQUFJRCw0QkFBNEIsTUFBTTtZQUNwQ0QsYUFBYUMsd0JBQXdCRixhQUFhO1FBQ3BEO1FBRUEsT0FBT0M7SUFDVDtJQUVBRyxlQUFlO1FBQ2IsSUFBSUMsWUFBWSxFQUFFO1FBRWxCLE1BQU1DLHlCQUF5QixJQUFJLENBQUNDLHlCQUF5QjtRQUU3RCxJQUFJRCwyQkFBMkIsTUFBTTtZQUNuQ0QsWUFBWUMsdUJBQXVCRixZQUFZO1FBQ2pEO1FBRUEsT0FBT0M7SUFDVDtJQUVBRyxtQkFBbUI7UUFDakIsTUFBTUMsV0FBV0MsOEJBQW1CLEVBQzlCQyxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFN0MsT0FBT0U7SUFDVDtJQUVBSiw0QkFBNEI7UUFDMUIsTUFBTUUsV0FBV0ksd0NBQTZCLEVBQ3hDWCwwQkFBMEIsSUFBSSxDQUFDVSxpQkFBaUIsQ0FBQ0g7UUFFdkQsT0FBT1A7SUFDVDtJQUVBQyw2QkFBNkI7UUFDM0IsTUFBTU0sV0FBV0sseUNBQThCLEVBQ3pDWiwwQkFBMEIsSUFBSSxDQUFDVSxpQkFBaUIsQ0FBQ0g7UUFFdkQsT0FBT1A7SUFDVDtJQUVBLE9BQU9hLDJDQUEyQ0MsS0FBSyxFQUFFUCxRQUFRLEVBQUVRLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPcEIsd0JBQWUsQ0FBQ2dCLDBDQUEwQyxDQUFDQyxPQUFPUCxVQUFVUSxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
|
package/lib/node/hypothesis.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return HypothesisNode;
|
|
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 HypothesisNode 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 HypothesisNode extends _occamlanguages.NonTerminalNode {
|
|
|
20
25
|
return statementNode;
|
|
21
26
|
}
|
|
22
27
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
-
return
|
|
28
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(HypothesisNode, ruleName, childNodes, opacity, precedence);
|
|
24
29
|
}
|
|
25
30
|
}
|
|
26
31
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2h5cG90aGVzaXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBOT05TRU5TRV9SVUxFX05BTUUsIFNUQVRFTUVOVF9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEh5cG90aGVzaXNOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Tm9uc2Vuc2VOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gTk9OU0VOU0VfUlVMRV9OQU1FLFxuICAgICAgICAgIG5vbnNlbnNlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG5vbnNlbnNlTm9kZTtcbiAgfVxuXG4gIGdldFN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHN0YXRlbWVudE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdGF0ZW1lbnROb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShIeXBvdGhlc2lzTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiSHlwb3RoZXNpc05vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXROb25zZW5zZU5vZGUiLCJydWxlTmFtZSIsIk5PTlNFTlNFX1JVTEVfTkFNRSIsIm5vbnNlbnNlTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0U3RhdGVtZW50Tm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJzdGF0ZW1lbnROb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUU0Qjs7Ozs7O0FBRXpDLE1BQU1BLHVCQUF1QkMsd0JBQWU7SUFDekRDLGtCQUFrQjtRQUNoQixNQUFNQyxXQUFXQyw2QkFBa0IsRUFDN0JDLGVBQWUsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFNUMsT0FBT0U7SUFDVDtJQUVBRSxtQkFBbUI7UUFDakIsTUFBTUosV0FBV0ssOEJBQW1CLEVBQzlCQyxnQkFBZ0IsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7UUFFN0MsT0FBT007SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ1AsUUFBUSxFQUFFUSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1osd0JBQWUsQ0FBQ1MsMENBQTBDLENBQUNWLGdCQUFnQkcsVUFBVVEsWUFBWUMsU0FBU0M7SUFBYTtBQUMvTiJ9
|
package/lib/node/judgement.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return JudgementNode;
|
|
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 JudgementNode extends _nonTerminalNode.default {
|
|
14
19
|
isSingular() {
|
|
15
20
|
const frameNode = this.getFrameNode(), singular = frameNode.isSingular();
|
|
16
21
|
return singular;
|
|
@@ -24,8 +29,8 @@ class JudgementNode extends _occamlanguages.NonTerminalNode {
|
|
|
24
29
|
return frameNode;
|
|
25
30
|
}
|
|
26
31
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
27
|
-
return
|
|
32
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(JudgementNode, ruleName, childNodes, opacity, precedence);
|
|
28
33
|
}
|
|
29
34
|
}
|
|
30
35
|
|
|
31
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
36
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2p1ZGdlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IEdPQUxfUlVMRV9OQU1FLCBGUkFNRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEp1ZGdlbWVudE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1Npbmd1bGFyKCkge1xuICAgIGNvbnN0IGZyYW1lTm9kZSA9IHRoaXMuZ2V0RnJhbWVOb2RlKCksXG4gICAgICAgICAgc2luZ3VsYXIgPSBmcmFtZU5vZGUuaXNTaW5ndWxhcigpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyO1xuICB9XG5cbiAgZ2V0R29hbE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBHT0FMX1JVTEVfTkFNRSxcbiAgICAgICAgICBnb2FsTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGdvYWxOb2RlO1xuICB9XG5cbiAgZ2V0RnJhbWVOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gRlJBTUVfUlVMRV9OQU1FLFxuICAgICAgICAgIGZyYW1lTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGZyYW1lTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoSnVkZ2VtZW50Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiSnVkZ2VtZW50Tm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImlzU2luZ3VsYXIiLCJmcmFtZU5vZGUiLCJnZXRGcmFtZU5vZGUiLCJzaW5ndWxhciIsImdldEdvYWxOb2RlIiwicnVsZU5hbWUiLCJHT0FMX1JVTEVfTkFNRSIsImdvYWxOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJGUkFNRV9SVUxFX05BTUUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRW9COzs7Ozs7QUFFakMsTUFBTUEsc0JBQXNCQyx3QkFBZTtJQUN4REMsYUFBYTtRQUNYLE1BQU1DLFlBQVksSUFBSSxDQUFDQyxZQUFZLElBQzdCQyxXQUFXRixVQUFVRCxVQUFVO1FBRXJDLE9BQU9HO0lBQ1Q7SUFFQUMsY0FBYztRQUNaLE1BQU1DLFdBQVdDLHlCQUFjLEVBQ3pCQyxXQUFXLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRXhDLE9BQU9FO0lBQ1Q7SUFFQUwsZUFBZTtRQUNiLE1BQU1HLFdBQVdJLDBCQUFlLEVBQzFCUixZQUFZLElBQUksQ0FBQ08saUJBQWlCLENBQUNIO1FBRXpDLE9BQU9KO0lBQ1Q7SUFFQSxPQUFPUywyQ0FBMkNMLFFBQVEsRUFBRU0sVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLHdCQUFlLENBQUNXLDBDQUEwQyxDQUFDWixlQUFlTyxVQUFVTSxZQUFZQyxTQUFTQztJQUFhO0FBQzlOIn0=
|
package/lib/node/label.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return LabelNode;
|
|
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 LabelNode extends _nonTerminalNode.default {
|
|
14
19
|
getMetavariableNode() {
|
|
15
20
|
const ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return metavariableNode;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(LabelNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2xhYmVsLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTGFiZWxOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0TWV0YXZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKExhYmVsTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTGFiZWxOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZSIsInJ1bGVOYW1lIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIm1ldGF2YXJpYWJsZU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFVzs7Ozs7O0FBRXhCLE1BQU1BLGtCQUFrQkMsd0JBQWU7SUFDcERDLHNCQUFzQjtRQUNwQixNQUFNQyxXQUFXQyxpQ0FBc0IsRUFDakNDLG1CQUFtQixJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUVoRCxPQUFPRTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCx3QkFBZSxDQUFDTSwwQ0FBMEMsQ0FBQ1AsV0FBV0csVUFBVUssWUFBWUMsU0FBU0M7SUFBYTtBQUMxTiJ9
|
package/lib/node/labels.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return LabelsNode;
|
|
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 LabelsNode extends _nonTerminalNode.default {
|
|
14
19
|
getLabelNodes() {
|
|
15
20
|
const ruleName = _ruleNames.LABEL_RULE_NAME, labelNodes = this.getNodesByRuleName(ruleName);
|
|
16
21
|
return labelNodes;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(LabelsNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2xhYmVscy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IExBQkVMX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTGFiZWxzTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldExhYmVsTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBMQUJFTF9SVUxFX05BTUUsXG4gICAgICAgICAgbGFiZWxOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShMYWJlbHNOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJMYWJlbHNOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0TGFiZWxOb2RlcyIsInJ1bGVOYW1lIiwiTEFCRUxfUlVMRV9OQU1FIiwibGFiZWxOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFSTs7Ozs7O0FBRWpCLE1BQU1BLG1CQUFtQkMsd0JBQWU7SUFDckRDLGdCQUFnQjtRQUNkLE1BQU1DLFdBQVdDLDBCQUFlLEVBQzFCQyxhQUFhLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO1FBRTNDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxZQUFZRyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzNOIn0=
|
package/lib/node/metaArgument.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return MetaArgumentNode;
|
|
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 MetaArgumentNode extends _nonTerminalNode.default {
|
|
14
19
|
getSingularStatementNode() {
|
|
15
20
|
const ruleName = _ruleNames.STATEMENT_RULE_NAME, singularStatementNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return singularStatementNode;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(MetaArgumentNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGFBcmd1bWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IFNUQVRFTUVOVF9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE1ldGFBcmd1bWVudE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRTaW5ndWxhclN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpbmd1bGFyU3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyU3RhdGVtZW50Tm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoTWV0YUFyZ3VtZW50Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YUFyZ3VtZW50Tm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFNpbmd1bGFyU3RhdGVtZW50Tm9kZSIsInJ1bGVOYW1lIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInNpbmd1bGFyU3RhdGVtZW50Tm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVROzs7Ozs7QUFFckIsTUFBTUEseUJBQXlCQyx3QkFBZTtJQUMzREMsMkJBQTJCO1FBQ3pCLE1BQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsd0JBQXdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRXJELE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxrQkFBa0JHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDak8ifQ==
|
package/lib/node/metaType.js
CHANGED
|
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return MetaTypeNode;
|
|
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 MetaTypeNode extends _nonTerminalNode.default {
|
|
13
18
|
getMetaTypeName() {
|
|
14
19
|
let metaTypeName;
|
|
15
20
|
this.someChildNode((childNode)=>{
|
|
@@ -23,8 +28,8 @@ class MetaTypeNode extends _occamlanguages.NonTerminalNode {
|
|
|
23
28
|
return metaTypeName;
|
|
24
29
|
}
|
|
25
30
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
26
|
-
return
|
|
31
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(MetaTypeNode, ruleName, childNodes, opacity, precedence);
|
|
27
32
|
}
|
|
28
33
|
}
|
|
29
34
|
|
|
30
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
35
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGFUeXBlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YVR5cGVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0TWV0YVR5cGVOYW1lKCkge1xuICAgIGxldCBtZXRhVHlwZU5hbWU7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgbWV0YVR5cGVOYW1lID0gY29udGVudDsgLy8vXG5cbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gbWV0YVR5cGVOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShNZXRhVHlwZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGFUeXBlTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldE1ldGFUeXBlTmFtZSIsIm1ldGFUeXBlTmFtZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJjaGlsZE5vZGVUZXJtaW5hbE5vZGUiLCJpc1Rlcm1pbmFsTm9kZSIsInRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLHFCQUFxQkMsd0JBQWU7SUFDdkRDLGtCQUFrQjtRQUNoQixJQUFJQztRQUVKLElBQUksQ0FBQ0MsYUFBYSxDQUFDLENBQUNDO1lBQ2xCLE1BQU1DLHdCQUF3QkQsVUFBVUUsY0FBYztZQUV0RCxJQUFJRCx1QkFBdUI7Z0JBQ3pCLE1BQU1FLGVBQWVILFdBQ2ZJLFVBQVVELGFBQWFFLFVBQVU7Z0JBRXZDUCxlQUFlTSxTQUFTLEdBQUc7Z0JBRTNCLE9BQU87WUFDVDtRQUNGO1FBRUEsT0FBT047SUFDVDtJQUVBLE9BQU9RLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT2Qsd0JBQWUsQ0FBQ1UsMENBQTBDLENBQUNYLGNBQWNZLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDN04ifQ==
|
package/lib/node/metavariable.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return MetavariableNode;
|
|
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 MetavariableNode extends _nonTerminalNode.default {
|
|
14
19
|
getMetavariableName() {
|
|
15
20
|
let metavariableName;
|
|
16
21
|
this.someChildNode((childNode)=>{
|
|
@@ -32,8 +37,8 @@ class MetavariableNode extends _occamlanguages.NonTerminalNode {
|
|
|
32
37
|
return typeNode;
|
|
33
38
|
}
|
|
34
39
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
35
|
-
return
|
|
40
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(MetavariableNode, ruleName, childNodes, opacity, precedence);
|
|
36
41
|
}
|
|
37
42
|
}
|
|
38
43
|
|
|
39
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
44
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGF2YXJpYWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IFRFUk1fUlVMRV9OQU1FLCBUWVBFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YXZhcmlhYmxlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldE1ldGF2YXJpYWJsZU5hbWUoKSB7XG4gICAgbGV0IG1ldGF2YXJpYWJsZU5hbWU7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgbWV0YXZhcmlhYmxlTmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5hbWU7XG4gIH1cblxuICBnZXRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdGVybU5vZGU7XG4gIH1cblxuICBnZXRUeXBlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHR5cGVOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdHlwZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKE1ldGF2YXJpYWJsZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGF2YXJpYWJsZU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRNZXRhdmFyaWFibGVOYW1lIiwibWV0YXZhcmlhYmxlTmFtZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJjaGlsZE5vZGVUZXJtaW5hbE5vZGUiLCJpc1Rlcm1pbmFsTm9kZSIsInRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZ2V0VGVybU5vZGUiLCJydWxlTmFtZSIsIlRFUk1fUlVMRV9OQU1FIiwidGVybU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldFR5cGVOb2RlIiwiVFlQRV9SVUxFX05BTUUiLCJ0eXBlTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFbUI7Ozs7OztBQUVoQyxNQUFNQSx5QkFBeUJDLHdCQUFlO0lBQzNEQyxzQkFBc0I7UUFDcEIsSUFBSUM7UUFFSixJQUFJLENBQUNDLGFBQWEsQ0FBQyxDQUFDQztZQUNsQixNQUFNQyx3QkFBd0JELFVBQVVFLGNBQWM7WUFFdEQsSUFBSUQsdUJBQXVCO2dCQUN6QixNQUFNRSxlQUFlSCxXQUNmSSxVQUFVRCxhQUFhRSxVQUFVO2dCQUV2Q1AsbUJBQW1CTSxTQUFTLEdBQUc7Z0JBRS9CLE9BQU87WUFDVDtRQUNGO1FBRUEsT0FBT047SUFDVDtJQUVBUSxjQUFjO1FBQ1osTUFBTUMsV0FBV0MseUJBQWMsRUFDekJDLFdBQVcsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFeEMsT0FBT0U7SUFDVDtJQUVBRSxjQUFjO1FBQ1osTUFBTUosV0FBV0sseUJBQWMsRUFDekJDLFdBQVcsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7UUFFeEMsT0FBT007SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ1AsUUFBUSxFQUFFUSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3JCLHdCQUFlLENBQUNrQiwwQ0FBMEMsQ0FBQ25CLGtCQUFrQlksVUFBVVEsWUFBWUMsU0FBU0M7SUFBYTtBQUNqTyJ9
|
package/lib/node/parameter.js
CHANGED
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ParameterNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
const
|
|
11
|
+
const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
|
|
12
12
|
const _tokenTypes = require("../tokenTypes");
|
|
13
|
-
|
|
13
|
+
function _interop_require_default(obj) {
|
|
14
|
+
return obj && obj.__esModule ? obj : {
|
|
15
|
+
default: obj
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
class ParameterNode extends _nonTerminalNode.default {
|
|
14
19
|
getName() {
|
|
15
20
|
let name = null;
|
|
16
21
|
this.someChildNode((childNode, index)=>{
|
|
@@ -40,8 +45,8 @@ class ParameterNode extends _occamlanguages.NonTerminalNode {
|
|
|
40
45
|
return identifier;
|
|
41
46
|
}
|
|
42
47
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
43
|
-
return
|
|
48
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ParameterNode, ruleName, childNodes, opacity, precedence);
|
|
44
49
|
}
|
|
45
50
|
}
|
|
46
51
|
|
|
47
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
52
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BhcmFtZXRlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IE5BTUVfVE9LRU5fVFlQRSwgSURFTlRJRklFUl9UT0tFTl9UWVBFIH0gZnJvbSBcIi4uL3Rva2VuVHlwZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUGFyYW1ldGVyTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldE5hbWUoKSB7XG4gICAgbGV0IG5hbWUgPSBudWxsO1xuXG4gICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUsIGluZGV4KSA9PiB7XG4gICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgdHlwZSA9IHRlcm1pbmFsTm9kZS5nZXRUeXBlKCk7XG5cbiAgICAgIGlmICh0eXBlID09PSBOQU1FX1RPS0VOX1RZUEUpIHtcbiAgICAgICAgY29uc3QgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgbmFtZSA9IGNvbnRlbnQ7ICAvLy9cbiAgICAgIH1cblxuICAgICAgaWYgKGluZGV4ID09PSAwKSB7XG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIG5hbWU7XG4gIH1cblxuICBnZXRJZGVudGlmaWVyKCkge1xuICAgIGxldCBpZGVudGlmaWVyID0gbnVsbDtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgIHR5cGUgPSB0ZXJtaW5hbE5vZGUuZ2V0VHlwZSgpO1xuXG4gICAgICBpZiAodHlwZSA9PT0gSURFTlRJRklFUl9UT0tFTl9UWVBFKSB7XG4gICAgICAgIGNvbnN0IGNvbnRlbnQgPSB0ZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpO1xuXG4gICAgICAgIGlkZW50aWZpZXIgPSBjb250ZW50OyAgLy8vXG4gICAgICB9XG5cbiAgICAgIGlmIChpbmRleCA9PT0gMCkge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBpZGVudGlmaWVyO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShQYXJhbWV0ZXJOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQYXJhbWV0ZXJOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0TmFtZSIsIm5hbWUiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiaW5kZXgiLCJ0ZXJtaW5hbE5vZGUiLCJ0eXBlIiwiZ2V0VHlwZSIsIk5BTUVfVE9LRU5fVFlQRSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZ2V0SWRlbnRpZmllciIsImlkZW50aWZpZXIiLCJJREVOVElGSUVSX1RPS0VOX1RZUEUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzs0QkFFMkI7Ozs7OztBQUV4QyxNQUFNQSxzQkFBc0JDLHdCQUFlO0lBQ3hEQyxVQUFVO1FBQ1IsSUFBSUMsT0FBTztRQUVYLElBQUksQ0FBQ0MsYUFBYSxDQUFDLENBQUNDLFdBQVdDO1lBQzdCLE1BQU1DLGVBQWVGLFdBQ2ZHLE9BQU9ELGFBQWFFLE9BQU87WUFFakMsSUFBSUQsU0FBU0UsMkJBQWUsRUFBRTtnQkFDNUIsTUFBTUMsVUFBVUosYUFBYUssVUFBVTtnQkFFdkNULE9BQU9RLFNBQVUsR0FBRztZQUN0QjtZQUVBLElBQUlMLFVBQVUsR0FBRztnQkFDZixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9IO0lBQ1Q7SUFFQVUsZ0JBQWdCO1FBQ2QsSUFBSUMsYUFBYTtRQUVqQixJQUFJLENBQUNWLGFBQWEsQ0FBQyxDQUFDQyxXQUFXQztZQUM3QixNQUFNQyxlQUFlRixXQUNmRyxPQUFPRCxhQUFhRSxPQUFPO1lBRWpDLElBQUlELFNBQVNPLGlDQUFxQixFQUFFO2dCQUNsQyxNQUFNSixVQUFVSixhQUFhSyxVQUFVO2dCQUV2Q0UsYUFBYUgsU0FBVSxHQUFHO1lBQzVCO1lBRUEsSUFBSUwsVUFBVSxHQUFHO2dCQUNmLE9BQU87WUFDVDtRQUNGO1FBRUEsT0FBT1E7SUFDVDtJQUVBLE9BQU9FLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT25CLHdCQUFlLENBQUNlLDBDQUEwQyxDQUFDaEIsZUFBZWlCLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDOU4ifQ==
|
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ParenthesisedLabelNode;
|
|
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 ParenthesisedLabelNode extends _nonTerminalNode.default {
|
|
14
19
|
getLabelNode() {
|
|
15
20
|
const ruleName = _ruleNames.LABEL_RULE_NAME, labelNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return labelNode;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ParenthesisedLabelNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BhcmVudGhlc2lzZWRMYWJlbC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IExBQkVMX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUGFyZW50aGVzaXNlZExhYmVsTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldExhYmVsTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IExBQkVMX1JVTEVfTkFNRSxcbiAgICAgICAgICBsYWJlbE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFBhcmVudGhlc2lzZWRMYWJlbE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlBhcmVudGhlc2lzZWRMYWJlbE5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRMYWJlbE5vZGUiLCJydWxlTmFtZSIsIkxBQkVMX1JVTEVfTkFNRSIsImxhYmVsTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVJOzs7Ozs7QUFFakIsTUFBTUEsK0JBQStCQyx3QkFBZTtJQUNqRUMsZUFBZTtRQUNiLE1BQU1DLFdBQVdDLDBCQUFlLEVBQzFCQyxZQUFZLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRXpDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCx3QkFBd0JHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDdk8ifQ==
|
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ParenthesisedLabelsNode;
|
|
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 ParenthesisedLabelsNode extends _nonTerminalNode.default {
|
|
14
19
|
getLabelNodes() {
|
|
15
20
|
const labelsNode = this.getLabelsNode(), labelNodes = labelsNode.getLabelNodes();
|
|
16
21
|
return labelNodes;
|
|
@@ -20,8 +25,8 @@ class ParenthesisedLabelsNode extends _occamlanguages.NonTerminalNode {
|
|
|
20
25
|
return labelsNode;
|
|
21
26
|
}
|
|
22
27
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
23
|
-
return
|
|
28
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ParenthesisedLabelsNode, ruleName, childNodes, opacity, precedence);
|
|
24
29
|
}
|
|
25
30
|
}
|
|
26
31
|
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
32
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BhcmVudGhlc2lzZWRMYWJlbHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBMQUJFTFNfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldExhYmVsTm9kZXMoKSB7XG4gICAgY29uc3QgbGFiZWxzTm9kZSA9IHRoaXMuZ2V0TGFiZWxzTm9kZSgpLFxuICAgICAgICAgIGxhYmVsTm9kZXMgPSBsYWJlbHNOb2RlLmdldExhYmVsTm9kZXMoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGVzO1xuICB9XG5cbiAgZ2V0TGFiZWxzTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IExBQkVMU19SVUxFX05BTUUsXG4gICAgICAgICAgbGFiZWxzTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGxhYmVsc05vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldExhYmVsTm9kZXMiLCJsYWJlbHNOb2RlIiwiZ2V0TGFiZWxzTm9kZSIsImxhYmVsTm9kZXMiLCJydWxlTmFtZSIsIkxBQkVMU19SVUxFX05BTUUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFSzs7Ozs7O0FBRWxCLE1BQU1BLGdDQUFnQ0Msd0JBQWU7SUFDbEVDLGdCQUFnQjtRQUNkLE1BQU1DLGFBQWEsSUFBSSxDQUFDQyxhQUFhLElBQy9CQyxhQUFhRixXQUFXRCxhQUFhO1FBRTNDLE9BQU9HO0lBQ1Q7SUFFQUQsZ0JBQWdCO1FBQ2QsTUFBTUUsV0FBV0MsMkJBQWdCLEVBQzNCSixhQUFhLElBQUksQ0FBQ0ssaUJBQWlCLENBQUNGO1FBRTFDLE9BQU9IO0lBQ1Q7SUFFQSxPQUFPTSwyQ0FBMkNILFFBQVEsRUFBRUksVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9YLHdCQUFlLENBQUNRLDBDQUEwQyxDQUFDVCx5QkFBeUJNLFVBQVVJLFlBQVlDLFNBQVNDO0lBQWE7QUFDeE8ifQ==
|
package/lib/node/placeholder.js
CHANGED
|
@@ -8,11 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return PlaceholderNode;
|
|
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 PlaceholderNode extends _nonTerminalNode.default {
|
|
13
18
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
14
|
-
return
|
|
19
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(PlaceholderNode, ruleName, childNodes, opacity, precedence);
|
|
15
20
|
}
|
|
16
21
|
}
|
|
17
22
|
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BsYWNlaG9sZGVyLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUGxhY2Vob2xkZXJOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShQbGFjZWhvbGRlck5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlBsYWNlaG9sZGVyTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O3dFQUZPOzs7Ozs7QUFFYixNQUFNQSx3QkFBd0JDLHdCQUFlO0lBQzFELE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT0wsd0JBQWUsQ0FBQ0MsMENBQTBDLENBQUNGLGlCQUFpQkcsVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUNoTyJ9
|
|
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ProcedureCallNode;
|
|
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 ProcedureCallNode extends _nonTerminalNode.default {
|
|
14
19
|
getProcedureName() {
|
|
15
20
|
const procedureReferenceNode = this.getProcedureReferenceNode(), procedureName = procedureReferenceNode.getProcedureName();
|
|
16
21
|
return procedureName;
|
|
@@ -24,8 +29,8 @@ class ProcedureCallNode extends _occamlanguages.NonTerminalNode {
|
|
|
24
29
|
return procedureReferenceNode;
|
|
25
30
|
}
|
|
26
31
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
27
|
-
return
|
|
32
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ProcedureCallNode, ruleName, childNodes, opacity, precedence);
|
|
28
33
|
}
|
|
29
34
|
}
|
|
30
35
|
|
|
31
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
36
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb2NlZHVyZUNhbGwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBQQVJBTUVURVJfUlVMRV9OQU1FLCBQUk9DRURVUkVfUkVGRVJFTkNFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUHJvY2VkdXJlQ2FsbE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRQcm9jZWR1cmVOYW1lKCkge1xuICAgIGNvbnN0IHByb2NlZHVyZVJlZmVyZW5jZU5vZGUgPSB0aGlzLmdldFByb2NlZHVyZVJlZmVyZW5jZU5vZGUoKSxcbiAgICAgICAgICBwcm9jZWR1cmVOYW1lID0gcHJvY2VkdXJlUmVmZXJlbmNlTm9kZS5nZXRQcm9jZWR1cmVOYW1lKCk7XG5cbiAgICByZXR1cm4gcHJvY2VkdXJlTmFtZTtcbiAgfVxuXG4gIGdldFBhcmFtZXRlck5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUEFSQU1FVEVSX1JVTEVfTkFNRSxcbiAgICAgICAgICBwYXJhbWV0ZXJOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBwYXJhbWV0ZXJOb2RlcztcbiAgfVxuXG4gIGdldFByb2NlZHVyZVJlZmVyZW5jZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9DRURVUkVfUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgICBwcm9jZWR1cmVSZWZlcmVuY2VOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcHJvY2VkdXJlUmVmZXJlbmNlTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvY2VkdXJlQ2FsbE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlByb2NlZHVyZUNhbGxOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0UHJvY2VkdXJlTmFtZSIsInByb2NlZHVyZVJlZmVyZW5jZU5vZGUiLCJnZXRQcm9jZWR1cmVSZWZlcmVuY2VOb2RlIiwicHJvY2VkdXJlTmFtZSIsImdldFBhcmFtZXRlck5vZGVzIiwicnVsZU5hbWUiLCJQQVJBTUVURVJfUlVMRV9OQU1FIiwicGFyYW1ldGVyTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJQUk9DRURVUkVfUkVGRVJFTkNFX1JVTEVfTkFNRSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUV1Qzs7Ozs7O0FBRXBELE1BQU1BLDBCQUEwQkMsd0JBQWU7SUFDNURDLG1CQUFtQjtRQUNqQixNQUFNQyx5QkFBeUIsSUFBSSxDQUFDQyx5QkFBeUIsSUFDdkRDLGdCQUFnQkYsdUJBQXVCRCxnQkFBZ0I7UUFFN0QsT0FBT0c7SUFDVDtJQUVBQyxvQkFBb0I7UUFDbEIsTUFBTUMsV0FBV0MsOEJBQW1CLEVBQzlCQyxpQkFBaUIsSUFBSSxDQUFDQyxrQkFBa0IsQ0FBQ0g7UUFFL0MsT0FBT0U7SUFDVDtJQUVBTCw0QkFBNEI7UUFDMUIsTUFBTUcsV0FBV0ksd0NBQTZCLEVBQ3hDUix5QkFBeUIsSUFBSSxDQUFDUyxpQkFBaUIsQ0FBQ0w7UUFFdEQsT0FBT0o7SUFDVDtJQUVBLE9BQU9VLDJDQUEyQ04sUUFBUSxFQUFFTyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT2Ysd0JBQWUsQ0FBQ1ksMENBQTBDLENBQUNiLG1CQUFtQk8sVUFBVU8sWUFBWUMsU0FBU0M7SUFBYTtBQUNsTyJ9
|
|
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ProcedureReferenceNode;
|
|
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 ProcedureReferenceNode extends _nonTerminalNode.default {
|
|
13
18
|
getName() {
|
|
14
19
|
let name;
|
|
15
20
|
this.someChildNode((childNode)=>{
|
|
@@ -23,8 +28,8 @@ class ProcedureReferenceNode extends _occamlanguages.NonTerminalNode {
|
|
|
23
28
|
return name;
|
|
24
29
|
}
|
|
25
30
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
26
|
-
return
|
|
31
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ProcedureReferenceNode, ruleName, childNodes, opacity, precedence);
|
|
27
32
|
}
|
|
28
33
|
}
|
|
29
34
|
|
|
30
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
35
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb2NlZHVyZVJlZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb2NlZHVyZVJlZmVyZW5jZU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXROYW1lKCkge1xuICAgIGxldCBuYW1lO1xuXG4gICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IGNoaWxkTm9kZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZS5pc1Rlcm1pbmFsTm9kZSgpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVGVybWluYWxOb2RlKSB7XG4gICAgICAgIGNvbnN0IHRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgIGNvbnRlbnQgPSB0ZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpO1xuXG4gICAgICAgIG5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBuYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShQcm9jZWR1cmVSZWZlcmVuY2VOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQcm9jZWR1cmVSZWZlcmVuY2VOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0TmFtZSIsIm5hbWUiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiY2hpbGROb2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O3dFQUZPOzs7Ozs7QUFFYixNQUFNQSwrQkFBK0JDLHdCQUFlO0lBQ2pFQyxVQUFVO1FBQ1IsSUFBSUM7UUFFSixJQUFJLENBQUNDLGFBQWEsQ0FBQyxDQUFDQztZQUNsQixNQUFNQyx3QkFBd0JELFVBQVVFLGNBQWM7WUFFdEQsSUFBSUQsdUJBQXVCO2dCQUN6QixNQUFNRSxlQUFlSCxXQUNmSSxVQUFVRCxhQUFhRSxVQUFVO2dCQUV2Q1AsT0FBT00sU0FBUyxHQUFHO2dCQUVuQixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQSxPQUFPUSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLHdCQUFlLENBQUNVLDBDQUEwQyxDQUFDWCx3QkFBd0JZLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDdk8ifQ==
|
package/lib/node/proof.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ProofNode;
|
|
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 ProofNode extends _nonTerminalNode.default {
|
|
14
19
|
getDerivationNode() {
|
|
15
20
|
const ruleName = _ruleNames.DERIVATION_RULE_NAME, derivationNode = this.getNodeByRuleName(ruleName);
|
|
16
21
|
return derivationNode;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ProofNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgREVSSVZBVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb29mTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldERlcml2YXRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gREVSSVZBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgZGVyaXZhdGlvbk5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBkZXJpdmF0aW9uTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvb2ZOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQcm9vZk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXREZXJpdmF0aW9uTm9kZSIsInJ1bGVOYW1lIiwiREVSSVZBVElPTl9SVUxFX05BTUUiLCJkZXJpdmF0aW9uTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVTOzs7Ozs7QUFFdEIsTUFBTUEsa0JBQWtCQyx3QkFBZTtJQUNwREMsb0JBQW9CO1FBQ2xCLE1BQU1DLFdBQVdDLCtCQUFvQixFQUMvQkMsaUJBQWlCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRTlDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxXQUFXRyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzFOIn0=
|