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
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ProcedureCallNode;
|
|
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,21 +83,46 @@ function _is_native_reflect_construct() {
|
|
|
133
83
|
return !!result;
|
|
134
84
|
})();
|
|
135
85
|
}
|
|
136
|
-
var ProcedureCallNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(ProcedureCallNode,
|
|
86
|
+
var ProcedureCallNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
+
_inherits(ProcedureCallNode, NonTerminalNode);
|
|
138
88
|
function ProcedureCallNode() {
|
|
139
89
|
_class_call_check(this, ProcedureCallNode);
|
|
140
90
|
return _call_super(this, ProcedureCallNode, arguments);
|
|
141
91
|
}
|
|
142
|
-
_create_class(ProcedureCallNode,
|
|
92
|
+
_create_class(ProcedureCallNode, [
|
|
93
|
+
{
|
|
94
|
+
key: "getReferenceNode",
|
|
95
|
+
value: function getReferenceNode() {
|
|
96
|
+
var referenceNode = this.findChildNode(function(childNode) {
|
|
97
|
+
var childNodeReferenceNode = (0, _node.isNodeReferenceNode)(childNode);
|
|
98
|
+
if (childNodeReferenceNode) {
|
|
99
|
+
return true;
|
|
100
|
+
}
|
|
101
|
+
}) || null;
|
|
102
|
+
return referenceNode;
|
|
103
|
+
}
|
|
104
|
+
},
|
|
105
|
+
{
|
|
106
|
+
key: "getParameterNodes",
|
|
107
|
+
value: function getParameterNodes() {
|
|
108
|
+
var parameterNodes = this.filterChildNode(function(childNode) {
|
|
109
|
+
var childNodeParameterNode = (0, _node.isNodeParameterNode)(childNode);
|
|
110
|
+
if (childNodeParameterNode) {
|
|
111
|
+
return true;
|
|
112
|
+
}
|
|
113
|
+
});
|
|
114
|
+
return parameterNodes;
|
|
115
|
+
}
|
|
116
|
+
}
|
|
117
|
+
], [
|
|
143
118
|
{
|
|
144
119
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
120
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
121
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ProcedureCallNode, ruleName, childNodes, opacity, precedence);
|
|
147
122
|
}
|
|
148
123
|
}
|
|
149
124
|
]);
|
|
150
125
|
return ProcedureCallNode;
|
|
151
|
-
}(
|
|
126
|
+
}(_occamparsers.NonTerminalNode);
|
|
152
127
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
128
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb2NlZHVyZUNhbGwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5cbmltcG9ydCB7IGlzTm9kZVBhcmFtZXRlck5vZGUsIGlzTm9kZVJlZmVyZW5jZU5vZGUgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUHJvY2VkdXJlQ2FsbE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRSZWZlcmVuY2VOb2RlKCkge1xuICAgIGNvbnN0IHJlZmVyZW5jZU5vZGUgPSB0aGlzLmZpbmRDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlUmVmZXJlbmNlTm9kZSA9IGlzTm9kZVJlZmVyZW5jZU5vZGUoY2hpbGROb2RlKTtcblxuICAgICAgaWYgKGNoaWxkTm9kZVJlZmVyZW5jZU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIHJldHVybiByZWZlcmVuY2VOb2RlO1xuICB9XG5cbiAgZ2V0UGFyYW1ldGVyTm9kZXMoKSB7XG4gICAgY29uc3QgcGFyYW1ldGVyTm9kZXMgPSB0aGlzLmZpbHRlckNoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBjaGlsZE5vZGVQYXJhbWV0ZXJOb2RlID0gaXNOb2RlUGFyYW1ldGVyTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlUGFyYW1ldGVyTm9kZSkge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBwYXJhbWV0ZXJOb2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvY2VkdXJlQ2FsbE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlByb2NlZHVyZUNhbGxOb2RlIiwiZ2V0UmVmZXJlbmNlTm9kZSIsInJlZmVyZW5jZU5vZGUiLCJmaW5kQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiY2hpbGROb2RlUmVmZXJlbmNlTm9kZSIsImlzTm9kZVJlZmVyZW5jZU5vZGUiLCJnZXRQYXJhbWV0ZXJOb2RlcyIsInBhcmFtZXRlck5vZGVzIiwiZmlsdGVyQ2hpbGROb2RlIiwiY2hpbGROb2RlUGFyYW1ldGVyTm9kZSIsImlzTm9kZVBhcmFtZXRlck5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7NEJBSlc7b0JBRXlCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxQyxJQUFBLEFBQU1BLGtDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsZ0JBQWdCLElBQUksQ0FBQ0MsYUFBYSxDQUFDLFNBQUNDO29CQUN4QyxJQUFNQyx5QkFBeUJDLElBQUFBLHlCQUFtQixFQUFDRjtvQkFFbkQsSUFBSUMsd0JBQXdCO3dCQUMxQixPQUFPO29CQUNUO2dCQUNGLE1BQU07Z0JBRU4sT0FBT0g7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxpQkFBaUIsSUFBSSxDQUFDQyxlQUFlLENBQUMsU0FBQ0w7b0JBQzNDLElBQU1NLHlCQUF5QkMsSUFBQUEseUJBQW1CLEVBQUNQO29CQUVuRCxJQUFJTSx3QkFBd0I7d0JBQzFCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0Y7WUFDVDs7OztZQUVPSSxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsNkJBQWUsQ0FBQ0wsMENBQTBDLENBekI3SVosbUJBeUJpS2EsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBekI3TWhCO0VBQTBCaUIsNkJBQWUifQ==
|
package/lib/node/proof.js
CHANGED
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return ProofNode;
|
|
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,21 +83,34 @@ function _is_native_reflect_construct() {
|
|
|
133
83
|
return !!result;
|
|
134
84
|
})();
|
|
135
85
|
}
|
|
136
|
-
var ProofNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(ProofNode,
|
|
86
|
+
var ProofNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
+
_inherits(ProofNode, NonTerminalNode);
|
|
138
88
|
function ProofNode() {
|
|
139
89
|
_class_call_check(this, ProofNode);
|
|
140
90
|
return _call_super(this, ProofNode, arguments);
|
|
141
91
|
}
|
|
142
|
-
_create_class(ProofNode,
|
|
92
|
+
_create_class(ProofNode, [
|
|
93
|
+
{
|
|
94
|
+
key: "getDerivationNode",
|
|
95
|
+
value: function getDerivationNode() {
|
|
96
|
+
var derivationNode = this.findChildNode(function(childNode) {
|
|
97
|
+
var childNodeDerivationNode = (0, _node.isNodeDerivationNode)(childNode);
|
|
98
|
+
if (childNodeDerivationNode) {
|
|
99
|
+
return true;
|
|
100
|
+
}
|
|
101
|
+
});
|
|
102
|
+
return derivationNode;
|
|
103
|
+
}
|
|
104
|
+
}
|
|
105
|
+
], [
|
|
143
106
|
{
|
|
144
107
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
108
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
109
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ProofNode, ruleName, childNodes, opacity, precedence);
|
|
147
110
|
}
|
|
148
111
|
}
|
|
149
112
|
]);
|
|
150
113
|
return ProofNode;
|
|
151
|
-
}(
|
|
114
|
+
}(_occamparsers.NonTerminalNode);
|
|
152
115
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
116
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tcGFyc2Vyc1wiO1xuXG5pbXBvcnQgeyBpc05vZGVEZXJpdmF0aW9uTm9kZSB9IGZyb20gXCIuLi91dGlsaXRpZXMvbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9vZk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXREZXJpdmF0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBkZXJpdmF0aW9uTm9kZSA9IHRoaXMuZmluZENoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBjaGlsZE5vZGVEZXJpdmF0aW9uTm9kZSA9IGlzTm9kZURlcml2YXRpb25Ob2RlKGNoaWxkTm9kZSk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVEZXJpdmF0aW9uTm9kZSkge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBkZXJpdmF0aW9uTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvb2ZOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQcm9vZk5vZGUiLCJnZXREZXJpdmF0aW9uTm9kZSIsImRlcml2YXRpb25Ob2RlIiwiZmluZENoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZURlcml2YXRpb25Ob2RlIiwiaXNOb2RlRGVyaXZhdGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7NEJBSlc7b0JBRUs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXRCLElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxpQkFBaUIsSUFBSSxDQUFDQyxhQUFhLENBQUMsU0FBQ0M7b0JBQ3pDLElBQU1DLDBCQUEwQkMsSUFBQUEsMEJBQW9CLEVBQUNGO29CQUVyRCxJQUFJQyx5QkFBeUI7d0JBQzNCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0g7WUFDVDs7OztZQUVPSyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsNkJBQWUsQ0FBQ0wsMENBQTBDLENBYjdJUCxXQWF5SlEsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBYnJNWDtFQUFrQlksNkJBQWUifQ==
|
package/lib/node/property.js
CHANGED
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return PropertyNode;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var _occamparsers = require("occam-parsers");
|
|
12
|
+
var _constants = require("../constants");
|
|
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 PropertyNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(PropertyNode,
|
|
86
|
+
var PropertyNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
+
_inherits(PropertyNode, NonTerminalNode);
|
|
138
88
|
function PropertyNode() {
|
|
139
89
|
_class_call_check(this, PropertyNode);
|
|
140
90
|
return _call_super(this, PropertyNode, arguments);
|
|
@@ -143,23 +93,29 @@ var PropertyNode = /*#__PURE__*/ function(Node) {
|
|
|
143
93
|
{
|
|
144
94
|
key: "getPropertyName",
|
|
145
95
|
value: function getPropertyName() {
|
|
146
|
-
var
|
|
147
|
-
var nameTerminalNode = firstChildNode, content = nameTerminalNode.getContent();
|
|
148
|
-
propertyName = propertyName !== null ? "".concat(propertyName, " ").concat(content) : content; ///
|
|
149
|
-
return propertyName;
|
|
150
|
-
}, null);
|
|
96
|
+
var names = this.getNames(), propertyName = names.join(_constants.SINGLE_SPACE);
|
|
151
97
|
return propertyName;
|
|
152
98
|
}
|
|
99
|
+
},
|
|
100
|
+
{
|
|
101
|
+
key: "getNames",
|
|
102
|
+
value: function getNames() {
|
|
103
|
+
var names = this.mapChildNode(function(childNode) {
|
|
104
|
+
var terminalNode = childNode, content = terminalNode.getContent(), name = content; //
|
|
105
|
+
return name;
|
|
106
|
+
});
|
|
107
|
+
return names;
|
|
108
|
+
}
|
|
153
109
|
}
|
|
154
110
|
], [
|
|
155
111
|
{
|
|
156
112
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
157
113
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
158
|
-
return
|
|
114
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(PropertyNode, ruleName, childNodes, opacity, precedence);
|
|
159
115
|
}
|
|
160
116
|
}
|
|
161
117
|
]);
|
|
162
118
|
return PropertyNode;
|
|
163
|
-
}(
|
|
119
|
+
}(_occamparsers.NonTerminalNode);
|
|
164
120
|
|
|
165
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
121
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tcGFyc2Vyc1wiO1xuXG5pbXBvcnQgeyBTSU5HTEVfU1BBQ0UgfSBmcm9tIFwiLi4vY29uc3RhbnRzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb3BlcnR5Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFByb3BlcnR5TmFtZSgpIHtcbiAgICBjb25zdCBuYW1lcyA9IHRoaXMuZ2V0TmFtZXMoKSxcbiAgICAgICAgICBwcm9wZXJ0eU5hbWUgPSBuYW1lcy5qb2luKFNJTkdMRV9TUEFDRSk7XG5cbiAgICByZXR1cm4gcHJvcGVydHlOYW1lO1xuICB9XG5cbiAgZ2V0TmFtZXMoKSB7XG4gICAgY29uc3QgbmFtZXMgPSB0aGlzLm1hcENoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCksXG4gICAgICAgICAgICBuYW1lID0gY29udGVudDsgLy9cblxuICAgICAgcmV0dXJuIG5hbWU7XG4gICAgfSk7XG5cbiAgICByZXR1cm4gbmFtZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFByb3BlcnR5Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvcGVydHlOb2RlIiwiZ2V0UHJvcGVydHlOYW1lIiwibmFtZXMiLCJnZXROYW1lcyIsInByb3BlcnR5TmFtZSIsImpvaW4iLCJTSU5HTEVfU1BBQ0UiLCJtYXBDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsIm5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7NEJBSlc7eUJBRUg7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRWQsSUFBQSxBQUFNQSw2QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFFBQVEsSUFBSSxDQUFDQyxRQUFRLElBQ3JCQyxlQUFlRixNQUFNRyxJQUFJLENBQUNDLHVCQUFZO2dCQUU1QyxPQUFPRjtZQUNUOzs7WUFFQUQsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1ELFFBQVEsSUFBSSxDQUFDSyxZQUFZLENBQUMsU0FBQ0M7b0JBQy9CLElBQU1DLGVBQWVELFdBQ2ZFLFVBQVVELGFBQWFFLFVBQVUsSUFDakNDLE9BQU9GLFNBQVMsRUFBRTtvQkFFeEIsT0FBT0U7Z0JBQ1Q7Z0JBRUEsT0FBT1Y7WUFDVDs7OztZQUVPVyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsNkJBQWUsQ0FBQ0wsMENBQTBDLENBcEI3SWIsY0FvQjRKYyxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FwQnhNakI7RUFBcUJrQiw2QkFBZSJ9
|
|
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return PropertyRelationNode;
|
|
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,21 +83,53 @@ function _is_native_reflect_construct() {
|
|
|
133
83
|
return !!result;
|
|
134
84
|
})();
|
|
135
85
|
}
|
|
136
|
-
var PropertyRelationNode = /*#__PURE__*/ function(
|
|
137
|
-
_inherits(PropertyRelationNode,
|
|
86
|
+
var PropertyRelationNode = /*#__PURE__*/ function(NonTerminalNode) {
|
|
87
|
+
_inherits(PropertyRelationNode, NonTerminalNode);
|
|
138
88
|
function PropertyRelationNode() {
|
|
139
89
|
_class_call_check(this, PropertyRelationNode);
|
|
140
90
|
return _call_super(this, PropertyRelationNode, arguments);
|
|
141
91
|
}
|
|
142
|
-
_create_class(PropertyRelationNode,
|
|
92
|
+
_create_class(PropertyRelationNode, [
|
|
93
|
+
{
|
|
94
|
+
key: "getTermNode",
|
|
95
|
+
value: function getTermNode() {
|
|
96
|
+
var termNode = this.findChildNode(function(childNode) {
|
|
97
|
+
var childNodeTermNode = (0, _node.isNodeTermNode)(childNode);
|
|
98
|
+
if (childNodeTermNode) {
|
|
99
|
+
return true;
|
|
100
|
+
}
|
|
101
|
+
}) || null;
|
|
102
|
+
return termNode;
|
|
103
|
+
}
|
|
104
|
+
},
|
|
105
|
+
{
|
|
106
|
+
key: "getPropertyNode",
|
|
107
|
+
value: function getPropertyNode() {
|
|
108
|
+
var propertyNode = this.findChildNode(function(childNode) {
|
|
109
|
+
var childNodePropertyNode = (0, _node.isNodePropertyNode)(childNode);
|
|
110
|
+
if (childNodePropertyNode) {
|
|
111
|
+
return true;
|
|
112
|
+
}
|
|
113
|
+
}) || null;
|
|
114
|
+
return propertyNode;
|
|
115
|
+
}
|
|
116
|
+
},
|
|
117
|
+
{
|
|
118
|
+
key: "getPropertyName",
|
|
119
|
+
value: function getPropertyName() {
|
|
120
|
+
var propertyNode = this.getPropertyNode(), propertyName = propertyNode.getPropertyName();
|
|
121
|
+
return propertyName;
|
|
122
|
+
}
|
|
123
|
+
}
|
|
124
|
+
], [
|
|
143
125
|
{
|
|
144
126
|
key: "fromRuleNameChildNodesOpacityAndPrecedence",
|
|
145
127
|
value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
|
|
146
|
-
return
|
|
128
|
+
return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(PropertyRelationNode, ruleName, childNodes, opacity, precedence);
|
|
147
129
|
}
|
|
148
130
|
}
|
|
149
131
|
]);
|
|
150
132
|
return PropertyRelationNode;
|
|
151
|
-
}(
|
|
133
|
+
}(_occamparsers.NonTerminalNode);
|
|
152
134
|
|
|
153
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
135
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5UmVsYXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5pbXBvcnQgeyBpc05vZGVUZXJtTm9kZSwgaXNOb2RlUHJvcGVydHlOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb3BlcnR5UmVsYXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VGVybU5vZGUoKSB7XG4gICAgY29uc3QgdGVybU5vZGUgPSB0aGlzLmZpbmRDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybU5vZGUgPSBpc05vZGVUZXJtTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVGVybU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIHJldHVybiB0ZXJtTm9kZTtcbiAgfVxuXG4gIGdldFByb3BlcnR5Tm9kZSgpIHtcbiAgICBjb25zdCBwcm9wZXJ0eU5vZGUgPSB0aGlzLmZpbmRDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlUHJvcGVydHlOb2RlID0gaXNOb2RlUHJvcGVydHlOb2RlKGNoaWxkTm9kZSk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVQcm9wZXJ0eU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIHJldHVybiBwcm9wZXJ0eU5vZGU7XG4gIH1cblxuICBnZXRQcm9wZXJ0eU5hbWUoKSB7XG4gICAgY29uc3QgcHJvcGVydHlOb2RlID0gdGhpcy5nZXRQcm9wZXJ0eU5vZGUoKSxcbiAgICAgICAgICBwcm9wZXJ0eU5hbWUgPSBwcm9wZXJ0eU5vZGUuZ2V0UHJvcGVydHlOYW1lKCk7XG5cbiAgICByZXR1cm4gcHJvcGVydHlOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShQcm9wZXJ0eVJlbGF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvcGVydHlSZWxhdGlvbk5vZGUiLCJnZXRUZXJtTm9kZSIsInRlcm1Ob2RlIiwiZmluZENoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZVRlcm1Ob2RlIiwiaXNOb2RlVGVybU5vZGUiLCJnZXRQcm9wZXJ0eU5vZGUiLCJwcm9wZXJ0eU5vZGUiLCJjaGlsZE5vZGVQcm9wZXJ0eU5vZGUiLCJpc05vZGVQcm9wZXJ0eU5vZGUiLCJnZXRQcm9wZXJ0eU5hbWUiLCJwcm9wZXJ0eU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFLcUJBOzs7NEJBSFc7b0JBQ21COzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVwQyxJQUFBLEFBQU1BLHFDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsV0FBVyxJQUFJLENBQUNDLGFBQWEsQ0FBQyxTQUFDQztvQkFDbkMsSUFBTUMsb0JBQW9CQyxJQUFBQSxvQkFBYyxFQUFDRjtvQkFFekMsSUFBSUMsbUJBQW1CO3dCQUNyQixPQUFPO29CQUNUO2dCQUNGLE1BQU07Z0JBRU4sT0FBT0g7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxlQUFlLElBQUksQ0FBQ0wsYUFBYSxDQUFDLFNBQUNDO29CQUN2QyxJQUFNSyx3QkFBd0JDLElBQUFBLHdCQUFrQixFQUFDTjtvQkFFakQsSUFBSUssdUJBQXVCO3dCQUN6QixPQUFPO29CQUNUO2dCQUNGLE1BQU07Z0JBRU4sT0FBT0Q7WUFDVDs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSCxlQUFlLElBQUksQ0FBQ0QsZUFBZSxJQUNuQ0ssZUFBZUosYUFBYUcsZUFBZTtnQkFFakQsT0FBT0M7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVU7Z0JBQUksT0FBT0MsNkJBQWUsQ0FBQ0wsMENBQTBDLENBaEM3SWIsc0JBZ0NvS2MsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBaENoTmpCO0VBQTZCa0IsNkJBQWUifQ==
|