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