occam-verify-cli 1.0.185 → 1.0.198
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/context/file.js +3 -3
- package/lib/dom/assertion/contained.js +12 -24
- package/lib/dom/assertion/defined.js +9 -21
- package/lib/dom/assertion/property.js +8 -10
- package/lib/dom/assertion/satisfies.js +6 -8
- 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/constructor.js +6 -6
- package/lib/dom/declaration/metavariable.js +3 -5
- package/lib/dom/declaration/type.js +2 -2
- package/lib/dom/declaration/variable.js +6 -6
- package/lib/dom/declaration.js +14 -16
- package/lib/dom/derivation.js +2 -4
- package/lib/dom/equality.js +9 -11
- package/lib/dom/frame.js +14 -18
- package/lib/dom/judgement.js +8 -10
- 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 +14 -16
- 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 +12 -20
- package/lib/dom/theorem.js +5 -4
- package/lib/dom/topLevelAssertion.js +30 -24
- package/lib/dom/topLevelMetaAssertion.js +76 -140
- package/lib/dom/type.js +8 -25
- package/lib/dom/variable.js +5 -11
- package/lib/equivalence.js +4 -6
- package/lib/mixins/term/verify.js +4 -8
- package/lib/node/argument.js +116 -0
- package/lib/node/assertion/contained.js +48 -53
- package/lib/node/assertion/defined.js +41 -53
- package/lib/node/assertion/property.js +23 -53
- package/lib/node/assertion/satisfies.js +23 -53
- package/lib/node/assertion/subproof.js +16 -53
- package/lib/node/assertion/type.js +23 -53
- package/lib/node/axiom.js +6 -52
- package/lib/node/combinator.js +6 -52
- package/lib/node/conclusion.js +16 -53
- package/lib/node/conjecture.js +6 -52
- package/lib/node/constructor.js +6 -52
- package/lib/node/declaration/combinator.js +8 -56
- package/lib/node/declaration/complexType.js +42 -86
- package/lib/node/declaration/constructor.js +26 -77
- package/lib/node/declaration/metavariable.js +30 -53
- package/lib/node/declaration/property.js +19 -69
- package/lib/node/declaration/type.js +45 -78
- package/lib/node/declaration/variable.js +21 -81
- package/lib/node/declaration.js +23 -53
- package/lib/node/deduction.js +16 -53
- package/lib/node/derivation.js +42 -51
- package/lib/node/equality.js +32 -53
- package/lib/node/error.js +6 -52
- package/lib/node/frame.js +30 -53
- package/lib/node/judgement.js +23 -53
- package/lib/node/label.js +16 -53
- package/lib/node/labels.js +116 -0
- package/lib/node/lemma.js +6 -52
- package/lib/node/metaArgument.js +116 -0
- package/lib/node/metaLemma.js +6 -52
- package/lib/node/metaType.js +14 -55
- package/lib/node/metatheorem.js +6 -52
- package/lib/node/metavariable.js +30 -56
- package/lib/node/nonTerminal.js +200 -0
- package/lib/node/parameter.js +22 -53
- package/lib/node/parenthesisedLabel.js +116 -0
- package/lib/node/parenthesisedLabels.js +123 -0
- package/lib/node/premise.js +23 -53
- package/lib/node/procedureCall.js +23 -53
- package/lib/node/proof.js +16 -53
- package/lib/node/property.js +18 -57
- package/lib/node/propertyRelation.js +30 -53
- package/lib/node/reference.js +16 -53
- package/lib/node/rule.js +44 -53
- package/lib/node/statement.js +139 -53
- package/lib/node/step.js +37 -53
- package/lib/node/subDerivation.js +49 -51
- package/lib/node/subproof.js +44 -53
- package/lib/node/substitution/frame.js +123 -0
- package/lib/node/substitution/reference.js +123 -0
- package/lib/node/substitution/statement.js +123 -0
- package/lib/node/substitution/term.js +123 -0
- package/lib/node/supposition.js +23 -53
- package/lib/node/term.js +41 -53
- package/lib/node/theorem.js +6 -52
- package/lib/node/topLevelAssertion.js +66 -54
- package/lib/node/topLevelMetaAssertion.js +45 -54
- package/lib/node/type.js +14 -55
- package/lib/{node.js → node/types.js} +22 -24
- package/lib/node/variable.js +14 -55
- package/lib/nominal/parser.js +3 -3
- package/lib/nonTerminalNodeMap.js +14 -4
- package/lib/ruleNames.js +42 -2
- package/lib/substitution/frame.js +5 -7
- package/lib/substitution/reference.js +5 -7
- package/lib/substitution/term.js +5 -7
- package/lib/unifier/metaLevel.js +4 -4
- package/lib/utilities/brackets.js +5 -5
- package/lib/utilities/json.js +18 -1
- package/lib/utilities/node.js +1 -37
- package/lib/utilities/subproof.js +13 -4
- package/lib/utilities/type.js +16 -4
- package/lib/verifier/topLevel.js +6 -6
- package/package.json +2 -2
- package/src/constants.js +1 -0
- package/src/context/file.js +2 -2
- package/src/dom/assertion/contained.js +12 -34
- package/src/dom/assertion/defined.js +9 -30
- package/src/dom/assertion/property.js +7 -12
- package/src/dom/assertion/satisfies.js +5 -10
- 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 +8 -7
- package/src/dom/declaration/constructor.js +6 -7
- package/src/dom/declaration/metavariable.js +2 -6
- package/src/dom/declaration/type.js +4 -2
- package/src/dom/declaration/variable.js +6 -7
- package/src/dom/declaration.js +12 -20
- package/src/dom/derivation.js +1 -4
- package/src/dom/equality.js +13 -17
- package/src/dom/frame.js +11 -25
- package/src/dom/judgement.js +7 -12
- 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 +16 -22
- 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 +14 -33
- package/src/dom/theorem.js +6 -1
- package/src/dom/topLevelAssertion.js +30 -25
- package/src/dom/topLevelMetaAssertion.js +87 -55
- package/src/dom/type.js +11 -37
- package/src/dom/variable.js +4 -12
- package/src/equivalence.js +3 -6
- package/src/mixins/term/verify.js +5 -11
- package/src/node/argument.js +16 -0
- package/src/node/assertion/contained.js +49 -3
- package/src/node/assertion/defined.js +42 -3
- package/src/node/assertion/property.js +19 -3
- package/src/node/assertion/satisfies.js +19 -3
- package/src/node/assertion/subproof.js +12 -3
- package/src/node/assertion/type.js +19 -3
- package/src/node/axiom.js +3 -3
- package/src/node/combinator.js +3 -3
- package/src/node/conclusion.js +12 -3
- package/src/node/conjecture.js +3 -3
- package/src/node/constructor.js +3 -3
- package/src/node/declaration/combinator.js +7 -8
- package/src/node/declaration/complexType.js +40 -43
- package/src/node/declaration/constructor.js +25 -30
- package/src/node/declaration/metavariable.js +26 -3
- package/src/node/declaration/property.js +17 -23
- package/src/node/declaration/type.js +43 -32
- package/src/node/declaration/variable.js +19 -37
- package/src/node/declaration.js +19 -3
- package/src/node/deduction.js +12 -3
- package/src/node/derivation.js +15 -3
- package/src/node/equality.js +32 -3
- package/src/node/error.js +3 -3
- package/src/node/frame.js +26 -3
- package/src/node/judgement.js +19 -3
- package/src/node/label.js +12 -3
- package/src/node/labels.js +16 -0
- package/src/node/lemma.js +3 -3
- package/src/node/metaArgument.js +16 -0
- package/src/node/metaLemma.js +3 -3
- package/src/node/metaType.js +15 -8
- package/src/node/metatheorem.js +3 -3
- package/src/node/metavariable.js +32 -9
- package/src/node/nonTerminal.js +112 -0
- package/src/node/parameter.js +20 -3
- package/src/node/parenthesisedLabel.js +16 -0
- package/src/node/parenthesisedLabels.js +23 -0
- package/src/node/premise.js +19 -3
- package/src/node/procedureCall.js +19 -3
- package/src/node/proof.js +12 -3
- package/src/node/property.js +18 -12
- package/src/node/propertyRelation.js +26 -3
- package/src/node/reference.js +12 -3
- package/src/node/rule.js +40 -3
- package/src/node/statement.js +151 -3
- package/src/node/step.js +31 -3
- package/src/node/subDerivation.js +22 -3
- package/src/node/subproof.js +38 -3
- package/src/node/substitution/frame.js +23 -0
- package/src/node/substitution/reference.js +23 -0
- package/src/node/substitution/statement.js +23 -0
- package/src/node/substitution/term.js +23 -0
- package/src/node/supposition.js +19 -3
- package/src/node/term.js +38 -3
- package/src/node/theorem.js +3 -3
- package/src/node/topLevelAssertion.js +69 -3
- package/src/node/topLevelMetaAssertion.js +40 -3
- package/src/node/type.js +15 -8
- package/src/node/types.js +16 -0
- package/src/node/variable.js +15 -8
- package/src/nominal/parser.js +1 -1
- package/src/nonTerminalNodeMap.js +67 -37
- package/src/ruleNames.js +11 -1
- package/src/substitution/frame.js +7 -10
- package/src/substitution/reference.js +7 -10
- package/src/substitution/term.js +7 -9
- package/src/unifier/metaLevel.js +2 -3
- package/src/utilities/brackets.js +8 -8
- package/src/utilities/json.js +19 -0
- package/src/utilities/node.js +0 -27
- package/src/utilities/subproof.js +22 -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,9 +8,9 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ComplexTypeDeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../../node/nonTerminal"));
|
|
12
12
|
var _constants = require("../../constants");
|
|
13
|
-
var
|
|
13
|
+
var _ruleNames = require("../../ruleNames");
|
|
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];
|
|
@@ -81,9 +64,6 @@ function _interop_require_default(obj) {
|
|
|
81
64
|
default: obj
|
|
82
65
|
};
|
|
83
66
|
}
|
|
84
|
-
function _is_native_function(fn) {
|
|
85
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
86
|
-
}
|
|
87
67
|
function _possible_constructor_return(self, call) {
|
|
88
68
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
89
69
|
return call;
|
|
@@ -101,32 +81,6 @@ function _type_of(obj) {
|
|
|
101
81
|
"@swc/helpers - typeof";
|
|
102
82
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
103
83
|
}
|
|
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
84
|
function _is_native_reflect_construct() {
|
|
131
85
|
try {
|
|
132
86
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -135,65 +89,67 @@ function _is_native_reflect_construct() {
|
|
|
135
89
|
return !!result;
|
|
136
90
|
})();
|
|
137
91
|
}
|
|
138
|
-
var ComplexTypeDeclarationNode = /*#__PURE__*/ function(
|
|
139
|
-
_inherits(ComplexTypeDeclarationNode,
|
|
92
|
+
var ComplexTypeDeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
93
|
+
_inherits(ComplexTypeDeclarationNode, NonTerminalNode);
|
|
140
94
|
function ComplexTypeDeclarationNode() {
|
|
141
95
|
_class_call_check(this, ComplexTypeDeclarationNode);
|
|
142
96
|
return _call_super(this, ComplexTypeDeclarationNode, arguments);
|
|
143
97
|
}
|
|
144
98
|
_create_class(ComplexTypeDeclarationNode, [
|
|
145
99
|
{
|
|
146
|
-
key: "
|
|
147
|
-
value: function
|
|
148
|
-
var
|
|
100
|
+
key: "isProvisional",
|
|
101
|
+
value: function isProvisional() {
|
|
102
|
+
var provisional = false;
|
|
149
103
|
this.someChildNode(function(childNode) {
|
|
150
|
-
var
|
|
151
|
-
if (
|
|
152
|
-
var
|
|
153
|
-
|
|
154
|
-
|
|
104
|
+
var childNodeTerminalNode = childNode.isTerminalNode();
|
|
105
|
+
if (childNodeTerminalNode) {
|
|
106
|
+
var terminalNode = childNode, content = terminalNode.getContent(), contentProvisional = content === _constants.PROVISIONAL;
|
|
107
|
+
if (contentProvisional) {
|
|
108
|
+
provisional = true;
|
|
109
|
+
return true;
|
|
110
|
+
}
|
|
155
111
|
}
|
|
156
112
|
});
|
|
113
|
+
return provisional;
|
|
114
|
+
}
|
|
115
|
+
},
|
|
116
|
+
{
|
|
117
|
+
key: "getTypeName",
|
|
118
|
+
value: function getTypeName() {
|
|
119
|
+
var typeNode = this.getTypeNode(), typeName = typeNode.getTypeName();
|
|
157
120
|
return typeName;
|
|
158
121
|
}
|
|
159
122
|
},
|
|
160
123
|
{
|
|
161
|
-
key: "
|
|
162
|
-
value: function
|
|
163
|
-
var
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
167
|
-
|
|
124
|
+
key: "getTypeNode",
|
|
125
|
+
value: function getTypeNode() {
|
|
126
|
+
var ruleName = _ruleNames.TYPE_RULE_NAME, typeNode = this.getNodeByRuleName(ruleName);
|
|
127
|
+
return typeNode;
|
|
128
|
+
}
|
|
129
|
+
},
|
|
130
|
+
{
|
|
131
|
+
key: "getTypesNode",
|
|
132
|
+
value: function getTypesNode() {
|
|
133
|
+
var ruleName = _ruleNames.TYPES_RULE_NAME, typesNode = this.getNodeByRuleName(ruleName);
|
|
134
|
+
return typesNode;
|
|
168
135
|
}
|
|
169
136
|
},
|
|
170
137
|
{
|
|
171
138
|
key: "getSuperTypeNodes",
|
|
172
139
|
value: function getSuperTypeNodes() {
|
|
173
|
-
var
|
|
174
|
-
|
|
175
|
-
|
|
176
|
-
|
|
177
|
-
|
|
178
|
-
|
|
179
|
-
return typeNodes;
|
|
180
|
-
}, []);
|
|
181
|
-
typeNodes.pop();
|
|
182
|
-
var superTypeNodes = typeNodes; ///
|
|
140
|
+
var superTypeNodes = [];
|
|
141
|
+
var typesNode = this.getTypesNode();
|
|
142
|
+
if (typesNode !== null) {
|
|
143
|
+
var typeNodes = typesNode.getTypeNodes();
|
|
144
|
+
superTypeNodes = typeNodes; ///
|
|
145
|
+
}
|
|
183
146
|
return superTypeNodes;
|
|
184
147
|
}
|
|
185
148
|
},
|
|
186
149
|
{
|
|
187
150
|
key: "getPropertyDeclarationNodes",
|
|
188
151
|
value: function getPropertyDeclarationNodes() {
|
|
189
|
-
var propertyDeclarationNodes = this.
|
|
190
|
-
var childNodePropertyDeclarationNode = (0, _node1.isNodePropertyDeclarationNode)(childNode);
|
|
191
|
-
if (childNodePropertyDeclarationNode) {
|
|
192
|
-
var propertyDeclarationNode = childNode; ///
|
|
193
|
-
propertyDeclarationNodes.push(propertyDeclarationNode);
|
|
194
|
-
}
|
|
195
|
-
return propertyDeclarationNodes;
|
|
196
|
-
}, []);
|
|
152
|
+
var ruleName = _ruleNames.PROPERTY_DECLARATION_RULE_NAME, propertyDeclarationNodes = this.getNodesByRuleName(ruleName);
|
|
197
153
|
return propertyDeclarationNodes;
|
|
198
154
|
}
|
|
199
155
|
}
|
|
@@ -201,11 +157,11 @@ var ComplexTypeDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
201
157
|
{
|
|
202
158
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
203
159
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
204
|
-
return
|
|
160
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ComplexTypeDeclarationNode, ruleName, childNodes, opacity, precedence);
|
|
205
161
|
}
|
|
206
162
|
}
|
|
207
163
|
]);
|
|
208
164
|
return ComplexTypeDeclarationNode;
|
|
209
|
-
}(
|
|
165
|
+
}(_nonTerminal.default);
|
|
210
166
|
|
|
211
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
167
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL2NvbXBsZXhUeXBlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi8uLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IFBST1ZJU0lPTkFMIH0gZnJvbSBcIi4uLy4uL2NvbnN0YW50c1wiO1xuaW1wb3J0IHsgVFlQRV9SVUxFX05BTUUsIFRZUEVTX1JVTEVfTkFNRSwgUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBDb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGlzUHJvdmlzaW9uYWwoKSB7XG4gICAgbGV0IHByb3Zpc2lvbmFsID0gZmFsc2U7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLFxuICAgICAgICAgICAgICBjb250ZW50ID0gdGVybWluYWxOb2RlLmdldENvbnRlbnQoKSxcbiAgICAgICAgICAgICAgY29udGVudFByb3Zpc2lvbmFsID0gKGNvbnRlbnQgPT09IFBST1ZJU0lPTkFMKTtcblxuICAgICAgICBpZiAoY29udGVudFByb3Zpc2lvbmFsKSB7XG4gICAgICAgICAgcHJvdmlzaW9uYWwgPSB0cnVlO1xuXG4gICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBwcm92aXNpb25hbDtcbiAgfVxuXG4gIGdldFR5cGVOYW1lKCkge1xuICAgIGNvbnN0IHR5cGVOb2RlID0gdGhpcy5nZXRUeXBlTm9kZSgpLFxuICAgICAgICAgIHR5cGVOYW1lID0gdHlwZU5vZGUuZ2V0VHlwZU5hbWUoKTtcblxuICAgIHJldHVybiB0eXBlTmFtZTtcbiAgfVxuXG4gIGdldFR5cGVOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVFlQRV9SVUxFX05BTUUsXG4gICAgICAgICAgdHlwZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0eXBlTm9kZTtcbiAgfVxuXG4gIGdldFR5cGVzTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRZUEVTX1JVTEVfTkFNRSxcbiAgICAgICAgICB0eXBlc05vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0eXBlc05vZGU7XG4gIH1cblxuICBnZXRTdXBlclR5cGVOb2RlcygpIHtcbiAgICBsZXQgc3VwZXJUeXBlTm9kZXMgPSBbXTtcblxuICAgIGNvbnN0IHR5cGVzTm9kZSA9IHRoaXMuZ2V0VHlwZXNOb2RlKCk7XG5cbiAgICBpZiAodHlwZXNOb2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCB0eXBlTm9kZXMgPSB0eXBlc05vZGUuZ2V0VHlwZU5vZGVzKCk7XG5cbiAgICAgIHN1cGVyVHlwZU5vZGVzID0gdHlwZU5vZGVzOyAvLy9cbiAgICB9XG5cbiAgICByZXR1cm4gc3VwZXJUeXBlTm9kZXM7XG4gIH1cblxuICBnZXRQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgcHJvcGVydHlEZWNsYXJhdGlvbk5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5RGVjbGFyYXRpb25Ob2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIkNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIiwiaXNQcm92aXNpb25hbCIsInByb3Zpc2lvbmFsIiwic29tZUNoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZVRlcm1pbmFsTm9kZSIsImlzVGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlIiwiY29udGVudCIsImdldENvbnRlbnQiLCJjb250ZW50UHJvdmlzaW9uYWwiLCJQUk9WSVNJT05BTCIsImdldFR5cGVOYW1lIiwidHlwZU5vZGUiLCJnZXRUeXBlTm9kZSIsInR5cGVOYW1lIiwicnVsZU5hbWUiLCJUWVBFX1JVTEVfTkFNRSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0VHlwZXNOb2RlIiwiVFlQRVNfUlVMRV9OQU1FIiwidHlwZXNOb2RlIiwiZ2V0U3VwZXJUeXBlTm9kZXMiLCJzdXBlclR5cGVOb2RlcyIsInR5cGVOb2RlcyIsImdldFR5cGVOb2RlcyIsImdldFByb3BlcnR5RGVjbGFyYXRpb25Ob2RlcyIsIlBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsInByb3BlcnR5RGVjbGFyYXRpb25Ob2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFPcUJBOzs7a0VBTE87eUJBRUE7eUJBQ29EOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRWpFLElBQUEsQUFBTUEsMkNBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQyxjQUFjO2dCQUVsQixJQUFJLENBQUNDLGFBQWEsQ0FBQyxTQUFDQztvQkFDbEIsSUFBTUMsd0JBQXdCRCxVQUFVRSxjQUFjO29CQUV0RCxJQUFJRCx1QkFBdUI7d0JBQ3pCLElBQU1FLGVBQWVILFdBQ2ZJLFVBQVVELGFBQWFFLFVBQVUsSUFDakNDLHFCQUFzQkYsWUFBWUcsc0JBQVc7d0JBRW5ELElBQUlELG9CQUFvQjs0QkFDdEJSLGNBQWM7NEJBRWQsT0FBTzt3QkFDVDtvQkFDRjtnQkFDRjtnQkFFQSxPQUFPQTtZQUNUOzs7WUFFQVUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVcsSUFBSSxDQUFDQyxXQUFXLElBQzNCQyxXQUFXRixTQUFTRCxXQUFXO2dCQUVyQyxPQUFPRztZQUNUOzs7WUFFQUQsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1FLFdBQVdDLHlCQUFjLEVBQ3pCSixXQUFXLElBQUksQ0FBQ0ssaUJBQWlCLENBQUNGO2dCQUV4QyxPQUFPSDtZQUNUOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1ILFdBQVdJLDBCQUFlLEVBQzFCQyxZQUFZLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNGO2dCQUV6QyxPQUFPSztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQUlDLGlCQUFpQixFQUFFO2dCQUV2QixJQUFNRixZQUFZLElBQUksQ0FBQ0YsWUFBWTtnQkFFbkMsSUFBSUUsY0FBYyxNQUFNO29CQUN0QixJQUFNRyxZQUFZSCxVQUFVSSxZQUFZO29CQUV4Q0YsaUJBQWlCQyxXQUFXLEdBQUc7Z0JBQ2pDO2dCQUVBLE9BQU9EO1lBQ1Q7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTVYsV0FBV1cseUNBQThCLEVBQ3pDQywyQkFBMkIsSUFBSSxDQUFDQyxrQkFBa0IsQ0FBQ2I7Z0JBRXpELE9BQU9ZO1lBQ1Q7Ozs7WUFFT0UsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDZCxRQUFRLEVBQUVlLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLG9CQUFlLENBQUNKLDBDQUEwQyxDQWpFN0k5Qiw0QkFpRTBLZ0IsVUFBVWUsWUFBWUMsU0FBU0M7WUFBYTs7O1dBakV0TmpDO0VBQW1Da0Msb0JBQWUifQ==
|
|
@@ -8,8 +8,9 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ConstructorDeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../../node/nonTerminal"));
|
|
12
12
|
var _constants = require("../../constants");
|
|
13
|
+
var _ruleNames = require("../../ruleNames");
|
|
13
14
|
function _assert_this_initialized(self) {
|
|
14
15
|
if (self === void 0) {
|
|
15
16
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -25,23 +26,6 @@ function _class_call_check(instance, Constructor) {
|
|
|
25
26
|
throw new TypeError("Cannot call a class as a function");
|
|
26
27
|
}
|
|
27
28
|
}
|
|
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
29
|
function _defineProperties(target, props) {
|
|
46
30
|
for(var i = 0; i < props.length; i++){
|
|
47
31
|
var descriptor = props[i];
|
|
@@ -80,9 +64,6 @@ function _interop_require_default(obj) {
|
|
|
80
64
|
default: obj
|
|
81
65
|
};
|
|
82
66
|
}
|
|
83
|
-
function _is_native_function(fn) {
|
|
84
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
85
|
-
}
|
|
86
67
|
function _possible_constructor_return(self, call) {
|
|
87
68
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
88
69
|
return call;
|
|
@@ -100,32 +81,6 @@ function _type_of(obj) {
|
|
|
100
81
|
"@swc/helpers - typeof";
|
|
101
82
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
102
83
|
}
|
|
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
84
|
function _is_native_reflect_construct() {
|
|
130
85
|
try {
|
|
131
86
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -134,59 +89,53 @@ function _is_native_reflect_construct() {
|
|
|
134
89
|
return !!result;
|
|
135
90
|
})();
|
|
136
91
|
}
|
|
137
|
-
var ConstructorDeclarationNode = /*#__PURE__*/ function(
|
|
138
|
-
_inherits(ConstructorDeclarationNode,
|
|
92
|
+
var ConstructorDeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
93
|
+
_inherits(ConstructorDeclarationNode, NonTerminalNode);
|
|
139
94
|
function ConstructorDeclarationNode() {
|
|
140
95
|
_class_call_check(this, ConstructorDeclarationNode);
|
|
141
96
|
return _call_super(this, ConstructorDeclarationNode, arguments);
|
|
142
97
|
}
|
|
143
98
|
_create_class(ConstructorDeclarationNode, [
|
|
99
|
+
{
|
|
100
|
+
key: "isProvisional",
|
|
101
|
+
value: function isProvisional() {
|
|
102
|
+
var provisional = false;
|
|
103
|
+
this.someChildNode(function(childNode) {
|
|
104
|
+
var childNodeTerminalNode = childNode.isTerminalNode();
|
|
105
|
+
if (childNodeTerminalNode) {
|
|
106
|
+
var terminalNode = childNode, content = terminalNode.getContent(), contentProvisionally = content === _constants.PROVISIONALLY;
|
|
107
|
+
if (contentProvisionally) {
|
|
108
|
+
provisional = true;
|
|
109
|
+
return true;
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
});
|
|
113
|
+
return provisional;
|
|
114
|
+
}
|
|
115
|
+
},
|
|
144
116
|
{
|
|
145
117
|
key: "getTermNode",
|
|
146
118
|
value: function getTermNode() {
|
|
147
|
-
var termNode = this.
|
|
148
|
-
var termNode = secondChildNode; ///
|
|
149
|
-
return termNode;
|
|
150
|
-
});
|
|
119
|
+
var ruleName = _ruleNames.TERM_RULE_NAME, termNode = this.getNodeByRuleName(ruleName);
|
|
151
120
|
return termNode;
|
|
152
121
|
}
|
|
153
122
|
},
|
|
154
123
|
{
|
|
155
124
|
key: "getTypeNode",
|
|
156
125
|
value: function getTypeNode() {
|
|
157
|
-
var typeNode = this.
|
|
158
|
-
var typeNode = fourthChildNode; ///
|
|
159
|
-
return typeNode;
|
|
160
|
-
}) || null;
|
|
126
|
+
var ruleName = _ruleNames.TYPE_RULE_NAME, typeNode = this.getNodeByRuleName(ruleName);
|
|
161
127
|
return typeNode;
|
|
162
128
|
}
|
|
163
|
-
},
|
|
164
|
-
{
|
|
165
|
-
key: "isProvisional",
|
|
166
|
-
value: function isProvisional() {
|
|
167
|
-
var provisional = this.fromSecondLastChildNode(function(secondLastChildNode) {
|
|
168
|
-
var provisional = false;
|
|
169
|
-
var secondLastChildNodeTerminalNode = secondLastChildNode.isTerminalNode();
|
|
170
|
-
if (secondLastChildNodeTerminalNode) {
|
|
171
|
-
var terminalNode = secondLastChildNode, content = terminalNode.getContent(), contentProvisionally = content === _constants.PROVISIONALLY;
|
|
172
|
-
if (contentProvisionally) {
|
|
173
|
-
provisional = true;
|
|
174
|
-
}
|
|
175
|
-
}
|
|
176
|
-
return provisional;
|
|
177
|
-
});
|
|
178
|
-
return provisional;
|
|
179
|
-
}
|
|
180
129
|
}
|
|
181
130
|
], [
|
|
182
131
|
{
|
|
183
132
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
184
133
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
185
|
-
return
|
|
134
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ConstructorDeclarationNode, ruleName, childNodes, opacity, precedence);
|
|
186
135
|
}
|
|
187
136
|
}
|
|
188
137
|
]);
|
|
189
138
|
return ConstructorDeclarationNode;
|
|
190
|
-
}(
|
|
139
|
+
}(_nonTerminal.default);
|
|
191
140
|
|
|
192
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
141
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi8uLi9ub2RlL25vblRlcm1pbmFsXCI7XG5cbmltcG9ydCB7IFBST1ZJU0lPTkFMTFkgfSBmcm9tIFwiLi4vLi4vY29uc3RhbnRzXCI7XG5pbXBvcnQgeyBURVJNX1JVTEVfTkFNRSwgVFlQRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgaXNQcm92aXNpb25hbCgpIHtcbiAgICBsZXQgcHJvdmlzaW9uYWwgPSBmYWxzZTtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBjaGlsZE5vZGVUZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUuaXNUZXJtaW5hbE5vZGUoKTtcblxuICAgICAgaWYgKGNoaWxkTm9kZVRlcm1pbmFsTm9kZSkge1xuICAgICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsXG4gICAgICAgICAgICAgIGNvbnRlbnQgPSB0ZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpLFxuICAgICAgICAgICAgICBjb250ZW50UHJvdmlzaW9uYWxseSA9IChjb250ZW50ID09PSBQUk9WSVNJT05BTExZKTtcblxuICAgICAgICBpZiAoY29udGVudFByb3Zpc2lvbmFsbHkpIHtcbiAgICAgICAgICBwcm92aXNpb25hbCA9IHRydWU7XG5cbiAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgfVxuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHByb3Zpc2lvbmFsO1xuICB9XG5cbiAgZ2V0VGVybU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgICB0ZXJtTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHRlcm1Ob2RlO1xuICB9XG5cbiAgZ2V0VHlwZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBUWVBFX1JVTEVfTkFNRSxcbiAgICAgICAgICB0eXBlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHR5cGVOb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJpc1Byb3Zpc2lvbmFsIiwicHJvdmlzaW9uYWwiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiY2hpbGROb2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImNvbnRlbnRQcm92aXNpb25hbGx5IiwiUFJPVklTSU9OQUxMWSIsImdldFRlcm1Ob2RlIiwicnVsZU5hbWUiLCJURVJNX1JVTEVfTkFNRSIsInRlcm1Ob2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRUeXBlTm9kZSIsIlRZUEVfUlVMRV9OQU1FIiwidHlwZU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBT3FCQTs7O2tFQUxPO3lCQUVFO3lCQUNpQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVoQyxJQUFBLEFBQU1BLDJDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUMsY0FBYztnQkFFbEIsSUFBSSxDQUFDQyxhQUFhLENBQUMsU0FBQ0M7b0JBQ2xCLElBQU1DLHdCQUF3QkQsVUFBVUUsY0FBYztvQkFFdEQsSUFBSUQsdUJBQXVCO3dCQUN6QixJQUFNRSxlQUFlSCxXQUNmSSxVQUFVRCxhQUFhRSxVQUFVLElBQ2pDQyx1QkFBd0JGLFlBQVlHLHdCQUFhO3dCQUV2RCxJQUFJRCxzQkFBc0I7NEJBQ3hCUixjQUFjOzRCQUVkLE9BQU87d0JBQ1Q7b0JBQ0Y7Z0JBQ0Y7Z0JBRUEsT0FBT0E7WUFDVDs7O1lBRUFVLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsV0FBVyxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtnQkFFeEMsT0FBT0U7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSixXQUFXSyx5QkFBYyxFQUN6QkMsV0FBVyxJQUFJLENBQUNILGlCQUFpQixDQUFDSDtnQkFFeEMsT0FBT007WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNQLFFBQVEsRUFBRVEsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBckM3SXBCLDRCQXFDMEthLFVBQVVRLFlBQVlDLFNBQVNDO1lBQWE7OztXQXJDdE52QjtFQUFtQ3dCLG9CQUFlIn0=
|
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return MetavariableDeclarationNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../../node/nonTerminal"));
|
|
12
|
+
var _ruleNames = require("../../ruleNames");
|
|
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];
|
|
@@ -79,9 +63,6 @@ function _interop_require_default(obj) {
|
|
|
79
63
|
default: obj
|
|
80
64
|
};
|
|
81
65
|
}
|
|
82
|
-
function _is_native_function(fn) {
|
|
83
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
84
|
-
}
|
|
85
66
|
function _possible_constructor_return(self, call) {
|
|
86
67
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
87
68
|
return call;
|
|
@@ -99,32 +80,6 @@ function _type_of(obj) {
|
|
|
99
80
|
"@swc/helpers - typeof";
|
|
100
81
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
101
82
|
}
|
|
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
83
|
function _is_native_reflect_construct() {
|
|
129
84
|
try {
|
|
130
85
|
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
@@ -133,21 +88,43 @@ function _is_native_reflect_construct() {
|
|
|
133
88
|
return !!result;
|
|
134
89
|
})();
|
|
135
90
|
}
|
|
136
|
-
var MetavariableDeclarationNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(MetavariableDeclarationNode,
|
|
91
|
+
var MetavariableDeclarationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
92
|
+
_inherits(MetavariableDeclarationNode, NonTerminalNode);
|
|
138
93
|
function MetavariableDeclarationNode() {
|
|
139
94
|
_class_call_check(this, MetavariableDeclarationNode);
|
|
140
95
|
return _call_super(this, MetavariableDeclarationNode, arguments);
|
|
141
96
|
}
|
|
142
|
-
_create_class(MetavariableDeclarationNode,
|
|
97
|
+
_create_class(MetavariableDeclarationNode, [
|
|
98
|
+
{
|
|
99
|
+
key: "getTypeNode",
|
|
100
|
+
value: function getTypeNode() {
|
|
101
|
+
var metavariableNode = this.getMetavariableNode(), typeNode = metavariableNode.getTypeNode();
|
|
102
|
+
return typeNode;
|
|
103
|
+
}
|
|
104
|
+
},
|
|
105
|
+
{
|
|
106
|
+
key: "getMetaTypeNode",
|
|
107
|
+
value: function getMetaTypeNode() {
|
|
108
|
+
var ruleName = _ruleNames.META_TYPE_RULE_NAME, metaTypeNode = this.getNodeByRuleName(ruleName);
|
|
109
|
+
return metaTypeNode;
|
|
110
|
+
}
|
|
111
|
+
},
|
|
112
|
+
{
|
|
113
|
+
key: "getMetavariableNode",
|
|
114
|
+
value: function getMetavariableNode() {
|
|
115
|
+
var ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNode = this.getNodeByRuleName(ruleName);
|
|
116
|
+
return metavariableNode;
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
], [
|
|
143
120
|
{
|
|
144
121
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
122
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
123
|
+
return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(MetavariableDeclarationNode, ruleName, childNodes, opacity, precedence);
|
|
147
124
|
}
|
|
148
125
|
}
|
|
149
126
|
]);
|
|
150
127
|
return MetavariableDeclarationNode;
|
|
151
|
-
}(
|
|
128
|
+
}(_nonTerminal.default);
|
|
152
129
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
130
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL21ldGF2YXJpYWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vLi4vbm9kZS9ub25UZXJtaW5hbFwiO1xuXG5pbXBvcnQgeyBNRVRBX1RZUEVfUlVMRV9OQU1FLCBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBNZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUeXBlTm9kZSgpIHtcbiAgICBjb25zdCBtZXRhdmFyaWFibGVOb2RlID0gdGhpcy5nZXRNZXRhdmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgdHlwZU5vZGUgPSBtZXRhdmFyaWFibGVOb2RlLmdldFR5cGVOb2RlKCk7XG5cbiAgICByZXR1cm4gdHlwZU5vZGU7XG4gIH1cblxuICBnZXRNZXRhVHlwZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBX1RZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgIG1ldGFUeXBlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGFUeXBlTm9kZVxuICB9XG5cbiAgZ2V0TWV0YXZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKE1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiZ2V0VHlwZU5vZGUiLCJtZXRhdmFyaWFibGVOb2RlIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZSIsInR5cGVOb2RlIiwiZ2V0TWV0YVR5cGVOb2RlIiwicnVsZU5hbWUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwibWV0YVR5cGVOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7OztrRUFKTzt5QkFFZ0M7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFN0MsSUFBQSxBQUFNQSw0Q0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLG1CQUFtQixJQUFJLENBQUNDLG1CQUFtQixJQUMzQ0MsV0FBV0YsaUJBQWlCRCxXQUFXO2dCQUU3QyxPQUFPRztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZUFBZSxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtnQkFFNUMsT0FBT0U7WUFDVDs7O1lBRUFMLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNRyxXQUFXSSxpQ0FBc0IsRUFDakNSLG1CQUFtQixJQUFJLENBQUNPLGlCQUFpQixDQUFDSDtnQkFFaEQsT0FBT0o7WUFDVDs7OztZQUVPUyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNMLFFBQVEsRUFBRU0sVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0Msb0JBQWUsQ0FBQ0osMENBQTBDLENBdEI3SVgsNkJBc0IyS00sVUFBVU0sWUFBWUMsU0FBU0M7WUFBYTs7O1dBdEJ2TmQ7RUFBb0NlLG9CQUFlIn0=
|