occam-verify-cli 1.0.662 → 1.0.664
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 +1 -1
package/lib/element/label.js
CHANGED
|
@@ -8,255 +8,81 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
const _elements = require("../elements");
|
|
13
|
+
const _context = require("../utilities/context");
|
|
14
|
+
const _instantiate = require("../process/instantiate");
|
|
15
|
+
const _json = require("../utilities/json");
|
|
16
|
+
const _element = require("../utilities/element");
|
|
17
|
+
const _default = (0, _elements.define)(class Label extends _occamlanguages.Element {
|
|
18
|
+
constructor(context, string, node, metavariable){
|
|
19
|
+
super(context, string, node);
|
|
20
|
+
this.metavariable = metavariable;
|
|
20
21
|
}
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
function _call_super(_this, derived, args) {
|
|
24
|
-
derived = _get_prototype_of(derived);
|
|
25
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
26
|
-
}
|
|
27
|
-
function _class_call_check(instance, Constructor) {
|
|
28
|
-
if (!(instance instanceof Constructor)) {
|
|
29
|
-
throw new TypeError("Cannot call a class as a function");
|
|
22
|
+
getMetavariable() {
|
|
23
|
+
return this.metavariable;
|
|
30
24
|
}
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
_construct = Reflect.construct;
|
|
35
|
-
} else {
|
|
36
|
-
_construct = function construct(Parent, args, Class) {
|
|
37
|
-
var a = [
|
|
38
|
-
null
|
|
39
|
-
];
|
|
40
|
-
a.push.apply(a, args);
|
|
41
|
-
var Constructor = Function.bind.apply(Parent, a);
|
|
42
|
-
var instance = new Constructor();
|
|
43
|
-
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
44
|
-
return instance;
|
|
45
|
-
};
|
|
25
|
+
getLabelNode() {
|
|
26
|
+
const node = this.getNode(), labelNode = node; ///
|
|
27
|
+
return labelNode;
|
|
46
28
|
}
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
function _defineProperties(target, props) {
|
|
50
|
-
for(var i = 0; i < props.length; i++){
|
|
51
|
-
var descriptor = props[i];
|
|
52
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
53
|
-
descriptor.configurable = true;
|
|
54
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
55
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
29
|
+
getMetavariableName() {
|
|
30
|
+
return this.metavariable.getName();
|
|
56
31
|
}
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
60
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
61
|
-
return Constructor;
|
|
62
|
-
}
|
|
63
|
-
function _define_property(obj, key, value) {
|
|
64
|
-
if (key in obj) {
|
|
65
|
-
Object.defineProperty(obj, key, {
|
|
66
|
-
value: value,
|
|
67
|
-
enumerable: true,
|
|
68
|
-
configurable: true,
|
|
69
|
-
writable: true
|
|
70
|
-
});
|
|
71
|
-
} else {
|
|
72
|
-
obj[key] = value;
|
|
32
|
+
getMetavariableNode() {
|
|
33
|
+
return this.metavariable.getNode();
|
|
73
34
|
}
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
function _get_prototype_of(o) {
|
|
77
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
78
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
79
|
-
};
|
|
80
|
-
return _get_prototype_of(o);
|
|
81
|
-
}
|
|
82
|
-
function _inherits(subClass, superClass) {
|
|
83
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
84
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
35
|
+
compareMetavariable(metavariable) {
|
|
36
|
+
return this.metavariable.compare(metavariable);
|
|
85
37
|
}
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
value: subClass,
|
|
89
|
-
writable: true,
|
|
90
|
-
configurable: true
|
|
91
|
-
}
|
|
92
|
-
});
|
|
93
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
94
|
-
}
|
|
95
|
-
function _is_native_function(fn) {
|
|
96
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
97
|
-
}
|
|
98
|
-
function _possible_constructor_return(self, call) {
|
|
99
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
100
|
-
return call;
|
|
38
|
+
compareMetavariableName(metavariableName) {
|
|
39
|
+
return this.metavariable.compareMetavariableName(metavariableName);
|
|
101
40
|
}
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
}
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
118
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
119
|
-
if (typeof Class !== "function") {
|
|
120
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
41
|
+
compareReference(reference) {
|
|
42
|
+
const metavariable = reference.getMetavariable(), metavariableComparesToMetavariable = this.compareMetavariable(metavariable), comparesToReference = metavariableComparesToMetavariable; ///
|
|
43
|
+
return comparesToReference;
|
|
44
|
+
}
|
|
45
|
+
verify(nameOnly) {
|
|
46
|
+
let verifies = false;
|
|
47
|
+
const context = this.getContext(), labelString = this.getString(); ///
|
|
48
|
+
context.trace(`Verifying the '${labelString}' label...`);
|
|
49
|
+
let labelPresent;
|
|
50
|
+
if (nameOnly) {
|
|
51
|
+
const metavariableName = this.getMetavariableName();
|
|
52
|
+
labelPresent = context.isLabelPresentByMetavariableName(metavariableName);
|
|
53
|
+
} else {
|
|
54
|
+
const metavariable = this.getMetavariable();
|
|
55
|
+
labelPresent = context.isLabelPresentByMetavariable(metavariable);
|
|
121
56
|
}
|
|
122
|
-
if (
|
|
123
|
-
|
|
124
|
-
|
|
57
|
+
if (labelPresent) {
|
|
58
|
+
context.debug(`The '${labelString}' label is already present.`);
|
|
59
|
+
} else {
|
|
60
|
+
verifies = true;
|
|
125
61
|
}
|
|
126
|
-
|
|
127
|
-
|
|
62
|
+
if (verifies) {
|
|
63
|
+
context.debug(`...verified the '${labelString}' label.`);
|
|
128
64
|
}
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
|
|
133
|
-
writable: true,
|
|
134
|
-
configurable: true
|
|
135
|
-
}
|
|
136
|
-
});
|
|
137
|
-
return _set_prototype_of(Wrapper, Class);
|
|
138
|
-
};
|
|
139
|
-
return _wrap_native_super(Class);
|
|
140
|
-
}
|
|
141
|
-
function _is_native_reflect_construct() {
|
|
142
|
-
try {
|
|
143
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
144
|
-
} catch (_) {}
|
|
145
|
-
return (_is_native_reflect_construct = function() {
|
|
146
|
-
return !!result;
|
|
147
|
-
})();
|
|
148
|
-
}
|
|
149
|
-
var _Label;
|
|
150
|
-
var _default = (0, _elements.define)((_Label = /*#__PURE__*/ function(Element) {
|
|
151
|
-
_inherits(Label, Element);
|
|
152
|
-
function Label(context, string, node, metavariable) {
|
|
153
|
-
_class_call_check(this, Label);
|
|
154
|
-
var _this;
|
|
155
|
-
_this = _call_super(this, Label, [
|
|
156
|
-
context,
|
|
65
|
+
return verifies;
|
|
66
|
+
}
|
|
67
|
+
toJSON() {
|
|
68
|
+
const metavariableJSON = (0, _json.metavariableToMetavariableJSON)(this.metavariable), metavariable = metavariableJSON, string = this.getString(), json = {
|
|
157
69
|
string,
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
return _this;
|
|
70
|
+
metavariable
|
|
71
|
+
};
|
|
72
|
+
return json;
|
|
162
73
|
}
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
|
|
172
|
-
value: function getLabelNode() {
|
|
173
|
-
var node = this.getNode(), labelNode = node; ///
|
|
174
|
-
return labelNode;
|
|
175
|
-
}
|
|
176
|
-
},
|
|
177
|
-
{
|
|
178
|
-
key: "getMetavariableName",
|
|
179
|
-
value: function getMetavariableName() {
|
|
180
|
-
return this.metavariable.getName();
|
|
181
|
-
}
|
|
182
|
-
},
|
|
183
|
-
{
|
|
184
|
-
key: "getMetavariableNode",
|
|
185
|
-
value: function getMetavariableNode() {
|
|
186
|
-
return this.metavariable.getNode();
|
|
187
|
-
}
|
|
188
|
-
},
|
|
189
|
-
{
|
|
190
|
-
key: "compareMetavariable",
|
|
191
|
-
value: function compareMetavariable(metavariable) {
|
|
192
|
-
return this.metavariable.compare(metavariable);
|
|
193
|
-
}
|
|
194
|
-
},
|
|
195
|
-
{
|
|
196
|
-
key: "compareMetavariableName",
|
|
197
|
-
value: function compareMetavariableName(metavariableName) {
|
|
198
|
-
return this.metavariable.compareMetavariableName(metavariableName);
|
|
199
|
-
}
|
|
200
|
-
},
|
|
201
|
-
{
|
|
202
|
-
key: "compareReference",
|
|
203
|
-
value: function compareReference(reference) {
|
|
204
|
-
var metavariable = reference.getMetavariable(), metavariableComparesToMetavariable = this.compareMetavariable(metavariable), comparesToReference = metavariableComparesToMetavariable; ///
|
|
205
|
-
return comparesToReference;
|
|
206
|
-
}
|
|
207
|
-
},
|
|
208
|
-
{
|
|
209
|
-
key: "verify",
|
|
210
|
-
value: function verify(nameOnly) {
|
|
211
|
-
var verifies = false;
|
|
212
|
-
var context = this.getContext(), labelString = this.getString(); ///
|
|
213
|
-
context.trace("Verifying the '".concat(labelString, "' label..."));
|
|
214
|
-
var labelPresent;
|
|
215
|
-
if (nameOnly) {
|
|
216
|
-
var metavariableName = this.getMetavariableName();
|
|
217
|
-
labelPresent = context.isLabelPresentByMetavariableName(metavariableName);
|
|
218
|
-
} else {
|
|
219
|
-
var metavariable = this.getMetavariable();
|
|
220
|
-
labelPresent = context.isLabelPresentByMetavariable(metavariable);
|
|
221
|
-
}
|
|
222
|
-
if (labelPresent) {
|
|
223
|
-
context.debug("The '".concat(labelString, "' label is already present."));
|
|
224
|
-
} else {
|
|
225
|
-
verifies = true;
|
|
226
|
-
}
|
|
227
|
-
if (verifies) {
|
|
228
|
-
context.debug("...verified the '".concat(labelString, "' label."));
|
|
229
|
-
}
|
|
230
|
-
return verifies;
|
|
231
|
-
}
|
|
232
|
-
},
|
|
233
|
-
{
|
|
234
|
-
key: "toJSON",
|
|
235
|
-
value: function toJSON() {
|
|
236
|
-
var metavariableJSON = (0, _json.metavariableToMetavariableJSON)(this.metavariable), metavariable = metavariableJSON, string = this.getString(), json = {
|
|
237
|
-
string: string,
|
|
238
|
-
metavariable: metavariable
|
|
239
|
-
};
|
|
240
|
-
return json;
|
|
241
|
-
}
|
|
242
|
-
}
|
|
243
|
-
], [
|
|
244
|
-
{
|
|
245
|
-
key: "fromJSON",
|
|
246
|
-
value: function fromJSON(json, context) {
|
|
247
|
-
var label = (0, _context.literally)(function(context) {
|
|
248
|
-
var string = json.string, labelNode = (0, _instantiate.instantiateLabel)(string, context), metavariable = metavariableFromLabelNode(labelNode, context), node = labelNode, label = new Label(context, string, node, metavariable);
|
|
249
|
-
return label;
|
|
250
|
-
}, context);
|
|
251
|
-
return label;
|
|
252
|
-
}
|
|
253
|
-
}
|
|
254
|
-
]);
|
|
255
|
-
return Label;
|
|
256
|
-
}(_wrap_native_super(_occamlanguages.Element)), _define_property(_Label, "name", "Label"), _Label));
|
|
74
|
+
static name = "Label";
|
|
75
|
+
static fromJSON(json, context) {
|
|
76
|
+
const label = (0, _context.literally)((context)=>{
|
|
77
|
+
const { string } = json, labelNode = (0, _instantiate.instantiateLabel)(string, context), metavariable = metavariableFromLabelNode(labelNode, context), node = labelNode, label = new Label(context, string, node, metavariable);
|
|
78
|
+
return label;
|
|
79
|
+
}, context);
|
|
80
|
+
return label;
|
|
81
|
+
}
|
|
82
|
+
});
|
|
257
83
|
function metavariableFromLabelNode(labelNode, context) {
|
|
258
|
-
|
|
84
|
+
const metavariableNode = labelNode.getMetavariableNode(), metavariable = (0, _element.metavariableFromMetavariableNode)(metavariableNode, context);
|
|
259
85
|
return metavariable;
|
|
260
86
|
}
|
|
261
87
|
|
|
262
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
88
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbGVtZW50L2xhYmVsLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBFbGVtZW50IH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBkZWZpbmUgfSBmcm9tIFwiLi4vZWxlbWVudHNcIjtcbmltcG9ydCB7IGxpdGVyYWxseSB9IGZyb20gXCIuLi91dGlsaXRpZXMvY29udGV4dFwiO1xuaW1wb3J0IHsgaW5zdGFudGlhdGVMYWJlbCB9IGZyb20gXCIuLi9wcm9jZXNzL2luc3RhbnRpYXRlXCI7XG5pbXBvcnQgeyBtZXRhdmFyaWFibGVUb01ldGF2YXJpYWJsZUpTT04gfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2pzb25cIjtcbmltcG9ydCB7IG1ldGF2YXJpYWJsZUZyb21NZXRhdmFyaWFibGVOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGRlZmluZShjbGFzcyBMYWJlbCBleHRlbmRzIEVsZW1lbnQge1xuICBjb25zdHJ1Y3Rvcihjb250ZXh0LCBzdHJpbmcsIG5vZGUsIG1ldGF2YXJpYWJsZSkge1xuICAgIHN1cGVyKGNvbnRleHQsIHN0cmluZywgbm9kZSk7XG5cbiAgICB0aGlzLm1ldGF2YXJpYWJsZSA9IG1ldGF2YXJpYWJsZTtcbiAgfVxuXG4gIGdldE1ldGF2YXJpYWJsZSgpIHtcbiAgICByZXR1cm4gdGhpcy5tZXRhdmFyaWFibGU7XG4gIH1cblxuICBnZXRMYWJlbE5vZGUoKSB7XG4gICAgY29uc3Qgbm9kZSA9IHRoaXMuZ2V0Tm9kZSgpLFxuICAgICAgICAgIGxhYmVsTm9kZSA9IG5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIGxhYmVsTm9kZTtcbiAgfVxuXG4gIGdldE1ldGF2YXJpYWJsZU5hbWUoKSB7IHJldHVybiB0aGlzLm1ldGF2YXJpYWJsZS5nZXROYW1lKCk7IH1cblxuICBnZXRNZXRhdmFyaWFibGVOb2RlKCkgeyByZXR1cm4gdGhpcy5tZXRhdmFyaWFibGUuZ2V0Tm9kZSgpOyB9XG5cbiAgY29tcGFyZU1ldGF2YXJpYWJsZShtZXRhdmFyaWFibGUpIHsgcmV0dXJuIHRoaXMubWV0YXZhcmlhYmxlLmNvbXBhcmUobWV0YXZhcmlhYmxlKTsgfVxuXG4gIGNvbXBhcmVNZXRhdmFyaWFibGVOYW1lKG1ldGF2YXJpYWJsZU5hbWUpIHsgcmV0dXJuIHRoaXMubWV0YXZhcmlhYmxlLmNvbXBhcmVNZXRhdmFyaWFibGVOYW1lKG1ldGF2YXJpYWJsZU5hbWUpOyB9XG5cbiAgY29tcGFyZVJlZmVyZW5jZShyZWZlcmVuY2UpIHtcbiAgICBjb25zdCBtZXRhdmFyaWFibGUgPSByZWZlcmVuY2UuZ2V0TWV0YXZhcmlhYmxlKCksXG4gICAgICAgICAgbWV0YXZhcmlhYmxlQ29tcGFyZXNUb01ldGF2YXJpYWJsZSA9IHRoaXMuY29tcGFyZU1ldGF2YXJpYWJsZShtZXRhdmFyaWFibGUpLFxuICAgICAgICAgIGNvbXBhcmVzVG9SZWZlcmVuY2UgPSBtZXRhdmFyaWFibGVDb21wYXJlc1RvTWV0YXZhcmlhYmxlOyAvLy9cblxuICAgIHJldHVybiBjb21wYXJlc1RvUmVmZXJlbmNlO1xuICB9XG5cbiAgdmVyaWZ5KG5hbWVPbmx5KSB7XG4gICAgbGV0IHZlcmlmaWVzID0gZmFsc2U7XG5cbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCksXG4gICAgICAgICAgbGFiZWxTdHJpbmcgPSB0aGlzLmdldFN0cmluZygpOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7bGFiZWxTdHJpbmd9JyBsYWJlbC4uLmApO1xuXG4gICAgbGV0IGxhYmVsUHJlc2VudDtcblxuICAgIGlmIChuYW1lT25seSkge1xuICAgICAgY29uc3QgbWV0YXZhcmlhYmxlTmFtZSA9IHRoaXMuZ2V0TWV0YXZhcmlhYmxlTmFtZSgpO1xuXG4gICAgICBsYWJlbFByZXNlbnQgPSBjb250ZXh0LmlzTGFiZWxQcmVzZW50QnlNZXRhdmFyaWFibGVOYW1lKG1ldGF2YXJpYWJsZU5hbWUpO1xuICAgIH0gZWxzZSB7XG4gICAgICBjb25zdCBtZXRhdmFyaWFibGUgPSB0aGlzLmdldE1ldGF2YXJpYWJsZSgpO1xuXG4gICAgICBsYWJlbFByZXNlbnQgPSBjb250ZXh0LmlzTGFiZWxQcmVzZW50QnlNZXRhdmFyaWFibGUobWV0YXZhcmlhYmxlKTtcbiAgICB9XG5cbiAgICBpZiAobGFiZWxQcmVzZW50KSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7bGFiZWxTdHJpbmd9JyBsYWJlbCBpcyBhbHJlYWR5IHByZXNlbnQuYCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIHZlcmlmaWVzID0gdHJ1ZTtcbiAgICB9XG5cbiAgICBpZiAodmVyaWZpZXMpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtsYWJlbFN0cmluZ30nIGxhYmVsLmApO1xuICAgIH1cblxuICAgIHJldHVybiB2ZXJpZmllcztcbiAgfVxuXG4gIHRvSlNPTigpIHtcbiAgICBjb25zdCBtZXRhdmFyaWFibGVKU09OID0gbWV0YXZhcmlhYmxlVG9NZXRhdmFyaWFibGVKU09OKHRoaXMubWV0YXZhcmlhYmxlKSxcbiAgICAgICAgICBtZXRhdmFyaWFibGUgPSBtZXRhdmFyaWFibGVKU09OLCAgLy8vXG4gICAgICAgICAgc3RyaW5nID0gdGhpcy5nZXRTdHJpbmcoKSxcbiAgICAgICAgICBqc29uID0ge1xuICAgICAgICAgICAgc3RyaW5nLFxuICAgICAgICAgICAgbWV0YXZhcmlhYmxlXG4gICAgICAgICAgfTtcblxuICAgIHJldHVybiBqc29uO1xuICB9XG5cbiAgc3RhdGljIG5hbWUgPSBcIkxhYmVsXCI7XG5cbiAgc3RhdGljIGZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgICBjb25zdCBsYWJlbCA9IGxpdGVyYWxseSgoY29udGV4dCkgPT4ge1xuICAgICAgY29uc3QgeyBzdHJpbmcgfSA9IGpzb24sXG4gICAgICAgICAgICBsYWJlbE5vZGUgPSBpbnN0YW50aWF0ZUxhYmVsKHN0cmluZywgY29udGV4dCksXG4gICAgICAgICAgICBtZXRhdmFyaWFibGUgPSBtZXRhdmFyaWFibGVGcm9tTGFiZWxOb2RlKGxhYmVsTm9kZSwgY29udGV4dCksXG4gICAgICAgICAgICBub2RlID0gbGFiZWxOb2RlLCAvLy9cbiAgICAgICAgICAgIGxhYmVsID0gbmV3IExhYmVsKGNvbnRleHQsIHN0cmluZywgbm9kZSwgbWV0YXZhcmlhYmxlKTtcblxuICAgICAgcmV0dXJuIGxhYmVsO1xuICAgIH0sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIGxhYmVsO1xuICB9XG59KTtcblxuZnVuY3Rpb24gbWV0YXZhcmlhYmxlRnJvbUxhYmVsTm9kZShsYWJlbE5vZGUsIGNvbnRleHQpIHtcbiAgY29uc3QgbWV0YXZhcmlhYmxlTm9kZSA9IGxhYmVsTm9kZS5nZXRNZXRhdmFyaWFibGVOb2RlKCksXG4gICAgICAgIG1ldGF2YXJpYWJsZSA9IG1ldGF2YXJpYWJsZUZyb21NZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUsIGNvbnRleHQpO1xuXG4gIHJldHVybiBtZXRhdmFyaWFibGU7XG59XG4iXSwibmFtZXMiOlsiZGVmaW5lIiwiTGFiZWwiLCJFbGVtZW50IiwiY29udGV4dCIsInN0cmluZyIsIm5vZGUiLCJtZXRhdmFyaWFibGUiLCJnZXRNZXRhdmFyaWFibGUiLCJnZXRMYWJlbE5vZGUiLCJnZXROb2RlIiwibGFiZWxOb2RlIiwiZ2V0TWV0YXZhcmlhYmxlTmFtZSIsImdldE5hbWUiLCJnZXRNZXRhdmFyaWFibGVOb2RlIiwiY29tcGFyZU1ldGF2YXJpYWJsZSIsImNvbXBhcmUiLCJjb21wYXJlTWV0YXZhcmlhYmxlTmFtZSIsIm1ldGF2YXJpYWJsZU5hbWUiLCJjb21wYXJlUmVmZXJlbmNlIiwicmVmZXJlbmNlIiwibWV0YXZhcmlhYmxlQ29tcGFyZXNUb01ldGF2YXJpYWJsZSIsImNvbXBhcmVzVG9SZWZlcmVuY2UiLCJ2ZXJpZnkiLCJuYW1lT25seSIsInZlcmlmaWVzIiwiZ2V0Q29udGV4dCIsImxhYmVsU3RyaW5nIiwiZ2V0U3RyaW5nIiwidHJhY2UiLCJsYWJlbFByZXNlbnQiLCJpc0xhYmVsUHJlc2VudEJ5TWV0YXZhcmlhYmxlTmFtZSIsImlzTGFiZWxQcmVzZW50QnlNZXRhdmFyaWFibGUiLCJkZWJ1ZyIsInRvSlNPTiIsIm1ldGF2YXJpYWJsZUpTT04iLCJtZXRhdmFyaWFibGVUb01ldGF2YXJpYWJsZUpTT04iLCJqc29uIiwibmFtZSIsImZyb21KU09OIiwibGFiZWwiLCJsaXRlcmFsbHkiLCJpbnN0YW50aWF0ZUxhYmVsIiwibWV0YXZhcmlhYmxlRnJvbUxhYmVsTm9kZSIsIm1ldGF2YXJpYWJsZU5vZGUiLCJtZXRhdmFyaWFibGVGcm9tTWV0YXZhcmlhYmxlTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBVUE7OztlQUFBOzs7Z0NBUndCOzBCQUVEO3lCQUNHOzZCQUNPO3NCQUNjO3lCQUNFO01BRWpELFdBQWVBLElBQUFBLGdCQUFNLEVBQUMsTUFBTUMsY0FBY0MsdUJBQU87SUFDL0MsWUFBWUMsT0FBTyxFQUFFQyxNQUFNLEVBQUVDLElBQUksRUFBRUMsWUFBWSxDQUFFO1FBQy9DLEtBQUssQ0FBQ0gsU0FBU0MsUUFBUUM7UUFFdkIsSUFBSSxDQUFDQyxZQUFZLEdBQUdBO0lBQ3RCO0lBRUFDLGtCQUFrQjtRQUNoQixPQUFPLElBQUksQ0FBQ0QsWUFBWTtJQUMxQjtJQUVBRSxlQUFlO1FBQ2IsTUFBTUgsT0FBTyxJQUFJLENBQUNJLE9BQU8sSUFDbkJDLFlBQVlMLE1BQU0sR0FBRztRQUUzQixPQUFPSztJQUNUO0lBRUFDLHNCQUFzQjtRQUFFLE9BQU8sSUFBSSxDQUFDTCxZQUFZLENBQUNNLE9BQU87SUFBSTtJQUU1REMsc0JBQXNCO1FBQUUsT0FBTyxJQUFJLENBQUNQLFlBQVksQ0FBQ0csT0FBTztJQUFJO0lBRTVESyxvQkFBb0JSLFlBQVksRUFBRTtRQUFFLE9BQU8sSUFBSSxDQUFDQSxZQUFZLENBQUNTLE9BQU8sQ0FBQ1Q7SUFBZTtJQUVwRlUsd0JBQXdCQyxnQkFBZ0IsRUFBRTtRQUFFLE9BQU8sSUFBSSxDQUFDWCxZQUFZLENBQUNVLHVCQUF1QixDQUFDQztJQUFtQjtJQUVoSEMsaUJBQWlCQyxTQUFTLEVBQUU7UUFDMUIsTUFBTWIsZUFBZWEsVUFBVVosZUFBZSxJQUN4Q2EscUNBQXFDLElBQUksQ0FBQ04sbUJBQW1CLENBQUNSLGVBQzlEZSxzQkFBc0JELG9DQUFvQyxHQUFHO1FBRW5FLE9BQU9DO0lBQ1Q7SUFFQUMsT0FBT0MsUUFBUSxFQUFFO1FBQ2YsSUFBSUMsV0FBVztRQUVmLE1BQU1yQixVQUFVLElBQUksQ0FBQ3NCLFVBQVUsSUFDekJDLGNBQWMsSUFBSSxDQUFDQyxTQUFTLElBQUksR0FBRztRQUV6Q3hCLFFBQVF5QixLQUFLLENBQUMsQ0FBQyxlQUFlLEVBQUVGLFlBQVksVUFBVSxDQUFDO1FBRXZELElBQUlHO1FBRUosSUFBSU4sVUFBVTtZQUNaLE1BQU1OLG1CQUFtQixJQUFJLENBQUNOLG1CQUFtQjtZQUVqRGtCLGVBQWUxQixRQUFRMkIsZ0NBQWdDLENBQUNiO1FBQzFELE9BQU87WUFDTCxNQUFNWCxlQUFlLElBQUksQ0FBQ0MsZUFBZTtZQUV6Q3NCLGVBQWUxQixRQUFRNEIsNEJBQTRCLENBQUN6QjtRQUN0RDtRQUVBLElBQUl1QixjQUFjO1lBQ2hCMUIsUUFBUTZCLEtBQUssQ0FBQyxDQUFDLEtBQUssRUFBRU4sWUFBWSwyQkFBMkIsQ0FBQztRQUNoRSxPQUFPO1lBQ0xGLFdBQVc7UUFDYjtRQUVBLElBQUlBLFVBQVU7WUFDWnJCLFFBQVE2QixLQUFLLENBQUMsQ0FBQyxpQkFBaUIsRUFBRU4sWUFBWSxRQUFRLENBQUM7UUFDekQ7UUFFQSxPQUFPRjtJQUNUO0lBRUFTLFNBQVM7UUFDUCxNQUFNQyxtQkFBbUJDLElBQUFBLG9DQUE4QixFQUFDLElBQUksQ0FBQzdCLFlBQVksR0FDbkVBLGVBQWU0QixrQkFDZjlCLFNBQVMsSUFBSSxDQUFDdUIsU0FBUyxJQUN2QlMsT0FBTztZQUNMaEM7WUFDQUU7UUFDRjtRQUVOLE9BQU84QjtJQUNUO0lBRUEsT0FBT0MsT0FBTyxRQUFRO0lBRXRCLE9BQU9DLFNBQVNGLElBQUksRUFBRWpDLE9BQU8sRUFBRTtRQUM3QixNQUFNb0MsUUFBUUMsSUFBQUEsa0JBQVMsRUFBQyxDQUFDckM7WUFDdkIsTUFBTSxFQUFFQyxNQUFNLEVBQUUsR0FBR2dDLE1BQ2IxQixZQUFZK0IsSUFBQUEsNkJBQWdCLEVBQUNyQyxRQUFRRCxVQUNyQ0csZUFBZW9DLDBCQUEwQmhDLFdBQVdQLFVBQ3BERSxPQUFPSyxXQUNQNkIsUUFBUSxJQUFJdEMsTUFBTUUsU0FBU0MsUUFBUUMsTUFBTUM7WUFFL0MsT0FBT2lDO1FBQ1QsR0FBR3BDO1FBRUgsT0FBT29DO0lBQ1Q7QUFDRjtBQUVBLFNBQVNHLDBCQUEwQmhDLFNBQVMsRUFBRVAsT0FBTztJQUNuRCxNQUFNd0MsbUJBQW1CakMsVUFBVUcsbUJBQW1CLElBQ2hEUCxlQUFlc0MsSUFBQUEseUNBQWdDLEVBQUNELGtCQUFrQnhDO0lBRXhFLE9BQU9HO0FBQ1QifQ==
|
package/lib/element/metaType.js
CHANGED
|
@@ -8,208 +8,43 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
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;
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
const _elements = require("../elements");
|
|
13
|
+
const _default = (0, _elements.define)(class MetaType extends _occamlanguages.Element {
|
|
14
|
+
constructor(context, string, node, name){
|
|
15
|
+
super(context, string, node);
|
|
16
|
+
this.name = name;
|
|
17
|
+
}
|
|
18
|
+
getName() {
|
|
19
|
+
return this.name;
|
|
20
|
+
}
|
|
21
|
+
getMetaTypeNode() {
|
|
22
|
+
const node = this.getNode(), metaTypeNode = node; ///
|
|
23
|
+
return metaTypeNode;
|
|
24
|
+
}
|
|
25
|
+
isEqualTo(metaType) {
|
|
26
|
+
const equalTo = this === metaType;
|
|
27
|
+
return equalTo;
|
|
28
|
+
}
|
|
29
|
+
compareMetaTypeName(metaTypeName) {
|
|
30
|
+
const comparesToMetaTypeName = metaTypeName === this.name;
|
|
31
|
+
return comparesToMetaTypeName;
|
|
32
|
+
}
|
|
33
|
+
toJSON() {
|
|
34
|
+
const name = this.name, json = {
|
|
35
|
+
name
|
|
41
36
|
};
|
|
37
|
+
return json;
|
|
42
38
|
}
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
var descriptor = props[i];
|
|
48
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
49
|
-
descriptor.configurable = true;
|
|
50
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
51
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
52
|
-
}
|
|
53
|
-
}
|
|
54
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
55
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
56
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
57
|
-
return Constructor;
|
|
58
|
-
}
|
|
59
|
-
function _define_property(obj, key, value) {
|
|
60
|
-
if (key in obj) {
|
|
61
|
-
Object.defineProperty(obj, key, {
|
|
62
|
-
value: value,
|
|
63
|
-
enumerable: true,
|
|
64
|
-
configurable: true,
|
|
65
|
-
writable: true
|
|
66
|
-
});
|
|
67
|
-
} else {
|
|
68
|
-
obj[key] = value;
|
|
39
|
+
static name = "MetaType";
|
|
40
|
+
static fromJSON(json, context) {
|
|
41
|
+
const { name } = json, metaTypeName = name, metaType = context.findMetaTypeByMetaTypeName(metaTypeName);
|
|
42
|
+
return metaType;
|
|
69
43
|
}
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
74
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
75
|
-
};
|
|
76
|
-
return _get_prototype_of(o);
|
|
77
|
-
}
|
|
78
|
-
function _inherits(subClass, superClass) {
|
|
79
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
80
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
44
|
+
static fromName(name, context) {
|
|
45
|
+
const string = name, node = null, metaType = new MetaType(context, string, node, name);
|
|
46
|
+
return metaType;
|
|
81
47
|
}
|
|
82
|
-
|
|
83
|
-
constructor: {
|
|
84
|
-
value: subClass,
|
|
85
|
-
writable: true,
|
|
86
|
-
configurable: true
|
|
87
|
-
}
|
|
88
|
-
});
|
|
89
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
90
|
-
}
|
|
91
|
-
function _is_native_function(fn) {
|
|
92
|
-
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
93
|
-
}
|
|
94
|
-
function _possible_constructor_return(self, call) {
|
|
95
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
96
|
-
return call;
|
|
97
|
-
}
|
|
98
|
-
return _assert_this_initialized(self);
|
|
99
|
-
}
|
|
100
|
-
function _set_prototype_of(o, p) {
|
|
101
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
102
|
-
o.__proto__ = p;
|
|
103
|
-
return o;
|
|
104
|
-
};
|
|
105
|
-
return _set_prototype_of(o, p);
|
|
106
|
-
}
|
|
107
|
-
function _type_of(obj) {
|
|
108
|
-
"@swc/helpers - typeof";
|
|
109
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
110
|
-
}
|
|
111
|
-
function _wrap_native_super(Class) {
|
|
112
|
-
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
113
|
-
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
114
|
-
if (Class === null || !_is_native_function(Class)) return Class;
|
|
115
|
-
if (typeof Class !== "function") {
|
|
116
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
117
|
-
}
|
|
118
|
-
if (typeof _cache !== "undefined") {
|
|
119
|
-
if (_cache.has(Class)) return _cache.get(Class);
|
|
120
|
-
_cache.set(Class, Wrapper);
|
|
121
|
-
}
|
|
122
|
-
function Wrapper() {
|
|
123
|
-
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
124
|
-
}
|
|
125
|
-
Wrapper.prototype = Object.create(Class.prototype, {
|
|
126
|
-
constructor: {
|
|
127
|
-
value: Wrapper,
|
|
128
|
-
enumerable: false,
|
|
129
|
-
writable: true,
|
|
130
|
-
configurable: true
|
|
131
|
-
}
|
|
132
|
-
});
|
|
133
|
-
return _set_prototype_of(Wrapper, Class);
|
|
134
|
-
};
|
|
135
|
-
return _wrap_native_super(Class);
|
|
136
|
-
}
|
|
137
|
-
function _is_native_reflect_construct() {
|
|
138
|
-
try {
|
|
139
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
140
|
-
} catch (_) {}
|
|
141
|
-
return (_is_native_reflect_construct = function() {
|
|
142
|
-
return !!result;
|
|
143
|
-
})();
|
|
144
|
-
}
|
|
145
|
-
var _MetaType;
|
|
146
|
-
var _default = (0, _elements.define)((_MetaType = /*#__PURE__*/ function(Element) {
|
|
147
|
-
_inherits(MetaType, Element);
|
|
148
|
-
function MetaType(context, string, node, name) {
|
|
149
|
-
_class_call_check(this, MetaType);
|
|
150
|
-
var _this;
|
|
151
|
-
_this = _call_super(this, MetaType, [
|
|
152
|
-
context,
|
|
153
|
-
string,
|
|
154
|
-
node
|
|
155
|
-
]);
|
|
156
|
-
_this.name = name;
|
|
157
|
-
return _this;
|
|
158
|
-
}
|
|
159
|
-
_create_class(MetaType, [
|
|
160
|
-
{
|
|
161
|
-
key: "getName",
|
|
162
|
-
value: function getName() {
|
|
163
|
-
return this.name;
|
|
164
|
-
}
|
|
165
|
-
},
|
|
166
|
-
{
|
|
167
|
-
key: "getMetaTypeNode",
|
|
168
|
-
value: function getMetaTypeNode() {
|
|
169
|
-
var node = this.getNode(), metaTypeNode = node; ///
|
|
170
|
-
return metaTypeNode;
|
|
171
|
-
}
|
|
172
|
-
},
|
|
173
|
-
{
|
|
174
|
-
key: "isEqualTo",
|
|
175
|
-
value: function isEqualTo(metaType) {
|
|
176
|
-
var equalTo = this === metaType;
|
|
177
|
-
return equalTo;
|
|
178
|
-
}
|
|
179
|
-
},
|
|
180
|
-
{
|
|
181
|
-
key: "compareMetaTypeName",
|
|
182
|
-
value: function compareMetaTypeName(metaTypeName) {
|
|
183
|
-
var comparesToMetaTypeName = metaTypeName === this.name;
|
|
184
|
-
return comparesToMetaTypeName;
|
|
185
|
-
}
|
|
186
|
-
},
|
|
187
|
-
{
|
|
188
|
-
key: "toJSON",
|
|
189
|
-
value: function toJSON() {
|
|
190
|
-
var name = this.name, json = {
|
|
191
|
-
name: name
|
|
192
|
-
};
|
|
193
|
-
return json;
|
|
194
|
-
}
|
|
195
|
-
}
|
|
196
|
-
], [
|
|
197
|
-
{
|
|
198
|
-
key: "fromJSON",
|
|
199
|
-
value: function fromJSON(json, context) {
|
|
200
|
-
var name = json.name, metaTypeName = name, metaType = context.findMetaTypeByMetaTypeName(metaTypeName);
|
|
201
|
-
return metaType;
|
|
202
|
-
}
|
|
203
|
-
},
|
|
204
|
-
{
|
|
205
|
-
key: "fromName",
|
|
206
|
-
value: function fromName(name, context) {
|
|
207
|
-
var string = name, node = null, metaType = new MetaType(context, string, node, name);
|
|
208
|
-
return metaType;
|
|
209
|
-
}
|
|
210
|
-
}
|
|
211
|
-
]);
|
|
212
|
-
return MetaType;
|
|
213
|
-
}(_wrap_native_super(_occamlanguages.Element)), _define_property(_MetaType, "name", "MetaType"), _MetaType));
|
|
48
|
+
});
|
|
214
49
|
|
|
215
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
50
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbGVtZW50L21ldGFUeXBlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBFbGVtZW50IH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBkZWZpbmUgfSBmcm9tIFwiLi4vZWxlbWVudHNcIjtcblxuZXhwb3J0IGRlZmF1bHQgZGVmaW5lKGNsYXNzIE1ldGFUeXBlIGV4dGVuZHMgRWxlbWVudCB7XG4gIGNvbnN0cnVjdG9yKGNvbnRleHQsIHN0cmluZywgbm9kZSwgbmFtZSkge1xuICAgIHN1cGVyKGNvbnRleHQsIHN0cmluZywgbm9kZSk7XG5cbiAgICB0aGlzLm5hbWUgPSBuYW1lO1xuICB9XG5cbiAgZ2V0TmFtZSgpIHtcbiAgICByZXR1cm4gdGhpcy5uYW1lO1xuICB9XG5cbiAgZ2V0TWV0YVR5cGVOb2RlKCkge1xuICAgIGNvbnN0IG5vZGUgPSB0aGlzLmdldE5vZGUoKSxcbiAgICAgICAgICBtZXRhVHlwZU5vZGUgPSBub2RlOyAgLy8vXG5cbiAgICByZXR1cm4gbWV0YVR5cGVOb2RlO1xuICB9XG5cbiAgaXNFcXVhbFRvKG1ldGFUeXBlKSB7XG4gICAgY29uc3QgZXF1YWxUbyA9ICh0aGlzID09PSBtZXRhVHlwZSk7XG5cbiAgICByZXR1cm4gZXF1YWxUbztcbiAgfVxuXG4gIGNvbXBhcmVNZXRhVHlwZU5hbWUobWV0YVR5cGVOYW1lKSB7XG4gICAgY29uc3QgY29tcGFyZXNUb01ldGFUeXBlTmFtZSA9IChtZXRhVHlwZU5hbWUgPT09IHRoaXMubmFtZSk7XG5cbiAgICByZXR1cm4gY29tcGFyZXNUb01ldGFUeXBlTmFtZTtcbiAgfVxuXG4gIHRvSlNPTigpIHtcbiAgICBjb25zdCBuYW1lID0gdGhpcy5uYW1lLFxuICAgICAgICAgIGpzb24gPSB7XG4gICAgICAgICAgICBuYW1lXG4gICAgICAgICAgfTtcblxuICAgIHJldHVybiBqc29uO1xuICB9XG5cbiAgc3RhdGljIG5hbWUgPSBcIk1ldGFUeXBlXCI7XG5cbiAgc3RhdGljIGZyb21KU09OKGpzb24sIGNvbnRleHQpIHtcbiAgICBjb25zdCB7IG5hbWUgfSA9IGpzb24sXG4gICAgICAgICAgbWV0YVR5cGVOYW1lID0gbmFtZSwgIC8vL1xuICAgICAgICAgIG1ldGFUeXBlID0gY29udGV4dC5maW5kTWV0YVR5cGVCeU1ldGFUeXBlTmFtZShtZXRhVHlwZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGFUeXBlO1xuICB9XG5cbiAgc3RhdGljIGZyb21OYW1lKG5hbWUsIGNvbnRleHQpIHtcbiAgICBjb25zdCBzdHJpbmcgPSBuYW1lLFxuICAgICAgICAgIG5vZGUgPSBudWxsLFxuICAgICAgICAgIG1ldGFUeXBlID0gbmV3IE1ldGFUeXBlKGNvbnRleHQsIHN0cmluZywgbm9kZSwgbmFtZSk7XG5cbiAgICByZXR1cm4gbWV0YVR5cGU7XG4gIH1cbn0pO1xuIl0sIm5hbWVzIjpbImRlZmluZSIsIk1ldGFUeXBlIiwiRWxlbWVudCIsImNvbnRleHQiLCJzdHJpbmciLCJub2RlIiwibmFtZSIsImdldE5hbWUiLCJnZXRNZXRhVHlwZU5vZGUiLCJnZXROb2RlIiwibWV0YVR5cGVOb2RlIiwiaXNFcXVhbFRvIiwibWV0YVR5cGUiLCJlcXVhbFRvIiwiY29tcGFyZU1ldGFUeXBlTmFtZSIsIm1ldGFUeXBlTmFtZSIsImNvbXBhcmVzVG9NZXRhVHlwZU5hbWUiLCJ0b0pTT04iLCJqc29uIiwiZnJvbUpTT04iLCJmaW5kTWV0YVR5cGVCeU1ldGFUeXBlTmFtZSIsImZyb21OYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQUE7OztnQ0FKd0I7MEJBRUQ7TUFFdkIsV0FBZUEsSUFBQUEsZ0JBQU0sRUFBQyxNQUFNQyxpQkFBaUJDLHVCQUFPO0lBQ2xELFlBQVlDLE9BQU8sRUFBRUMsTUFBTSxFQUFFQyxJQUFJLEVBQUVDLElBQUksQ0FBRTtRQUN2QyxLQUFLLENBQUNILFNBQVNDLFFBQVFDO1FBRXZCLElBQUksQ0FBQ0MsSUFBSSxHQUFHQTtJQUNkO0lBRUFDLFVBQVU7UUFDUixPQUFPLElBQUksQ0FBQ0QsSUFBSTtJQUNsQjtJQUVBRSxrQkFBa0I7UUFDaEIsTUFBTUgsT0FBTyxJQUFJLENBQUNJLE9BQU8sSUFDbkJDLGVBQWVMLE1BQU8sR0FBRztRQUUvQixPQUFPSztJQUNUO0lBRUFDLFVBQVVDLFFBQVEsRUFBRTtRQUNsQixNQUFNQyxVQUFXLElBQUksS0FBS0Q7UUFFMUIsT0FBT0M7SUFDVDtJQUVBQyxvQkFBb0JDLFlBQVksRUFBRTtRQUNoQyxNQUFNQyx5QkFBMEJELGlCQUFpQixJQUFJLENBQUNULElBQUk7UUFFMUQsT0FBT1U7SUFDVDtJQUVBQyxTQUFTO1FBQ1AsTUFBTVgsT0FBTyxJQUFJLENBQUNBLElBQUksRUFDaEJZLE9BQU87WUFDTFo7UUFDRjtRQUVOLE9BQU9ZO0lBQ1Q7SUFFQSxPQUFPWixPQUFPLFdBQVc7SUFFekIsT0FBT2EsU0FBU0QsSUFBSSxFQUFFZixPQUFPLEVBQUU7UUFDN0IsTUFBTSxFQUFFRyxJQUFJLEVBQUUsR0FBR1ksTUFDWEgsZUFBZVQsTUFDZk0sV0FBV1QsUUFBUWlCLDBCQUEwQixDQUFDTDtRQUVwRCxPQUFPSDtJQUNUO0lBRUEsT0FBT1MsU0FBU2YsSUFBSSxFQUFFSCxPQUFPLEVBQUU7UUFDN0IsTUFBTUMsU0FBU0UsTUFDVEQsT0FBTyxNQUNQTyxXQUFXLElBQUlYLFNBQVNFLFNBQVNDLFFBQVFDLE1BQU1DO1FBRXJELE9BQU9NO0lBQ1Q7QUFDRiJ9
|