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/type.js
CHANGED
|
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TypeNode;
|
|
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 TypeNode extends _nonTerminalNode.default {
|
|
13
18
|
isPrefixed() {
|
|
14
19
|
const multiplicity = this.getMultiplicity(), prefixed = multiplicity > 1;
|
|
15
20
|
return prefixed;
|
|
@@ -53,8 +58,8 @@ class TypeNode extends _occamlanguages.NonTerminalNode {
|
|
|
53
58
|
return nominalTypeName;
|
|
54
59
|
}
|
|
55
60
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
56
|
-
return
|
|
61
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(TypeNode, ruleName, childNodes, opacity, precedence);
|
|
57
62
|
}
|
|
58
63
|
}
|
|
59
64
|
|
|
60
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
65
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGlzUHJlZml4ZWQoKSB7XG4gICAgY29uc3QgbXVsdGlwbGljaXR5ID0gdGhpcy5nZXRNdWx0aXBsaWNpdHkoKSxcbiAgICAgICAgICBwcmVmaXhlZCA9IChtdWx0aXBsaWNpdHkgPiAxKTtcblxuICAgIHJldHVybiBwcmVmaXhlZDtcbiAgfVxuXG4gIGdldFR5cGVOYW1lKCkge1xuICAgIGxldCB0eXBlTmFtZTtcblxuICAgIGNvbnN0IHByZWZpeGVkID0gdGhpcy5pc1ByZWZpeGVkKCksXG4gICAgICAgICAgbmFtZUluZGV4ID0gcHJlZml4ZWQgPyAyIDogMDtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgaWYgKGluZGV4ID09PSBuYW1lSW5kZXgpIHtcbiAgICAgICAgY29uc3QgdHlwZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgIGNvbnRlbnQgPSB0eXBlVGVybWluYWxOb2RlLmdldENvbnRlbnQoKTtcblxuICAgICAgICB0eXBlTmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHR5cGVOYW1lO1xuICB9XG5cbiAgZ2V0VHlwZVByZWZpeE5hbWUoKSB7XG4gICAgbGV0IHR5cGVQcmVmaXhOYW1lID0gbnVsbDtcblxuICAgIGNvbnN0IHByZWZpeGVkID0gdGhpcy5pc1ByZWZpeGVkKCk7XG5cbiAgICBpZiAocHJlZml4ZWQpIHtcbiAgICAgIGNvbnN0IHByZWZpeEluZGV4ID0gMDtcblxuICAgICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUsIGluZGV4KSA9PiB7XG4gICAgICAgIGlmIChpbmRleCA9PT0gcHJlZml4SW5kZXgpIHtcbiAgICAgICAgICBjb25zdCB0eXBlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgICBjb250ZW50ID0gdHlwZVRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgICB0eXBlUHJlZml4TmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgIH1cbiAgICAgIH0pO1xuICAgIH1cblxuICAgIHJldHVybiB0eXBlUHJlZml4TmFtZTtcbiAgfVxuXG4gIGdldE5vbWluYWxUeXBlTmFtZSgpIHtcbiAgICBsZXQgbm9taW5hbFR5cGVOYW1lO1xuXG4gICAgY29uc3QgcHJlZml4ZWQgPSB0aGlzLmlzUHJlZml4ZWQoKSxcbiAgICAgICAgICB0eXBlTmFtZSA9IHRoaXMuZ2V0VHlwZU5hbWUoKTtcblxuICAgIGlmIChwcmVmaXhlZCkge1xuICAgICAgY29uc3QgdHlwZVByZWZpeE5hbWUgPSB0aGlzLmdldFR5cGVQcmVmaXhOYW1lKCk7XG5cbiAgICAgIG5vbWluYWxUeXBlTmFtZSA9IGAke3R5cGVQcmVmaXhOYW1lfSR7dHlwZU5hbWV9YDtcbiAgICB9IGVsc2Uge1xuICAgICAgbm9taW5hbFR5cGVOYW1lID0gdHlwZU5hbWU7ICAvLy9cbiAgICB9XG5cbiAgICByZXR1cm4gbm9taW5hbFR5cGVOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUeXBlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVHlwZU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJpc1ByZWZpeGVkIiwibXVsdGlwbGljaXR5IiwiZ2V0TXVsdGlwbGljaXR5IiwicHJlZml4ZWQiLCJnZXRUeXBlTmFtZSIsInR5cGVOYW1lIiwibmFtZUluZGV4Iiwic29tZUNoaWxkTm9kZSIsImNoaWxkTm9kZSIsImluZGV4IiwidHlwZVRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZ2V0VHlwZVByZWZpeE5hbWUiLCJ0eXBlUHJlZml4TmFtZSIsInByZWZpeEluZGV4IiwiZ2V0Tm9taW5hbFR5cGVOYW1lIiwibm9taW5hbFR5cGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLGlCQUFpQkMsd0JBQWU7SUFDbkRDLGFBQWE7UUFDWCxNQUFNQyxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0MsV0FBWUYsZUFBZTtRQUVqQyxPQUFPRTtJQUNUO0lBRUFDLGNBQWM7UUFDWixJQUFJQztRQUVKLE1BQU1GLFdBQVcsSUFBSSxDQUFDSCxVQUFVLElBQzFCTSxZQUFZSCxXQUFXLElBQUk7UUFFakMsSUFBSSxDQUFDSSxhQUFhLENBQUMsQ0FBQ0MsV0FBV0M7WUFDN0IsSUFBSUEsVUFBVUgsV0FBVztnQkFDdkIsTUFBTUksbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO2dCQUUzQ1AsV0FBV00sU0FBUyxHQUFHO2dCQUV2QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQVEsb0JBQW9CO1FBQ2xCLElBQUlDLGlCQUFpQjtRQUVyQixNQUFNWCxXQUFXLElBQUksQ0FBQ0gsVUFBVTtRQUVoQyxJQUFJRyxVQUFVO1lBQ1osTUFBTVksY0FBYztZQUVwQixJQUFJLENBQUNSLGFBQWEsQ0FBQyxDQUFDQyxXQUFXQztnQkFDN0IsSUFBSUEsVUFBVU0sYUFBYTtvQkFDekIsTUFBTUwsbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO29CQUUzQ0UsaUJBQWlCSCxTQUFTLEdBQUc7b0JBRTdCLE9BQU87Z0JBQ1Q7WUFDRjtRQUNGO1FBRUEsT0FBT0c7SUFDVDtJQUVBRSxxQkFBcUI7UUFDbkIsSUFBSUM7UUFFSixNQUFNZCxXQUFXLElBQUksQ0FBQ0gsVUFBVSxJQUMxQkssV0FBVyxJQUFJLENBQUNELFdBQVc7UUFFakMsSUFBSUQsVUFBVTtZQUNaLE1BQU1XLGlCQUFpQixJQUFJLENBQUNELGlCQUFpQjtZQUU3Q0ksa0JBQWtCLEdBQUdILGlCQUFpQlQsVUFBVTtRQUNsRCxPQUFPO1lBQ0xZLGtCQUFrQlosVUFBVyxHQUFHO1FBQ2xDO1FBRUEsT0FBT1k7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3ZCLHdCQUFlLENBQUNtQiwwQ0FBMEMsQ0FBQ3BCLFVBQVVxQixVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=
|
package/lib/node/typePrefix.js
CHANGED
|
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TypePrefixNode;
|
|
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 TypePrefixNode extends _nonTerminalNode.default {
|
|
13
18
|
getTypePrefixName() {
|
|
14
19
|
let typePrefixName;
|
|
15
20
|
this.someChildNode((childNode)=>{
|
|
@@ -23,8 +28,8 @@ class TypePrefixNode extends _occamlanguages.NonTerminalNode {
|
|
|
23
28
|
return typePrefixName;
|
|
24
29
|
}
|
|
25
30
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
26
|
-
return
|
|
31
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(TypePrefixNode, ruleName, childNodes, opacity, precedence);
|
|
27
32
|
}
|
|
28
33
|
}
|
|
29
34
|
|
|
30
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
35
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVQcmVmaXguanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlUHJlZml4Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFR5cGVQcmVmaXhOYW1lKCkge1xuICAgIGxldCB0eXBlUHJlZml4TmFtZTtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBjaGlsZE5vZGVUZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUuaXNUZXJtaW5hbE5vZGUoKTtcblxuICAgICAgaWYgKGNoaWxkTm9kZVRlcm1pbmFsTm9kZSkge1xuICAgICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgICBjb250ZW50ID0gdGVybWluYWxOb2RlLmdldENvbnRlbnQoKTtcblxuICAgICAgICB0eXBlUHJlZml4TmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHR5cGVQcmVmaXhOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUeXBlUHJlZml4Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVHlwZVByZWZpeE5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRUeXBlUHJlZml4TmFtZSIsInR5cGVQcmVmaXhOYW1lIiwic29tZUNoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZVRlcm1pbmFsTm9kZSIsImlzVGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlIiwiY29udGVudCIsImdldENvbnRlbnQiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSUE7OztlQUFxQkE7Ozt3RUFGTzs7Ozs7O0FBRWIsTUFBTUEsdUJBQXVCQyx3QkFBZTtJQUN6REMsb0JBQW9CO1FBQ2xCLElBQUlDO1FBRUosSUFBSSxDQUFDQyxhQUFhLENBQUMsQ0FBQ0M7WUFDbEIsTUFBTUMsd0JBQXdCRCxVQUFVRSxjQUFjO1lBRXRELElBQUlELHVCQUF1QjtnQkFDekIsTUFBTUUsZUFBZUgsV0FDZkksVUFBVUQsYUFBYUUsVUFBVTtnQkFFdkNQLGlCQUFpQk0sU0FBUyxHQUFHO2dCQUU3QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQSxPQUFPUSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLHdCQUFlLENBQUNVLDBDQUEwQyxDQUFDWCxnQkFBZ0JZLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
|
package/lib/node/types.js
CHANGED
|
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TypesNode;
|
|
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 TypesNode extends _nonTerminalNode.default {
|
|
14
19
|
getTypeNodes() {
|
|
15
20
|
const ruleName = _ruleNames.TYPE_RULE_NAME, typeNodes = this.getNodesByRuleName(ruleName);
|
|
16
21
|
return typeNodes;
|
|
17
22
|
}
|
|
18
23
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
-
return
|
|
24
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(TypesNode, ruleName, childNodes, opacity, precedence);
|
|
20
25
|
}
|
|
21
26
|
}
|
|
22
27
|
|
|
23
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgVFlQRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFR5cGVzTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFR5cGVOb2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHR5cGVOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0eXBlTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFR5cGVzTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVHlwZXNOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VHlwZU5vZGVzIiwicnVsZU5hbWUiLCJUWVBFX1JVTEVfTkFNRSIsInR5cGVOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFRzs7Ozs7O0FBRWhCLE1BQU1BLGtCQUFrQkMsd0JBQWU7SUFDcERDLGVBQWU7UUFDYixNQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsWUFBWSxJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtRQUUxQyxPQUFPRTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCx3QkFBZSxDQUFDTSwwQ0FBMEMsQ0FBQ1AsV0FBV0csVUFBVUssWUFBWUMsU0FBU0M7SUFBYTtBQUMxTiJ9
|
package/lib/node/variable.js
CHANGED
|
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return VariableNode;
|
|
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 VariableNode extends _nonTerminalNode.default {
|
|
13
18
|
getVariableIdentifier() {
|
|
14
19
|
let variableIdentifier;
|
|
15
20
|
this.someChildNode((childNode)=>{
|
|
@@ -23,8 +28,8 @@ class VariableNode extends _occamlanguages.NonTerminalNode {
|
|
|
23
28
|
return variableIdentifier;
|
|
24
29
|
}
|
|
25
30
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
26
|
-
return
|
|
31
|
+
return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(VariableNode, ruleName, childNodes, opacity, precedence);
|
|
27
32
|
}
|
|
28
33
|
}
|
|
29
34
|
|
|
30
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
35
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3ZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVmFyaWFibGVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VmFyaWFibGVJZGVudGlmaWVyKCkge1xuICAgIGxldCB2YXJpYWJsZUlkZW50aWZpZXI7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgdmFyaWFibGVJZGVudGlmaWVyID0gY29udGVudDsgLy8vXG5cbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gdmFyaWFibGVJZGVudGlmaWVyO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShWYXJpYWJsZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlZhcmlhYmxlTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFZhcmlhYmxlSWRlbnRpZmllciIsInZhcmlhYmxlSWRlbnRpZmllciIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJjaGlsZE5vZGVUZXJtaW5hbE5vZGUiLCJpc1Rlcm1pbmFsTm9kZSIsInRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLHFCQUFxQkMsd0JBQWU7SUFDdkRDLHdCQUF3QjtRQUN0QixJQUFJQztRQUVKLElBQUksQ0FBQ0MsYUFBYSxDQUFDLENBQUNDO1lBQ2xCLE1BQU1DLHdCQUF3QkQsVUFBVUUsY0FBYztZQUV0RCxJQUFJRCx1QkFBdUI7Z0JBQ3pCLE1BQU1FLGVBQWVILFdBQ2ZJLFVBQVVELGFBQWFFLFVBQVU7Z0JBRXZDUCxxQkFBcUJNLFNBQVMsR0FBRztnQkFFakMsT0FBTztZQUNUO1FBQ0Y7UUFFQSxPQUFPTjtJQUNUO0lBRUEsT0FBT1EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPZCx3QkFBZSxDQUFDVSwwQ0FBMEMsQ0FBQ1gsY0FBY1ksVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
8
|
+
return NonTerminalNode;
|
|
9
|
+
}
|
|
10
|
+
});
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
const _occamparsers = require("occam-parsers");
|
|
13
|
+
class NonTerminalNode extends _occamparsers.NonTerminalNode {
|
|
14
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
15
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
Object.assign(NonTerminalNode.prototype, _occamlanguages.nodeMixins);
|
|
19
|
+
|
|
20
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVNaXhpbnMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgYXMgTm9uVGVybWluYWxOb2RlQmFzZSB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE5vblRlcm1pbmFsTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZUJhc2Uge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlQmFzZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuXG5PYmplY3QuYXNzaWduKE5vblRlcm1pbmFsTm9kZS5wcm90b3R5cGUsIG5vZGVNaXhpbnMpO1xuIl0sIm5hbWVzIjpbIk5vblRlcm1pbmFsTm9kZSIsIk5vblRlcm1pbmFsTm9kZUJhc2UiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJDbGFzcyIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiT2JqZWN0IiwiYXNzaWduIiwicHJvdG90eXBlIiwibm9kZU1peGlucyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBS0E7OztlQUFxQkE7OztnQ0FITTs4QkFDNEI7QUFFeEMsTUFBTUEsd0JBQXdCQyw2QkFBbUI7SUFDOUQsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLDZCQUFtQixDQUFDQywwQ0FBMEMsQ0FBQ0MsT0FBT0MsVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUNqTztBQUVBQyxPQUFPQyxNQUFNLENBQUNULGdCQUFnQlUsU0FBUyxFQUFFQywwQkFBVSJ9
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "occam-nominal",
|
|
3
3
|
"author": "James Smith",
|
|
4
|
-
"version": "1.0.
|
|
4
|
+
"version": "1.0.255",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-nominal",
|
|
7
7
|
"description": "Occam's Nominal language.",
|
|
@@ -11,8 +11,8 @@
|
|
|
11
11
|
},
|
|
12
12
|
"dependencies": {
|
|
13
13
|
"necessary": "^17.5.0",
|
|
14
|
-
"occam-furtle": "^3.0.
|
|
15
|
-
"occam-languages": "^1.0.
|
|
14
|
+
"occam-furtle": "^3.0.335",
|
|
15
|
+
"occam-languages": "^1.0.3",
|
|
16
16
|
"occam-lexers": "^23.1.75",
|
|
17
17
|
"occam-parsers": "^23.1.201",
|
|
18
18
|
"occam-query": "^4.1.187"
|
package/src/node/argument.js
CHANGED
package/src/node/assertion.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import NonTerminalNode from "../nonTerminalNode";
|
|
4
4
|
|
|
5
5
|
export default class AssertionNode extends NonTerminalNode {
|
|
6
6
|
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
|
package/src/node/assumption.js
CHANGED
package/src/node/body.js
CHANGED
package/src/node/combinator.js
CHANGED
package/src/node/conclusion.js
CHANGED
package/src/node/constraint.js
CHANGED
package/src/node/constructor.js
CHANGED
package/src/node/declaration.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import NonTerminalNode from "../nonTerminalNode";
|
|
4
4
|
|
|
5
5
|
export default class DeclarationNode extends NonTerminalNode {
|
|
6
6
|
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
|
package/src/node/deduction.js
CHANGED
package/src/node/derivation.js
CHANGED
package/src/node/document.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import NonTerminalNode from "../nonTerminalNode";
|
|
4
4
|
|
|
5
5
|
export default class DocumentNode extends NonTerminalNode {
|
|
6
6
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DocumentNode, ruleName, childNodes, opacity, precedence); }
|
package/src/node/equality.js
CHANGED
package/src/node/equivalence.js
CHANGED
package/src/node/equivalences.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import NonTerminalNode from "../nonTerminalNode";
|
|
4
4
|
|
|
5
5
|
export default class EquivalencesNode extends NonTerminalNode {
|
|
6
6
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EquivalencesNode, ruleName, childNodes, opacity, precedence); }
|
package/src/node/error.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import NonTerminalNode from "../nonTerminalNode";
|
|
4
4
|
|
|
5
5
|
export default class ErrorNode extends NonTerminalNode {
|
|
6
6
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence); }
|
package/src/node/frame.js
CHANGED
package/src/node/generator.js
CHANGED
package/src/node/goal.js
CHANGED
package/src/node/header.js
CHANGED
package/src/node/hypothesis.js
CHANGED
package/src/node/judgement.js
CHANGED
package/src/node/label.js
CHANGED
package/src/node/labels.js
CHANGED
package/src/node/metaArgument.js
CHANGED
package/src/node/metaType.js
CHANGED
package/src/node/metavariable.js
CHANGED
package/src/node/parameter.js
CHANGED
package/src/node/placeholder.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import
|
|
3
|
+
import NonTerminalNode from "../nonTerminalNode";
|
|
4
4
|
|
|
5
5
|
export default class PlaceholderNode extends NonTerminalNode {
|
|
6
6
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(PlaceholderNode, ruleName, childNodes, opacity, precedence); }
|
package/src/node/proof.js
CHANGED
package/src/node/property.js
CHANGED
package/src/node/reference.js
CHANGED
package/src/node/rule.js
CHANGED
package/src/node/schema.js
CHANGED
package/src/node/section.js
CHANGED
package/src/node/signature.js
CHANGED
package/src/node/statement.js
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
import {
|
|
3
|
+
import { nodeMixins } from "occam-languages";
|
|
4
|
+
import { NonTerminalNode } from "occam-grammar-utilities";
|
|
4
5
|
|
|
5
6
|
import { TERM_RULE_NAME,
|
|
6
7
|
FRAME_RULE_NAME,
|
|
@@ -18,7 +19,7 @@ import { TERM_RULE_NAME,
|
|
|
18
19
|
CONTAINED_ASSERTION_RULE_NAME,
|
|
19
20
|
STATEMENT_SUBSTITUTION_RULE_NAME } from "../ruleNames";
|
|
20
21
|
|
|
21
|
-
|
|
22
|
+
class StatementNode extends NonTerminalNode {
|
|
22
23
|
isSingular() {
|
|
23
24
|
let singular = false;
|
|
24
25
|
|
|
@@ -165,3 +166,7 @@ export default class StatementNode extends NonTerminalNode {
|
|
|
165
166
|
|
|
166
167
|
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(StatementNode, ruleName, childNodes, opacity, precedence); }
|
|
167
168
|
}
|
|
169
|
+
|
|
170
|
+
Object.assign(StatementNode.prototype, nodeMixins);
|
|
171
|
+
|
|
172
|
+
export default StatementNode;
|