occam-verify-cli 1.0.661 → 1.0.663
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/.swcrc +3 -0
- package/lib/abbreviations.js +10 -10
- package/lib/action/help.js +27 -2
- package/lib/action/verify.js +33 -205
- package/lib/action/version.js +6 -6
- package/lib/commands.js +4 -4
- package/lib/constants.js +16 -16
- package/lib/context/ephemeral.js +337 -540
- package/lib/context/file/nominal.js +545 -1040
- package/lib/context/liminal.js +159 -325
- package/lib/context/literal.js +34 -138
- package/lib/context/nominal.js +29 -124
- package/lib/context/scoped.js +163 -325
- package/lib/context/synthetic.js +31 -126
- package/lib/context.js +230 -482
- package/lib/defaults.js +8 -8
- package/lib/element/assertion/contained.js +159 -299
- package/lib/element/assertion/defined.js +145 -279
- package/lib/element/assertion/property.js +132 -266
- package/lib/element/assertion/satisfies.js +108 -239
- package/lib/element/assertion/subproof.js +88 -207
- package/lib/element/assertion/type.js +132 -262
- package/lib/element/assertion.js +17 -156
- package/lib/element/assumption.js +187 -386
- package/lib/element/combinator/bracketed.js +19 -142
- package/lib/element/combinator.js +65 -228
- package/lib/element/conclusion.js +72 -370
- package/lib/element/constructor/bracketed.js +34 -157
- package/lib/element/constructor.js +81 -253
- package/lib/element/declaration/combinator.js +41 -286
- package/lib/element/declaration/complexType.js +184 -452
- package/lib/element/declaration/constructor.js +69 -323
- package/lib/element/declaration/metavariable.js +70 -317
- package/lib/element/declaration/simpleType.js +117 -378
- package/lib/element/declaration/typePrefix.js +54 -299
- package/lib/element/declaration/variable.js +74 -328
- package/lib/element/declaration.js +3 -114
- package/lib/element/deduction.js +76 -378
- package/lib/element/derivation.js +31 -340
- package/lib/element/equality.js +152 -347
- package/lib/element/equivalence.js +160 -385
- package/lib/element/equivalences.js +132 -356
- package/lib/element/error.js +16 -290
- package/lib/element/frame.js +210 -418
- package/lib/element/hypothesis.js +56 -354
- package/lib/element/judgement.js +120 -305
- package/lib/element/label.js +62 -236
- package/lib/element/metaType.js +35 -200
- package/lib/element/metavariable.js +249 -459
- package/lib/element/parameter.js +39 -202
- package/lib/element/procedureCall.js +74 -381
- package/lib/element/procedureReference.js +27 -186
- package/lib/element/proof.js +38 -349
- package/lib/element/proofAssertion/premise.js +174 -466
- package/lib/element/proofAssertion/step.js +144 -495
- package/lib/element/proofAssertion/supposition.js +170 -466
- package/lib/element/proofAssertion.js +47 -195
- package/lib/element/property.js +36 -201
- package/lib/element/propertyRelation.js +62 -223
- package/lib/element/reference.js +173 -378
- package/lib/element/rule.js +178 -673
- package/lib/element/section.js +47 -356
- package/lib/element/signature.js +96 -264
- package/lib/element/statement.js +195 -395
- package/lib/element/subDerivation.js +32 -341
- package/lib/element/subproof.js +73 -448
- package/lib/element/substitution/frame.js +114 -257
- package/lib/element/substitution/reference.js +108 -248
- package/lib/element/substitution/statement.js +223 -397
- package/lib/element/substitution/term.js +123 -266
- package/lib/element/substitution.js +97 -296
- package/lib/element/term.js +139 -339
- package/lib/element/topLevelAssertion/axiom.js +153 -459
- package/lib/element/topLevelAssertion/conjecture.js +24 -295
- package/lib/element/topLevelAssertion/lemma.js +22 -289
- package/lib/element/topLevelAssertion/theorem.js +24 -295
- package/lib/element/topLevelAssertion.js +218 -718
- package/lib/element/topLevelMetaAssertion/metaLemma.js +24 -290
- package/lib/element/topLevelMetaAssertion/metatheorem.js +24 -290
- package/lib/element/topLevelMetaAssertion.js +109 -509
- package/lib/element/type.js +198 -435
- package/lib/element/typePrefix.js +27 -186
- package/lib/element/variable.js +119 -308
- package/lib/elements.js +4 -4
- package/lib/index.js +4 -4
- package/lib/main.js +18 -18
- package/lib/messages.js +2 -2
- package/lib/metaTypeNames.js +4 -4
- package/lib/metaTypes.js +10 -10
- package/lib/node/argument.js +15 -109
- package/lib/node/assertion/contained.js +33 -130
- package/lib/node/assertion/defined.js +29 -123
- package/lib/node/assertion/property.js +18 -112
- package/lib/node/assertion/satisfies.js +14 -105
- package/lib/node/assertion/subproof.js +10 -98
- package/lib/node/assertion/type.js +14 -105
- package/lib/node/assertion.js +5 -89
- package/lib/node/assumption.js +12 -103
- package/lib/node/body/axiom.js +5 -89
- package/lib/node/body/conjecture.js +5 -89
- package/lib/node/body/lemma.js +5 -89
- package/lib/node/body/metaLemma.js +5 -89
- package/lib/node/body/metatheorem.js +5 -89
- package/lib/node/body/rule.js +26 -126
- package/lib/node/body/theorem.js +5 -89
- package/lib/node/body.js +15 -109
- package/lib/node/combinator.js +9 -97
- package/lib/node/conclusion.js +12 -103
- package/lib/node/constructor.js +9 -97
- package/lib/node/declaration/combinator.js +10 -98
- package/lib/node/declaration/complexType.js +53 -162
- package/lib/node/declaration/constructor.js +29 -123
- package/lib/node/declaration/metavariable.js +18 -112
- package/lib/node/declaration/property.js +26 -123
- package/lib/node/declaration/simpleType.js +52 -158
- package/lib/node/declaration/typePrefix.js +14 -105
- package/lib/node/declaration/variable.js +33 -130
- package/lib/node/declaration.js +5 -89
- package/lib/node/deduction.js +12 -103
- package/lib/node/derivation.js +12 -125
- package/lib/node/document.js +5 -89
- package/lib/node/equality.js +17 -111
- package/lib/node/equivalence.js +9 -97
- package/lib/node/equivalences.js +5 -89
- package/lib/node/error.js +5 -89
- package/lib/node/frame.js +26 -123
- package/lib/node/header/axiom.js +10 -98
- package/lib/node/header/conjecture.js +5 -89
- package/lib/node/header/lemma.js +5 -89
- package/lib/node/header/metaLemma.js +5 -89
- package/lib/node/header/metatheorem.js +5 -89
- package/lib/node/header/rule.js +5 -89
- package/lib/node/header/theorem.js +5 -89
- package/lib/node/header.js +30 -130
- package/lib/node/hypothesis.js +12 -103
- package/lib/node/judgement.js +15 -109
- package/lib/node/label.js +9 -97
- package/lib/node/labels.js +9 -97
- package/lib/node/metaArgument.js +9 -97
- package/lib/node/metaType.js +16 -104
- package/lib/node/metavariable.js +23 -117
- package/lib/node/parameter.js +32 -123
- package/lib/node/parenthesisedLabel.js +9 -97
- package/lib/node/parenthesisedLabels.js +12 -103
- package/lib/node/placeholder.js +5 -89
- package/lib/node/procedureCall.js +15 -109
- package/lib/node/procedureReference.js +16 -104
- package/lib/node/proof.js +9 -97
- package/lib/node/proofAssertion/premise.js +10 -98
- package/lib/node/proofAssertion/step.js +32 -132
- package/lib/node/proofAssertion/supposition.js +10 -98
- package/lib/node/proofAssertion.js +12 -103
- package/lib/node/property.js +15 -106
- package/lib/node/propertyRelation.js +15 -109
- package/lib/node/qualification.js +12 -103
- package/lib/node/reference.js +9 -97
- package/lib/node/rule.js +26 -129
- package/lib/node/section.js +22 -122
- package/lib/node/signature.js +9 -97
- package/lib/node/statement.js +93 -238
- package/lib/node/subDerivation.js +12 -125
- package/lib/node/subproof.js +18 -115
- package/lib/node/substitution/frame.js +22 -119
- package/lib/node/substitution/reference.js +22 -119
- package/lib/node/substitution/statement.js +42 -151
- package/lib/node/substitution/term.js +22 -119
- package/lib/node/substitution.js +5 -89
- package/lib/node/term.js +51 -160
- package/lib/node/topLevelAssertion/axiom.js +8 -105
- package/lib/node/topLevelAssertion/conjecture.js +8 -105
- package/lib/node/topLevelAssertion/lemma.js +8 -105
- package/lib/node/topLevelAssertion/theorem.js +8 -105
- package/lib/node/topLevelAssertion.js +29 -135
- package/lib/node/topLevelMetaAssertion/metaLemma.js +8 -105
- package/lib/node/topLevelMetaAssertion/metatheorem.js +8 -105
- package/lib/node/topLevelMetaAssertion.js +25 -128
- package/lib/node/type.js +43 -140
- package/lib/node/typePrefix.js +16 -104
- package/lib/node/types.js +9 -97
- package/lib/node/variable.js +16 -104
- package/lib/nominal/lexer.js +3 -68
- package/lib/nominal/parser.js +7 -85
- package/lib/nonTerminalNodeMap.js +171 -101
- package/lib/options.js +6 -6
- package/lib/preamble.js +62 -62
- package/lib/prepare.js +4 -4
- package/lib/process/assign.js +20 -20
- package/lib/process/equate.js +39 -117
- package/lib/process/instantiate.js +10 -9
- package/lib/process/unify.js +199 -325
- package/lib/process/validate.js +87 -195
- package/lib/process/verify.js +263 -786
- package/lib/ruleNames.js +84 -84
- package/lib/tokenTypes.js +3 -3
- package/lib/utilities/bnf.js +7 -7
- package/lib/utilities/brackets.js +18 -18
- package/lib/utilities/clock.js +8 -8
- package/lib/utilities/context.js +23 -191
- package/lib/utilities/element.js +276 -276
- package/lib/utilities/equivalence.js +7 -7
- package/lib/utilities/fileContext.js +9 -9
- package/lib/utilities/instance.js +14 -14
- package/lib/utilities/json.js +211 -211
- package/lib/utilities/releaseContext.js +19 -147
- package/lib/utilities/statement.js +10 -10
- package/lib/utilities/string.js +47 -47
- package/lib/utilities/substitutions.js +19 -19
- package/lib/utilities/type.js +5 -5
- package/lib/utilities/unification.js +196 -426
- package/lib/utilities/validation.js +72 -72
- package/package.json +2 -2
|
@@ -8,344 +8,90 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
function _assert_this_initialized(self) {
|
|
14
|
-
if (self === void 0) {
|
|
15
|
-
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
16
|
-
}
|
|
17
|
-
return self;
|
|
18
|
-
}
|
|
19
|
-
function asyncGeneratorStep(gen, resolve, reject, _next, _throw, key, arg) {
|
|
20
|
-
try {
|
|
21
|
-
var info = gen[key](arg);
|
|
22
|
-
var value = info.value;
|
|
23
|
-
} catch (error) {
|
|
24
|
-
reject(error);
|
|
25
|
-
return;
|
|
26
|
-
}
|
|
27
|
-
if (info.done) {
|
|
28
|
-
resolve(value);
|
|
29
|
-
} else {
|
|
30
|
-
Promise.resolve(value).then(_next, _throw);
|
|
31
|
-
}
|
|
32
|
-
}
|
|
33
|
-
function _async_to_generator(fn) {
|
|
34
|
-
return function() {
|
|
35
|
-
var self = this, args = arguments;
|
|
36
|
-
return new Promise(function(resolve, reject) {
|
|
37
|
-
var gen = fn.apply(self, args);
|
|
38
|
-
function _next(value) {
|
|
39
|
-
asyncGeneratorStep(gen, resolve, reject, _next, _throw, "next", value);
|
|
40
|
-
}
|
|
41
|
-
function _throw(err) {
|
|
42
|
-
asyncGeneratorStep(gen, resolve, reject, _next, _throw, "throw", err);
|
|
43
|
-
}
|
|
44
|
-
_next(undefined);
|
|
45
|
-
});
|
|
46
|
-
};
|
|
47
|
-
}
|
|
48
|
-
function _call_super(_this, derived, args) {
|
|
49
|
-
derived = _get_prototype_of(derived);
|
|
50
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
51
|
-
}
|
|
52
|
-
function _class_call_check(instance, Constructor) {
|
|
53
|
-
if (!(instance instanceof Constructor)) {
|
|
54
|
-
throw new TypeError("Cannot call a class as a function");
|
|
55
|
-
}
|
|
56
|
-
}
|
|
57
|
-
function _defineProperties(target, props) {
|
|
58
|
-
for(var i = 0; i < props.length; i++){
|
|
59
|
-
var descriptor = props[i];
|
|
60
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
61
|
-
descriptor.configurable = true;
|
|
62
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
63
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
64
|
-
}
|
|
65
|
-
}
|
|
66
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
67
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
68
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
69
|
-
return Constructor;
|
|
70
|
-
}
|
|
71
|
-
function _define_property(obj, key, value) {
|
|
72
|
-
if (key in obj) {
|
|
73
|
-
Object.defineProperty(obj, key, {
|
|
74
|
-
value: value,
|
|
75
|
-
enumerable: true,
|
|
76
|
-
configurable: true,
|
|
77
|
-
writable: true
|
|
78
|
-
});
|
|
79
|
-
} else {
|
|
80
|
-
obj[key] = value;
|
|
81
|
-
}
|
|
82
|
-
return obj;
|
|
83
|
-
}
|
|
84
|
-
function _get_prototype_of(o) {
|
|
85
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
86
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
87
|
-
};
|
|
88
|
-
return _get_prototype_of(o);
|
|
89
|
-
}
|
|
90
|
-
function _inherits(subClass, superClass) {
|
|
91
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
92
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
93
|
-
}
|
|
94
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
95
|
-
constructor: {
|
|
96
|
-
value: subClass,
|
|
97
|
-
writable: true,
|
|
98
|
-
configurable: true
|
|
99
|
-
}
|
|
100
|
-
});
|
|
101
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
102
|
-
}
|
|
11
|
+
const _declaration = /*#__PURE__*/ _interop_require_default(require("../declaration"));
|
|
12
|
+
const _elements = require("../../elements");
|
|
103
13
|
function _interop_require_default(obj) {
|
|
104
14
|
return obj && obj.__esModule ? obj : {
|
|
105
15
|
default: obj
|
|
106
16
|
};
|
|
107
17
|
}
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
18
|
+
const _default = (0, _elements.define)(class VariableDeclaration extends _declaration.default {
|
|
19
|
+
constructor(context, string, node, type, variable, provisional){
|
|
20
|
+
super(context, string, node);
|
|
21
|
+
this.type = type;
|
|
22
|
+
this.variable = variable;
|
|
23
|
+
this.provisional = provisional;
|
|
111
24
|
}
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
function _set_prototype_of(o, p) {
|
|
115
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
116
|
-
o.__proto__ = p;
|
|
117
|
-
return o;
|
|
118
|
-
};
|
|
119
|
-
return _set_prototype_of(o, p);
|
|
120
|
-
}
|
|
121
|
-
function _type_of(obj) {
|
|
122
|
-
"@swc/helpers - typeof";
|
|
123
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
124
|
-
}
|
|
125
|
-
function _is_native_reflect_construct() {
|
|
126
|
-
try {
|
|
127
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
128
|
-
} catch (_) {}
|
|
129
|
-
return (_is_native_reflect_construct = function() {
|
|
130
|
-
return !!result;
|
|
131
|
-
})();
|
|
132
|
-
}
|
|
133
|
-
function _ts_generator(thisArg, body) {
|
|
134
|
-
var f, y, t, _ = {
|
|
135
|
-
label: 0,
|
|
136
|
-
sent: function() {
|
|
137
|
-
if (t[0] & 1) throw t[1];
|
|
138
|
-
return t[1];
|
|
139
|
-
},
|
|
140
|
-
trys: [],
|
|
141
|
-
ops: []
|
|
142
|
-
}, g = Object.create((typeof Iterator === "function" ? Iterator : Object).prototype);
|
|
143
|
-
return g.next = verb(0), g["throw"] = verb(1), g["return"] = verb(2), typeof Symbol === "function" && (g[Symbol.iterator] = function() {
|
|
144
|
-
return this;
|
|
145
|
-
}), g;
|
|
146
|
-
function verb(n) {
|
|
147
|
-
return function(v) {
|
|
148
|
-
return step([
|
|
149
|
-
n,
|
|
150
|
-
v
|
|
151
|
-
]);
|
|
152
|
-
};
|
|
25
|
+
getType() {
|
|
26
|
+
return this.type;
|
|
153
27
|
}
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
while(g && (g = 0, op[0] && (_ = 0)), _)try {
|
|
157
|
-
if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
|
|
158
|
-
if (y = 0, t) op = [
|
|
159
|
-
op[0] & 2,
|
|
160
|
-
t.value
|
|
161
|
-
];
|
|
162
|
-
switch(op[0]){
|
|
163
|
-
case 0:
|
|
164
|
-
case 1:
|
|
165
|
-
t = op;
|
|
166
|
-
break;
|
|
167
|
-
case 4:
|
|
168
|
-
_.label++;
|
|
169
|
-
return {
|
|
170
|
-
value: op[1],
|
|
171
|
-
done: false
|
|
172
|
-
};
|
|
173
|
-
case 5:
|
|
174
|
-
_.label++;
|
|
175
|
-
y = op[1];
|
|
176
|
-
op = [
|
|
177
|
-
0
|
|
178
|
-
];
|
|
179
|
-
continue;
|
|
180
|
-
case 7:
|
|
181
|
-
op = _.ops.pop();
|
|
182
|
-
_.trys.pop();
|
|
183
|
-
continue;
|
|
184
|
-
default:
|
|
185
|
-
if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) {
|
|
186
|
-
_ = 0;
|
|
187
|
-
continue;
|
|
188
|
-
}
|
|
189
|
-
if (op[0] === 3 && (!t || op[1] > t[0] && op[1] < t[3])) {
|
|
190
|
-
_.label = op[1];
|
|
191
|
-
break;
|
|
192
|
-
}
|
|
193
|
-
if (op[0] === 6 && _.label < t[1]) {
|
|
194
|
-
_.label = t[1];
|
|
195
|
-
t = op;
|
|
196
|
-
break;
|
|
197
|
-
}
|
|
198
|
-
if (t && _.label < t[2]) {
|
|
199
|
-
_.label = t[2];
|
|
200
|
-
_.ops.push(op);
|
|
201
|
-
break;
|
|
202
|
-
}
|
|
203
|
-
if (t[2]) _.ops.pop();
|
|
204
|
-
_.trys.pop();
|
|
205
|
-
continue;
|
|
206
|
-
}
|
|
207
|
-
op = body.call(thisArg, _);
|
|
208
|
-
} catch (e) {
|
|
209
|
-
op = [
|
|
210
|
-
6,
|
|
211
|
-
e
|
|
212
|
-
];
|
|
213
|
-
y = 0;
|
|
214
|
-
} finally{
|
|
215
|
-
f = t = 0;
|
|
216
|
-
}
|
|
217
|
-
if (op[0] & 5) throw op[1];
|
|
218
|
-
return {
|
|
219
|
-
value: op[0] ? op[1] : void 0,
|
|
220
|
-
done: true
|
|
221
|
-
};
|
|
28
|
+
getVariable() {
|
|
29
|
+
return this.variable;
|
|
222
30
|
}
|
|
223
|
-
|
|
224
|
-
|
|
225
|
-
var _default = (0, _elements.define)((_VariableDeclaration = /*#__PURE__*/ function(Declaration) {
|
|
226
|
-
_inherits(VariableDeclaration, Declaration);
|
|
227
|
-
function VariableDeclaration(context, string, node, type, variable, provisional) {
|
|
228
|
-
_class_call_check(this, VariableDeclaration);
|
|
229
|
-
var _this;
|
|
230
|
-
_this = _call_super(this, VariableDeclaration, [
|
|
231
|
-
context,
|
|
232
|
-
string,
|
|
233
|
-
node
|
|
234
|
-
]);
|
|
235
|
-
_this.type = type;
|
|
236
|
-
_this.variable = variable;
|
|
237
|
-
_this.provisional = provisional;
|
|
238
|
-
return _this;
|
|
31
|
+
isProvisional() {
|
|
32
|
+
return this.provisional;
|
|
239
33
|
}
|
|
240
|
-
|
|
241
|
-
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
|
|
245
|
-
|
|
246
|
-
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
|
|
250
|
-
|
|
251
|
-
|
|
252
|
-
|
|
253
|
-
|
|
254
|
-
|
|
255
|
-
|
|
256
|
-
return this.provisional;
|
|
257
|
-
}
|
|
258
|
-
},
|
|
259
|
-
{
|
|
260
|
-
key: "getVariableDeclarationNode",
|
|
261
|
-
value: function getVariableDeclarationNode() {
|
|
262
|
-
var node = this.getNode(), typePrefixDeclarationNode = node; ///
|
|
263
|
-
return typePrefixDeclarationNode;
|
|
264
|
-
}
|
|
265
|
-
},
|
|
266
|
-
{
|
|
267
|
-
key: "verify",
|
|
268
|
-
value: function verify() {
|
|
269
|
-
return _async_to_generator(function() {
|
|
270
|
-
var verifies, context, variableDeclarationString, typeVerifies, variableVerifies;
|
|
271
|
-
return _ts_generator(this, function(_state) {
|
|
272
|
-
switch(_state.label){
|
|
273
|
-
case 0:
|
|
274
|
-
verifies = false;
|
|
275
|
-
context = this.getContext();
|
|
276
|
-
return [
|
|
277
|
-
4,
|
|
278
|
-
this.break(context)
|
|
279
|
-
];
|
|
280
|
-
case 1:
|
|
281
|
-
_state.sent();
|
|
282
|
-
variableDeclarationString = this.getString(); ///
|
|
283
|
-
context.trace("Verifying the '".concat(variableDeclarationString, "' variable declaration..."));
|
|
284
|
-
typeVerifies = this.verifyType();
|
|
285
|
-
if (typeVerifies) {
|
|
286
|
-
variableVerifies = this.verifyVariable();
|
|
287
|
-
if (variableVerifies) {
|
|
288
|
-
context.addVariable(this.variable);
|
|
289
|
-
verifies = true;
|
|
290
|
-
}
|
|
291
|
-
}
|
|
292
|
-
if (verifies) {
|
|
293
|
-
context.debug("...verified the '".concat(variableDeclarationString, "' variable declaration."));
|
|
294
|
-
}
|
|
295
|
-
return [
|
|
296
|
-
2,
|
|
297
|
-
verifies
|
|
298
|
-
];
|
|
299
|
-
}
|
|
300
|
-
});
|
|
301
|
-
}).call(this);
|
|
302
|
-
}
|
|
303
|
-
},
|
|
304
|
-
{
|
|
305
|
-
key: "verifyType",
|
|
306
|
-
value: function verifyType() {
|
|
307
|
-
var typeVerifies = false;
|
|
308
|
-
var context = this.getContext();
|
|
309
|
-
var typeString = this.type.getString(), variableDeclarationString = this.getString(); ///
|
|
310
|
-
context.trace("Verifying the '".concat(variableDeclarationString, "' variable declaration's '").concat(typeString, "' type..."));
|
|
311
|
-
var nominalTypeName = this.type.getNominalTypeName(), type = context.findTypeByNominalTypeName(nominalTypeName), typePresent = type !== null;
|
|
312
|
-
if (!typePresent) {
|
|
313
|
-
context.debug("The '".concat(typeString, "' type is not present."));
|
|
314
|
-
} else {
|
|
315
|
-
var typeComparesToProvisional = type.compareProvisional(this.provisional);
|
|
316
|
-
if (!typeComparesToProvisional) {
|
|
317
|
-
this.provisional ? context.debug("The '".concat(variableDeclarationString, "' variable declaration's '").concat(typeString, "' type is present but not provisional.")) : context.debug("The '".concat(variableDeclarationString, "' variable declaration's '").concat(typeString, "' type is present but provisional."));
|
|
318
|
-
} else {
|
|
319
|
-
this.variable.setType(type);
|
|
320
|
-
typeVerifies = true;
|
|
321
|
-
}
|
|
322
|
-
}
|
|
323
|
-
if (typeVerifies) {
|
|
324
|
-
context.debug("...verified the '".concat(variableDeclarationString, "' variable declaration's '").concat(typeString, "' type."));
|
|
325
|
-
}
|
|
326
|
-
return typeVerifies;
|
|
34
|
+
getVariableDeclarationNode() {
|
|
35
|
+
const node = this.getNode(), typePrefixDeclarationNode = node; ///
|
|
36
|
+
return typePrefixDeclarationNode;
|
|
37
|
+
}
|
|
38
|
+
async verify() {
|
|
39
|
+
let verifies = false;
|
|
40
|
+
const context = this.getContext();
|
|
41
|
+
await this.break(context);
|
|
42
|
+
const variableDeclarationString = this.getString(); ///
|
|
43
|
+
context.trace(`Verifying the '${variableDeclarationString}' variable declaration...`);
|
|
44
|
+
const typeVerifies = this.verifyType();
|
|
45
|
+
if (typeVerifies) {
|
|
46
|
+
const variableVerifies = this.verifyVariable();
|
|
47
|
+
if (variableVerifies) {
|
|
48
|
+
context.addVariable(this.variable);
|
|
49
|
+
verifies = true;
|
|
327
50
|
}
|
|
328
|
-
}
|
|
329
|
-
{
|
|
330
|
-
|
|
331
|
-
|
|
332
|
-
|
|
333
|
-
|
|
334
|
-
|
|
335
|
-
|
|
336
|
-
|
|
337
|
-
|
|
338
|
-
|
|
339
|
-
|
|
340
|
-
|
|
341
|
-
|
|
342
|
-
|
|
343
|
-
|
|
344
|
-
|
|
51
|
+
}
|
|
52
|
+
if (verifies) {
|
|
53
|
+
context.debug(`...verified the '${variableDeclarationString}' variable declaration.`);
|
|
54
|
+
}
|
|
55
|
+
return verifies;
|
|
56
|
+
}
|
|
57
|
+
verifyType() {
|
|
58
|
+
let typeVerifies = false;
|
|
59
|
+
const context = this.getContext();
|
|
60
|
+
const typeString = this.type.getString(), variableDeclarationString = this.getString(); ///
|
|
61
|
+
context.trace(`Verifying the '${variableDeclarationString}' variable declaration's '${typeString}' type...`);
|
|
62
|
+
const nominalTypeName = this.type.getNominalTypeName(), type = context.findTypeByNominalTypeName(nominalTypeName), typePresent = type !== null;
|
|
63
|
+
if (!typePresent) {
|
|
64
|
+
context.debug(`The '${typeString}' type is not present.`);
|
|
65
|
+
} else {
|
|
66
|
+
const typeComparesToProvisional = type.compareProvisional(this.provisional);
|
|
67
|
+
if (!typeComparesToProvisional) {
|
|
68
|
+
this.provisional ? context.debug(`The '${variableDeclarationString}' variable declaration's '${typeString}' type is present but not provisional.`) : context.debug(`The '${variableDeclarationString}' variable declaration's '${typeString}' type is present but provisional.`);
|
|
69
|
+
} else {
|
|
70
|
+
this.variable.setType(type);
|
|
71
|
+
typeVerifies = true;
|
|
345
72
|
}
|
|
346
73
|
}
|
|
347
|
-
|
|
348
|
-
|
|
349
|
-
}
|
|
74
|
+
if (typeVerifies) {
|
|
75
|
+
context.debug(`...verified the '${variableDeclarationString}' variable declaration's '${typeString}' type.`);
|
|
76
|
+
}
|
|
77
|
+
return typeVerifies;
|
|
78
|
+
}
|
|
79
|
+
verifyVariable() {
|
|
80
|
+
let variableVerifies = false;
|
|
81
|
+
const context = this.getContext(), variableString = this.variable.getString(), variableDeclarationString = this.getString(); ///
|
|
82
|
+
context.trace(`Verifying the '${variableDeclarationString}' variable declaration's '${variableString}' variable...`);
|
|
83
|
+
const variableIdentifier = this.variable.getIdentifier(), variablePresent = context.isVariablePresentByVariableIdentifier(variableIdentifier);
|
|
84
|
+
if (variablePresent) {
|
|
85
|
+
context.debug(`The '${variableString}' variable is already present.`);
|
|
86
|
+
} else {
|
|
87
|
+
variableVerifies = true;
|
|
88
|
+
}
|
|
89
|
+
if (variableVerifies) {
|
|
90
|
+
context.debug(`...verified the '${variableDeclarationString}' variable declaration's '${variableString}' variable.`);
|
|
91
|
+
}
|
|
92
|
+
return variableVerifies;
|
|
93
|
+
}
|
|
94
|
+
static name = "VariableDeclaration";
|
|
95
|
+
});
|
|
350
96
|
|
|
351
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
97
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9lbGVtZW50L2RlY2xhcmF0aW9uL3ZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgRGVjbGFyYXRpb24gZnJvbSBcIi4uL2RlY2xhcmF0aW9uXCI7XG5cbmltcG9ydCB7IGRlZmluZSB9IGZyb20gXCIuLi8uLi9lbGVtZW50c1wiO1xuXG5leHBvcnQgZGVmYXVsdCBkZWZpbmUoY2xhc3MgVmFyaWFibGVEZWNsYXJhdGlvbiBleHRlbmRzIERlY2xhcmF0aW9uIHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgc3RyaW5nLCBub2RlLCB0eXBlLCB2YXJpYWJsZSwgcHJvdmlzaW9uYWwpIHtcbiAgICBzdXBlcihjb250ZXh0LCBzdHJpbmcsIG5vZGUpO1xuXG4gICAgdGhpcy50eXBlID0gdHlwZTtcbiAgICB0aGlzLnZhcmlhYmxlID0gdmFyaWFibGU7XG4gICAgdGhpcy5wcm92aXNpb25hbCA9IHByb3Zpc2lvbmFsO1xuICB9XG5cbiAgZ2V0VHlwZSgpIHtcbiAgICByZXR1cm4gdGhpcy50eXBlO1xuICB9XG5cbiAgZ2V0VmFyaWFibGUoKSB7XG4gICAgcmV0dXJuIHRoaXMudmFyaWFibGU7XG4gIH1cblxuICBpc1Byb3Zpc2lvbmFsKCkge1xuICAgIHJldHVybiB0aGlzLnByb3Zpc2lvbmFsO1xuICB9XG5cbiAgZ2V0VmFyaWFibGVEZWNsYXJhdGlvbk5vZGUoKSB7XG4gICAgY29uc3Qgbm9kZSA9IHRoaXMuZ2V0Tm9kZSgpLFxuICAgICAgICAgIHR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUgPSBub2RlOyAvLy9cblxuICAgIHJldHVybiB0eXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlO1xuICB9XG5cbiAgYXN5bmMgdmVyaWZ5KCkge1xuICAgIGxldCB2ZXJpZmllcyA9IGZhbHNlO1xuXG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpO1xuXG4gICAgYXdhaXQgdGhpcy5icmVhayhjb250ZXh0KTtcblxuICAgIGNvbnN0IHZhcmlhYmxlRGVjbGFyYXRpb25TdHJpbmcgPSB0aGlzLmdldFN0cmluZygpOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7dmFyaWFibGVEZWNsYXJhdGlvblN0cmluZ30nIHZhcmlhYmxlIGRlY2xhcmF0aW9uLi4uYCk7XG5cbiAgICBjb25zdCB0eXBlVmVyaWZpZXMgPSB0aGlzLnZlcmlmeVR5cGUoKTtcblxuICAgIGlmICh0eXBlVmVyaWZpZXMpIHtcbiAgICAgIGNvbnN0IHZhcmlhYmxlVmVyaWZpZXMgPSB0aGlzLnZlcmlmeVZhcmlhYmxlKCk7XG5cbiAgICAgIGlmICh2YXJpYWJsZVZlcmlmaWVzKSB7XG4gICAgICAgIGNvbnRleHQuYWRkVmFyaWFibGUodGhpcy52YXJpYWJsZSk7XG5cbiAgICAgICAgdmVyaWZpZXMgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cblxuICAgIGlmICh2ZXJpZmllcykge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3ZhcmlhYmxlRGVjbGFyYXRpb25TdHJpbmd9JyB2YXJpYWJsZSBkZWNsYXJhdGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZXM7XG4gIH1cblxuICB2ZXJpZnlUeXBlKCkge1xuICAgIGxldCB0eXBlVmVyaWZpZXMgPSBmYWxzZTtcblxuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKTtcblxuICAgIGNvbnN0IHR5cGVTdHJpbmcgPSB0aGlzLnR5cGUuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgdmFyaWFibGVEZWNsYXJhdGlvblN0cmluZyA9IHRoaXMuZ2V0U3RyaW5nKCk7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHt2YXJpYWJsZURlY2xhcmF0aW9uU3RyaW5nfScgdmFyaWFibGUgZGVjbGFyYXRpb24ncyAnJHt0eXBlU3RyaW5nfScgdHlwZS4uLmApO1xuXG4gICAgY29uc3Qgbm9taW5hbFR5cGVOYW1lID0gdGhpcy50eXBlLmdldE5vbWluYWxUeXBlTmFtZSgpLFxuICAgICAgICAgIHR5cGUgPSBjb250ZXh0LmZpbmRUeXBlQnlOb21pbmFsVHlwZU5hbWUobm9taW5hbFR5cGVOYW1lKSxcbiAgICAgICAgICB0eXBlUHJlc2VudCA9ICh0eXBlICE9PSBudWxsKVxuXG4gICAgaWYgKCF0eXBlUHJlc2VudCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgVGhlICcke3R5cGVTdHJpbmd9JyB0eXBlIGlzIG5vdCBwcmVzZW50LmApO1xuICAgIH0gZWxzZSB7XG4gICAgICBjb25zdCB0eXBlQ29tcGFyZXNUb1Byb3Zpc2lvbmFsID0gdHlwZS5jb21wYXJlUHJvdmlzaW9uYWwodGhpcy5wcm92aXNpb25hbCk7XG5cbiAgICAgIGlmICghdHlwZUNvbXBhcmVzVG9Qcm92aXNpb25hbCkge1xuICAgICAgICB0aGlzLnByb3Zpc2lvbmFsID9cbiAgICAgICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7dmFyaWFibGVEZWNsYXJhdGlvblN0cmluZ30nIHZhcmlhYmxlIGRlY2xhcmF0aW9uJ3MgJyR7dHlwZVN0cmluZ30nIHR5cGUgaXMgcHJlc2VudCBidXQgbm90IHByb3Zpc2lvbmFsLmApIDpcbiAgICAgICAgICAgIGNvbnRleHQuZGVidWcoYFRoZSAnJHt2YXJpYWJsZURlY2xhcmF0aW9uU3RyaW5nfScgdmFyaWFibGUgZGVjbGFyYXRpb24ncyAnJHt0eXBlU3RyaW5nfScgdHlwZSBpcyBwcmVzZW50IGJ1dCBwcm92aXNpb25hbC5gKTtcbiAgICAgIH0gZWxzZSB7XG4gICAgICAgIHRoaXMudmFyaWFibGUuc2V0VHlwZSh0eXBlKTtcblxuICAgICAgICB0eXBlVmVyaWZpZXMgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cblxuICAgIGlmICh0eXBlVmVyaWZpZXMpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHt2YXJpYWJsZURlY2xhcmF0aW9uU3RyaW5nfScgdmFyaWFibGUgZGVjbGFyYXRpb24ncyAnJHt0eXBlU3RyaW5nfScgdHlwZS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdHlwZVZlcmlmaWVzO1xuICB9XG5cbiAgdmVyaWZ5VmFyaWFibGUoKSB7XG4gICAgbGV0ICB2YXJpYWJsZVZlcmlmaWVzID0gZmFsc2U7XG5cbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCksXG4gICAgICAgICAgdmFyaWFibGVTdHJpbmcgPSB0aGlzLnZhcmlhYmxlLmdldFN0cmluZygpLFxuICAgICAgICAgIHZhcmlhYmxlRGVjbGFyYXRpb25TdHJpbmcgPSB0aGlzLmdldFN0cmluZygpOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7dmFyaWFibGVEZWNsYXJhdGlvblN0cmluZ30nIHZhcmlhYmxlIGRlY2xhcmF0aW9uJ3MgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZS4uLmApO1xuXG4gICAgY29uc3QgdmFyaWFibGVJZGVudGlmaWVyID0gdGhpcy52YXJpYWJsZS5nZXRJZGVudGlmaWVyKCksXG4gICAgICAgICAgdmFyaWFibGVQcmVzZW50ID0gY29udGV4dC5pc1ZhcmlhYmxlUHJlc2VudEJ5VmFyaWFibGVJZGVudGlmaWVyKHZhcmlhYmxlSWRlbnRpZmllcik7XG5cbiAgICBpZiAodmFyaWFibGVQcmVzZW50KSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZSBpcyBhbHJlYWR5IHByZXNlbnQuYCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIHZhcmlhYmxlVmVyaWZpZXMgPSB0cnVlO1xuICAgIH1cblxuICAgIGlmICh2YXJpYWJsZVZlcmlmaWVzKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7dmFyaWFibGVEZWNsYXJhdGlvblN0cmluZ30nIHZhcmlhYmxlIGRlY2xhcmF0aW9uJ3MgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmFyaWFibGVWZXJpZmllcztcbiAgfVxuXG4gIHN0YXRpYyBuYW1lID0gXCJWYXJpYWJsZURlY2xhcmF0aW9uXCI7XG59KTtcbiJdLCJuYW1lcyI6WyJkZWZpbmUiLCJWYXJpYWJsZURlY2xhcmF0aW9uIiwiRGVjbGFyYXRpb24iLCJjb250ZXh0Iiwic3RyaW5nIiwibm9kZSIsInR5cGUiLCJ2YXJpYWJsZSIsInByb3Zpc2lvbmFsIiwiZ2V0VHlwZSIsImdldFZhcmlhYmxlIiwiaXNQcm92aXNpb25hbCIsImdldFZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiZ2V0Tm9kZSIsInR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUiLCJ2ZXJpZnkiLCJ2ZXJpZmllcyIsImdldENvbnRleHQiLCJicmVhayIsInZhcmlhYmxlRGVjbGFyYXRpb25TdHJpbmciLCJnZXRTdHJpbmciLCJ0cmFjZSIsInR5cGVWZXJpZmllcyIsInZlcmlmeVR5cGUiLCJ2YXJpYWJsZVZlcmlmaWVzIiwidmVyaWZ5VmFyaWFibGUiLCJhZGRWYXJpYWJsZSIsImRlYnVnIiwidHlwZVN0cmluZyIsIm5vbWluYWxUeXBlTmFtZSIsImdldE5vbWluYWxUeXBlTmFtZSIsImZpbmRUeXBlQnlOb21pbmFsVHlwZU5hbWUiLCJ0eXBlUHJlc2VudCIsInR5cGVDb21wYXJlc1RvUHJvdmlzaW9uYWwiLCJjb21wYXJlUHJvdmlzaW9uYWwiLCJzZXRUeXBlIiwidmFyaWFibGVTdHJpbmciLCJ2YXJpYWJsZUlkZW50aWZpZXIiLCJnZXRJZGVudGlmaWVyIiwidmFyaWFibGVQcmVzZW50IiwiaXNWYXJpYWJsZVByZXNlbnRCeVZhcmlhYmxlSWRlbnRpZmllciIsIm5hbWUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBQTs7O29FQUp3QjswQkFFRDs7Ozs7O01BRXZCLFdBQWVBLElBQUFBLGdCQUFNLEVBQUMsTUFBTUMsNEJBQTRCQyxvQkFBVztJQUNqRSxZQUFZQyxPQUFPLEVBQUVDLE1BQU0sRUFBRUMsSUFBSSxFQUFFQyxJQUFJLEVBQUVDLFFBQVEsRUFBRUMsV0FBVyxDQUFFO1FBQzlELEtBQUssQ0FBQ0wsU0FBU0MsUUFBUUM7UUFFdkIsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxRQUFRLEdBQUdBO1FBQ2hCLElBQUksQ0FBQ0MsV0FBVyxHQUFHQTtJQUNyQjtJQUVBQyxVQUFVO1FBQ1IsT0FBTyxJQUFJLENBQUNILElBQUk7SUFDbEI7SUFFQUksY0FBYztRQUNaLE9BQU8sSUFBSSxDQUFDSCxRQUFRO0lBQ3RCO0lBRUFJLGdCQUFnQjtRQUNkLE9BQU8sSUFBSSxDQUFDSCxXQUFXO0lBQ3pCO0lBRUFJLDZCQUE2QjtRQUMzQixNQUFNUCxPQUFPLElBQUksQ0FBQ1EsT0FBTyxJQUNuQkMsNEJBQTRCVCxNQUFNLEdBQUc7UUFFM0MsT0FBT1M7SUFDVDtJQUVBLE1BQU1DLFNBQVM7UUFDYixJQUFJQyxXQUFXO1FBRWYsTUFBTWIsVUFBVSxJQUFJLENBQUNjLFVBQVU7UUFFL0IsTUFBTSxJQUFJLENBQUNDLEtBQUssQ0FBQ2Y7UUFFakIsTUFBTWdCLDRCQUE0QixJQUFJLENBQUNDLFNBQVMsSUFBSSxHQUFHO1FBRXZEakIsUUFBUWtCLEtBQUssQ0FBQyxDQUFDLGVBQWUsRUFBRUYsMEJBQTBCLHlCQUF5QixDQUFDO1FBRXBGLE1BQU1HLGVBQWUsSUFBSSxDQUFDQyxVQUFVO1FBRXBDLElBQUlELGNBQWM7WUFDaEIsTUFBTUUsbUJBQW1CLElBQUksQ0FBQ0MsY0FBYztZQUU1QyxJQUFJRCxrQkFBa0I7Z0JBQ3BCckIsUUFBUXVCLFdBQVcsQ0FBQyxJQUFJLENBQUNuQixRQUFRO2dCQUVqQ1MsV0FBVztZQUNiO1FBQ0Y7UUFFQSxJQUFJQSxVQUFVO1lBQ1piLFFBQVF3QixLQUFLLENBQUMsQ0FBQyxpQkFBaUIsRUFBRVIsMEJBQTBCLHVCQUF1QixDQUFDO1FBQ3RGO1FBRUEsT0FBT0g7SUFDVDtJQUVBTyxhQUFhO1FBQ1gsSUFBSUQsZUFBZTtRQUVuQixNQUFNbkIsVUFBVSxJQUFJLENBQUNjLFVBQVU7UUFFL0IsTUFBTVcsYUFBYSxJQUFJLENBQUN0QixJQUFJLENBQUNjLFNBQVMsSUFDaENELDRCQUE0QixJQUFJLENBQUNDLFNBQVMsSUFBSSxHQUFHO1FBRXZEakIsUUFBUWtCLEtBQUssQ0FBQyxDQUFDLGVBQWUsRUFBRUYsMEJBQTBCLDBCQUEwQixFQUFFUyxXQUFXLFNBQVMsQ0FBQztRQUUzRyxNQUFNQyxrQkFBa0IsSUFBSSxDQUFDdkIsSUFBSSxDQUFDd0Isa0JBQWtCLElBQzlDeEIsT0FBT0gsUUFBUTRCLHlCQUF5QixDQUFDRixrQkFDekNHLGNBQWUxQixTQUFTO1FBRTlCLElBQUksQ0FBQzBCLGFBQWE7WUFDaEI3QixRQUFRd0IsS0FBSyxDQUFDLENBQUMsS0FBSyxFQUFFQyxXQUFXLHNCQUFzQixDQUFDO1FBQzFELE9BQU87WUFDTCxNQUFNSyw0QkFBNEIzQixLQUFLNEIsa0JBQWtCLENBQUMsSUFBSSxDQUFDMUIsV0FBVztZQUUxRSxJQUFJLENBQUN5QiwyQkFBMkI7Z0JBQzlCLElBQUksQ0FBQ3pCLFdBQVcsR0FDZEwsUUFBUXdCLEtBQUssQ0FBQyxDQUFDLEtBQUssRUFBRVIsMEJBQTBCLDBCQUEwQixFQUFFUyxXQUFXLHNDQUFzQyxDQUFDLElBQzVIekIsUUFBUXdCLEtBQUssQ0FBQyxDQUFDLEtBQUssRUFBRVIsMEJBQTBCLDBCQUEwQixFQUFFUyxXQUFXLGtDQUFrQyxDQUFDO1lBQ2hJLE9BQU87Z0JBQ0wsSUFBSSxDQUFDckIsUUFBUSxDQUFDNEIsT0FBTyxDQUFDN0I7Z0JBRXRCZ0IsZUFBZTtZQUNqQjtRQUNGO1FBRUEsSUFBSUEsY0FBYztZQUNoQm5CLFFBQVF3QixLQUFLLENBQUMsQ0FBQyxpQkFBaUIsRUFBRVIsMEJBQTBCLDBCQUEwQixFQUFFUyxXQUFXLE9BQU8sQ0FBQztRQUM3RztRQUVBLE9BQU9OO0lBQ1Q7SUFFQUcsaUJBQWlCO1FBQ2YsSUFBS0QsbUJBQW1CO1FBRXhCLE1BQU1yQixVQUFVLElBQUksQ0FBQ2MsVUFBVSxJQUN6Qm1CLGlCQUFpQixJQUFJLENBQUM3QixRQUFRLENBQUNhLFNBQVMsSUFDeENELDRCQUE0QixJQUFJLENBQUNDLFNBQVMsSUFBSSxHQUFHO1FBRXZEakIsUUFBUWtCLEtBQUssQ0FBQyxDQUFDLGVBQWUsRUFBRUYsMEJBQTBCLDBCQUEwQixFQUFFaUIsZUFBZSxhQUFhLENBQUM7UUFFbkgsTUFBTUMscUJBQXFCLElBQUksQ0FBQzlCLFFBQVEsQ0FBQytCLGFBQWEsSUFDaERDLGtCQUFrQnBDLFFBQVFxQyxxQ0FBcUMsQ0FBQ0g7UUFFdEUsSUFBSUUsaUJBQWlCO1lBQ25CcEMsUUFBUXdCLEtBQUssQ0FBQyxDQUFDLEtBQUssRUFBRVMsZUFBZSw4QkFBOEIsQ0FBQztRQUN0RSxPQUFPO1lBQ0xaLG1CQUFtQjtRQUNyQjtRQUVBLElBQUlBLGtCQUFrQjtZQUNwQnJCLFFBQVF3QixLQUFLLENBQUMsQ0FBQyxpQkFBaUIsRUFBRVIsMEJBQTBCLDBCQUEwQixFQUFFaUIsZUFBZSxXQUFXLENBQUM7UUFDckg7UUFFQSxPQUFPWjtJQUNUO0lBRUEsT0FBT2lCLE9BQU8sc0JBQXNCO0FBQ3RDIn0=
|
|
@@ -8,119 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return Declaration;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
if (self === void 0) {
|
|
14
|
-
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
-
}
|
|
16
|
-
return self;
|
|
17
|
-
}
|
|
18
|
-
function _call_super(_this, derived, args) {
|
|
19
|
-
derived = _get_prototype_of(derived);
|
|
20
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
-
}
|
|
22
|
-
function _class_call_check(instance, Constructor) {
|
|
23
|
-
if (!(instance instanceof Constructor)) {
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
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
|
-
function _get_prototype_of(o) {
|
|
45
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
47
|
-
};
|
|
48
|
-
return _get_prototype_of(o);
|
|
49
|
-
}
|
|
50
|
-
function _inherits(subClass, superClass) {
|
|
51
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
52
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
53
|
-
}
|
|
54
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
55
|
-
constructor: {
|
|
56
|
-
value: subClass,
|
|
57
|
-
writable: true,
|
|
58
|
-
configurable: true
|
|
59
|
-
}
|
|
60
|
-
});
|
|
61
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
class Declaration extends _occamlanguages.Element {
|
|
62
13
|
}
|
|
63
|
-
function _is_native_function(fn) {
|
|
64
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
65
|
-
}
|
|
66
|
-
function _possible_constructor_return(self, call) {
|
|
67
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
68
|
-
return call;
|
|
69
|
-
}
|
|
70
|
-
return _assert_this_initialized(self);
|
|
71
|
-
}
|
|
72
|
-
function _set_prototype_of(o, p) {
|
|
73
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
74
|
-
o.__proto__ = p;
|
|
75
|
-
return o;
|
|
76
|
-
};
|
|
77
|
-
return _set_prototype_of(o, p);
|
|
78
|
-
}
|
|
79
|
-
function _type_of(obj) {
|
|
80
|
-
"@swc/helpers - typeof";
|
|
81
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
82
|
-
}
|
|
83
|
-
function _wrap_native_super(Class) {
|
|
84
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
85
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
86
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
87
|
-
if (typeof Class !== "function") {
|
|
88
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
89
|
-
}
|
|
90
|
-
if (typeof _cache !== "undefined") {
|
|
91
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
92
|
-
_cache.set(Class, Wrapper);
|
|
93
|
-
}
|
|
94
|
-
function Wrapper() {
|
|
95
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
96
|
-
}
|
|
97
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
98
|
-
constructor: {
|
|
99
|
-
value: Wrapper,
|
|
100
|
-
enumerable: false,
|
|
101
|
-
writable: true,
|
|
102
|
-
configurable: true
|
|
103
|
-
}
|
|
104
|
-
});
|
|
105
|
-
return _set_prototype_of(Wrapper, Class);
|
|
106
|
-
};
|
|
107
|
-
return _wrap_native_super(Class);
|
|
108
|
-
}
|
|
109
|
-
function _is_native_reflect_construct() {
|
|
110
|
-
try {
|
|
111
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
112
|
-
} catch (_) {}
|
|
113
|
-
return (_is_native_reflect_construct = function() {
|
|
114
|
-
return !!result;
|
|
115
|
-
})();
|
|
116
|
-
}
|
|
117
|
-
var Declaration = /*#__PURE__*/ function(Element) {
|
|
118
|
-
_inherits(Declaration, Element);
|
|
119
|
-
function Declaration() {
|
|
120
|
-
_class_call_check(this, Declaration);
|
|
121
|
-
return _call_super(this, Declaration, arguments);
|
|
122
|
-
}
|
|
123
|
-
return Declaration;
|
|
124
|
-
}(_wrap_native_super(_occamlanguages.Element));
|
|
125
14
|
|
|
126
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
15
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbGVtZW50L2RlY2xhcmF0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBFbGVtZW50IH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBEZWNsYXJhdGlvbiBleHRlbmRzIEVsZW1lbnQge1xuICAvLy9cbn1cbiJdLCJuYW1lcyI6WyJEZWNsYXJhdGlvbiIsIkVsZW1lbnQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0NBRkc7QUFFVCxNQUFNQSxvQkFBb0JDLHVCQUFPO0FBRWhEIn0=
|