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
|
@@ -0,0 +1,145 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
8
|
+
return _default;
|
|
9
|
+
}
|
|
10
|
+
});
|
|
11
|
+
function fromFirstChildNode(callback) {
|
|
12
|
+
var result;
|
|
13
|
+
var firstIndex = 0;
|
|
14
|
+
this.forwardsSomeChildNode(function(childNode, index) {
|
|
15
|
+
if (index === firstIndex) {
|
|
16
|
+
var firstChildNode = childNode; ///
|
|
17
|
+
result = callback(firstChildNode);
|
|
18
|
+
return true;
|
|
19
|
+
}
|
|
20
|
+
});
|
|
21
|
+
return result;
|
|
22
|
+
}
|
|
23
|
+
function fromSecondChildNode(callback) {
|
|
24
|
+
var result;
|
|
25
|
+
var secondIndex = 1;
|
|
26
|
+
this.forwardsSomeChildNode(function(childNode, index) {
|
|
27
|
+
if (index === secondIndex) {
|
|
28
|
+
var firstChildNode = childNode; ///
|
|
29
|
+
result = callback(firstChildNode);
|
|
30
|
+
return true;
|
|
31
|
+
}
|
|
32
|
+
});
|
|
33
|
+
return result;
|
|
34
|
+
}
|
|
35
|
+
function fromThirdChildNode(callback) {
|
|
36
|
+
var result;
|
|
37
|
+
var thirdIndex = 2;
|
|
38
|
+
this.forwardsSomeChildNode(function(childNode, index) {
|
|
39
|
+
if (index === thirdIndex) {
|
|
40
|
+
var thirdChildNode = childNode; ///
|
|
41
|
+
result = callback(thirdChildNode);
|
|
42
|
+
return true;
|
|
43
|
+
}
|
|
44
|
+
});
|
|
45
|
+
return result;
|
|
46
|
+
}
|
|
47
|
+
function fromFourthChildNode(callback) {
|
|
48
|
+
var result;
|
|
49
|
+
var fourthIndex = 3;
|
|
50
|
+
this.forwardsSomeChildNode(function(childNode, index) {
|
|
51
|
+
if (index === fourthIndex) {
|
|
52
|
+
var fourthChildNode = childNode; ///
|
|
53
|
+
result = callback(fourthChildNode);
|
|
54
|
+
return true;
|
|
55
|
+
}
|
|
56
|
+
});
|
|
57
|
+
return result;
|
|
58
|
+
}
|
|
59
|
+
function fromFifthChildNode(callback) {
|
|
60
|
+
var result;
|
|
61
|
+
var fifthIndex = 4;
|
|
62
|
+
this.forwardsSomeChildNode(function(childNode, index) {
|
|
63
|
+
if (index === fifthIndex) {
|
|
64
|
+
var fifthChildNode = childNode; ///
|
|
65
|
+
result = callback(fifthChildNode);
|
|
66
|
+
return true;
|
|
67
|
+
}
|
|
68
|
+
});
|
|
69
|
+
return result;
|
|
70
|
+
}
|
|
71
|
+
function fromFirstLastChildNode(callback) {
|
|
72
|
+
var result;
|
|
73
|
+
var multiplicity = this.getMultiplicity(), firstLastIndex = multiplicity - 1;
|
|
74
|
+
this.backwardsSomeChildNode(function(childNode, index) {
|
|
75
|
+
if (index === firstLastIndex) {
|
|
76
|
+
var firstLastChildNode = childNode; ///
|
|
77
|
+
result = callback(firstLastChildNode);
|
|
78
|
+
return true;
|
|
79
|
+
}
|
|
80
|
+
});
|
|
81
|
+
return result;
|
|
82
|
+
}
|
|
83
|
+
function fromSecondLastChildNode(callback) {
|
|
84
|
+
var result;
|
|
85
|
+
var multiplicity = this.getMultiplicity(), secondLastIndex = multiplicity - 2;
|
|
86
|
+
this.backwardsSomeChildNode(function(childNode, index) {
|
|
87
|
+
if (index === secondLastIndex) {
|
|
88
|
+
var secondLastChildNode = childNode; ///
|
|
89
|
+
result = callback(secondLastChildNode);
|
|
90
|
+
return true;
|
|
91
|
+
}
|
|
92
|
+
});
|
|
93
|
+
return result;
|
|
94
|
+
}
|
|
95
|
+
function fromThirdLastChildNode(callback) {
|
|
96
|
+
var result;
|
|
97
|
+
var multiplicity = this.getMultiplicity(), thirdLastIndex = multiplicity - 3;
|
|
98
|
+
this.backwardsSomeChildNode(function(childNode, index) {
|
|
99
|
+
if (index === thirdLastIndex) {
|
|
100
|
+
var thirdLastChildNode = childNode; ///
|
|
101
|
+
result = callback(thirdLastChildNode);
|
|
102
|
+
return true;
|
|
103
|
+
}
|
|
104
|
+
});
|
|
105
|
+
return result;
|
|
106
|
+
}
|
|
107
|
+
function fromFourthLastChildNode(callback) {
|
|
108
|
+
var result;
|
|
109
|
+
var multiplicity = this.getMultiplicity(), fourthLastIndex = multiplicity - 4;
|
|
110
|
+
this.backwardsSomeChildNode(function(childNode, index) {
|
|
111
|
+
if (index === fourthLastIndex) {
|
|
112
|
+
var fourthLastChildNode = childNode; ///
|
|
113
|
+
result = callback(fourthLastChildNode);
|
|
114
|
+
return true;
|
|
115
|
+
}
|
|
116
|
+
});
|
|
117
|
+
return result;
|
|
118
|
+
}
|
|
119
|
+
function fromFifthLastChildNode(callback) {
|
|
120
|
+
var result;
|
|
121
|
+
var multiplicity = this.getMultiplicity(), fifthLastIndex = multiplicity - 5;
|
|
122
|
+
this.backwardsSomeChildNode(function(childNode, index) {
|
|
123
|
+
if (index === fifthLastIndex) {
|
|
124
|
+
var fifthLastChildNode = childNode; ///
|
|
125
|
+
result = callback(fifthLastChildNode);
|
|
126
|
+
return true;
|
|
127
|
+
}
|
|
128
|
+
});
|
|
129
|
+
return result;
|
|
130
|
+
}
|
|
131
|
+
var nodeMixins = {
|
|
132
|
+
fromFirstChildNode: fromFirstChildNode,
|
|
133
|
+
fromSecondChildNode: fromSecondChildNode,
|
|
134
|
+
fromThirdChildNode: fromThirdChildNode,
|
|
135
|
+
fromFourthChildNode: fromFourthChildNode,
|
|
136
|
+
fromFifthChildNode: fromFifthChildNode,
|
|
137
|
+
fromFirstLastChildNode: fromFirstLastChildNode,
|
|
138
|
+
fromSecondLastChildNode: fromSecondLastChildNode,
|
|
139
|
+
fromThirdLastChildNode: fromThirdLastChildNode,
|
|
140
|
+
fromFourthLastChildNode: fromFourthLastChildNode,
|
|
141
|
+
fromFifthLastChildNode: fromFifthLastChildNode
|
|
142
|
+
};
|
|
143
|
+
var _default = nodeMixins;
|
|
144
|
+
|
|
145
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9taXhpbnMvbm9kZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZnVuY3Rpb24gZnJvbUZpcnN0Q2hpbGROb2RlKGNhbGxiYWNrKSB7XG4gIGxldCByZXN1bHQ7XG5cbiAgY29uc3QgZmlyc3RJbmRleCA9IDA7XG5cbiAgdGhpcy5mb3J3YXJkc1NvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+IHtcbiAgICBpZiAoaW5kZXggPT09IGZpcnN0SW5kZXgpIHtcbiAgICAgIGNvbnN0IGZpcnN0Q2hpbGROb2RlID0gY2hpbGROb2RlOyAvLy9cblxuICAgICAgcmVzdWx0ID0gY2FsbGJhY2soZmlyc3RDaGlsZE5vZGUpO1xuXG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiByZXN1bHQ7XG59XG5cbmZ1bmN0aW9uIGZyb21TZWNvbmRDaGlsZE5vZGUoY2FsbGJhY2spIHtcbiAgbGV0IHJlc3VsdDtcblxuICBjb25zdCBzZWNvbmRJbmRleCA9IDE7XG5cbiAgdGhpcy5mb3J3YXJkc1NvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+IHtcbiAgICBpZiAoaW5kZXggPT09IHNlY29uZEluZGV4KSB7XG4gICAgICBjb25zdCBmaXJzdENoaWxkTm9kZSA9IGNoaWxkTm9kZTsgLy8vXG5cbiAgICAgIHJlc3VsdCA9IGNhbGxiYWNrKGZpcnN0Q2hpbGROb2RlKTtcblxuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gcmVzdWx0O1xufVxuXG5mdW5jdGlvbiBmcm9tVGhpcmRDaGlsZE5vZGUoY2FsbGJhY2spIHtcbiAgbGV0IHJlc3VsdDtcblxuICBjb25zdCB0aGlyZEluZGV4ID0gMjtcblxuICB0aGlzLmZvcndhcmRzU29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgIGlmIChpbmRleCA9PT0gdGhpcmRJbmRleCkge1xuICAgICAgY29uc3QgdGhpcmRDaGlsZE5vZGUgPSBjaGlsZE5vZGU7IC8vL1xuXG4gICAgICByZXN1bHQgPSBjYWxsYmFjayh0aGlyZENoaWxkTm9kZSk7XG5cbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG5cbiAgcmV0dXJuIHJlc3VsdDtcbn1cblxuZnVuY3Rpb24gZnJvbUZvdXJ0aENoaWxkTm9kZShjYWxsYmFjaykge1xuICBsZXQgcmVzdWx0O1xuXG4gIGNvbnN0IGZvdXJ0aEluZGV4ID0gMztcblxuICB0aGlzLmZvcndhcmRzU29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgIGlmIChpbmRleCA9PT0gZm91cnRoSW5kZXgpIHtcbiAgICAgIGNvbnN0IGZvdXJ0aENoaWxkTm9kZSA9IGNoaWxkTm9kZTsgLy8vXG5cbiAgICAgIHJlc3VsdCA9IGNhbGxiYWNrKGZvdXJ0aENoaWxkTm9kZSk7XG5cbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG5cbiAgcmV0dXJuIHJlc3VsdDtcbn1cblxuZnVuY3Rpb24gZnJvbUZpZnRoQ2hpbGROb2RlKGNhbGxiYWNrKSB7XG4gIGxldCByZXN1bHQ7XG5cbiAgY29uc3QgZmlmdGhJbmRleCA9IDQ7XG5cbiAgdGhpcy5mb3J3YXJkc1NvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+IHtcbiAgICBpZiAoaW5kZXggPT09IGZpZnRoSW5kZXgpIHtcbiAgICAgIGNvbnN0IGZpZnRoQ2hpbGROb2RlID0gY2hpbGROb2RlOyAvLy9cblxuICAgICAgcmVzdWx0ID0gY2FsbGJhY2soZmlmdGhDaGlsZE5vZGUpO1xuXG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiByZXN1bHQ7XG59XG5cbmZ1bmN0aW9uIGZyb21GaXJzdExhc3RDaGlsZE5vZGUoY2FsbGJhY2spIHtcbiAgbGV0IHJlc3VsdDtcblxuICBjb25zdCBtdWx0aXBsaWNpdHkgPSB0aGlzLmdldE11bHRpcGxpY2l0eSgpLFxuICAgICAgICBmaXJzdExhc3RJbmRleCA9IG11bHRpcGxpY2l0eSAtIDE7XG5cbiAgdGhpcy5iYWNrd2FyZHNTb21lQ2hpbGROb2RlKChjaGlsZE5vZGUsIGluZGV4KSA9PiB7XG4gICAgaWYgKGluZGV4ID09PSBmaXJzdExhc3RJbmRleCkge1xuICAgICAgY29uc3QgZmlyc3RMYXN0Q2hpbGROb2RlID0gY2hpbGROb2RlOyAvLy9cblxuICAgICAgcmVzdWx0ID0gY2FsbGJhY2soZmlyc3RMYXN0Q2hpbGROb2RlKTtcblxuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gcmVzdWx0O1xufVxuXG5mdW5jdGlvbiBmcm9tU2Vjb25kTGFzdENoaWxkTm9kZShjYWxsYmFjaykge1xuICBsZXQgcmVzdWx0O1xuXG4gIGNvbnN0IG11bHRpcGxpY2l0eSA9IHRoaXMuZ2V0TXVsdGlwbGljaXR5KCksXG4gICAgICAgIHNlY29uZExhc3RJbmRleCA9IG11bHRpcGxpY2l0eSAtIDI7XG5cbiAgdGhpcy5iYWNrd2FyZHNTb21lQ2hpbGROb2RlKChjaGlsZE5vZGUsIGluZGV4KSA9PiB7XG4gICAgaWYgKGluZGV4ID09PSBzZWNvbmRMYXN0SW5kZXgpIHtcbiAgICAgIGNvbnN0IHNlY29uZExhc3RDaGlsZE5vZGUgPSBjaGlsZE5vZGU7IC8vL1xuXG4gICAgICByZXN1bHQgPSBjYWxsYmFjayhzZWNvbmRMYXN0Q2hpbGROb2RlKTtcblxuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gcmVzdWx0O1xufVxuXG5mdW5jdGlvbiBmcm9tVGhpcmRMYXN0Q2hpbGROb2RlKGNhbGxiYWNrKSB7XG4gIGxldCByZXN1bHQ7XG5cbiAgY29uc3QgbXVsdGlwbGljaXR5ID0gdGhpcy5nZXRNdWx0aXBsaWNpdHkoKSxcbiAgICAgICAgdGhpcmRMYXN0SW5kZXggPSBtdWx0aXBsaWNpdHkgLSAzO1xuXG4gIHRoaXMuYmFja3dhcmRzU29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgIGlmIChpbmRleCA9PT0gdGhpcmRMYXN0SW5kZXgpIHtcbiAgICAgIGNvbnN0IHRoaXJkTGFzdENoaWxkTm9kZSA9IGNoaWxkTm9kZTsgLy8vXG5cbiAgICAgIHJlc3VsdCA9IGNhbGxiYWNrKHRoaXJkTGFzdENoaWxkTm9kZSk7XG5cbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG5cbiAgcmV0dXJuIHJlc3VsdDtcbn1cblxuZnVuY3Rpb24gZnJvbUZvdXJ0aExhc3RDaGlsZE5vZGUoY2FsbGJhY2spIHtcbiAgbGV0IHJlc3VsdDtcblxuICBjb25zdCBtdWx0aXBsaWNpdHkgPSB0aGlzLmdldE11bHRpcGxpY2l0eSgpLFxuICAgICAgICBmb3VydGhMYXN0SW5kZXggPSBtdWx0aXBsaWNpdHkgLSA0O1xuXG4gIHRoaXMuYmFja3dhcmRzU29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgIGlmIChpbmRleCA9PT0gZm91cnRoTGFzdEluZGV4KSB7XG4gICAgICBjb25zdCBmb3VydGhMYXN0Q2hpbGROb2RlID0gY2hpbGROb2RlOyAvLy9cblxuICAgICAgcmVzdWx0ID0gY2FsbGJhY2soZm91cnRoTGFzdENoaWxkTm9kZSk7XG5cbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG5cbiAgcmV0dXJuIHJlc3VsdDtcbn1cblxuZnVuY3Rpb24gZnJvbUZpZnRoTGFzdENoaWxkTm9kZShjYWxsYmFjaykge1xuICBsZXQgcmVzdWx0O1xuXG4gIGNvbnN0IG11bHRpcGxpY2l0eSA9IHRoaXMuZ2V0TXVsdGlwbGljaXR5KCksXG4gICAgICAgIGZpZnRoTGFzdEluZGV4ID0gbXVsdGlwbGljaXR5IC0gNTtcblxuICB0aGlzLmJhY2t3YXJkc1NvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+IHtcbiAgICBpZiAoaW5kZXggPT09IGZpZnRoTGFzdEluZGV4KSB7XG4gICAgICBjb25zdCBmaWZ0aExhc3RDaGlsZE5vZGUgPSBjaGlsZE5vZGU7IC8vL1xuXG4gICAgICByZXN1bHQgPSBjYWxsYmFjayhmaWZ0aExhc3RDaGlsZE5vZGUpO1xuXG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiByZXN1bHQ7XG59XG5cbmNvbnN0IG5vZGVNaXhpbnMgPSB7XG4gIGZyb21GaXJzdENoaWxkTm9kZSxcbiAgZnJvbVNlY29uZENoaWxkTm9kZSxcbiAgZnJvbVRoaXJkQ2hpbGROb2RlLFxuICBmcm9tRm91cnRoQ2hpbGROb2RlLFxuICBmcm9tRmlmdGhDaGlsZE5vZGUsXG4gIGZyb21GaXJzdExhc3RDaGlsZE5vZGUsXG4gIGZyb21TZWNvbmRMYXN0Q2hpbGROb2RlLFxuICBmcm9tVGhpcmRMYXN0Q2hpbGROb2RlLFxuICBmcm9tRm91cnRoTGFzdENoaWxkTm9kZSxcbiAgZnJvbUZpZnRoTGFzdENoaWxkTm9kZVxufTtcblxuZXhwb3J0IGRlZmF1bHQgbm9kZU1peGlucztcbiJdLCJuYW1lcyI6WyJmcm9tRmlyc3RDaGlsZE5vZGUiLCJjYWxsYmFjayIsInJlc3VsdCIsImZpcnN0SW5kZXgiLCJmb3J3YXJkc1NvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJpbmRleCIsImZpcnN0Q2hpbGROb2RlIiwiZnJvbVNlY29uZENoaWxkTm9kZSIsInNlY29uZEluZGV4IiwiZnJvbVRoaXJkQ2hpbGROb2RlIiwidGhpcmRJbmRleCIsInRoaXJkQ2hpbGROb2RlIiwiZnJvbUZvdXJ0aENoaWxkTm9kZSIsImZvdXJ0aEluZGV4IiwiZm91cnRoQ2hpbGROb2RlIiwiZnJvbUZpZnRoQ2hpbGROb2RlIiwiZmlmdGhJbmRleCIsImZpZnRoQ2hpbGROb2RlIiwiZnJvbUZpcnN0TGFzdENoaWxkTm9kZSIsIm11bHRpcGxpY2l0eSIsImdldE11bHRpcGxpY2l0eSIsImZpcnN0TGFzdEluZGV4IiwiYmFja3dhcmRzU29tZUNoaWxkTm9kZSIsImZpcnN0TGFzdENoaWxkTm9kZSIsImZyb21TZWNvbmRMYXN0Q2hpbGROb2RlIiwic2Vjb25kTGFzdEluZGV4Iiwic2Vjb25kTGFzdENoaWxkTm9kZSIsImZyb21UaGlyZExhc3RDaGlsZE5vZGUiLCJ0aGlyZExhc3RJbmRleCIsInRoaXJkTGFzdENoaWxkTm9kZSIsImZyb21Gb3VydGhMYXN0Q2hpbGROb2RlIiwiZm91cnRoTGFzdEluZGV4IiwiZm91cnRoTGFzdENoaWxkTm9kZSIsImZyb21GaWZ0aExhc3RDaGlsZE5vZGUiLCJmaWZ0aExhc3RJbmRleCIsImZpZnRoTGFzdENoaWxkTm9kZSIsIm5vZGVNaXhpbnMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXdNQTs7O2VBQUE7OztBQXRNQSxTQUFTQSxtQkFBbUJDLFFBQVE7SUFDbEMsSUFBSUM7SUFFSixJQUFNQyxhQUFhO0lBRW5CLElBQUksQ0FBQ0MscUJBQXFCLENBQUMsU0FBQ0MsV0FBV0M7UUFDckMsSUFBSUEsVUFBVUgsWUFBWTtZQUN4QixJQUFNSSxpQkFBaUJGLFdBQVcsR0FBRztZQUVyQ0gsU0FBU0QsU0FBU007WUFFbEIsT0FBTztRQUNUO0lBQ0Y7SUFFQSxPQUFPTDtBQUNUO0FBRUEsU0FBU00sb0JBQW9CUCxRQUFRO0lBQ25DLElBQUlDO0lBRUosSUFBTU8sY0FBYztJQUVwQixJQUFJLENBQUNMLHFCQUFxQixDQUFDLFNBQUNDLFdBQVdDO1FBQ3JDLElBQUlBLFVBQVVHLGFBQWE7WUFDekIsSUFBTUYsaUJBQWlCRixXQUFXLEdBQUc7WUFFckNILFNBQVNELFNBQVNNO1lBRWxCLE9BQU87UUFDVDtJQUNGO0lBRUEsT0FBT0w7QUFDVDtBQUVBLFNBQVNRLG1CQUFtQlQsUUFBUTtJQUNsQyxJQUFJQztJQUVKLElBQU1TLGFBQWE7SUFFbkIsSUFBSSxDQUFDUCxxQkFBcUIsQ0FBQyxTQUFDQyxXQUFXQztRQUNyQyxJQUFJQSxVQUFVSyxZQUFZO1lBQ3hCLElBQU1DLGlCQUFpQlAsV0FBVyxHQUFHO1lBRXJDSCxTQUFTRCxTQUFTVztZQUVsQixPQUFPO1FBQ1Q7SUFDRjtJQUVBLE9BQU9WO0FBQ1Q7QUFFQSxTQUFTVyxvQkFBb0JaLFFBQVE7SUFDbkMsSUFBSUM7SUFFSixJQUFNWSxjQUFjO0lBRXBCLElBQUksQ0FBQ1YscUJBQXFCLENBQUMsU0FBQ0MsV0FBV0M7UUFDckMsSUFBSUEsVUFBVVEsYUFBYTtZQUN6QixJQUFNQyxrQkFBa0JWLFdBQVcsR0FBRztZQUV0Q0gsU0FBU0QsU0FBU2M7WUFFbEIsT0FBTztRQUNUO0lBQ0Y7SUFFQSxPQUFPYjtBQUNUO0FBRUEsU0FBU2MsbUJBQW1CZixRQUFRO0lBQ2xDLElBQUlDO0lBRUosSUFBTWUsYUFBYTtJQUVuQixJQUFJLENBQUNiLHFCQUFxQixDQUFDLFNBQUNDLFdBQVdDO1FBQ3JDLElBQUlBLFVBQVVXLFlBQVk7WUFDeEIsSUFBTUMsaUJBQWlCYixXQUFXLEdBQUc7WUFFckNILFNBQVNELFNBQVNpQjtZQUVsQixPQUFPO1FBQ1Q7SUFDRjtJQUVBLE9BQU9oQjtBQUNUO0FBRUEsU0FBU2lCLHVCQUF1QmxCLFFBQVE7SUFDdEMsSUFBSUM7SUFFSixJQUFNa0IsZUFBZSxJQUFJLENBQUNDLGVBQWUsSUFDbkNDLGlCQUFpQkYsZUFBZTtJQUV0QyxJQUFJLENBQUNHLHNCQUFzQixDQUFDLFNBQUNsQixXQUFXQztRQUN0QyxJQUFJQSxVQUFVZ0IsZ0JBQWdCO1lBQzVCLElBQU1FLHFCQUFxQm5CLFdBQVcsR0FBRztZQUV6Q0gsU0FBU0QsU0FBU3VCO1lBRWxCLE9BQU87UUFDVDtJQUNGO0lBRUEsT0FBT3RCO0FBQ1Q7QUFFQSxTQUFTdUIsd0JBQXdCeEIsUUFBUTtJQUN2QyxJQUFJQztJQUVKLElBQU1rQixlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0ssa0JBQWtCTixlQUFlO0lBRXZDLElBQUksQ0FBQ0csc0JBQXNCLENBQUMsU0FBQ2xCLFdBQVdDO1FBQ3RDLElBQUlBLFVBQVVvQixpQkFBaUI7WUFDN0IsSUFBTUMsc0JBQXNCdEIsV0FBVyxHQUFHO1lBRTFDSCxTQUFTRCxTQUFTMEI7WUFFbEIsT0FBTztRQUNUO0lBQ0Y7SUFFQSxPQUFPekI7QUFDVDtBQUVBLFNBQVMwQix1QkFBdUIzQixRQUFRO0lBQ3RDLElBQUlDO0lBRUosSUFBTWtCLGVBQWUsSUFBSSxDQUFDQyxlQUFlLElBQ25DUSxpQkFBaUJULGVBQWU7SUFFdEMsSUFBSSxDQUFDRyxzQkFBc0IsQ0FBQyxTQUFDbEIsV0FBV0M7UUFDdEMsSUFBSUEsVUFBVXVCLGdCQUFnQjtZQUM1QixJQUFNQyxxQkFBcUJ6QixXQUFXLEdBQUc7WUFFekNILFNBQVNELFNBQVM2QjtZQUVsQixPQUFPO1FBQ1Q7SUFDRjtJQUVBLE9BQU81QjtBQUNUO0FBRUEsU0FBUzZCLHdCQUF3QjlCLFFBQVE7SUFDdkMsSUFBSUM7SUFFSixJQUFNa0IsZUFBZSxJQUFJLENBQUNDLGVBQWUsSUFDbkNXLGtCQUFrQlosZUFBZTtJQUV2QyxJQUFJLENBQUNHLHNCQUFzQixDQUFDLFNBQUNsQixXQUFXQztRQUN0QyxJQUFJQSxVQUFVMEIsaUJBQWlCO1lBQzdCLElBQU1DLHNCQUFzQjVCLFdBQVcsR0FBRztZQUUxQ0gsU0FBU0QsU0FBU2dDO1lBRWxCLE9BQU87UUFDVDtJQUNGO0lBRUEsT0FBTy9CO0FBQ1Q7QUFFQSxTQUFTZ0MsdUJBQXVCakMsUUFBUTtJQUN0QyxJQUFJQztJQUVKLElBQU1rQixlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ2MsaUJBQWlCZixlQUFlO0lBRXRDLElBQUksQ0FBQ0csc0JBQXNCLENBQUMsU0FBQ2xCLFdBQVdDO1FBQ3RDLElBQUlBLFVBQVU2QixnQkFBZ0I7WUFDNUIsSUFBTUMscUJBQXFCL0IsV0FBVyxHQUFHO1lBRXpDSCxTQUFTRCxTQUFTbUM7WUFFbEIsT0FBTztRQUNUO0lBQ0Y7SUFFQSxPQUFPbEM7QUFDVDtBQUVBLElBQU1tQyxhQUFhO0lBQ2pCckMsb0JBQUFBO0lBQ0FRLHFCQUFBQTtJQUNBRSxvQkFBQUE7SUFDQUcscUJBQUFBO0lBQ0FHLG9CQUFBQTtJQUNBRyx3QkFBQUE7SUFDQU0seUJBQUFBO0lBQ0FHLHdCQUFBQTtJQUNBRyx5QkFBQUE7SUFDQUcsd0JBQUFBO0FBQ0Y7SUFFQSxXQUFlRyJ9
|
|
@@ -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 ContainedAssertionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ContainedAssertionNode);
|
|
126
140
|
return _call_super(this, ContainedAssertionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ContainedAssertionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ContainedAssertionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ContainedAssertionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2Fzc2VydGlvbi9jb250YWluZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi8uLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbnRhaW5lZEFzc2VydGlvbk5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KENvbnRhaW5lZEFzc2VydGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIkNvbnRhaW5lZEFzc2VydGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLHVDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELHdCQUMySEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDNKSjtxQkFBK0JLLGFBQUkifQ==
|
|
@@ -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 DefinedAssertionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, DefinedAssertionNode);
|
|
126
140
|
return _call_super(this, DefinedAssertionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(DefinedAssertionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(DefinedAssertionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return DefinedAssertionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2Fzc2VydGlvbi9kZWZpbmVkLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBEZWZpbmVkQXNzZXJ0aW9uTm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoRGVmaW5lZEFzc2VydGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIkRlZmluZWRBc3NlcnRpb25Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSxxQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxzQkFDeUhFLFVBQVVDLFlBQVlDO1lBQVU7OztXQUR6Sko7cUJBQTZCSyxhQUFJIn0=
|
|
@@ -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 PropertyAssertionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, PropertyAssertionNode);
|
|
126
140
|
return _call_super(this, PropertyAssertionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(PropertyAssertionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(PropertyAssertionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return PropertyAssertionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2Fzc2VydGlvbi9wcm9wZXJ0eS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uLy4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUHJvcGVydHlBc3NlcnRpb25Ob2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShQcm9wZXJ0eUFzc2VydGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIlByb3BlcnR5QXNzZXJ0aW9uTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsc0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsdUJBQzBIRSxVQUFVQyxZQUFZQztZQUFVOzs7V0FEMUpKO3FCQUE4QkssYUFBSSJ9
|
|
@@ -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 SatisfiesAssertionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, SatisfiesAssertionNode);
|
|
126
140
|
return _call_super(this, SatisfiesAssertionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(SatisfiesAssertionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(SatisfiesAssertionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return SatisfiesAssertionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2Fzc2VydGlvbi9zYXRpc2ZpZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi8uLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFNhdGlzZmllc0Fzc2VydGlvbk5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KFNhdGlzZmllc0Fzc2VydGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIlNhdGlzZmllc0Fzc2VydGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLHVDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELHdCQUMySEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDNKSjtxQkFBK0JLLGFBQUkifQ==
|
|
@@ -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 SubproofAssertionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, SubproofAssertionNode);
|
|
126
140
|
return _call_super(this, SubproofAssertionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(SubproofAssertionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(SubproofAssertionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return SubproofAssertionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2Fzc2VydGlvbi9zdWJwcm9vZi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uLy4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgU3VicHJvb2ZBc3NlcnRpb25Ob2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShTdWJwcm9vZkFzc2VydGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIlN1YnByb29mQXNzZXJ0aW9uTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5IiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsc0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsaUNBQWlDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTztnQkFBSSxPQUFPQyxhQUFJLENBQUNKLGdDQUFnQyxDQURsR0QsdUJBQzBIRSxVQUFVQyxZQUFZQztZQUFVOzs7V0FEMUpKO3FCQUE4QkssYUFBSSJ9
|
|
@@ -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 TypeAssertionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, TypeAssertionNode);
|
|
126
140
|
return _call_super(this, TypeAssertionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(TypeAssertionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(TypeAssertionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return TypeAssertionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL2Fzc2VydGlvbi90eXBlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlQXNzZXJ0aW9uTm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpIHsgcmV0dXJuIE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkoVHlwZUFzc2VydGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVBc3NlcnRpb25Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSxrQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxtQkFDc0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQUR0Sko7cUJBQTBCSyxhQUFJIn0=
|
package/lib/node/axiom.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 AxiomNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, AxiomNode);
|
|
126
140
|
return _call_super(this, AxiomNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(AxiomNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(AxiomNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return AxiomNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2F4aW9tLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBBeGlvbU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KEF4aW9tTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiQXhpb21Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSwwQkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxXQUM4R0UsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRDlJSjtxQkFBa0JLLGFBQUkifQ==
|
package/lib/node/combinator.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 CombinatorNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, CombinatorNode);
|
|
126
140
|
return _call_super(this, CombinatorNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(CombinatorNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(CombinatorNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return CombinatorNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbWJpbmF0b3IuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbWJpbmF0b3JOb2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShDb21iaW5hdG9yTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29tYmluYXRvck5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLCtCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELGdCQUNtSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRG5KSjtxQkFBdUJLLGFBQUkifQ==
|
package/lib/node/conclusion.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 ConclusionNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ConclusionNode);
|
|
126
140
|
return _call_super(this, ConclusionNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ConclusionNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ConclusionNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ConclusionNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbmNsdXNpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbmNsdXNpb25Ob2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShDb25jbHVzaW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29uY2x1c2lvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLCtCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELGdCQUNtSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRG5KSjtxQkFBdUJLLGFBQUkifQ==
|
package/lib/node/conjecture.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 ConjectureNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ConjectureNode);
|
|
126
140
|
return _call_super(this, ConjectureNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ConjectureNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ConjectureNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ConjectureNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbmplY3R1cmUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIENvbmplY3R1cmVOb2RlIGV4dGVuZHMgTm9kZSB7XG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eShDb25qZWN0dXJlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29uamVjdHVyZU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzQW5kT3BhY2l0eSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLCtCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLGlDQUFpQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU87Z0JBQUksT0FBT0MsYUFBSSxDQUFDSixnQ0FBZ0MsQ0FEbEdELGdCQUNtSEUsVUFBVUMsWUFBWUM7WUFBVTs7O1dBRG5KSjtxQkFBdUJLLGFBQUkifQ==
|
package/lib/node/constructor.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 ConstructorNode = /*#__PURE__*/ function(Node) {
|
|
|
125
139
|
_class_call_check(this, ConstructorNode);
|
|
126
140
|
return _call_super(this, ConstructorNode, arguments);
|
|
127
141
|
}
|
|
142
|
+
_create_class(ConstructorNode, null, [
|
|
143
|
+
{
|
|
144
|
+
key: "fromRuleNameChildNodesAndOpacity",
|
|
145
|
+
value: function fromRuleNameChildNodesAndOpacity(ruleName, childNodes, opacity) {
|
|
146
|
+
return _node.default.fromRuleNameChildNodesAndOpacity(ConstructorNode, ruleName, childNodes, opacity);
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
128
150
|
return ConstructorNode;
|
|
129
151
|
}(_wrap_native_super(_node.default));
|
|
130
152
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
153
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2NvbnN0cnVjdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBDb25zdHJ1Y3Rvck5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5KSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNBbmRPcGFjaXR5KENvbnN0cnVjdG9yTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHkpOyB9XG59XG4iXSwibmFtZXMiOlsiQ29uc3RydWN0b3JOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc0FuZE9wYWNpdHkiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUYsSUFBQSxBQUFNQSxnQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNaQyxLQUFBQTttQkFBUCxTQUFPQSxpQ0FBaUNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0osZ0NBQWdDLENBRGxHRCxpQkFDb0hFLFVBQVVDLFlBQVlDO1lBQVU7OztXQURwSko7cUJBQXdCSyxhQUFJIn0=
|