occam-verify-cli 1.0.184 → 1.0.192
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/constants.js +5 -1
- package/lib/dom/assertion/property.js +2 -4
- package/lib/dom/assertion/subproof.js +3 -5
- package/lib/dom/assertion/type.js +6 -8
- package/lib/dom/axiom.js +15 -100
- package/lib/dom/conjecture.js +5 -4
- package/lib/dom/constructor/bracketed.js +6 -7
- package/lib/dom/declaration/complexType.js +6 -6
- package/lib/dom/declaration/metavariable.js +3 -5
- package/lib/dom/declaration/type.js +2 -2
- package/lib/dom/declaration.js +2 -4
- package/lib/dom/derivation.js +2 -4
- package/lib/dom/equality.js +9 -11
- package/lib/dom/frame.js +8 -12
- package/lib/dom/judgement.js +2 -4
- package/lib/dom/lemma.js +5 -4
- package/lib/dom/metaLemma.js +5 -4
- package/lib/dom/metaType.js +2 -4
- package/lib/dom/metatheorem.js +5 -4
- package/lib/dom/metavariable.js +12 -15
- package/lib/dom/parameter.js +2 -4
- package/lib/dom/procedureCall.js +6 -10
- package/lib/dom/proof.js +2 -4
- package/lib/dom/property.js +16 -51
- package/lib/dom/propertyRelation.js +8 -10
- package/lib/dom/reference.js +7 -11
- package/lib/dom/rule.js +6 -8
- package/lib/dom/statement.js +27 -31
- package/lib/dom/step.js +4 -6
- package/lib/dom/subDerivation.js +2 -4
- package/lib/dom/subproof.js +6 -8
- package/lib/dom/term.js +14 -20
- package/lib/dom/theorem.js +5 -4
- package/lib/dom/topLevelAssertion.js +30 -24
- package/lib/dom/topLevelMetaAssertion.js +5 -15
- package/lib/dom/type.js +8 -25
- package/lib/dom/variable.js +5 -11
- package/lib/node/assertion/contained.js +45 -58
- package/lib/node/assertion/defined.js +33 -58
- package/lib/node/assertion/property.js +33 -58
- package/lib/node/assertion/satisfies.js +21 -58
- package/lib/node/assertion/subproof.js +21 -58
- package/lib/node/assertion/type.js +33 -58
- package/lib/node/axiom.js +6 -52
- package/lib/node/combinator.js +6 -57
- package/lib/node/conclusion.js +21 -58
- package/lib/node/conjecture.js +6 -52
- package/lib/node/constructor.js +6 -57
- package/lib/node/declaration/combinator.js +13 -61
- package/lib/node/declaration/complexType.js +27 -75
- package/lib/node/declaration/constructor.js +24 -70
- package/lib/node/declaration/metavariable.js +40 -58
- package/lib/node/declaration/property.js +27 -72
- package/lib/node/declaration/type.js +23 -69
- package/lib/node/declaration/variable.js +28 -83
- package/lib/node/declaration.js +33 -58
- package/lib/node/deduction.js +21 -58
- package/lib/node/derivation.js +21 -58
- package/lib/node/equality.js +34 -58
- package/lib/node/error.js +6 -57
- package/lib/node/frame.js +52 -58
- package/lib/node/judgement.js +33 -58
- package/lib/node/label.js +21 -58
- package/lib/{node.js → node/labels.js} +25 -27
- package/lib/node/lemma.js +6 -52
- package/lib/node/metaLemma.js +6 -52
- package/lib/node/metaType.js +18 -60
- package/lib/node/metatheorem.js +6 -52
- package/lib/node/metavariable.js +40 -61
- package/lib/node/parameter.js +22 -58
- package/lib/node/parenthesisedLabels.js +123 -0
- package/lib/node/premise.js +33 -58
- package/lib/node/procedureCall.js +33 -58
- package/lib/node/proof.js +21 -58
- package/lib/node/property.js +18 -62
- package/lib/node/propertyRelation.js +40 -58
- package/lib/node/reference.js +21 -58
- package/lib/node/rule.js +6 -52
- package/lib/node/statement.js +105 -58
- package/lib/node/step.js +47 -58
- package/lib/node/subDerivation.js +21 -58
- package/lib/node/subproof.js +47 -58
- package/lib/node/supposition.js +33 -58
- package/lib/node/term.js +57 -58
- package/lib/node/theorem.js +6 -52
- package/lib/node/topLevelAssertion.js +86 -59
- package/lib/node/topLevelMetaAssertion.js +65 -59
- package/lib/node/type.js +14 -60
- package/lib/node/variable.js +14 -60
- package/lib/nominal/parser.js +3 -3
- package/lib/nonTerminalNodeMap.js +5 -3
- package/lib/ruleNames.js +10 -2
- package/lib/utilities/node.js +283 -7
- package/lib/utilities/type.js +16 -4
- package/lib/verifier/topLevel.js +6 -6
- package/package.json +8 -8
- package/src/constants.js +1 -0
- package/src/dom/assertion/property.js +1 -4
- package/src/dom/assertion/subproof.js +2 -6
- package/src/dom/assertion/type.js +7 -10
- package/src/dom/axiom.js +7 -77
- package/src/dom/conjecture.js +6 -1
- package/src/dom/constructor/bracketed.js +6 -8
- package/src/dom/declaration/complexType.js +7 -6
- package/src/dom/declaration/metavariable.js +2 -6
- package/src/dom/declaration/type.js +4 -2
- package/src/dom/declaration.js +1 -5
- package/src/dom/derivation.js +1 -4
- package/src/dom/equality.js +13 -17
- package/src/dom/frame.js +7 -19
- package/src/dom/judgement.js +1 -4
- package/src/dom/lemma.js +6 -1
- package/src/dom/metaLemma.js +6 -1
- package/src/dom/metaType.js +1 -5
- package/src/dom/metatheorem.js +6 -1
- package/src/dom/metavariable.js +11 -25
- package/src/dom/parameter.js +2 -6
- package/src/dom/procedureCall.js +5 -14
- package/src/dom/proof.js +1 -4
- package/src/dom/property.js +21 -78
- package/src/dom/propertyRelation.js +10 -14
- package/src/dom/reference.js +6 -18
- package/src/dom/rule.js +6 -12
- package/src/dom/statement.js +26 -46
- package/src/dom/step.js +3 -5
- package/src/dom/subDerivation.js +1 -4
- package/src/dom/subproof.js +8 -12
- package/src/dom/term.js +16 -32
- package/src/dom/theorem.js +6 -1
- package/src/dom/topLevelAssertion.js +30 -25
- package/src/dom/topLevelMetaAssertion.js +16 -28
- package/src/dom/type.js +9 -35
- package/src/dom/variable.js +4 -12
- package/src/node/assertion/contained.js +41 -3
- package/src/node/assertion/defined.js +29 -3
- package/src/node/assertion/property.js +29 -3
- package/src/node/assertion/satisfies.js +17 -3
- package/src/node/assertion/subproof.js +17 -3
- package/src/node/assertion/type.js +29 -3
- package/src/node/axiom.js +3 -3
- package/src/node/combinator.js +3 -3
- package/src/node/conclusion.js +17 -3
- package/src/node/conjecture.js +3 -3
- package/src/node/constructor.js +3 -3
- package/src/node/declaration/combinator.js +11 -7
- package/src/node/declaration/complexType.js +25 -24
- package/src/node/declaration/constructor.js +22 -17
- package/src/node/declaration/metavariable.js +36 -3
- package/src/node/declaration/property.js +21 -17
- package/src/node/declaration/type.js +22 -17
- package/src/node/declaration/variable.js +24 -32
- package/src/node/declaration.js +29 -3
- package/src/node/deduction.js +17 -3
- package/src/node/derivation.js +18 -3
- package/src/node/equality.js +31 -3
- package/src/node/error.js +3 -3
- package/src/node/frame.js +53 -3
- package/src/node/judgement.js +29 -3
- package/src/node/label.js +17 -3
- package/src/node/labels.js +21 -0
- package/src/node/lemma.js +3 -3
- package/src/node/metaLemma.js +3 -3
- package/src/node/metaType.js +19 -8
- package/src/node/metatheorem.js +3 -3
- package/src/node/metavariable.js +42 -9
- package/src/node/parameter.js +20 -3
- package/src/node/parenthesisedLabels.js +28 -0
- package/src/node/premise.js +29 -3
- package/src/node/procedureCall.js +29 -3
- package/src/node/proof.js +17 -3
- package/src/node/property.js +18 -12
- package/src/node/propertyRelation.js +35 -3
- package/src/node/reference.js +17 -3
- package/src/node/rule.js +3 -3
- package/src/node/statement.js +108 -3
- package/src/node/step.js +41 -3
- package/src/node/subDerivation.js +18 -3
- package/src/node/subproof.js +41 -3
- package/src/node/supposition.js +29 -3
- package/src/node/term.js +62 -3
- package/src/node/theorem.js +3 -3
- package/src/node/topLevelAssertion.js +89 -3
- package/src/node/topLevelMetaAssertion.js +59 -3
- package/src/node/type.js +15 -8
- package/src/node/variable.js +15 -8
- package/src/nominal/parser.js +1 -1
- package/src/nonTerminalNodeMap.js +9 -3
- package/src/ruleNames.js +3 -1
- package/src/utilities/node.js +147 -6
- package/src/utilities/type.js +9 -0
- package/src/verifier/topLevel.js +5 -10
- package/lib/defaultTerminalNode.js +0 -20
- package/lib/mixins/node.js +0 -145
- package/src/defaultTerminalNode.js +0 -7
- package/src/mixins/node.js +0 -201
- package/src/node.js +0 -29
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return MetavariableDeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _occamparsers = require("occam-parsers");
|
|
12
|
+
var _node = require("../../utilities/node");
|
|
12
13
|
function _assert_this_initialized(self) {
|
|
13
14
|
if (self === void 0) {
|
|
14
15
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -24,23 +25,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
24
25
|
throw new TypeError("Cannot call a class as a function");
|
|
25
26
|
}
|
|
26
27
|
}
|
|
27
|
-
function _construct(Parent, args, Class) {
|
|
28
|
-
if (_is_native_reflect_construct()) {
|
|
29
|
-
_construct = Reflect.construct;
|
|
30
|
-
} else {
|
|
31
|
-
_construct = function construct(Parent, args, Class) {
|
|
32
|
-
var a = [
|
|
33
|
-
null
|
|
34
|
-
];
|
|
35
|
-
a.push.apply(a, args);
|
|
36
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
-
var instance = new Constructor();
|
|
38
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
-
return instance;
|
|
40
|
-
};
|
|
41
|
-
}
|
|
42
|
-
return _construct.apply(null, arguments);
|
|
43
|
-
}
|
|
44
28
|
function _defineProperties(target, props) {
|
|
45
29
|
for(var i = 0; i < props.length; i++){
|
|
46
30
|
var descriptor = props[i];
|
|
@@ -74,14 +58,6 @@ function _inherits(subClass, superClass) {
|
|
|
74
58
|
});
|
|
75
59
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
76
60
|
}
|
|
77
|
-
function _interop_require_default(obj) {
|
|
78
|
-
return obj && obj.__esModule ? obj : {
|
|
79
|
-
default: obj
|
|
80
|
-
};
|
|
81
|
-
}
|
|
82
|
-
function _is_native_function(fn) {
|
|
83
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
84
|
-
}
|
|
85
61
|
function _possible_constructor_return(self, call) {
|
|
86
62
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
87
63
|
return call;
|
|
@@ -99,32 +75,6 @@ function _type_of(obj) {
|
|
|
99
75
|
"@swc/helpers - typeof";
|
|
100
76
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
101
77
|
}
|
|
102
|
-
function _wrap_native_super(Class) {
|
|
103
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
104
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
105
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
106
|
-
if (typeof Class !== "function") {
|
|
107
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
108
|
-
}
|
|
109
|
-
if (typeof _cache !== "undefined") {
|
|
110
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
111
|
-
_cache.set(Class, Wrapper);
|
|
112
|
-
}
|
|
113
|
-
function Wrapper() {
|
|
114
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
115
|
-
}
|
|
116
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
117
|
-
constructor: {
|
|
118
|
-
value: Wrapper,
|
|
119
|
-
enumerable: false,
|
|
120
|
-
writable: true,
|
|
121
|
-
configurable: true
|
|
122
|
-
}
|
|
123
|
-
});
|
|
124
|
-
return _set_prototype_of(Wrapper, Class);
|
|
125
|
-
};
|
|
126
|
-
return _wrap_native_super(Class);
|
|
127
|
-
}
|
|
128
78
|
function _is_native_reflect_construct() {
|
|
129
79
|
try {
|
|
130
80
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -133,21 +83,53 @@ function _is_native_reflect_construct() {
|
|
|
133
83
|
return !!result;
|
|
134
84
|
})();
|
|
135
85
|
}
|
|
136
|
-
var MetavariableDeclarationNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(MetavariableDeclarationNode,
|
|
86
|
+
var MetavariableDeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
+
_inherits(MetavariableDeclarationNode, NonTerminalNode);
|
|
138
88
|
function MetavariableDeclarationNode() {
|
|
139
89
|
_class_call_check(this, MetavariableDeclarationNode);
|
|
140
90
|
return _call_super(this, MetavariableDeclarationNode, arguments);
|
|
141
91
|
}
|
|
142
|
-
_create_class(MetavariableDeclarationNode,
|
|
92
|
+
_create_class(MetavariableDeclarationNode, [
|
|
93
|
+
{
|
|
94
|
+
key: "getTypeNode",
|
|
95
|
+
value: function getTypeNode() {
|
|
96
|
+
var metavariableNode = this.getMetavariableNode(), typeNode = metavariableNode.getTypeNode();
|
|
97
|
+
return typeNode;
|
|
98
|
+
}
|
|
99
|
+
},
|
|
100
|
+
{
|
|
101
|
+
key: "getMetaTypeNode",
|
|
102
|
+
value: function getMetaTypeNode() {
|
|
103
|
+
var metaTypeNode = this.findChildNode(function(childNode) {
|
|
104
|
+
var childNodeMetaTypeNode = (0, _node.isNodeMetaTypeNode)(childNode);
|
|
105
|
+
if (childNodeMetaTypeNode) {
|
|
106
|
+
return true;
|
|
107
|
+
}
|
|
108
|
+
}) || null;
|
|
109
|
+
return metaTypeNode;
|
|
110
|
+
}
|
|
111
|
+
},
|
|
112
|
+
{
|
|
113
|
+
key: "getMetavariableNode",
|
|
114
|
+
value: function getMetavariableNode() {
|
|
115
|
+
var metavariableNode = this.findChildNode(function(childNode) {
|
|
116
|
+
var childNodeMetavariableNode = (0, _node.isNodeMetavariableNode)(childNode);
|
|
117
|
+
if (childNodeMetavariableNode) {
|
|
118
|
+
return true;
|
|
119
|
+
}
|
|
120
|
+
}) || null;
|
|
121
|
+
return metavariableNode;
|
|
122
|
+
}
|
|
123
|
+
}
|
|
124
|
+
], [
|
|
143
125
|
{
|
|
144
126
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
127
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
128
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(MetavariableDeclarationNode, ruleName, childNodes, opacity, precedence);
|
|
147
129
|
}
|
|
148
130
|
}
|
|
149
131
|
]);
|
|
150
132
|
return MetavariableDeclarationNode;
|
|
151
|
-
}(
|
|
133
|
+
}(_occamparsers.NonTerminalNode);
|
|
152
134
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
135
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL21ldGF2YXJpYWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLXBhcnNlcnNcIjtcblxuaW1wb3J0IHsgaXNOb2RlTWV0YVR5cGVOb2RlLCBpc05vZGVNZXRhdmFyaWFibGVOb2RlIH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFR5cGVOb2RlKCkge1xuICAgIGNvbnN0IG1ldGF2YXJpYWJsZU5vZGUgPSB0aGlzLmdldE1ldGF2YXJpYWJsZU5vZGUoKSxcbiAgICAgICAgICB0eXBlTm9kZSA9IG1ldGF2YXJpYWJsZU5vZGUuZ2V0VHlwZU5vZGUoKTtcblxuICAgIHJldHVybiB0eXBlTm9kZTtcbiAgfVxuXG4gIGdldE1ldGFUeXBlTm9kZSgpIHtcbiAgICBjb25zdCBtZXRhVHlwZU5vZGUgPSB0aGlzLmZpbmRDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlTWV0YVR5cGVOb2RlID0gaXNOb2RlTWV0YVR5cGVOb2RlKGNoaWxkTm9kZSk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVNZXRhVHlwZU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIHJldHVybiBtZXRhVHlwZU5vZGVcbiAgfVxuXG4gIGdldE1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgbWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZmluZENoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBjaGlsZE5vZGVNZXRhdmFyaWFibGVOb2RlID0gaXNOb2RlTWV0YXZhcmlhYmxlTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlTWV0YXZhcmlhYmxlTm9kZSkge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KSB8fCBudWxsO1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKE1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiZ2V0VHlwZU5vZGUiLCJtZXRhdmFyaWFibGVOb2RlIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZSIsInR5cGVOb2RlIiwiZ2V0TWV0YVR5cGVOb2RlIiwibWV0YVR5cGVOb2RlIiwiZmluZENoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZU1ldGFUeXBlTm9kZSIsImlzTm9kZU1ldGFUeXBlTm9kZSIsImNoaWxkTm9kZU1ldGF2YXJpYWJsZU5vZGUiLCJpc05vZGVNZXRhdmFyaWFibGVOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7OzRCQUpXO29CQUUyQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFNUMsSUFBQSxBQUFNQSw0Q0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLG1CQUFtQixJQUFJLENBQUNDLG1CQUFtQixJQUMzQ0MsV0FBV0YsaUJBQWlCRCxXQUFXO2dCQUU3QyxPQUFPRztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLGVBQWUsSUFBSSxDQUFDQyxhQUFhLENBQUMsU0FBQ0M7b0JBQ3ZDLElBQU1DLHdCQUF3QkMsSUFBQUEsd0JBQWtCLEVBQUNGO29CQUVqRCxJQUFJQyx1QkFBdUI7d0JBQ3pCLE9BQU87b0JBQ1Q7Z0JBQ0YsTUFBTTtnQkFFTixPQUFPSDtZQUNUOzs7WUFFQUgsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1ELG1CQUFtQixJQUFJLENBQUNLLGFBQWEsQ0FBQyxTQUFDQztvQkFDM0MsSUFBTUcsNEJBQTRCQyxJQUFBQSw0QkFBc0IsRUFBQ0o7b0JBRXpELElBQUlHLDJCQUEyQjt3QkFDN0IsT0FBTztvQkFDVDtnQkFDRixNQUFNO2dCQUVOLE9BQU9UO1lBQ1Q7Ozs7WUFFT1csS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLDZCQUFlLENBQUNMLDBDQUEwQyxDQWhDN0liLDZCQWdDMktjLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQWhDdk5qQjtFQUFvQ2tCLDZCQUFlIn0=
|
|
@@ -8,8 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return PropertyDeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
12
|
-
var
|
|
11
|
+
var _occamparsers = require("occam-parsers");
|
|
12
|
+
var _node = require("../../utilities/node");
|
|
13
13
|
function _assert_this_initialized(self) {
|
|
14
14
|
if (self === void 0) {
|
|
15
15
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -25,23 +25,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
25
25
|
throw new TypeError("Cannot call a class as a function");
|
|
26
26
|
}
|
|
27
27
|
}
|
|
28
|
-
function _construct(Parent, args, Class) {
|
|
29
|
-
if (_is_native_reflect_construct()) {
|
|
30
|
-
_construct = Reflect.construct;
|
|
31
|
-
} else {
|
|
32
|
-
_construct = function construct(Parent, args, Class) {
|
|
33
|
-
var a = [
|
|
34
|
-
null
|
|
35
|
-
];
|
|
36
|
-
a.push.apply(a, args);
|
|
37
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
38
|
-
var instance = new Constructor();
|
|
39
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
40
|
-
return instance;
|
|
41
|
-
};
|
|
42
|
-
}
|
|
43
|
-
return _construct.apply(null, arguments);
|
|
44
|
-
}
|
|
45
28
|
function _defineProperties(target, props) {
|
|
46
29
|
for(var i = 0; i < props.length; i++){
|
|
47
30
|
var descriptor = props[i];
|
|
@@ -75,14 +58,6 @@ function _inherits(subClass, superClass) {
|
|
|
75
58
|
});
|
|
76
59
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
77
60
|
}
|
|
78
|
-
function _interop_require_default(obj) {
|
|
79
|
-
return obj && obj.__esModule ? obj : {
|
|
80
|
-
default: obj
|
|
81
|
-
};
|
|
82
|
-
}
|
|
83
|
-
function _is_native_function(fn) {
|
|
84
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
85
|
-
}
|
|
86
61
|
function _possible_constructor_return(self, call) {
|
|
87
62
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
88
63
|
return call;
|
|
@@ -100,32 +75,6 @@ function _type_of(obj) {
|
|
|
100
75
|
"@swc/helpers - typeof";
|
|
101
76
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
102
77
|
}
|
|
103
|
-
function _wrap_native_super(Class) {
|
|
104
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
105
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
106
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
107
|
-
if (typeof Class !== "function") {
|
|
108
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
109
|
-
}
|
|
110
|
-
if (typeof _cache !== "undefined") {
|
|
111
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
112
|
-
_cache.set(Class, Wrapper);
|
|
113
|
-
}
|
|
114
|
-
function Wrapper() {
|
|
115
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
116
|
-
}
|
|
117
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
118
|
-
constructor: {
|
|
119
|
-
value: Wrapper,
|
|
120
|
-
enumerable: false,
|
|
121
|
-
writable: true,
|
|
122
|
-
configurable: true
|
|
123
|
-
}
|
|
124
|
-
});
|
|
125
|
-
return _set_prototype_of(Wrapper, Class);
|
|
126
|
-
};
|
|
127
|
-
return _wrap_native_super(Class);
|
|
128
|
-
}
|
|
129
78
|
function _is_native_reflect_construct() {
|
|
130
79
|
try {
|
|
131
80
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -134,8 +83,8 @@ function _is_native_reflect_construct() {
|
|
|
134
83
|
return !!result;
|
|
135
84
|
})();
|
|
136
85
|
}
|
|
137
|
-
var PropertyDeclarationNode = /*#__PURE__*/ function(
|
|
138
|
-
_inherits(PropertyDeclarationNode,
|
|
86
|
+
var PropertyDeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
+
_inherits(PropertyDeclarationNode, NonTerminalNode);
|
|
139
88
|
function PropertyDeclarationNode() {
|
|
140
89
|
_class_call_check(this, PropertyDeclarationNode);
|
|
141
90
|
return _call_super(this, PropertyDeclarationNode, arguments);
|
|
@@ -144,37 +93,43 @@ var PropertyDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
144
93
|
{
|
|
145
94
|
key: "getTypeNode",
|
|
146
95
|
value: function getTypeNode() {
|
|
147
|
-
var typeNode = this.
|
|
148
|
-
var
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
|
|
96
|
+
var typeNode = this.findChildNode(function(childNode) {
|
|
97
|
+
var childNodeTypeNode = (0, _node.isNodeTypeNode)(childNode);
|
|
98
|
+
if (childNodeTypeNode) {
|
|
99
|
+
return true;
|
|
100
|
+
}
|
|
101
|
+
}) || null;
|
|
152
102
|
return typeNode;
|
|
153
103
|
}
|
|
154
104
|
},
|
|
155
105
|
{
|
|
156
|
-
key: "
|
|
157
|
-
value: function
|
|
158
|
-
var
|
|
159
|
-
var childNodePropertyNode = (0,
|
|
106
|
+
key: "getPropertyNode",
|
|
107
|
+
value: function getPropertyNode() {
|
|
108
|
+
var propertyNode = this.findChildNode(function(childNode) {
|
|
109
|
+
var childNodePropertyNode = (0, _node.isNodePropertyNode)(childNode);
|
|
160
110
|
if (childNodePropertyNode) {
|
|
161
|
-
|
|
162
|
-
propertyNames.push(propertyName);
|
|
111
|
+
return true;
|
|
163
112
|
}
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
113
|
+
}) || null;
|
|
114
|
+
return propertyNode;
|
|
115
|
+
}
|
|
116
|
+
},
|
|
117
|
+
{
|
|
118
|
+
key: "getPropertyName",
|
|
119
|
+
value: function getPropertyName() {
|
|
120
|
+
var propertyNode = this.getPropertyNode(), propertyName = propertyNode.getPropertyName();
|
|
121
|
+
return propertyName;
|
|
167
122
|
}
|
|
168
123
|
}
|
|
169
124
|
], [
|
|
170
125
|
{
|
|
171
126
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
172
127
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
173
|
-
return
|
|
128
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(PropertyDeclarationNode, ruleName, childNodes, opacity, precedence);
|
|
174
129
|
}
|
|
175
130
|
}
|
|
176
131
|
]);
|
|
177
132
|
return PropertyDeclarationNode;
|
|
178
|
-
}(
|
|
133
|
+
}(_occamparsers.NonTerminalNode);
|
|
179
134
|
|
|
180
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
135
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tcGFyc2Vyc1wiO1xuXG5pbXBvcnQgeyBpc05vZGVUeXBlTm9kZSwgaXNOb2RlUHJvcGVydHlOb2RlIH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb3BlcnR5RGVjbGFyYXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VHlwZU5vZGUoKSB7XG4gICAgY29uc3QgdHlwZU5vZGUgPSB0aGlzLmZpbmRDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVHlwZU5vZGUgPSBpc05vZGVUeXBlTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVHlwZU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIHJldHVybiB0eXBlTm9kZTtcbiAgfVxuXG4gIGdldFByb3BlcnR5Tm9kZSgpIHtcbiAgICBjb25zdCBwcm9wZXJ0eU5vZGUgPSB0aGlzLmZpbmRDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlUHJvcGVydHlOb2RlID0gaXNOb2RlUHJvcGVydHlOb2RlKGNoaWxkTm9kZSk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVQcm9wZXJ0eU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIHJldHVybiBwcm9wZXJ0eU5vZGU7XG4gIH1cblxuICBnZXRQcm9wZXJ0eU5hbWUoKSB7XG4gICAgY29uc3QgcHJvcGVydHlOb2RlID0gdGhpcy5nZXRQcm9wZXJ0eU5vZGUoKSxcbiAgICAgICAgICBwcm9wZXJ0eU5hbWUgPSBwcm9wZXJ0eU5vZGUuZ2V0UHJvcGVydHlOYW1lKCk7XG5cbiAgICByZXR1cm4gcHJvcGVydHlOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUiLCJnZXRUeXBlTm9kZSIsInR5cGVOb2RlIiwiZmluZENoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZVR5cGVOb2RlIiwiaXNOb2RlVHlwZU5vZGUiLCJnZXRQcm9wZXJ0eU5vZGUiLCJwcm9wZXJ0eU5vZGUiLCJjaGlsZE5vZGVQcm9wZXJ0eU5vZGUiLCJpc05vZGVQcm9wZXJ0eU5vZGUiLCJnZXRQcm9wZXJ0eU5hbWUiLCJwcm9wZXJ0eU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7NEJBSlc7b0JBRW1COzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVwQyxJQUFBLEFBQU1BLHdDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBVyxJQUFJLENBQUNDLGFBQWEsQ0FBQyxTQUFDQztvQkFDbkMsSUFBTUMsb0JBQW9CQyxJQUFBQSxvQkFBYyxFQUFDRjtvQkFFekMsSUFBSUMsbUJBQW1CO3dCQUNyQixPQUFPO29CQUNUO2dCQUNGLE1BQU07Z0JBRU4sT0FBT0g7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxlQUFlLElBQUksQ0FBQ0wsYUFBYSxDQUFDLFNBQUNDO29CQUN2QyxJQUFNSyx3QkFBd0JDLElBQUFBLHdCQUFrQixFQUFDTjtvQkFFakQsSUFBSUssdUJBQXVCO3dCQUN6QixPQUFPO29CQUNUO2dCQUNGLE1BQU07Z0JBRU4sT0FBT0Q7WUFDVDs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSCxlQUFlLElBQUksQ0FBQ0QsZUFBZSxJQUNuQ0ssZUFBZUosYUFBYUcsZUFBZTtnQkFFakQsT0FBT0M7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsNkJBQWUsQ0FBQ0wsMENBQTBDLENBaEM3SWIseUJBZ0N1S2MsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBaENuTmpCO0VBQWdDa0IsNkJBQWUifQ==
|
|
@@ -8,9 +8,9 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TypeDeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _occamparsers = require("occam-parsers");
|
|
12
12
|
var _constants = require("../../constants");
|
|
13
|
-
var
|
|
13
|
+
var _node = require("../../utilities/node");
|
|
14
14
|
function _assert_this_initialized(self) {
|
|
15
15
|
if (self === void 0) {
|
|
16
16
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -26,23 +26,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
26
26
|
throw new TypeError("Cannot call a class as a function");
|
|
27
27
|
}
|
|
28
28
|
}
|
|
29
|
-
function _construct(Parent, args, Class) {
|
|
30
|
-
if (_is_native_reflect_construct()) {
|
|
31
|
-
_construct = Reflect.construct;
|
|
32
|
-
} else {
|
|
33
|
-
_construct = function construct(Parent, args, Class) {
|
|
34
|
-
var a = [
|
|
35
|
-
null
|
|
36
|
-
];
|
|
37
|
-
a.push.apply(a, args);
|
|
38
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
39
|
-
var instance = new Constructor();
|
|
40
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
41
|
-
return instance;
|
|
42
|
-
};
|
|
43
|
-
}
|
|
44
|
-
return _construct.apply(null, arguments);
|
|
45
|
-
}
|
|
46
29
|
function _defineProperties(target, props) {
|
|
47
30
|
for(var i = 0; i < props.length; i++){
|
|
48
31
|
var descriptor = props[i];
|
|
@@ -76,14 +59,6 @@ function _inherits(subClass, superClass) {
|
|
|
76
59
|
});
|
|
77
60
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
78
61
|
}
|
|
79
|
-
function _interop_require_default(obj) {
|
|
80
|
-
return obj && obj.__esModule ? obj : {
|
|
81
|
-
default: obj
|
|
82
|
-
};
|
|
83
|
-
}
|
|
84
|
-
function _is_native_function(fn) {
|
|
85
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
86
|
-
}
|
|
87
62
|
function _possible_constructor_return(self, call) {
|
|
88
63
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
89
64
|
return call;
|
|
@@ -101,32 +76,6 @@ function _type_of(obj) {
|
|
|
101
76
|
"@swc/helpers - typeof";
|
|
102
77
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
103
78
|
}
|
|
104
|
-
function _wrap_native_super(Class) {
|
|
105
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
106
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
107
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
108
|
-
if (typeof Class !== "function") {
|
|
109
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
110
|
-
}
|
|
111
|
-
if (typeof _cache !== "undefined") {
|
|
112
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
113
|
-
_cache.set(Class, Wrapper);
|
|
114
|
-
}
|
|
115
|
-
function Wrapper() {
|
|
116
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
117
|
-
}
|
|
118
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
119
|
-
constructor: {
|
|
120
|
-
value: Wrapper,
|
|
121
|
-
enumerable: false,
|
|
122
|
-
writable: true,
|
|
123
|
-
configurable: true
|
|
124
|
-
}
|
|
125
|
-
});
|
|
126
|
-
return _set_prototype_of(Wrapper, Class);
|
|
127
|
-
};
|
|
128
|
-
return _wrap_native_super(Class);
|
|
129
|
-
}
|
|
130
79
|
function _is_native_reflect_construct() {
|
|
131
80
|
try {
|
|
132
81
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -135,8 +84,8 @@ function _is_native_reflect_construct() {
|
|
|
135
84
|
return !!result;
|
|
136
85
|
})();
|
|
137
86
|
}
|
|
138
|
-
var TypeDeclarationNode = /*#__PURE__*/ function(
|
|
139
|
-
_inherits(TypeDeclarationNode,
|
|
87
|
+
var TypeDeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
88
|
+
_inherits(TypeDeclarationNode, NonTerminalNode);
|
|
140
89
|
function TypeDeclarationNode() {
|
|
141
90
|
_class_call_check(this, TypeDeclarationNode);
|
|
142
91
|
return _call_super(this, TypeDeclarationNode, arguments);
|
|
@@ -145,9 +94,9 @@ var TypeDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
145
94
|
{
|
|
146
95
|
key: "getTypeName",
|
|
147
96
|
value: function getTypeName() {
|
|
148
|
-
var typeName;
|
|
97
|
+
var typeName = null;
|
|
149
98
|
this.someChildNode(function(childNode) {
|
|
150
|
-
var childNodeTypeNode = (0,
|
|
99
|
+
var childNodeTypeNode = (0, _node.isNodeTypeNode)(childNode);
|
|
151
100
|
if (childNodeTypeNode) {
|
|
152
101
|
var typeNode = childNode; ///
|
|
153
102
|
typeName = typeNode.getTypeName();
|
|
@@ -160,9 +109,16 @@ var TypeDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
160
109
|
{
|
|
161
110
|
key: "isProvisional",
|
|
162
111
|
value: function isProvisional() {
|
|
163
|
-
var provisional =
|
|
164
|
-
|
|
165
|
-
|
|
112
|
+
var provisional = false;
|
|
113
|
+
this.someChildNode(function(childNode) {
|
|
114
|
+
var childNodeTerminalNode = childNode.isTerminalNode();
|
|
115
|
+
if (childNodeTerminalNode) {
|
|
116
|
+
var terminalNode = childNode, content = terminalNode.getContent(), contentProvisional = content === _constants.PROVISIONAL;
|
|
117
|
+
if (contentProvisional) {
|
|
118
|
+
provisional = true;
|
|
119
|
+
return true;
|
|
120
|
+
}
|
|
121
|
+
}
|
|
166
122
|
});
|
|
167
123
|
return provisional;
|
|
168
124
|
}
|
|
@@ -170,14 +126,12 @@ var TypeDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
170
126
|
{
|
|
171
127
|
key: "getSuperTypeNodes",
|
|
172
128
|
value: function getSuperTypeNodes() {
|
|
173
|
-
var typeNodes = this.
|
|
174
|
-
var childNodeTypeNode = (0,
|
|
129
|
+
var typeNodes = this.filterChildNode(function(childNode) {
|
|
130
|
+
var childNodeTypeNode = (0, _node.isNodeTypeNode)(childNode);
|
|
175
131
|
if (childNodeTypeNode) {
|
|
176
|
-
|
|
177
|
-
typeNodes.push(typeNode);
|
|
132
|
+
return true;
|
|
178
133
|
}
|
|
179
|
-
|
|
180
|
-
}, []);
|
|
134
|
+
});
|
|
181
135
|
typeNodes.pop();
|
|
182
136
|
var superTypeNodes = typeNodes; ///
|
|
183
137
|
return superTypeNodes;
|
|
@@ -187,11 +141,11 @@ var TypeDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
187
141
|
{
|
|
188
142
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
189
143
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
190
|
-
return
|
|
144
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypeDeclarationNode, ruleName, childNodes, opacity, precedence);
|
|
191
145
|
}
|
|
192
146
|
}
|
|
193
147
|
]);
|
|
194
148
|
return TypeDeclarationNode;
|
|
195
|
-
}(
|
|
149
|
+
}(_occamparsers.NonTerminalNode);
|
|
196
150
|
|
|
197
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
151
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5cbmltcG9ydCB7IFBST1ZJU0lPTkFMIH0gZnJvbSBcIi4uLy4uL2NvbnN0YW50c1wiO1xuaW1wb3J0IHsgaXNOb2RlVHlwZU5vZGUgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVHlwZURlY2xhcmF0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFR5cGVOYW1lKCkge1xuICAgIGxldCB0eXBlTmFtZSA9IG51bGw7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVHlwZU5vZGUgPSBpc05vZGVUeXBlTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVHlwZU5vZGUpIHtcbiAgICAgICAgY29uc3QgdHlwZU5vZGUgPSBjaGlsZE5vZGU7ICAvLy9cblxuICAgICAgICB0eXBlTmFtZSA9IHR5cGVOb2RlLmdldFR5cGVOYW1lKCk7XG5cbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gdHlwZU5hbWU7XG4gIH1cblxuICBpc1Byb3Zpc2lvbmFsKCkge1xuICAgIGxldCBwcm92aXNpb25hbCA9IGZhbHNlO1xuXG4gICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IGNoaWxkTm9kZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZS5pc1Rlcm1pbmFsTm9kZSgpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVGVybWluYWxOb2RlKSB7XG4gICAgICAgIGNvbnN0IHRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgIGNvbnRlbnQgPSB0ZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpLFxuICAgICAgICAgICAgICBjb250ZW50UHJvdmlzaW9uYWwgPSAoY29udGVudCA9PT0gUFJPVklTSU9OQUwpO1xuXG4gICAgICAgIGlmIChjb250ZW50UHJvdmlzaW9uYWwpIHtcbiAgICAgICAgICBwcm92aXNpb25hbCA9IHRydWU7XG5cbiAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgfVxuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHByb3Zpc2lvbmFsO1xuICB9XG5cbiAgZ2V0U3VwZXJUeXBlTm9kZXMoKSB7XG4gICAgY29uc3QgdHlwZU5vZGVzID0gdGhpcy5maWx0ZXJDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVHlwZU5vZGUgPSBpc05vZGVUeXBlTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVHlwZU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICB0eXBlTm9kZXMucG9wKCk7XG5cbiAgICBjb25zdCBzdXBlclR5cGVOb2RlcyA9IHR5cGVOb2RlczsgLy8vXG5cbiAgICByZXR1cm4gc3VwZXJUeXBlTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFR5cGVEZWNsYXJhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuXG4iXSwibmFtZXMiOlsiVHlwZURlY2xhcmF0aW9uTm9kZSIsImdldFR5cGVOYW1lIiwidHlwZU5hbWUiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiY2hpbGROb2RlVHlwZU5vZGUiLCJpc05vZGVUeXBlTm9kZSIsInR5cGVOb2RlIiwiaXNQcm92aXNpb25hbCIsInByb3Zpc2lvbmFsIiwiY2hpbGROb2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImNvbnRlbnRQcm92aXNpb25hbCIsIlBST1ZJU0lPTkFMIiwiZ2V0U3VwZXJUeXBlTm9kZXMiLCJ0eXBlTm9kZXMiLCJmaWx0ZXJDaGlsZE5vZGUiLCJwb3AiLCJzdXBlclR5cGVOb2RlcyIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU9xQkE7Ozs0QkFMVzt5QkFFSjtvQkFDRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFaEIsSUFBQSxBQUFNQSxvQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQUlDLFdBQVc7Z0JBRWYsSUFBSSxDQUFDQyxhQUFhLENBQUMsU0FBQ0M7b0JBQ2xCLElBQU1DLG9CQUFvQkMsSUFBQUEsb0JBQWMsRUFBQ0Y7b0JBRXpDLElBQUlDLG1CQUFtQjt3QkFDckIsSUFBTUUsV0FBV0gsV0FBWSxHQUFHO3dCQUVoQ0YsV0FBV0ssU0FBU04sV0FBVzt3QkFFL0IsT0FBTztvQkFDVDtnQkFDRjtnQkFFQSxPQUFPQztZQUNUOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQUlDLGNBQWM7Z0JBRWxCLElBQUksQ0FBQ04sYUFBYSxDQUFDLFNBQUNDO29CQUNsQixJQUFNTSx3QkFBd0JOLFVBQVVPLGNBQWM7b0JBRXRELElBQUlELHVCQUF1Qjt3QkFDekIsSUFBTUUsZUFBZVIsV0FDZlMsVUFBVUQsYUFBYUUsVUFBVSxJQUNqQ0MscUJBQXNCRixZQUFZRyxzQkFBVzt3QkFFbkQsSUFBSUQsb0JBQW9COzRCQUN0Qk4sY0FBYzs0QkFFZCxPQUFPO3dCQUNUO29CQUNGO2dCQUNGO2dCQUVBLE9BQU9BO1lBQ1Q7OztZQUVBUSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsWUFBWSxJQUFJLENBQUNDLGVBQWUsQ0FBQyxTQUFDZjtvQkFDdEMsSUFBTUMsb0JBQW9CQyxJQUFBQSxvQkFBYyxFQUFDRjtvQkFFekMsSUFBSUMsbUJBQW1CO3dCQUNyQixPQUFPO29CQUNUO2dCQUNGO2dCQUVBYSxVQUFVRSxHQUFHO2dCQUViLElBQU1DLGlCQUFpQkgsV0FBVyxHQUFHO2dCQUVyQyxPQUFPRztZQUNUOzs7O1lBRU9DLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyw2QkFBZSxDQUFDTCwwQ0FBMEMsQ0F6RDdJdEIscUJBeURtS3VCLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQXpEL00xQjtFQUE0QjJCLDZCQUFlIn0=
|