occam-verify-cli 1.0.171 → 1.0.175
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/dom/constructor.js +11 -11
- package/lib/dom/declaration/combinator.js +3 -3
- package/lib/dom/declaration/complexType.js +41 -23
- package/lib/dom/declaration/constructor.js +35 -42
- package/lib/dom/declaration/type.js +26 -27
- package/lib/dom/declaration/variable.js +29 -44
- package/lib/dom/metaType.js +2 -3
- package/lib/dom/metavariable.js +4 -5
- package/lib/dom/property.js +3 -4
- package/lib/dom/statement.js +13 -62
- package/lib/dom/term.js +17 -14
- package/lib/dom/type.js +35 -102
- package/lib/dom/variable.js +8 -6
- package/lib/mixins/node.js +145 -0
- package/lib/node/assertion/contained.js +23 -1
- package/lib/node/assertion/defined.js +23 -1
- package/lib/node/assertion/property.js +23 -1
- package/lib/node/assertion/satisfies.js +23 -1
- package/lib/node/assertion/subproof.js +23 -1
- package/lib/node/assertion/type.js +23 -1
- package/lib/node/axiom.js +23 -1
- package/lib/node/combinator.js +23 -1
- package/lib/node/conclusion.js +23 -1
- package/lib/node/conjecture.js +23 -1
- package/lib/node/constructor.js +23 -1
- package/lib/node/declaration/combinator.js +34 -1
- package/lib/node/declaration/complexType.js +81 -1
- package/lib/node/declaration/constructor.js +62 -1
- package/lib/node/declaration/metavariable.js +23 -1
- package/lib/node/declaration/property.js +180 -0
- package/lib/node/declaration/type.js +67 -1
- package/lib/node/declaration/variable.js +78 -1
- package/lib/node/declaration.js +23 -1
- package/lib/node/deduction.js +23 -1
- package/lib/node/derivation.js +23 -1
- package/lib/node/equality.js +23 -1
- package/lib/node/error.js +23 -1
- package/lib/node/frame.js +23 -1
- package/lib/node/judgement.js +23 -1
- package/lib/node/label.js +23 -1
- package/lib/node/lemma.js +23 -1
- package/lib/node/metaLemma.js +23 -1
- package/lib/node/metaType.js +34 -1
- package/lib/node/metatheorem.js +23 -1
- package/lib/node/metavariable.js +34 -1
- package/lib/node/parameter.js +23 -1
- package/lib/node/premise.js +23 -1
- package/lib/node/procedureCall.js +23 -1
- package/lib/node/proof.js +23 -1
- package/lib/node/property.js +35 -1
- package/lib/node/propertyRelation.js +23 -1
- package/lib/node/reference.js +23 -1
- package/lib/node/rule.js +23 -1
- package/lib/node/statement.js +23 -1
- package/lib/node/step.js +23 -1
- package/lib/node/subDerivation.js +23 -1
- package/lib/node/subproof.js +23 -1
- package/lib/node/supposition.js +23 -1
- package/lib/node/term.js +23 -1
- package/lib/node/theorem.js +23 -1
- package/lib/node/topLevelAssertion.js +23 -1
- package/lib/node/topLevelMetaAssertion.js +23 -1
- package/lib/node/type.js +34 -1
- package/lib/node/variable.js +34 -1
- package/lib/node.js +73 -2
- package/lib/nodeMap.js +5 -3
- package/lib/ruleNames.js +9 -1
- package/lib/unifier/metavariable.js +2 -3
- package/lib/unifier/statementWithCombinator.js +2 -3
- package/lib/unifier/termWithConstructor.js +2 -3
- package/lib/utilities/node.js +84 -0
- package/lib/verifier/combinator.js +2 -3
- package/lib/verifier/constructor.js +2 -3
- package/package.json +2 -2
- package/src/dom/constructor.js +10 -12
- package/src/dom/declaration/combinator.js +2 -2
- package/src/dom/declaration/complexType.js +43 -52
- package/src/dom/declaration/constructor.js +49 -57
- package/src/dom/declaration/type.js +34 -37
- package/src/dom/declaration/variable.js +30 -54
- package/src/dom/metaType.js +1 -2
- package/src/dom/metavariable.js +3 -4
- package/src/dom/property.js +5 -7
- package/src/dom/statement.js +6 -24
- package/src/dom/term.js +8 -14
- package/src/dom/type.js +45 -165
- package/src/dom/variable.js +19 -11
- package/src/mixins/node.js +201 -0
- package/src/node/assertion/contained.js +3 -1
- package/src/node/assertion/defined.js +3 -1
- package/src/node/assertion/property.js +3 -1
- package/src/node/assertion/satisfies.js +3 -1
- package/src/node/assertion/subproof.js +3 -1
- package/src/node/assertion/type.js +3 -1
- package/src/node/axiom.js +3 -1
- package/src/node/combinator.js +3 -1
- package/src/node/conclusion.js +3 -1
- package/src/node/conjecture.js +3 -1
- package/src/node/constructor.js +3 -1
- package/src/node/declaration/combinator.js +13 -1
- package/src/node/declaration/complexType.js +73 -1
- package/src/node/declaration/constructor.js +47 -1
- package/src/node/declaration/metavariable.js +3 -1
- package/src/node/declaration/property.js +36 -0
- package/src/node/declaration/type.js +58 -1
- package/src/node/declaration/variable.js +67 -1
- package/src/node/declaration.js +3 -1
- package/src/node/deduction.js +3 -1
- package/src/node/derivation.js +3 -1
- package/src/node/equality.js +3 -1
- package/src/node/error.js +3 -1
- package/src/node/frame.js +3 -1
- package/src/node/judgement.js +3 -1
- package/src/node/label.js +3 -1
- package/src/node/lemma.js +3 -1
- package/src/node/metaLemma.js +3 -1
- package/src/node/metaType.js +15 -1
- package/src/node/metatheorem.js +3 -1
- package/src/node/metavariable.js +15 -1
- package/src/node/parameter.js +3 -1
- package/src/node/premise.js +3 -1
- package/src/node/procedureCall.js +3 -1
- package/src/node/proof.js +3 -1
- package/src/node/property.js +18 -1
- package/src/node/propertyRelation.js +3 -1
- package/src/node/reference.js +3 -1
- package/src/node/rule.js +3 -1
- package/src/node/statement.js +3 -1
- package/src/node/step.js +3 -1
- package/src/node/subDerivation.js +3 -1
- package/src/node/subproof.js +3 -1
- package/src/node/supposition.js +3 -1
- package/src/node/term.js +3 -1
- package/src/node/theorem.js +3 -1
- package/src/node/topLevelAssertion.js +3 -1
- package/src/node/topLevelMetaAssertion.js +3 -1
- package/src/node/type.js +15 -1
- package/src/node/variable.js +15 -1
- package/src/node.js +23 -1
- package/src/nodeMap.js +7 -1
- package/src/ruleNames.js +2 -0
- package/src/unifier/metavariable.js +1 -2
- package/src/unifier/statementWithCombinator.js +1 -2
- package/src/unifier/termWithConstructor.js +1 -2
- package/src/utilities/node.js +72 -0
- package/src/verifier/combinator.js +1 -2
- package/src/verifier/constructor.js +1 -2
- package/lib/utilities/name.js +0 -44
- package/src/utilities/name.js +0 -39
|
@@ -9,6 +9,8 @@ Object.defineProperty(exports, "default", {
|
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
11
|
var _node = /*#__PURE__*/ _interop_require_default(require("../../node"));
|
|
12
|
+
var _constants = require("../../constants");
|
|
13
|
+
var _node1 = require("../../utilities/node");
|
|
12
14
|
function _assert_this_initialized(self) {
|
|
13
15
|
if (self === void 0) {
|
|
14
16
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -41,6 +43,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
43
|
}
|
|
42
44
|
return _construct.apply(null, arguments);
|
|
43
45
|
}
|
|
46
|
+
function _defineProperties(target, props) {
|
|
47
|
+
for(var i = 0; i < props.length; i++){
|
|
48
|
+
var descriptor = props[i];
|
|
49
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
50
|
+
descriptor.configurable = true;
|
|
51
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
52
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
56
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
57
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
58
|
+
return Constructor;
|
|
59
|
+
}
|
|
44
60
|
function _get_prototype_of(o) {
|
|
45
61
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
62
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +141,68 @@ var VariableDeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
125
141
|
_class_call_check(this, VariableDeclarationNode);
|
|
126
142
|
return _call_super(this, VariableDeclarationNode, arguments);
|
|
127
143
|
}
|
|
144
|
+
_create_class(VariableDeclarationNode, [
|
|
145
|
+
{
|
|
146
|
+
key: "getTypeNode",
|
|
147
|
+
value: function getTypeNode() {
|
|
148
|
+
var typeNode;
|
|
149
|
+
this.someChildNode(function(childNode) {
|
|
150
|
+
var childNodeTypeNode = (0, _node1.isNodeTypeNode)(childNode);
|
|
151
|
+
if (childNodeTypeNode) {
|
|
152
|
+
typeNode = childNode; ///
|
|
153
|
+
return true;
|
|
154
|
+
}
|
|
155
|
+
});
|
|
156
|
+
return typeNode;
|
|
157
|
+
}
|
|
158
|
+
},
|
|
159
|
+
{
|
|
160
|
+
key: "isProvisional",
|
|
161
|
+
value: function isProvisional() {
|
|
162
|
+
var provisional = this.fromSecondLastChildNode(function(secondLastChildNode) {
|
|
163
|
+
var provisional = false;
|
|
164
|
+
var secondLastChildNodeTerminalNode = secondLastChildNode.isTerminalNode();
|
|
165
|
+
if (secondLastChildNodeTerminalNode) {
|
|
166
|
+
var terminalNode = secondLastChildNode, content = terminalNode.getContent(), contentProvisionally = content === _constants.PROVISIONALLY;
|
|
167
|
+
if (contentProvisionally) {
|
|
168
|
+
provisional = true;
|
|
169
|
+
}
|
|
170
|
+
}
|
|
171
|
+
return provisional;
|
|
172
|
+
});
|
|
173
|
+
return provisional;
|
|
174
|
+
}
|
|
175
|
+
},
|
|
176
|
+
{
|
|
177
|
+
key: "getVariableNode",
|
|
178
|
+
value: function getVariableNode() {
|
|
179
|
+
var variableNode;
|
|
180
|
+
this.someChildNode(function(childNode) {
|
|
181
|
+
var childNodeVariableNode = (0, _node1.isNodeVariableNode)(childNode);
|
|
182
|
+
if (childNodeVariableNode) {
|
|
183
|
+
variableNode = childNode; ///
|
|
184
|
+
return true;
|
|
185
|
+
}
|
|
186
|
+
});
|
|
187
|
+
return variableNode;
|
|
188
|
+
}
|
|
189
|
+
},
|
|
190
|
+
{
|
|
191
|
+
key: "getVariableName",
|
|
192
|
+
value: function getVariableName() {
|
|
193
|
+
var variableNode = this.getVariableNode(), variableName = variableNode.getVariableName();
|
|
194
|
+
return variableName;
|
|
195
|
+
}
|
|
196
|
+
}
|
|
197
|
+
], [
|
|
198
|
+
{
|
|
199
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
200
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
201
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(VariableDeclarationNode, ruleName, childNodes, opacity);
|
|
202
|
+
}
|
|
203
|
+
}
|
|
204
|
+
]);
|
|
128
205
|
return VariableDeclarationNode;
|
|
129
206
|
}(_wrap_native_super(_node.default));
|
|
130
207
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
208
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uL3ZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vLi4vbm9kZVwiO1xuXG5pbXBvcnQgeyBQUk9WSVNJT05BTExZIH0gZnJvbSBcIi4uLy4uL2NvbnN0YW50c1wiO1xuaW1wb3J0IHsgaXNOb2RlVHlwZU5vZGUsIGlzTm9kZVZhcmlhYmxlTm9kZSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBWYXJpYWJsZURlY2xhcmF0aW9uTm9kZSBleHRlbmRzIE5vZGUge1xuICBnZXRUeXBlTm9kZSgpIHtcbiAgICBsZXQgdHlwZU5vZGU7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVHlwZU5vZGUgPSBpc05vZGVUeXBlTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVHlwZU5vZGUpIHtcbiAgICAgICAgdHlwZU5vZGUgPSBjaGlsZE5vZGU7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHR5cGVOb2RlO1xuICB9XG5cbiAgaXNQcm92aXNpb25hbCgpIHtcbiAgICBjb25zdCBwcm92aXNpb25hbCA9IHRoaXMuZnJvbVNlY29uZExhc3RDaGlsZE5vZGUoKHNlY29uZExhc3RDaGlsZE5vZGUpID0+IHtcbiAgICAgIGxldCBwcm92aXNpb25hbCA9IGZhbHNlO1xuXG4gICAgICBjb25zdCBzZWNvbmRMYXN0Q2hpbGROb2RlVGVybWluYWxOb2RlID0gc2Vjb25kTGFzdENoaWxkTm9kZS5pc1Rlcm1pbmFsTm9kZSgpO1xuXG4gICAgICBpZiAoc2Vjb25kTGFzdENoaWxkTm9kZVRlcm1pbmFsTm9kZSkge1xuICAgICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBzZWNvbmRMYXN0Q2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCksXG4gICAgICAgICAgICAgIGNvbnRlbnRQcm92aXNpb25hbGx5ID0gKGNvbnRlbnQgPT09IFBST1ZJU0lPTkFMTFkpO1xuXG4gICAgICAgIGlmIChjb250ZW50UHJvdmlzaW9uYWxseSkge1xuICAgICAgICAgIHByb3Zpc2lvbmFsID0gdHJ1ZTtcbiAgICAgICAgfVxuICAgICAgfVxuXG4gICAgICByZXR1cm4gcHJvdmlzaW9uYWw7XG4gICAgfSk7XG5cbiAgICByZXR1cm4gcHJvdmlzaW9uYWw7XG4gIH1cblxuICBnZXRWYXJpYWJsZU5vZGUoKSB7XG4gICAgbGV0IHZhcmlhYmxlTm9kZTtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBjaGlsZE5vZGVWYXJpYWJsZU5vZGUgPSBpc05vZGVWYXJpYWJsZU5vZGUoY2hpbGROb2RlKTtcblxuICAgICAgaWYgKGNoaWxkTm9kZVZhcmlhYmxlTm9kZSkge1xuICAgICAgICB2YXJpYWJsZU5vZGUgPSBjaGlsZE5vZGU7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIGdldFZhcmlhYmxlTmFtZSgpIHtcbiAgICBjb25zdCB2YXJpYWJsZU5vZGUgPSB0aGlzLmdldFZhcmlhYmxlTm9kZSgpLFxuICAgICAgICAgIHZhcmlhYmxlTmFtZSA9IHZhcmlhYmxlTm9kZS5nZXRWYXJpYWJsZU5hbWUoKTtcblxuICAgIHJldHVybiB2YXJpYWJsZU5hbWU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIlZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiZ2V0VHlwZU5vZGUiLCJ0eXBlTm9kZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJjaGlsZE5vZGVUeXBlTm9kZSIsImlzTm9kZVR5cGVOb2RlIiwiaXNQcm92aXNpb25hbCIsInByb3Zpc2lvbmFsIiwiZnJvbVNlY29uZExhc3RDaGlsZE5vZGUiLCJzZWNvbmRMYXN0Q2hpbGROb2RlIiwic2Vjb25kTGFzdENoaWxkTm9kZVRlcm1pbmFsTm9kZSIsImlzVGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlIiwiY29udGVudCIsImdldENvbnRlbnQiLCJjb250ZW50UHJvdmlzaW9uYWxseSIsIlBST1ZJU0lPTkFMTFkiLCJnZXRWYXJpYWJsZU5vZGUiLCJ2YXJpYWJsZU5vZGUiLCJjaGlsZE5vZGVWYXJpYWJsZU5vZGUiLCJpc05vZGVWYXJpYWJsZU5vZGUiLCJnZXRWYXJpYWJsZU5hbWUiLCJ2YXJpYWJsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU9xQkE7OzsyREFMSjt5QkFFYTtxQkFDcUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXBDLElBQUEsQUFBTUEsd0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQztnQkFFSixJQUFJLENBQUNDLGFBQWEsQ0FBQyxTQUFDQztvQkFDbEIsSUFBTUMsb0JBQW9CQyxJQUFBQSxxQkFBYyxFQUFDRjtvQkFFekMsSUFBSUMsbUJBQW1CO3dCQUNyQkgsV0FBV0UsV0FBVyxHQUFHO3dCQUV6QixPQUFPO29CQUNUO2dCQUNGO2dCQUVBLE9BQU9GO1lBQ1Q7OztZQUVBSyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsY0FBYyxJQUFJLENBQUNDLHVCQUF1QixDQUFDLFNBQUNDO29CQUNoRCxJQUFJRixjQUFjO29CQUVsQixJQUFNRyxrQ0FBa0NELG9CQUFvQkUsY0FBYztvQkFFMUUsSUFBSUQsaUNBQWlDO3dCQUNuQyxJQUFNRSxlQUFlSCxxQkFDZkksVUFBVUQsYUFBYUUsVUFBVSxJQUNqQ0MsdUJBQXdCRixZQUFZRyx3QkFBYTt3QkFFdkQsSUFBSUQsc0JBQXNCOzRCQUN4QlIsY0FBYzt3QkFDaEI7b0JBQ0Y7b0JBRUEsT0FBT0E7Z0JBQ1Q7Z0JBRUEsT0FBT0E7WUFDVDs7O1lBRUFVLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQztnQkFFSixJQUFJLENBQUNoQixhQUFhLENBQUMsU0FBQ0M7b0JBQ2xCLElBQU1nQix3QkFBd0JDLElBQUFBLHlCQUFrQixFQUFDakI7b0JBRWpELElBQUlnQix1QkFBdUI7d0JBQ3pCRCxlQUFlZixXQUFXLEdBQUc7d0JBRTdCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT2U7WUFDVDs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSCxlQUFlLElBQUksQ0FBQ0QsZUFBZSxJQUNuQ0ssZUFBZUosYUFBYUcsZUFBZTtnQkFFakQsT0FBT0M7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBOURsR3hCLHlCQThENEh5QixVQUFVQyxZQUFZQztZQUFVOzs7V0E5RDVKM0I7cUJBQWdDNEIsYUFBSSJ9
|
package/lib/node/declaration.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var DeclarationNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, DeclarationNode);
|
|
126
140
|
return _call_super(this, DeclarationNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(DeclarationNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(DeclarationNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return DeclarationNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RlY2xhcmF0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBEZWNsYXJhdGlvbk5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KERlY2xhcmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiRGVjbGFyYXRpb25Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSxnQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxpQkFDb0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURwSko7cUJBQXdCSyxhQUFJIn0=
|
package/lib/node/deduction.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var DeductionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, DeductionNode);
|
|
126
140
|
return _call_super(this, DeductionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(DeductionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(DeductionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return DeductionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2RlZHVjdGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRGVkdWN0aW9uTm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoRGVkdWN0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiRGVkdWN0aW9uTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsZUFDa0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURsSko7cUJBQXNCSyxhQUFJIn0=
|
package/lib/node/derivation.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var DerivationNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, DerivationNode);
|
|
126
140
|
return _call_super(this, DerivationNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(DerivationNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(DerivationNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return DerivationNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Rlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIERlcml2YXRpb25Ob2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShEZXJpdmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiRGVyaXZhdGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLCtCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELGdCQUNtSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRG5KSjtxQkFBdUJLLGFBQUkifQ==
|
package/lib/node/equality.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var EqualityNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, EqualityNode);
|
|
126
140
|
return _call_super(this, EqualityNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(EqualityNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(EqualityNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return EqualityNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcXVhbGl0eU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KEVxdWFsaXR5Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiRXF1YWxpdHlOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSw2QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxjQUNpSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRGpKSjtxQkFBcUJLLGFBQUkifQ==
|
package/lib/node/error.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var ErrorNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ErrorNode);
|
|
126
140
|
return _call_super(this, ErrorNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ErrorNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ErrorNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ErrorNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Vycm9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcnJvck5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KEVycm9yTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiRXJyb3JOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxXQUM4R0UsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDlJSjtxQkFBa0JLLGFBQUkifQ==
|
package/lib/node/frame.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var FrameNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, FrameNode);
|
|
126
140
|
return _call_super(this, FrameNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(FrameNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(FrameNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return FrameNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2ZyYW1lLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBGcmFtZU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KEZyYW1lTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiRnJhbWVOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxXQUM4R0UsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDlJSjtxQkFBa0JLLGFBQUkifQ==
|
package/lib/node/judgement.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var JudgementNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, JudgementNode);
|
|
126
140
|
return _call_super(this, JudgementNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(JudgementNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(JudgementNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return JudgementNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2p1ZGdlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgSnVkZ2VtZW50Tm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoSnVkZ2VtZW50Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiSnVkZ2VtZW50Tm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsZUFDa0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURsSko7cUJBQXNCSyxhQUFJIn0=
|
package/lib/node/label.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var LabelNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, LabelNode);
|
|
126
140
|
return _call_super(this, LabelNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(LabelNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(LabelNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return LabelNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2xhYmVsLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBMYWJlbE5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KExhYmVsTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiTGFiZWxOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxXQUM4R0UsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDlJSjtxQkFBa0JLLGFBQUkifQ==
|
package/lib/node/lemma.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var LemmaNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, LemmaNode);
|
|
126
140
|
return _call_super(this, LemmaNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(LemmaNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(LemmaNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return LemmaNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2xlbW1hLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBMZW1tYU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KExlbW1hTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiTGVtbWFOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxXQUM4R0UsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDlJSjtxQkFBa0JLLGFBQUkifQ==
|
package/lib/node/metaLemma.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var MetaLemmaNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, MetaLemmaNode);
|
|
126
140
|
return _call_super(this, MetaLemmaNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(MetaLemmaNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(MetaLemmaNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return MetaLemmaNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGFMZW1tYS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YUxlbW1hTm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoTWV0YUxlbW1hTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YUxlbW1hTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsZUFDa0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURsSko7cUJBQXNCSyxhQUFJIn0=
|
package/lib/node/metaType.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,26 @@ var MetaTypeNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, MetaTypeNode);
|
|
126
140
|
return _call_super(this, MetaTypeNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(MetaTypeNode, [
|
|
143
|
+
{
|
|
144
|
+
key: "getMetaTypeName",
|
|
145
|
+
value: function getMetaTypeName() {
|
|
146
|
+
var metaTypeName = this.fromFirstChildNode(function(firstChildNode) {
|
|
147
|
+
var metaTypeTerminalNode = firstChildNode, content = metaTypeTerminalNode.getContent(), metaTypeName = content; ///
|
|
148
|
+
return metaTypeName;
|
|
149
|
+
});
|
|
150
|
+
return metaTypeName;
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
], [
|
|
154
|
+
{
|
|
155
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
156
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
157
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(MetaTypeNode, ruleName, childNodes, opacity);
|
|
158
|
+
}
|
|
159
|
+
}
|
|
160
|
+
]);
|
|
128
161
|
return MetaTypeNode;
|
|
129
162
|
}(_wrap_native_super(_node.default));
|
|
130
163
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
164
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGFUeXBlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBNZXRhVHlwZU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgZ2V0TWV0YVR5cGVOYW1lKCkge1xuICAgIGNvbnN0IG1ldGFUeXBlTmFtZSA9IHRoaXMuZnJvbUZpcnN0Q2hpbGROb2RlKChmaXJzdENoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgbWV0YVR5cGVUZXJtaW5hbE5vZGUgPSBmaXJzdENoaWxkTm9kZSwgIC8vL1xuICAgICAgICAgICAgY29udGVudCA9IG1ldGFUeXBlVGVybWluYWxOb2RlLmdldENvbnRlbnQoKSxcbiAgICAgICAgICAgIG1ldGFUeXBlTmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICByZXR1cm4gbWV0YVR5cGVOYW1lO1xuICAgIH0pO1xuXG4gICAgcmV0dXJuIG1ldGFUeXBlTmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShNZXRhVHlwZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGFUeXBlTm9kZSIsImdldE1ldGFUeXBlTmFtZSIsIm1ldGFUeXBlTmFtZSIsImZyb21GaXJzdENoaWxkTm9kZSIsImZpcnN0Q2hpbGROb2RlIiwibWV0YVR5cGVUZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsNkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxlQUFlLElBQUksQ0FBQ0Msa0JBQWtCLENBQUMsU0FBQ0M7b0JBQzVDLElBQU1DLHVCQUF1QkQsZ0JBQ3ZCRSxVQUFVRCxxQkFBcUJFLFVBQVUsSUFDekNMLGVBQWVJLFNBQVMsR0FBRztvQkFFakMsT0FBT0o7Z0JBQ1Q7Z0JBRUEsT0FBT0E7WUFDVDs7OztZQUVPTSxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBYmxHUixjQWFpSFMsVUFBVUMsWUFBWUM7WUFBVTs7O1dBYmpKWDtxQkFBcUJZLGFBQUkifQ==
|
package/lib/node/metatheorem.js
CHANGED
|
@@ -41,6 +41,20 @@ function _construct(Parent, args, Class) {
|
|
|
41
41
|
}
|
|
42
42
|
return _construct.apply(null, arguments);
|
|
43
43
|
}
|
|
44
|
+
function _defineProperties(target, props) {
|
|
45
|
+
for(var i = 0; i < props.length; i++){
|
|
46
|
+
var descriptor = props[i];
|
|
47
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
48
|
+
descriptor.configurable = true;
|
|
49
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
50
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
54
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
55
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
56
|
+
return Constructor;
|
|
57
|
+
}
|
|
44
58
|
function _get_prototype_of(o) {
|
|
45
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
60
|
return o.__proto__ || Object.getPrototypeOf(o);
|
|
@@ -125,7 +139,15 @@ var MetatheoremNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, MetatheoremNode);
|
|
126
140
|
return _call_super(this, MetatheoremNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(MetatheoremNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(MetatheoremNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return MetatheoremNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGF0aGVvcmVtLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBNZXRhdGhlb3JlbU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KE1ldGF0aGVvcmVtTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiTWV0YXRoZW9yZW1Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSxnQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxpQkFDb0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURwSko7cUJBQXdCSyxhQUFJIn0=
|