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
|
@@ -8,138 +8,35 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TopLevelMetaAssertionNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
class TopLevelMetaAssertionNode extends _occamlanguages.NonTerminalNode {
|
|
13
|
+
getBodyNode() {
|
|
14
|
+
const { bodyRuleName } = this.constructor, ruleName = bodyRuleName, axiomBodyNode = this.getNodeByRuleName(ruleName);
|
|
15
|
+
return axiomBodyNode;
|
|
15
16
|
}
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
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");
|
|
17
|
+
getLabelNode() {
|
|
18
|
+
const headerNode = this.getHeaderNode(), labelNode = headerNode.getLabelNode();
|
|
19
|
+
return labelNode;
|
|
25
20
|
}
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
21
|
+
getProofNode() {
|
|
22
|
+
const bodyNode = this.getBodyNode(), proofNode = bodyNode.getProofNode();
|
|
23
|
+
return proofNode;
|
|
34
24
|
}
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _get_prototype_of(o) {
|
|
42
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
43
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
44
|
-
};
|
|
45
|
-
return _get_prototype_of(o);
|
|
46
|
-
}
|
|
47
|
-
function _inherits(subClass, superClass) {
|
|
48
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
49
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
25
|
+
getHeaderNode() {
|
|
26
|
+
const { headerRuleName } = this.constructor, ruleName = headerRuleName, headerNode = this.getNodeByRuleName(ruleName);
|
|
27
|
+
return headerNode;
|
|
50
28
|
}
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
writable: true,
|
|
55
|
-
configurable: true
|
|
56
|
-
}
|
|
57
|
-
});
|
|
58
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
59
|
-
}
|
|
60
|
-
function _possible_constructor_return(self, call) {
|
|
61
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
62
|
-
return call;
|
|
29
|
+
getDeductionNode() {
|
|
30
|
+
const bodyNode = this.getBodyNode(), deductionNode = bodyNode.getDeductionNode();
|
|
31
|
+
return deductionNode;
|
|
63
32
|
}
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
return
|
|
70
|
-
};
|
|
71
|
-
return _set_prototype_of(o, p);
|
|
72
|
-
}
|
|
73
|
-
function _type_of(obj) {
|
|
74
|
-
"@swc/helpers - typeof";
|
|
75
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
76
|
-
}
|
|
77
|
-
function _is_native_reflect_construct() {
|
|
78
|
-
try {
|
|
79
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
80
|
-
} catch (_) {}
|
|
81
|
-
return (_is_native_reflect_construct = function() {
|
|
82
|
-
return !!result;
|
|
83
|
-
})();
|
|
84
|
-
}
|
|
85
|
-
var TopLevelMetaAssertionNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
86
|
-
_inherits(TopLevelMetaAssertionNode, NonTerminalNode);
|
|
87
|
-
function TopLevelMetaAssertionNode() {
|
|
88
|
-
_class_call_check(this, TopLevelMetaAssertionNode);
|
|
89
|
-
return _call_super(this, TopLevelMetaAssertionNode, arguments);
|
|
33
|
+
getSuppositionNodes() {
|
|
34
|
+
const bodyNode = this.getBodyNode(), suppositionNodes = bodyNode.getSuppositionNodes();
|
|
35
|
+
return suppositionNodes;
|
|
36
|
+
}
|
|
37
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
38
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
90
39
|
}
|
|
91
|
-
|
|
92
|
-
{
|
|
93
|
-
key: "getBodyNode",
|
|
94
|
-
value: function getBodyNode() {
|
|
95
|
-
var bodyRuleName = this.constructor.bodyRuleName, ruleName = bodyRuleName, axiomBodyNode = this.getNodeByRuleName(ruleName);
|
|
96
|
-
return axiomBodyNode;
|
|
97
|
-
}
|
|
98
|
-
},
|
|
99
|
-
{
|
|
100
|
-
key: "getLabelNode",
|
|
101
|
-
value: function getLabelNode() {
|
|
102
|
-
var headerNode = this.getHeaderNode(), labelNode = headerNode.getLabelNode();
|
|
103
|
-
return labelNode;
|
|
104
|
-
}
|
|
105
|
-
},
|
|
106
|
-
{
|
|
107
|
-
key: "getProofNode",
|
|
108
|
-
value: function getProofNode() {
|
|
109
|
-
var bodyNode = this.getBodyNode(), proofNode = bodyNode.getProofNode();
|
|
110
|
-
return proofNode;
|
|
111
|
-
}
|
|
112
|
-
},
|
|
113
|
-
{
|
|
114
|
-
key: "getHeaderNode",
|
|
115
|
-
value: function getHeaderNode() {
|
|
116
|
-
var headerRuleName = this.constructor.headerRuleName, ruleName = headerRuleName, headerNode = this.getNodeByRuleName(ruleName);
|
|
117
|
-
return headerNode;
|
|
118
|
-
}
|
|
119
|
-
},
|
|
120
|
-
{
|
|
121
|
-
key: "getDeductionNode",
|
|
122
|
-
value: function getDeductionNode() {
|
|
123
|
-
var bodyNode = this.getBodyNode(), deductionNode = bodyNode.getDeductionNode();
|
|
124
|
-
return deductionNode;
|
|
125
|
-
}
|
|
126
|
-
},
|
|
127
|
-
{
|
|
128
|
-
key: "getSuppositionNodes",
|
|
129
|
-
value: function getSuppositionNodes() {
|
|
130
|
-
var bodyNode = this.getBodyNode(), suppositionNodes = bodyNode.getSuppositionNodes();
|
|
131
|
-
return suppositionNodes;
|
|
132
|
-
}
|
|
133
|
-
}
|
|
134
|
-
], [
|
|
135
|
-
{
|
|
136
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
137
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
|
|
138
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
|
|
139
|
-
}
|
|
140
|
-
}
|
|
141
|
-
]);
|
|
142
|
-
return TopLevelMetaAssertionNode;
|
|
143
|
-
}(_occamlanguages.NonTerminalNode);
|
|
40
|
+
}
|
|
144
41
|
|
|
145
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
42
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RvcExldmVsTWV0YUFzc2VydGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUb3BMZXZlbE1ldGFBc3NlcnRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Qm9keU5vZGUoKSB7XG4gICAgY29uc3QgeyBib2R5UnVsZU5hbWUgfSA9IHRoaXMuY29uc3RydWN0b3IsXG4gICAgICAgICAgcnVsZU5hbWUgPSBib2R5UnVsZU5hbWUsICAvLy9cbiAgICAgICAgICBheGlvbUJvZHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gYXhpb21Cb2R5Tm9kZTtcbiAgfVxuXG4gIGdldExhYmVsTm9kZSgpIHtcbiAgICBjb25zdCBoZWFkZXJOb2RlID0gdGhpcy5nZXRIZWFkZXJOb2RlKCksXG4gICAgICAgICAgbGFiZWxOb2RlID0gaGVhZGVyTm9kZS5nZXRMYWJlbE5vZGUoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGU7XG4gIH1cblxuICBnZXRQcm9vZk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgcHJvb2ZOb2RlID0gYm9keU5vZGUuZ2V0UHJvb2ZOb2RlKCk7XG5cbiAgICByZXR1cm4gcHJvb2ZOb2RlO1xuICB9XG5cbiAgZ2V0SGVhZGVyTm9kZSgpIHtcbiAgICBjb25zdCB7IGhlYWRlclJ1bGVOYW1lIH0gPSB0aGlzLmNvbnN0cnVjdG9yLFxuICAgICAgICAgIHJ1bGVOYW1lID0gaGVhZGVyUnVsZU5hbWUsICAvLy9cbiAgICAgICAgICBoZWFkZXJOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gaGVhZGVyTm9kZTtcbiAgfVxuXG4gIGdldERlZHVjdGlvbk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgZGVkdWN0aW9uTm9kZSA9IGJvZHlOb2RlLmdldERlZHVjdGlvbk5vZGUoKTtcblxuICAgIHJldHVybiBkZWR1Y3Rpb25Ob2RlO1xuICB9XG5cbiAgZ2V0U3VwcG9zaXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBzdXBwb3NpdGlvbk5vZGVzID0gYm9keU5vZGUuZ2V0U3VwcG9zaXRpb25Ob2RlcygpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldEJvZHlOb2RlIiwiYm9keVJ1bGVOYW1lIiwicnVsZU5hbWUiLCJheGlvbUJvZHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRMYWJlbE5vZGUiLCJoZWFkZXJOb2RlIiwiZ2V0SGVhZGVyTm9kZSIsImxhYmVsTm9kZSIsImdldFByb29mTm9kZSIsImJvZHlOb2RlIiwicHJvb2ZOb2RlIiwiaGVhZGVyUnVsZU5hbWUiLCJnZXREZWR1Y3Rpb25Ob2RlIiwiZGVkdWN0aW9uTm9kZSIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJzdXBwb3NpdGlvbk5vZGVzIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiQ2xhc3MiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0NBRlc7QUFFakIsTUFBTUEsa0NBQWtDQywrQkFBZTtJQUNwRUMsY0FBYztRQUNaLE1BQU0sRUFBRUMsWUFBWSxFQUFFLEdBQUcsSUFBSSxDQUFDLFdBQVcsRUFDbkNDLFdBQVdELGNBQ1hFLGdCQUFnQixJQUFJLENBQUNDLGlCQUFpQixDQUFDRjtRQUU3QyxPQUFPQztJQUNUO0lBRUFFLGVBQWU7UUFDYixNQUFNQyxhQUFhLElBQUksQ0FBQ0MsYUFBYSxJQUMvQkMsWUFBWUYsV0FBV0QsWUFBWTtRQUV6QyxPQUFPRztJQUNUO0lBRUFDLGVBQWU7UUFDYixNQUFNQyxXQUFXLElBQUksQ0FBQ1YsV0FBVyxJQUMzQlcsWUFBWUQsU0FBU0QsWUFBWTtRQUV2QyxPQUFPRTtJQUNUO0lBRUFKLGdCQUFnQjtRQUNkLE1BQU0sRUFBRUssY0FBYyxFQUFFLEdBQUcsSUFBSSxDQUFDLFdBQVcsRUFDckNWLFdBQVdVLGdCQUNYTixhQUFhLElBQUksQ0FBQ0YsaUJBQWlCLENBQUNGO1FBRTFDLE9BQU9JO0lBQ1Q7SUFFQU8sbUJBQW1CO1FBQ2pCLE1BQU1ILFdBQVcsSUFBSSxDQUFDVixXQUFXLElBQzNCYyxnQkFBZ0JKLFNBQVNHLGdCQUFnQjtRQUUvQyxPQUFPQztJQUNUO0lBRUFDLHNCQUFzQjtRQUNwQixNQUFNTCxXQUFXLElBQUksQ0FBQ1YsV0FBVyxJQUMzQmdCLG1CQUFtQk4sU0FBU0ssbUJBQW1CO1FBRXJELE9BQU9DO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkNDLEtBQUssRUFBRWhCLFFBQVEsRUFBRWlCLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPdEIsK0JBQWUsQ0FBQ2tCLDBDQUEwQyxDQUFDQyxPQUFPaEIsVUFBVWlCLFlBQVlDLFNBQVNDO0lBQWE7QUFDN04ifQ==
|
package/lib/node/type.js
CHANGED
|
@@ -8,150 +8,53 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TypeNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
class TypeNode extends _occamlanguages.NonTerminalNode {
|
|
13
|
+
isPrefixed() {
|
|
14
|
+
const multiplicity = this.getMultiplicity(), prefixed = multiplicity > 1;
|
|
15
|
+
return prefixed;
|
|
15
16
|
}
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
17
|
+
getTypeName() {
|
|
18
|
+
let typeName;
|
|
19
|
+
const prefixed = this.isPrefixed(), nameIndex = prefixed ? 2 : 0;
|
|
20
|
+
this.someChildNode((childNode, index)=>{
|
|
21
|
+
if (index === nameIndex) {
|
|
22
|
+
const typeTerminalNode = childNode, content = typeTerminalNode.getContent();
|
|
23
|
+
typeName = content; ///
|
|
24
|
+
return true;
|
|
25
|
+
}
|
|
26
|
+
});
|
|
27
|
+
return typeName;
|
|
34
28
|
}
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
}
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
29
|
+
getTypePrefixName() {
|
|
30
|
+
let typePrefixName = null;
|
|
31
|
+
const prefixed = this.isPrefixed();
|
|
32
|
+
if (prefixed) {
|
|
33
|
+
const prefixIndex = 0;
|
|
34
|
+
this.someChildNode((childNode, index)=>{
|
|
35
|
+
if (index === prefixIndex) {
|
|
36
|
+
const typeTerminalNode = childNode, content = typeTerminalNode.getContent();
|
|
37
|
+
typePrefixName = content; ///
|
|
38
|
+
return true;
|
|
39
|
+
}
|
|
40
|
+
});
|
|
41
|
+
}
|
|
42
|
+
return typePrefixName;
|
|
50
43
|
}
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
44
|
+
getNominalTypeName() {
|
|
45
|
+
let nominalTypeName;
|
|
46
|
+
const prefixed = this.isPrefixed(), typeName = this.getTypeName();
|
|
47
|
+
if (prefixed) {
|
|
48
|
+
const typePrefixName = this.getTypePrefixName();
|
|
49
|
+
nominalTypeName = `${typePrefixName}${typeName}`;
|
|
50
|
+
} else {
|
|
51
|
+
nominalTypeName = typeName; ///
|
|
56
52
|
}
|
|
57
|
-
|
|
58
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
59
|
-
}
|
|
60
|
-
function _possible_constructor_return(self, call) {
|
|
61
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
62
|
-
return call;
|
|
53
|
+
return nominalTypeName;
|
|
63
54
|
}
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
function _set_prototype_of(o, p) {
|
|
67
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
68
|
-
o.__proto__ = p;
|
|
69
|
-
return o;
|
|
70
|
-
};
|
|
71
|
-
return _set_prototype_of(o, p);
|
|
72
|
-
}
|
|
73
|
-
function _type_of(obj) {
|
|
74
|
-
"@swc/helpers - typeof";
|
|
75
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
76
|
-
}
|
|
77
|
-
function _is_native_reflect_construct() {
|
|
78
|
-
try {
|
|
79
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
80
|
-
} catch (_) {}
|
|
81
|
-
return (_is_native_reflect_construct = function() {
|
|
82
|
-
return !!result;
|
|
83
|
-
})();
|
|
84
|
-
}
|
|
85
|
-
var TypeNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
86
|
-
_inherits(TypeNode, NonTerminalNode);
|
|
87
|
-
function TypeNode() {
|
|
88
|
-
_class_call_check(this, TypeNode);
|
|
89
|
-
return _call_super(this, TypeNode, arguments);
|
|
55
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
56
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypeNode, ruleName, childNodes, opacity, precedence);
|
|
90
57
|
}
|
|
91
|
-
|
|
92
|
-
{
|
|
93
|
-
key: "isPrefixed",
|
|
94
|
-
value: function isPrefixed() {
|
|
95
|
-
var multiplicity = this.getMultiplicity(), prefixed = multiplicity > 1;
|
|
96
|
-
return prefixed;
|
|
97
|
-
}
|
|
98
|
-
},
|
|
99
|
-
{
|
|
100
|
-
key: "getTypeName",
|
|
101
|
-
value: function getTypeName() {
|
|
102
|
-
var typeName;
|
|
103
|
-
var prefixed = this.isPrefixed(), nameIndex = prefixed ? 2 : 0;
|
|
104
|
-
this.someChildNode(function(childNode, index) {
|
|
105
|
-
if (index === nameIndex) {
|
|
106
|
-
var typeTerminalNode = childNode, content = typeTerminalNode.getContent();
|
|
107
|
-
typeName = content; ///
|
|
108
|
-
return true;
|
|
109
|
-
}
|
|
110
|
-
});
|
|
111
|
-
return typeName;
|
|
112
|
-
}
|
|
113
|
-
},
|
|
114
|
-
{
|
|
115
|
-
key: "getTypePrefixName",
|
|
116
|
-
value: function getTypePrefixName() {
|
|
117
|
-
var typePrefixName = null;
|
|
118
|
-
var prefixed = this.isPrefixed();
|
|
119
|
-
if (prefixed) {
|
|
120
|
-
var prefixIndex = 0;
|
|
121
|
-
this.someChildNode(function(childNode, index) {
|
|
122
|
-
if (index === prefixIndex) {
|
|
123
|
-
var typeTerminalNode = childNode, content = typeTerminalNode.getContent();
|
|
124
|
-
typePrefixName = content; ///
|
|
125
|
-
return true;
|
|
126
|
-
}
|
|
127
|
-
});
|
|
128
|
-
}
|
|
129
|
-
return typePrefixName;
|
|
130
|
-
}
|
|
131
|
-
},
|
|
132
|
-
{
|
|
133
|
-
key: "getNominalTypeName",
|
|
134
|
-
value: function getNominalTypeName() {
|
|
135
|
-
var nominalTypeName;
|
|
136
|
-
var prefixed = this.isPrefixed(), typeName = this.getTypeName();
|
|
137
|
-
if (prefixed) {
|
|
138
|
-
var typePrefixName = this.getTypePrefixName();
|
|
139
|
-
nominalTypeName = "".concat(typePrefixName).concat(typeName);
|
|
140
|
-
} else {
|
|
141
|
-
nominalTypeName = typeName; ///
|
|
142
|
-
}
|
|
143
|
-
return nominalTypeName;
|
|
144
|
-
}
|
|
145
|
-
}
|
|
146
|
-
], [
|
|
147
|
-
{
|
|
148
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
149
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
150
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypeNode, ruleName, childNodes, opacity, precedence);
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
]);
|
|
154
|
-
return TypeNode;
|
|
155
|
-
}(_occamlanguages.NonTerminalNode);
|
|
58
|
+
}
|
|
156
59
|
|
|
157
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVHlwZU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1ByZWZpeGVkKCkge1xuICAgIGNvbnN0IG11bHRpcGxpY2l0eSA9IHRoaXMuZ2V0TXVsdGlwbGljaXR5KCksXG4gICAgICAgICAgcHJlZml4ZWQgPSAobXVsdGlwbGljaXR5ID4gMSk7XG5cbiAgICByZXR1cm4gcHJlZml4ZWQ7XG4gIH1cblxuICBnZXRUeXBlTmFtZSgpIHtcbiAgICBsZXQgdHlwZU5hbWU7XG5cbiAgICBjb25zdCBwcmVmaXhlZCA9IHRoaXMuaXNQcmVmaXhlZCgpLFxuICAgICAgICAgIG5hbWVJbmRleCA9IHByZWZpeGVkID8gMiA6IDA7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+
|
|
60
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVHlwZU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1ByZWZpeGVkKCkge1xuICAgIGNvbnN0IG11bHRpcGxpY2l0eSA9IHRoaXMuZ2V0TXVsdGlwbGljaXR5KCksXG4gICAgICAgICAgcHJlZml4ZWQgPSAobXVsdGlwbGljaXR5ID4gMSk7XG5cbiAgICByZXR1cm4gcHJlZml4ZWQ7XG4gIH1cblxuICBnZXRUeXBlTmFtZSgpIHtcbiAgICBsZXQgdHlwZU5hbWU7XG5cbiAgICBjb25zdCBwcmVmaXhlZCA9IHRoaXMuaXNQcmVmaXhlZCgpLFxuICAgICAgICAgIG5hbWVJbmRleCA9IHByZWZpeGVkID8gMiA6IDA7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+IHtcbiAgICAgIGlmIChpbmRleCA9PT0gbmFtZUluZGV4KSB7XG4gICAgICAgIGNvbnN0IHR5cGVUZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgICBjb250ZW50ID0gdHlwZVRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgdHlwZU5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiB0eXBlTmFtZTtcbiAgfVxuXG4gIGdldFR5cGVQcmVmaXhOYW1lKCkge1xuICAgIGxldCB0eXBlUHJlZml4TmFtZSA9IG51bGw7XG5cbiAgICBjb25zdCBwcmVmaXhlZCA9IHRoaXMuaXNQcmVmaXhlZCgpO1xuXG4gICAgaWYgKHByZWZpeGVkKSB7XG4gICAgICBjb25zdCBwcmVmaXhJbmRleCA9IDA7XG5cbiAgICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgICBpZiAoaW5kZXggPT09IHByZWZpeEluZGV4KSB7XG4gICAgICAgICAgY29uc3QgdHlwZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgICAgY29udGVudCA9IHR5cGVUZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpO1xuXG4gICAgICAgICAgdHlwZVByZWZpeE5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICB9XG4gICAgICB9KTtcbiAgICB9XG5cbiAgICByZXR1cm4gdHlwZVByZWZpeE5hbWU7XG4gIH1cblxuICBnZXROb21pbmFsVHlwZU5hbWUoKSB7XG4gICAgbGV0IG5vbWluYWxUeXBlTmFtZTtcblxuICAgIGNvbnN0IHByZWZpeGVkID0gdGhpcy5pc1ByZWZpeGVkKCksXG4gICAgICAgICAgdHlwZU5hbWUgPSB0aGlzLmdldFR5cGVOYW1lKCk7XG5cbiAgICBpZiAocHJlZml4ZWQpIHtcbiAgICAgIGNvbnN0IHR5cGVQcmVmaXhOYW1lID0gdGhpcy5nZXRUeXBlUHJlZml4TmFtZSgpO1xuXG4gICAgICBub21pbmFsVHlwZU5hbWUgPSBgJHt0eXBlUHJlZml4TmFtZX0ke3R5cGVOYW1lfWA7XG4gICAgfSBlbHNlIHtcbiAgICAgIG5vbWluYWxUeXBlTmFtZSA9IHR5cGVOYW1lOyAgLy8vXG4gICAgfVxuXG4gICAgcmV0dXJuIG5vbWluYWxUeXBlTmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVHlwZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiaXNQcmVmaXhlZCIsIm11bHRpcGxpY2l0eSIsImdldE11bHRpcGxpY2l0eSIsInByZWZpeGVkIiwiZ2V0VHlwZU5hbWUiLCJ0eXBlTmFtZSIsIm5hbWVJbmRleCIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJpbmRleCIsInR5cGVUZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImdldFR5cGVQcmVmaXhOYW1lIiwidHlwZVByZWZpeE5hbWUiLCJwcmVmaXhJbmRleCIsImdldE5vbWluYWxUeXBlTmFtZSIsIm5vbWluYWxUeXBlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLGlCQUFpQkMsK0JBQWU7SUFDbkRDLGFBQWE7UUFDWCxNQUFNQyxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0MsV0FBWUYsZUFBZTtRQUVqQyxPQUFPRTtJQUNUO0lBRUFDLGNBQWM7UUFDWixJQUFJQztRQUVKLE1BQU1GLFdBQVcsSUFBSSxDQUFDSCxVQUFVLElBQzFCTSxZQUFZSCxXQUFXLElBQUk7UUFFakMsSUFBSSxDQUFDSSxhQUFhLENBQUMsQ0FBQ0MsV0FBV0M7WUFDN0IsSUFBSUEsVUFBVUgsV0FBVztnQkFDdkIsTUFBTUksbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO2dCQUUzQ1AsV0FBV00sU0FBUyxHQUFHO2dCQUV2QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQVEsb0JBQW9CO1FBQ2xCLElBQUlDLGlCQUFpQjtRQUVyQixNQUFNWCxXQUFXLElBQUksQ0FBQ0gsVUFBVTtRQUVoQyxJQUFJRyxVQUFVO1lBQ1osTUFBTVksY0FBYztZQUVwQixJQUFJLENBQUNSLGFBQWEsQ0FBQyxDQUFDQyxXQUFXQztnQkFDN0IsSUFBSUEsVUFBVU0sYUFBYTtvQkFDekIsTUFBTUwsbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO29CQUUzQ0UsaUJBQWlCSCxTQUFTLEdBQUc7b0JBRTdCLE9BQU87Z0JBQ1Q7WUFDRjtRQUNGO1FBRUEsT0FBT0c7SUFDVDtJQUVBRSxxQkFBcUI7UUFDbkIsSUFBSUM7UUFFSixNQUFNZCxXQUFXLElBQUksQ0FBQ0gsVUFBVSxJQUMxQkssV0FBVyxJQUFJLENBQUNELFdBQVc7UUFFakMsSUFBSUQsVUFBVTtZQUNaLE1BQU1XLGlCQUFpQixJQUFJLENBQUNELGlCQUFpQjtZQUU3Q0ksa0JBQWtCLEdBQUdILGlCQUFpQlQsVUFBVTtRQUNsRCxPQUFPO1lBQ0xZLGtCQUFrQlosVUFBVyxHQUFHO1FBQ2xDO1FBRUEsT0FBT1k7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3ZCLCtCQUFlLENBQUNtQiwwQ0FBMEMsQ0FBQ3BCLFVBQVVxQixVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=
|
package/lib/node/typePrefix.js
CHANGED
|
@@ -8,111 +8,23 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TypePrefixNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
37
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _get_prototype_of(o) {
|
|
42
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
43
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
44
|
-
};
|
|
45
|
-
return _get_prototype_of(o);
|
|
46
|
-
}
|
|
47
|
-
function _inherits(subClass, superClass) {
|
|
48
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
49
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
class TypePrefixNode extends _occamlanguages.NonTerminalNode {
|
|
13
|
+
getTypePrefixName() {
|
|
14
|
+
let typePrefixName;
|
|
15
|
+
this.someChildNode((childNode)=>{
|
|
16
|
+
const childNodeTerminalNode = childNode.isTerminalNode();
|
|
17
|
+
if (childNodeTerminalNode) {
|
|
18
|
+
const terminalNode = childNode, content = terminalNode.getContent();
|
|
19
|
+
typePrefixName = content; ///
|
|
20
|
+
return true;
|
|
21
|
+
}
|
|
22
|
+
});
|
|
23
|
+
return typePrefixName;
|
|
50
24
|
}
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
value: subClass,
|
|
54
|
-
writable: true,
|
|
55
|
-
configurable: true
|
|
56
|
-
}
|
|
57
|
-
});
|
|
58
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
59
|
-
}
|
|
60
|
-
function _possible_constructor_return(self, call) {
|
|
61
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
62
|
-
return call;
|
|
25
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
26
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypePrefixNode, ruleName, childNodes, opacity, precedence);
|
|
63
27
|
}
|
|
64
|
-
return _assert_this_initialized(self);
|
|
65
|
-
}
|
|
66
|
-
function _set_prototype_of(o, p) {
|
|
67
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
68
|
-
o.__proto__ = p;
|
|
69
|
-
return o;
|
|
70
|
-
};
|
|
71
|
-
return _set_prototype_of(o, p);
|
|
72
|
-
}
|
|
73
|
-
function _type_of(obj) {
|
|
74
|
-
"@swc/helpers - typeof";
|
|
75
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
76
28
|
}
|
|
77
|
-
function _is_native_reflect_construct() {
|
|
78
|
-
try {
|
|
79
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
80
|
-
} catch (_) {}
|
|
81
|
-
return (_is_native_reflect_construct = function() {
|
|
82
|
-
return !!result;
|
|
83
|
-
})();
|
|
84
|
-
}
|
|
85
|
-
var TypePrefixNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
86
|
-
_inherits(TypePrefixNode, NonTerminalNode);
|
|
87
|
-
function TypePrefixNode() {
|
|
88
|
-
_class_call_check(this, TypePrefixNode);
|
|
89
|
-
return _call_super(this, TypePrefixNode, arguments);
|
|
90
|
-
}
|
|
91
|
-
_create_class(TypePrefixNode, [
|
|
92
|
-
{
|
|
93
|
-
key: "getTypePrefixName",
|
|
94
|
-
value: function getTypePrefixName() {
|
|
95
|
-
var typePrefixName;
|
|
96
|
-
this.someChildNode(function(childNode) {
|
|
97
|
-
var childNodeTerminalNode = childNode.isTerminalNode();
|
|
98
|
-
if (childNodeTerminalNode) {
|
|
99
|
-
var terminalNode = childNode, content = terminalNode.getContent();
|
|
100
|
-
typePrefixName = content; ///
|
|
101
|
-
return true;
|
|
102
|
-
}
|
|
103
|
-
});
|
|
104
|
-
return typePrefixName;
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
], [
|
|
108
|
-
{
|
|
109
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
110
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
111
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypePrefixNode, ruleName, childNodes, opacity, precedence);
|
|
112
|
-
}
|
|
113
|
-
}
|
|
114
|
-
]);
|
|
115
|
-
return TypePrefixNode;
|
|
116
|
-
}(_occamlanguages.NonTerminalNode);
|
|
117
29
|
|
|
118
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
30
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVQcmVmaXguanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVHlwZVByZWZpeE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUeXBlUHJlZml4TmFtZSgpIHtcbiAgICBsZXQgdHlwZVByZWZpeE5hbWU7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgdHlwZVByZWZpeE5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiB0eXBlUHJlZml4TmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVHlwZVByZWZpeE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVQcmVmaXhOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VHlwZVByZWZpeE5hbWUiLCJ0eXBlUHJlZml4TmFtZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJjaGlsZE5vZGVUZXJtaW5hbE5vZGUiLCJpc1Rlcm1pbmFsTm9kZSIsInRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0NBRlc7QUFFakIsTUFBTUEsdUJBQXVCQywrQkFBZTtJQUN6REMsb0JBQW9CO1FBQ2xCLElBQUlDO1FBRUosSUFBSSxDQUFDQyxhQUFhLENBQUMsQ0FBQ0M7WUFDbEIsTUFBTUMsd0JBQXdCRCxVQUFVRSxjQUFjO1lBRXRELElBQUlELHVCQUF1QjtnQkFDekIsTUFBTUUsZUFBZUgsV0FDZkksVUFBVUQsYUFBYUUsVUFBVTtnQkFFdkNQLGlCQUFpQk0sU0FBUyxHQUFHO2dCQUU3QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQSxPQUFPUSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLCtCQUFlLENBQUNVLDBDQUEwQyxDQUFDWCxnQkFBZ0JZLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
|
package/lib/node/types.js
CHANGED
|
@@ -8,104 +8,16 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return TypesNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
11
|
+
const _occamlanguages = require("occam-languages");
|
|
12
|
+
const _ruleNames = require("../ruleNames");
|
|
13
|
+
class TypesNode extends _occamlanguages.NonTerminalNode {
|
|
14
|
+
getTypeNodes() {
|
|
15
|
+
const ruleName = _ruleNames.TYPE_RULE_NAME, typeNodes = this.getNodesByRuleName(ruleName);
|
|
16
|
+
return typeNodes;
|
|
16
17
|
}
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
function _call_super(_this, derived, args) {
|
|
20
|
-
derived = _get_prototype_of(derived);
|
|
21
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
22
|
-
}
|
|
23
|
-
function _class_call_check(instance, Constructor) {
|
|
24
|
-
if (!(instance instanceof Constructor)) {
|
|
25
|
-
throw new TypeError("Cannot call a class as a function");
|
|
26
|
-
}
|
|
27
|
-
}
|
|
28
|
-
function _defineProperties(target, props) {
|
|
29
|
-
for(var i = 0; i < props.length; i++){
|
|
30
|
-
var descriptor = props[i];
|
|
31
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
32
|
-
descriptor.configurable = true;
|
|
33
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
34
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
35
|
-
}
|
|
36
|
-
}
|
|
37
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
38
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
39
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
40
|
-
return Constructor;
|
|
41
|
-
}
|
|
42
|
-
function _get_prototype_of(o) {
|
|
43
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
44
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
45
|
-
};
|
|
46
|
-
return _get_prototype_of(o);
|
|
47
|
-
}
|
|
48
|
-
function _inherits(subClass, superClass) {
|
|
49
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
50
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
51
|
-
}
|
|
52
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
53
|
-
constructor: {
|
|
54
|
-
value: subClass,
|
|
55
|
-
writable: true,
|
|
56
|
-
configurable: true
|
|
57
|
-
}
|
|
58
|
-
});
|
|
59
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
60
|
-
}
|
|
61
|
-
function _possible_constructor_return(self, call) {
|
|
62
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
63
|
-
return call;
|
|
18
|
+
static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
19
|
+
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypesNode, ruleName, childNodes, opacity, precedence);
|
|
64
20
|
}
|
|
65
|
-
return _assert_this_initialized(self);
|
|
66
|
-
}
|
|
67
|
-
function _set_prototype_of(o, p) {
|
|
68
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
69
|
-
o.__proto__ = p;
|
|
70
|
-
return o;
|
|
71
|
-
};
|
|
72
|
-
return _set_prototype_of(o, p);
|
|
73
21
|
}
|
|
74
|
-
function _type_of(obj) {
|
|
75
|
-
"@swc/helpers - typeof";
|
|
76
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
77
|
-
}
|
|
78
|
-
function _is_native_reflect_construct() {
|
|
79
|
-
try {
|
|
80
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
81
|
-
} catch (_) {}
|
|
82
|
-
return (_is_native_reflect_construct = function() {
|
|
83
|
-
return !!result;
|
|
84
|
-
})();
|
|
85
|
-
}
|
|
86
|
-
var TypesNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
-
_inherits(TypesNode, NonTerminalNode);
|
|
88
|
-
function TypesNode() {
|
|
89
|
-
_class_call_check(this, TypesNode);
|
|
90
|
-
return _call_super(this, TypesNode, arguments);
|
|
91
|
-
}
|
|
92
|
-
_create_class(TypesNode, [
|
|
93
|
-
{
|
|
94
|
-
key: "getTypeNodes",
|
|
95
|
-
value: function getTypeNodes() {
|
|
96
|
-
var ruleName = _ruleNames.TYPE_RULE_NAME, typeNodes = this.getNodesByRuleName(ruleName);
|
|
97
|
-
return typeNodes;
|
|
98
|
-
}
|
|
99
|
-
}
|
|
100
|
-
], [
|
|
101
|
-
{
|
|
102
|
-
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
103
|
-
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
104
|
-
return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypesNode, ruleName, childNodes, opacity, precedence);
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
]);
|
|
108
|
-
return TypesNode;
|
|
109
|
-
}(_occamlanguages.NonTerminalNode);
|
|
110
22
|
|
|
111
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IFRZUEVfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlc05vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUeXBlTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBUWVBFX1JVTEVfTkFNRSxcbiAgICAgICAgICB0eXBlTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdHlwZU5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUeXBlc05vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVzTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFR5cGVOb2RlcyIsInJ1bGVOYW1lIiwiVFlQRV9SVUxFX05BTUUiLCJ0eXBlTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7Z0NBSlc7MkJBRUQ7QUFFaEIsTUFBTUEsa0JBQWtCQywrQkFBZTtJQUNwREMsZUFBZTtRQUNiLE1BQU1DLFdBQVdDLHlCQUFjLEVBQ3pCQyxZQUFZLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO1FBRTFDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULCtCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxXQUFXRyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzFOIn0=
|