occam-verify-cli 1.0.172 → 1.0.176
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/context/release.js +2 -5
- package/lib/customGrammar/combined.js +149 -0
- 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/customGrammar.js +9 -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 +9 -9
- package/src/context/release.js +2 -6
- package/src/customGrammar/combined.js +36 -0
- 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/customGrammar.js +3 -1
- 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/lib/utilities/parser.js +0 -28
- package/src/utilities/name.js +0 -39
- package/src/utilities/parser.js +0 -21
package/lib/node/metavariable.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 MetavariableNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, MetavariableNode);
|
|
126
140
|
return _call_super(this, MetavariableNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(MetavariableNode, [
|
|
143
|
+
{
|
|
144
|
+
key: "getMetavariableName",
|
|
145
|
+
value: function getMetavariableName() {
|
|
146
|
+
var metavariableName = this.fromFirstChildNode(function(firstChildNode) {
|
|
147
|
+
var nameTerminalNode = firstChildNode, content = nameTerminalNode.getContent(), metavariableName = content; ///
|
|
148
|
+
return metavariableName;
|
|
149
|
+
});
|
|
150
|
+
return metavariableName;
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
], [
|
|
154
|
+
{
|
|
155
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
156
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
157
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(MetavariableNode, ruleName, childNodes, opacity);
|
|
158
|
+
}
|
|
159
|
+
}
|
|
160
|
+
]);
|
|
128
161
|
return MetavariableNode;
|
|
129
162
|
}(_wrap_native_super(_node.default));
|
|
130
163
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
164
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL21ldGF2YXJpYWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YXZhcmlhYmxlTm9kZSBleHRlbmRzIE5vZGUge1xuICBnZXRNZXRhdmFyaWFibGVOYW1lKCkge1xuICAgIGNvbnN0IG1ldGF2YXJpYWJsZU5hbWUgPSB0aGlzLmZyb21GaXJzdENoaWxkTm9kZSgoZmlyc3RDaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IG5hbWVUZXJtaW5hbE5vZGUgPSBmaXJzdENoaWxkTm9kZSwgIC8vL1xuICAgICAgICAgICAgY29udGVudCA9IG5hbWVUZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpLFxuICAgICAgICAgICAgbWV0YXZhcmlhYmxlTmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICByZXR1cm4gbWV0YXZhcmlhYmxlTmFtZTtcbiAgICB9KTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGVOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KE1ldGF2YXJpYWJsZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIk1ldGF2YXJpYWJsZU5vZGUiLCJnZXRNZXRhdmFyaWFibGVOYW1lIiwibWV0YXZhcmlhYmxlTmFtZSIsImZyb21GaXJzdENoaWxkTm9kZSIsImZpcnN0Q2hpbGROb2RlIiwibmFtZVRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSxpQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLG1CQUFtQixJQUFJLENBQUNDLGtCQUFrQixDQUFDLFNBQUNDO29CQUNoRCxJQUFNQyxtQkFBbUJELGdCQUNuQkUsVUFBVUQsaUJBQWlCRSxVQUFVLElBQ3JDTCxtQkFBbUJJLFNBQVMsR0FBRztvQkFFckMsT0FBT0o7Z0JBQ1Q7Z0JBRUEsT0FBT0E7WUFDVDs7OztZQUVPTSxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBYmxHUixrQkFhcUhTLFVBQVVDLFlBQVlDO1lBQVU7OztXQWJySlg7cUJBQXlCWSxhQUFJIn0=
|
package/lib/node/parameter.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 ParameterNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ParameterNode);
|
|
126
140
|
return _call_super(this, ParameterNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ParameterNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ParameterNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ParameterNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3BhcmFtZXRlci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUGFyYW1ldGVyTm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoUGFyYW1ldGVyTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiUGFyYW1ldGVyTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsZUFDa0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURsSko7cUJBQXNCSyxhQUFJIn0=
|
package/lib/node/premise.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 PremiseNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, PremiseNode);
|
|
126
140
|
return _call_super(this, PremiseNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(PremiseNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(PremiseNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return PremiseNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3ByZW1pc2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByZW1pc2VOb2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShQcmVtaXNlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJlbWlzZU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLDRCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELGFBQ2dIRSxVQUFVQyxZQUFZQztZQUFVOzs7V0FEaEpKO3FCQUFvQkssYUFBSSJ9
|
|
@@ -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 ProcedureCallNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ProcedureCallNode);
|
|
126
140
|
return _call_super(this, ProcedureCallNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ProcedureCallNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ProcedureCallNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ProcedureCallNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb2NlZHVyZUNhbGwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb2NlZHVyZUNhbGxOb2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShQcm9jZWR1cmVDYWxsTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvY2VkdXJlQ2FsbE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLGtDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELG1CQUNzSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRHRKSjtxQkFBMEJLLGFBQUkifQ==
|
package/lib/node/proof.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 ProofNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ProofNode);
|
|
126
140
|
return _call_super(this, ProofNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ProofNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ProofNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ProofNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9vZk5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KFByb29mTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvb2ZOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxXQUM4R0UsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDlJSjtxQkFBa0JLLGFBQUkifQ==
|
package/lib/node/property.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,27 @@ var PropertyNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, PropertyNode);
|
|
126
140
|
return _call_super(this, PropertyNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(PropertyNode, [
|
|
143
|
+
{
|
|
144
|
+
key: "getPropertyName",
|
|
145
|
+
value: function getPropertyName() {
|
|
146
|
+
var propertyName = this.reduceChildNode(function(propertyName, firstChildNode) {
|
|
147
|
+
var nameTerminalNode = firstChildNode, content = nameTerminalNode.getContent();
|
|
148
|
+
propertyName = propertyName !== null ? "".concat(propertyName, " ").concat(content) : content; ///
|
|
149
|
+
return propertyName;
|
|
150
|
+
}, null);
|
|
151
|
+
return propertyName;
|
|
152
|
+
}
|
|
153
|
+
}
|
|
154
|
+
], [
|
|
155
|
+
{
|
|
156
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
157
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
158
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(PropertyNode, ruleName, childNodes, opacity);
|
|
159
|
+
}
|
|
160
|
+
}
|
|
161
|
+
]);
|
|
128
162
|
return PropertyNode;
|
|
129
163
|
}(_wrap_native_super(_node.default));
|
|
130
164
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
165
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9wZXJ0eU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgZ2V0UHJvcGVydHlOYW1lKCkge1xuICAgIGNvbnN0IHByb3BlcnR5TmFtZSA9IHRoaXMucmVkdWNlQ2hpbGROb2RlKChwcm9wZXJ0eU5hbWUsIGZpcnN0Q2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBuYW1lVGVybWluYWxOb2RlID0gZmlyc3RDaGlsZE5vZGUsICAvLy9cbiAgICAgICAgICAgIGNvbnRlbnQgPSBuYW1lVGVybWluYWxOb2RlLmdldENvbnRlbnQoKTtcblxuICAgICAgcHJvcGVydHlOYW1lID0gKHByb3BlcnR5TmFtZSAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICBgJHtwcm9wZXJ0eU5hbWV9ICR7Y29udGVudH1gIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgY29udGVudDsgIC8vL1xuXG4gICAgICByZXR1cm4gcHJvcGVydHlOYW1lO1xuICAgIH0sIG51bGwpO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5TmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShQcm9wZXJ0eU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIlByb3BlcnR5Tm9kZSIsImdldFByb3BlcnR5TmFtZSIsInByb3BlcnR5TmFtZSIsInJlZHVjZUNoaWxkTm9kZSIsImZpcnN0Q2hpbGROb2RlIiwibmFtZVRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSw2QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLGVBQWUsSUFBSSxDQUFDQyxlQUFlLENBQUMsU0FBQ0QsY0FBY0U7b0JBQ3ZELElBQU1DLG1CQUFtQkQsZ0JBQ25CRSxVQUFVRCxpQkFBaUJFLFVBQVU7b0JBRTNDTCxlQUFlLEFBQUNBLGlCQUFpQixPQUNoQixBQUFDLEdBQWtCSSxPQUFoQkosY0FBYSxLQUFXLE9BQVJJLFdBQ2hCQSxTQUFVLEdBQUc7b0JBRWpDLE9BQU9KO2dCQUNULEdBQUc7Z0JBRUgsT0FBT0E7WUFDVDs7OztZQUVPTSxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBaEJsR1IsY0FnQmlIUyxVQUFVQyxZQUFZQztZQUFVOzs7V0FoQmpKWDtxQkFBcUJZLGFBQUkifQ==
|
|
@@ -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 PropertyRelationNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, PropertyRelationNode);
|
|
126
140
|
return _call_super(this, PropertyRelationNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(PropertyRelationNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(PropertyRelationNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return PropertyRelationNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5UmVsYXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb3BlcnR5UmVsYXRpb25Ob2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShQcm9wZXJ0eVJlbGF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvcGVydHlSZWxhdGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLHFDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELHNCQUN5SEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRHpKSjtxQkFBNkJLLGFBQUkifQ==
|
package/lib/node/reference.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 ReferenceNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ReferenceNode);
|
|
126
140
|
return _call_super(this, ReferenceNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ReferenceNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ReferenceNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ReferenceNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3JlZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUmVmZXJlbmNlTm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoUmVmZXJlbmNlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiUmVmZXJlbmNlTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsZUFDa0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURsSko7cUJBQXNCSyxhQUFJIn0=
|
package/lib/node/rule.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 RuleNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, RuleNode);
|
|
126
140
|
return _call_super(this, RuleNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(RuleNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(RuleNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return RuleNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3J1bGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFJ1bGVOb2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShSdWxlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiUnVsZU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLHlCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELFVBQzZHRSxVQUFVQyxZQUFZQztZQUFVOzs7V0FEN0lKO3FCQUFpQkssYUFBSSJ9
|
package/lib/node/statement.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 StatementNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, StatementNode);
|
|
126
140
|
return _call_super(this, StatementNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(StatementNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(StatementNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return StatementNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N0YXRlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgU3RhdGVtZW50Tm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoU3RhdGVtZW50Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiU3RhdGVtZW50Tm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsZUFDa0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURsSko7cUJBQXNCSyxhQUFJIn0=
|
package/lib/node/step.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 StepNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, StepNode);
|
|
126
140
|
return _call_super(this, StepNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(StepNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(StepNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return StepNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N0ZXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFN0ZXBOb2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShTdGVwTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiU3RlcE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLHlCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELFVBQzZHRSxVQUFVQyxZQUFZQztZQUFVOzs7V0FEN0lKO3FCQUFpQkssYUFBSSJ9
|
|
@@ -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 SubDerivationNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, SubDerivationNode);
|
|
126
140
|
return _call_super(this, SubDerivationNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(SubDerivationNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(SubDerivationNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return SubDerivationNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YkRlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFN1YkRlcml2YXRpb25Ob2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShTdWJEZXJpdmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiU3ViRGVyaXZhdGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLGtDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELG1CQUNzSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRHRKSjtxQkFBMEJLLGFBQUkifQ==
|
package/lib/node/subproof.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 SubproofNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, SubproofNode);
|
|
126
140
|
return _call_super(this, SubproofNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(SubproofNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(SubproofNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return SubproofNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YnByb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdWJwcm9vZk5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KFN1YnByb29mTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiU3VicHJvb2ZOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSw2QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxjQUNpSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRGpKSjtxQkFBcUJLLGFBQUkifQ==
|
package/lib/node/supposition.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 SuppositionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, SuppositionNode);
|
|
126
140
|
return _call_super(this, SuppositionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(SuppositionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(SuppositionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return SuppositionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1cHBvc2l0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdXBwb3NpdGlvbk5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KFN1cHBvc2l0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiU3VwcG9zaXRpb25Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSxnQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxpQkFDb0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURwSko7cUJBQXdCSyxhQUFJIn0=
|
package/lib/node/term.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 TermNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, TermNode);
|
|
126
140
|
return _call_super(this, TermNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(TermNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(TermNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return TermNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Rlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFRlcm1Ob2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShUZXJtTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiVGVybU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLHlCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELFVBQzZHRSxVQUFVQyxZQUFZQztZQUFVOzs7V0FEN0lKO3FCQUFpQkssYUFBSSJ9
|