occam-verify-cli 0.0.1117 → 0.0.1119
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/combinator/bracketed.js +66 -26
- package/lib/constructor/bracketed.js +101 -34
- package/lib/context/bracketed/combinator.js +4 -2
- package/lib/context/bracketed/constructor.js +4 -2
- package/lib/index.js +1 -2
- package/lib/utilities/brackets.js +10 -5
- package/package.json +1 -1
- package/src/combinator/bracketed.js +4 -14
- package/src/constructor/bracketed.js +4 -19
- package/src/context/bracketed/combinator.js +5 -1
- package/src/context/bracketed/constructor.js +5 -1
- package/src/index.js +0 -1
- package/src/utilities/brackets.js +5 -2
|
@@ -2,23 +2,26 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", {
|
|
3
3
|
value: true
|
|
4
4
|
});
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
get: all[name]
|
|
9
|
-
});
|
|
10
|
-
}
|
|
11
|
-
_export(exports, {
|
|
12
|
-
bracketedStatementNode: function() {
|
|
13
|
-
return bracketedStatementNode;
|
|
14
|
-
},
|
|
15
|
-
default: function() {
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
16
8
|
return BracketedCombinator;
|
|
17
9
|
}
|
|
18
10
|
});
|
|
19
11
|
var _dom = /*#__PURE__*/ _interop_require_default(require("../dom"));
|
|
20
|
-
var _combinator = /*#__PURE__*/ _interop_require_default(require("../
|
|
12
|
+
var _combinator = /*#__PURE__*/ _interop_require_default(require("../combinator"));
|
|
13
|
+
var _combinator1 = /*#__PURE__*/ _interop_require_default(require("../context/bracketed/combinator"));
|
|
21
14
|
var _unification = require("../utilities/unification");
|
|
15
|
+
function _assert_this_initialized(self) {
|
|
16
|
+
if (self === void 0) {
|
|
17
|
+
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
18
|
+
}
|
|
19
|
+
return self;
|
|
20
|
+
}
|
|
21
|
+
function _call_super(_this, derived, args) {
|
|
22
|
+
derived = _get_prototype_of(derived);
|
|
23
|
+
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
24
|
+
}
|
|
22
25
|
function _class_call_check(instance, Constructor) {
|
|
23
26
|
if (!(instance instanceof Constructor)) {
|
|
24
27
|
throw new TypeError("Cannot call a class as a function");
|
|
@@ -38,25 +41,62 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
38
41
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
42
|
return Constructor;
|
|
40
43
|
}
|
|
44
|
+
function _get_prototype_of(o) {
|
|
45
|
+
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
|
+
return o.__proto__ || Object.getPrototypeOf(o);
|
|
47
|
+
};
|
|
48
|
+
return _get_prototype_of(o);
|
|
49
|
+
}
|
|
50
|
+
function _inherits(subClass, superClass) {
|
|
51
|
+
if (typeof superClass !== "function" && superClass !== null) {
|
|
52
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
53
|
+
}
|
|
54
|
+
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
55
|
+
constructor: {
|
|
56
|
+
value: subClass,
|
|
57
|
+
writable: true,
|
|
58
|
+
configurable: true
|
|
59
|
+
}
|
|
60
|
+
});
|
|
61
|
+
if (superClass) _set_prototype_of(subClass, superClass);
|
|
62
|
+
}
|
|
41
63
|
function _interop_require_default(obj) {
|
|
42
64
|
return obj && obj.__esModule ? obj : {
|
|
43
65
|
default: obj
|
|
44
66
|
};
|
|
45
67
|
}
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
68
|
+
function _possible_constructor_return(self, call) {
|
|
69
|
+
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
70
|
+
return call;
|
|
71
|
+
}
|
|
72
|
+
return _assert_this_initialized(self);
|
|
73
|
+
}
|
|
74
|
+
function _set_prototype_of(o, p) {
|
|
75
|
+
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
76
|
+
o.__proto__ = p;
|
|
77
|
+
return o;
|
|
78
|
+
};
|
|
79
|
+
return _set_prototype_of(o, p);
|
|
80
|
+
}
|
|
81
|
+
function _type_of(obj) {
|
|
82
|
+
"@swc/helpers - typeof";
|
|
83
|
+
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
84
|
+
}
|
|
85
|
+
function _is_native_reflect_construct() {
|
|
86
|
+
try {
|
|
87
|
+
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
88
|
+
} catch (_) {}
|
|
89
|
+
return (_is_native_reflect_construct = function() {
|
|
90
|
+
return !!result;
|
|
91
|
+
})();
|
|
92
|
+
}
|
|
93
|
+
var BracketedCombinator = /*#__PURE__*/ function(Combinator) {
|
|
94
|
+
_inherits(BracketedCombinator, Combinator);
|
|
95
|
+
function BracketedCombinator() {
|
|
50
96
|
_class_call_check(this, BracketedCombinator);
|
|
51
|
-
this
|
|
97
|
+
return _call_super(this, BracketedCombinator, arguments);
|
|
52
98
|
}
|
|
53
99
|
_create_class(BracketedCombinator, [
|
|
54
|
-
{
|
|
55
|
-
key: "getStatement",
|
|
56
|
-
value: function getStatement() {
|
|
57
|
-
return this.statement;
|
|
58
|
-
}
|
|
59
|
-
},
|
|
60
100
|
{
|
|
61
101
|
key: "unifyStatement",
|
|
62
102
|
value: function unifyStatement(statement, assignments, stated, context) {
|
|
@@ -75,12 +115,12 @@ var BracketedCombinator = /*#__PURE__*/ function() {
|
|
|
75
115
|
{
|
|
76
116
|
key: "fromNothing",
|
|
77
117
|
value: function fromNothing() {
|
|
78
|
-
var Statement = _dom.default.Statement, statementNode = bracketedStatementNode, context =
|
|
118
|
+
var Statement = _dom.default.Statement, bracketedStatementNode = _combinator1.default.getBracketedStatementNode(), statementNode = bracketedStatementNode, context = _combinator1.default, statement = Statement.fromStatementNode(statementNode, context), bracketedCombinator = new BracketedCombinator(statement);
|
|
79
119
|
return bracketedCombinator;
|
|
80
120
|
}
|
|
81
121
|
}
|
|
82
122
|
]);
|
|
83
123
|
return BracketedCombinator;
|
|
84
|
-
}();
|
|
124
|
+
}(_combinator.default);
|
|
85
125
|
|
|
86
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
126
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb21iaW5hdG9yL2JyYWNrZXRlZC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGRvbSBmcm9tIFwiLi4vZG9tXCI7XG5pbXBvcnQgQ29tYmluYXRvciBmcm9tIFwiLi4vY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L2JyYWNrZXRlZC9jb21iaW5hdG9yXCI7XG5cbmltcG9ydCB7IHVuaWZ5U3RhdGVtZW50V2l0aENvbWJpbmF0b3IgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3VuaWZpY2F0aW9uXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEJyYWNrZXRlZENvbWJpbmF0b3IgZXh0ZW5kcyBDb21iaW5hdG9yIHtcbiAgdW5pZnlTdGF0ZW1lbnQoc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IHN0YXRlbWVudFVuaWZpZWQ7XG5cbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBVbmlmeWluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IHdpdGggdGhlIGJyYWNrZXRlZCBjb21iaW5hdG9yLi4uYCk7XG5cbiAgICBjb25zdCBicmFja2V0ZWRDb21iaW5hdG9yID0gdGhpcywgLy8vXG4gICAgICAgICAgY29tYmluYXRvciA9IGJyYWNrZXRlZENvbWJpbmF0b3IsIC8vL1xuICAgICAgICAgIHN0YXRlbWVudFVuaWZpZWRXaXRoQ29tYmluYXRvciA9IHVuaWZ5U3RhdGVtZW50V2l0aENvbWJpbmF0b3Ioc3RhdGVtZW50LCBjb21iaW5hdG9yLCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgIHN0YXRlbWVudFVuaWZpZWQgPSBzdGF0ZW1lbnRVbmlmaWVkV2l0aENvbWJpbmF0b3I7XG5cbiAgICBpZiAoc3RhdGVtZW50VW5pZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udW5pZmllZCB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IHdpdGggdGhlIGJyYWNrZXRlZCBjb21iaW5hdG9yLmApO1xuICAgIH1cblxuICAgIHJldHVybiBzdGF0ZW1lbnRVbmlmaWVkO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IHsgU3RhdGVtZW50IH0gPSBkb20sXG4gICAgICAgICAgYnJhY2tldGVkU3RhdGVtZW50Tm9kZSA9IGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0LmdldEJyYWNrZXRlZFN0YXRlbWVudE5vZGUoKSxcbiAgICAgICAgICBzdGF0ZW1lbnROb2RlID0gYnJhY2tldGVkU3RhdGVtZW50Tm9kZSwgLy8vXG4gICAgICAgICAgY29udGV4dCA9IGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0LCAvLy9cbiAgICAgICAgICBzdGF0ZW1lbnQgPSBTdGF0ZW1lbnQuZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCksXG4gICAgICAgICAgYnJhY2tldGVkQ29tYmluYXRvciA9IG5ldyBCcmFja2V0ZWRDb21iaW5hdG9yKHN0YXRlbWVudCk7XG5cbiAgICByZXR1cm4gYnJhY2tldGVkQ29tYmluYXRvcjtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkJyYWNrZXRlZENvbWJpbmF0b3IiLCJ1bmlmeVN0YXRlbWVudCIsInN0YXRlbWVudCIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwiY29udGV4dCIsInN0YXRlbWVudFVuaWZpZWQiLCJzdGF0ZW1lbnRTdHJpbmciLCJnZXRTdHJpbmciLCJ0cmFjZSIsImJyYWNrZXRlZENvbWJpbmF0b3IiLCJjb21iaW5hdG9yIiwic3RhdGVtZW50VW5pZmllZFdpdGhDb21iaW5hdG9yIiwidW5pZnlTdGF0ZW1lbnRXaXRoQ29tYmluYXRvciIsImRlYnVnIiwiZnJvbU5vdGhpbmciLCJTdGF0ZW1lbnQiLCJkb20iLCJicmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwiY29tYmluYXRvckJyYWNrZXRlZENvbnRleHQiLCJnZXRCcmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50Tm9kZSIsImZyb21TdGF0ZW1lbnROb2RlIiwiQ29tYmluYXRvciJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFRcUJBOzs7MERBTkw7aUVBQ087a0VBQ2dCOzJCQUVNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRTlCLElBQUEsQUFBTUEsb0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO2lDQUFBQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBLGVBQWVDLFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87Z0JBQ3BELElBQUlDO2dCQUVKLElBQU1DLGtCQUFrQkwsVUFBVU0sU0FBUztnQkFFM0NILFFBQVFJLEtBQUssQ0FBQyxBQUFDLGlCQUFnQyxPQUFoQkYsaUJBQWdCO2dCQUUvQyxJQUFNRyxzQkFBc0IsSUFBSSxFQUMxQkMsYUFBYUQscUJBQ2JFLGlDQUFpQ0MsSUFBQUEseUNBQTRCLEVBQUNYLFdBQVdTLFlBQVlSLGFBQWFDLFFBQVFDO2dCQUVoSEMsbUJBQW1CTTtnQkFFbkIsSUFBSU4sa0JBQWtCO29CQUNwQkQsUUFBUVMsS0FBSyxDQUFDLEFBQUMsbUJBQWtDLE9BQWhCUCxpQkFBZ0I7Z0JBQ25EO2dCQUVBLE9BQU9EO1lBQ1Q7Ozs7WUFFT1MsS0FBQUE7bUJBQVAsU0FBT0E7Z0JBQ0wsSUFBTSxBQUFFQyxZQUFjQyxZQUFHLENBQWpCRCxXQUNGRSx5QkFBeUJDLG9CQUEwQixDQUFDQyx5QkFBeUIsSUFDN0VDLGdCQUFnQkgsd0JBQ2hCYixVQUFVYyxvQkFBMEIsRUFDcENqQixZQUFZYyxVQUFVTSxpQkFBaUIsQ0FBQ0QsZUFBZWhCLFVBQ3ZESyxzQkFBc0IsSUEzQlhWLG9CQTJCbUNFO2dCQUVwRCxPQUFPUTtZQUNUOzs7V0E5Qm1CVjtFQUE0QnVCLG1CQUFVIn0=
|
|
@@ -2,24 +2,26 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", {
|
|
3
3
|
value: true
|
|
4
4
|
});
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
get: all[name]
|
|
9
|
-
});
|
|
10
|
-
}
|
|
11
|
-
_export(exports, {
|
|
12
|
-
bracketedTermNode: function() {
|
|
13
|
-
return bracketedTermNode;
|
|
14
|
-
},
|
|
15
|
-
default: function() {
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
16
8
|
return BracketedConstructor;
|
|
17
9
|
}
|
|
18
10
|
});
|
|
19
11
|
var _dom = /*#__PURE__*/ _interop_require_default(require("../dom"));
|
|
20
|
-
var _constructor = /*#__PURE__*/
|
|
12
|
+
var _constructor = /*#__PURE__*/ _interop_require_wildcard(require("../constructor"));
|
|
13
|
+
var _constructor1 = /*#__PURE__*/ _interop_require_default(require("../context/bracketed/constructor"));
|
|
21
14
|
var _query = require("../utilities/query");
|
|
22
|
-
|
|
15
|
+
function _assert_this_initialized(self) {
|
|
16
|
+
if (self === void 0) {
|
|
17
|
+
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
18
|
+
}
|
|
19
|
+
return self;
|
|
20
|
+
}
|
|
21
|
+
function _call_super(_this, derived, args) {
|
|
22
|
+
derived = _get_prototype_of(derived);
|
|
23
|
+
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
24
|
+
}
|
|
23
25
|
function _class_call_check(instance, Constructor) {
|
|
24
26
|
if (!(instance instanceof Constructor)) {
|
|
25
27
|
throw new TypeError("Cannot call a class as a function");
|
|
@@ -61,11 +63,78 @@ function _get_prototype_of(o) {
|
|
|
61
63
|
};
|
|
62
64
|
return _get_prototype_of(o);
|
|
63
65
|
}
|
|
66
|
+
function _inherits(subClass, superClass) {
|
|
67
|
+
if (typeof superClass !== "function" && superClass !== null) {
|
|
68
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
69
|
+
}
|
|
70
|
+
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
71
|
+
constructor: {
|
|
72
|
+
value: subClass,
|
|
73
|
+
writable: true,
|
|
74
|
+
configurable: true
|
|
75
|
+
}
|
|
76
|
+
});
|
|
77
|
+
if (superClass) _set_prototype_of(subClass, superClass);
|
|
78
|
+
}
|
|
64
79
|
function _interop_require_default(obj) {
|
|
65
80
|
return obj && obj.__esModule ? obj : {
|
|
66
81
|
default: obj
|
|
67
82
|
};
|
|
68
83
|
}
|
|
84
|
+
function _getRequireWildcardCache(nodeInterop) {
|
|
85
|
+
if (typeof WeakMap !== "function") return null;
|
|
86
|
+
var cacheBabelInterop = new WeakMap();
|
|
87
|
+
var cacheNodeInterop = new WeakMap();
|
|
88
|
+
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
89
|
+
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
90
|
+
})(nodeInterop);
|
|
91
|
+
}
|
|
92
|
+
function _interop_require_wildcard(obj, nodeInterop) {
|
|
93
|
+
if (!nodeInterop && obj && obj.__esModule) {
|
|
94
|
+
return obj;
|
|
95
|
+
}
|
|
96
|
+
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
97
|
+
return {
|
|
98
|
+
default: obj
|
|
99
|
+
};
|
|
100
|
+
}
|
|
101
|
+
var cache = _getRequireWildcardCache(nodeInterop);
|
|
102
|
+
if (cache && cache.has(obj)) {
|
|
103
|
+
return cache.get(obj);
|
|
104
|
+
}
|
|
105
|
+
var newObj = {
|
|
106
|
+
__proto__: null
|
|
107
|
+
};
|
|
108
|
+
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
109
|
+
for(var key in obj){
|
|
110
|
+
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
111
|
+
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
112
|
+
if (desc && (desc.get || desc.set)) {
|
|
113
|
+
Object.defineProperty(newObj, key, desc);
|
|
114
|
+
} else {
|
|
115
|
+
newObj[key] = obj[key];
|
|
116
|
+
}
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
newObj.default = obj;
|
|
120
|
+
if (cache) {
|
|
121
|
+
cache.set(obj, newObj);
|
|
122
|
+
}
|
|
123
|
+
return newObj;
|
|
124
|
+
}
|
|
125
|
+
function _possible_constructor_return(self, call) {
|
|
126
|
+
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
127
|
+
return call;
|
|
128
|
+
}
|
|
129
|
+
return _assert_this_initialized(self);
|
|
130
|
+
}
|
|
131
|
+
function _set_prototype_of(o, p) {
|
|
132
|
+
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
133
|
+
o.__proto__ = p;
|
|
134
|
+
return o;
|
|
135
|
+
};
|
|
136
|
+
return _set_prototype_of(o, p);
|
|
137
|
+
}
|
|
69
138
|
function _super_prop_base(object, property) {
|
|
70
139
|
while(!Object.prototype.hasOwnProperty.call(object, property)){
|
|
71
140
|
object = _get_prototype_of(object);
|
|
@@ -73,28 +142,26 @@ function _super_prop_base(object, property) {
|
|
|
73
142
|
}
|
|
74
143
|
return object;
|
|
75
144
|
}
|
|
145
|
+
function _type_of(obj) {
|
|
146
|
+
"@swc/helpers - typeof";
|
|
147
|
+
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
148
|
+
}
|
|
149
|
+
function _is_native_reflect_construct() {
|
|
150
|
+
try {
|
|
151
|
+
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
152
|
+
} catch (_) {}
|
|
153
|
+
return (_is_native_reflect_construct = function() {
|
|
154
|
+
return !!result;
|
|
155
|
+
})();
|
|
156
|
+
}
|
|
76
157
|
var termNodeQuery = (0, _query.nodeQuery)("/term/argument/term");
|
|
77
|
-
var
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
function BracketedConstructor(string, term) {
|
|
158
|
+
var BracketedConstructor = /*#__PURE__*/ function(Constructor) {
|
|
159
|
+
_inherits(BracketedConstructor, Constructor);
|
|
160
|
+
function BracketedConstructor() {
|
|
81
161
|
_class_call_check(this, BracketedConstructor);
|
|
82
|
-
this
|
|
83
|
-
this.term = term;
|
|
162
|
+
return _call_super(this, BracketedConstructor, arguments);
|
|
84
163
|
}
|
|
85
164
|
_create_class(BracketedConstructor, [
|
|
86
|
-
{
|
|
87
|
-
key: "getString",
|
|
88
|
-
value: function getString() {
|
|
89
|
-
return this.string;
|
|
90
|
-
}
|
|
91
|
-
},
|
|
92
|
-
{
|
|
93
|
-
key: "getTerm",
|
|
94
|
-
value: function getTerm() {
|
|
95
|
-
return this.term;
|
|
96
|
-
}
|
|
97
|
-
},
|
|
98
165
|
{
|
|
99
166
|
key: "unifyTerm",
|
|
100
167
|
value: function unifyTerm(term, context, verifyAhead) {
|
|
@@ -127,12 +194,12 @@ var BracketedConstructor = /*#__PURE__*/ function() {
|
|
|
127
194
|
{
|
|
128
195
|
key: "fromNothing",
|
|
129
196
|
value: function fromNothing() {
|
|
130
|
-
var Term = _dom.default.Term, termNode = bracketedTermNode, context =
|
|
197
|
+
var Term = _dom.default.Term, bracketedTermNode = _constructor1.default.getBracketedTermNode(), termNode = bracketedTermNode, context = _constructor1.default, term = Term.fromTermNode(termNode, context), type = null, string = (0, _constructor.stringFromTermAndType)(term, type), bracketedConstructor = new BracketedConstructor(string, term);
|
|
131
198
|
return bracketedConstructor;
|
|
132
199
|
}
|
|
133
200
|
}
|
|
134
201
|
]);
|
|
135
202
|
return BracketedConstructor;
|
|
136
|
-
}();
|
|
203
|
+
}(_constructor.default);
|
|
137
204
|
|
|
138
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
205
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25zdHJ1Y3Rvci9icmFja2V0ZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBkb20gZnJvbSBcIi4uL2RvbVwiO1xuaW1wb3J0IENvbnN0cnVjdG9yIGZyb20gXCIuLi9jb25zdHJ1Y3RvclwiO1xuaW1wb3J0IGNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9icmFja2V0ZWQvY29uc3RydWN0b3JcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgc3RyaW5nRnJvbVRlcm1BbmRUeXBlIH0gZnJvbSBcIi4uL2NvbnN0cnVjdG9yXCI7XG5cbmNvbnN0IHRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdGVybS9hcmd1bWVudC90ZXJtXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBCcmFja2V0ZWRDb25zdHJ1Y3RvciBleHRlbmRzIENvbnN0cnVjdG9yIHtcbiAgdW5pZnlUZXJtKHRlcm0sIGNvbnRleHQsIHZlcmlmeUFoZWFkKSB7XG4gICAgbGV0IHRlcm1VbmlmaWVkO1xuXG4gICAgY29uc3QgdGVybVN0cmluZyA9IHRlcm0uZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBVbmlmeWluZyB0aGUgJyR7dGVybVN0cmluZ30nIHRlcm0gd2l0aCB0aGUgYnJhY2tldGVkIGNvbnN0cnVjdG9yLi4uYCwgdGVybSk7XG5cbiAgICB0ZXJtVW5pZmllZCA9IHN1cGVyLnVuaWZ5VGVybSh0ZXJtLCBjb250ZXh0LCAoKSA9PiB7XG4gICAgICBsZXQgdmVyaWZpZWRBaGVhZCA9IGZhbHNlO1xuXG4gICAgICBjb25zdCB7IFRlcm0gfSA9IGRvbSxcbiAgICAgICAgICAgIGJyYWNrZXRlZFRlcm0gPSB0ZXJtLCAvLy9cbiAgICAgICAgICAgIGJyYWNrZXRlZFRlcm1Ob2RlID0gYnJhY2tldGVkVGVybS5nZXROb2RlKCksXG4gICAgICAgICAgICB0ZXJtTm9kZSA9IHRlcm1Ob2RlUXVlcnkoYnJhY2tldGVkVGVybU5vZGUpOyAvLy9cblxuICAgICAgdGVybSA9IFRlcm0uZnJvbVRlcm1Ob2RlKHRlcm1Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgaWYgKHRlcm0gIT09IG51bGwpIHtcbiAgICAgICAgY29uc3QgdGVybVZWZXJpZmllZCA9IHRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgICAgICBsZXQgdmVyaWZpZWRBaGVhZDtcblxuICAgICAgICAgIGNvbnN0IHR5cGUgPSB0ZXJtLmdldFR5cGUoKTtcblxuICAgICAgICAgIGJyYWNrZXRlZFRlcm0uc2V0VHlwZSh0eXBlKTtcblxuICAgICAgICAgIHZlcmlmaWVkQWhlYWQgPSB2ZXJpZnlBaGVhZCgpO1xuXG4gICAgICAgICAgcmV0dXJuIHZlcmlmaWVkQWhlYWQ7XG4gICAgICAgIH0pO1xuXG4gICAgICAgIHZlcmlmaWVkQWhlYWQgPSB0ZXJtVlZlcmlmaWVkOyAgLy8vXG4gICAgICB9XG5cbiAgICAgIHJldHVybiB2ZXJpZmllZEFoZWFkO1xuICAgIH0pO1xuXG4gICAgaWYgKHRlcm1VbmlmaWVkKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi51bmlmaWVkIHRoZSAnJHt0ZXJtU3RyaW5nfScgdGVybSB3aXRoIHRoZSBicmFja2V0ZWQgY29uc3RydWN0b3IuYCwgdGVybSk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHRlcm1VbmlmaWVkO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IHsgVGVybSB9ID0gZG9tLFxuICAgICAgICAgIGJyYWNrZXRlZFRlcm1Ob2RlID0gY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0LmdldEJyYWNrZXRlZFRlcm1Ob2RlKCksXG4gICAgICAgICAgdGVybU5vZGUgPSBicmFja2V0ZWRUZXJtTm9kZSwgIC8vL1xuICAgICAgICAgIGNvbnRleHQgPSBjb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQsIC8vL1xuICAgICAgICAgIHRlcm0gPSBUZXJtLmZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgY29udGV4dCksXG4gICAgICAgICAgdHlwZSA9IG51bGwsXG4gICAgICAgICAgc3RyaW5nID0gc3RyaW5nRnJvbVRlcm1BbmRUeXBlKHRlcm0sIHR5cGUpLFxuICAgICAgICAgIGJyYWNrZXRlZENvbnN0cnVjdG9yID0gbmV3IEJyYWNrZXRlZENvbnN0cnVjdG9yKHN0cmluZywgdGVybSk7XG5cbiAgICByZXR1cm4gYnJhY2tldGVkQ29uc3RydWN0b3I7XG4gIH1cbn1cbiJdLCJuYW1lcyI6WyJCcmFja2V0ZWRDb25zdHJ1Y3RvciIsInRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJ1bmlmeVRlcm0iLCJ0ZXJtIiwiY29udGV4dCIsInZlcmlmeUFoZWFkIiwidGVybVVuaWZpZWQiLCJ0ZXJtU3RyaW5nIiwiZ2V0U3RyaW5nIiwidHJhY2UiLCJ2ZXJpZmllZEFoZWFkIiwiVGVybSIsImRvbSIsImJyYWNrZXRlZFRlcm0iLCJicmFja2V0ZWRUZXJtTm9kZSIsImdldE5vZGUiLCJ0ZXJtTm9kZSIsImZyb21UZXJtTm9kZSIsInRlcm1WVmVyaWZpZWQiLCJ2ZXJpZnkiLCJ0eXBlIiwiZ2V0VHlwZSIsInNldFR5cGUiLCJkZWJ1ZyIsImZyb21Ob3RoaW5nIiwiY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IiwiZ2V0QnJhY2tldGVkVGVybU5vZGUiLCJzdHJpbmciLCJzdHJpbmdGcm9tVGVybUFuZFR5cGUiLCJicmFja2V0ZWRDb25zdHJ1Y3RvciIsIkNvbnN0cnVjdG9yIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQVdxQkE7OzswREFUTDttRUFDUTttRUFDZ0I7cUJBRWQ7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRzFCLElBQU1DLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQztBQUVqQixJQUFBLEFBQU1GLHFDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDbkJHLEtBQUFBO21CQUFBQSxTQUFBQSxVQUFVQyxJQUFJLEVBQUVDLE9BQU8sRUFBRUMsV0FBVztnQkFDbEMsSUFBSUM7Z0JBRUosSUFBTUMsYUFBYUosS0FBS0ssU0FBUztnQkFFakNKLFFBQVFLLEtBQUssQ0FBQyxBQUFDLGlCQUEyQixPQUFYRixZQUFXLDZDQUEyQ0o7Z0JBRXJGRyxjQUFjLHVCQVJHUCxpQ0FRR0csYUFBTixJQUFLLGFBQVdDLE1BQU1DLFNBQVM7b0JBQzNDLElBQUlNLGdCQUFnQjtvQkFFcEIsSUFBTSxBQUFFQyxPQUFTQyxZQUFHLENBQVpELE1BQ0ZFLGdCQUFnQlYsTUFDaEJXLG9CQUFvQkQsY0FBY0UsT0FBTyxJQUN6Q0MsV0FBV2hCLGNBQWNjLG9CQUFvQixHQUFHO29CQUV0RFgsT0FBT1EsS0FBS00sWUFBWSxDQUFDRCxVQUFVWjtvQkFFbkMsSUFBSUQsU0FBUyxNQUFNO3dCQUNqQixJQUFNZSxnQkFBZ0JmLEtBQUtnQixNQUFNLENBQUNmLFNBQVM7NEJBQ3pDLElBQUlNOzRCQUVKLElBQU1VLE9BQU9qQixLQUFLa0IsT0FBTzs0QkFFekJSLGNBQWNTLE9BQU8sQ0FBQ0Y7NEJBRXRCVixnQkFBZ0JMOzRCQUVoQixPQUFPSzt3QkFDVDt3QkFFQUEsZ0JBQWdCUSxlQUFnQixHQUFHO29CQUNyQztvQkFFQSxPQUFPUjtnQkFDVDtnQkFFQSxJQUFJSixhQUFhO29CQUNmRixRQUFRbUIsS0FBSyxDQUFDLEFBQUMsbUJBQTZCLE9BQVhoQixZQUFXLDJDQUF5Q0o7Z0JBQ3ZGO2dCQUVBLE9BQU9HO1lBQ1Q7Ozs7WUFFT2tCLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU0sQUFBRWIsT0FBU0MsWUFBRyxDQUFaRCxNQUNGRyxvQkFBb0JXLHFCQUEyQixDQUFDQyxvQkFBb0IsSUFDcEVWLFdBQVdGLG1CQUNYVixVQUFVcUIscUJBQTJCLEVBQ3JDdEIsT0FBT1EsS0FBS00sWUFBWSxDQUFDRCxVQUFVWixVQUNuQ2dCLE9BQU8sTUFDUE8sU0FBU0MsSUFBQUEsa0NBQXFCLEVBQUN6QixNQUFNaUIsT0FDckNTLHVCQUF1QixJQXBEWjlCLHFCQW9EcUM0QixRQUFReEI7Z0JBRTlELE9BQU8wQjtZQUNUOzs7V0F2RG1COUI7RUFBNkIrQixvQkFBVyJ9
|
|
@@ -5,7 +5,7 @@ Object.defineProperty(exports, "__esModule", {
|
|
|
5
5
|
Object.defineProperty(exports, "default", {
|
|
6
6
|
enumerable: true,
|
|
7
7
|
get: function() {
|
|
8
|
-
return
|
|
8
|
+
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
11
|
var _bracketted = /*#__PURE__*/ _interop_require_default(require("../../context/bracketted"));
|
|
@@ -114,5 +114,7 @@ var CombinatorBracketedContext = /*#__PURE__*/ function(BracketedContext) {
|
|
|
114
114
|
]);
|
|
115
115
|
return CombinatorBracketedContext;
|
|
116
116
|
}(_bracketted.default);
|
|
117
|
+
var combinatorBracketedContext = CombinatorBracketedContext.fromNothing();
|
|
118
|
+
var _default = combinatorBracketedContext;
|
|
117
119
|
|
|
118
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
120
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXRlZC9jb21iaW5hdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgQnJhY2tldGVkQ29udGV4dCBmcm9tIFwiLi4vLi4vY29udGV4dC9icmFja2V0dGVkXCI7XG5pbXBvcnQgU3RhdGVtZW50Tm9kZUFuZFRva2VucyBmcm9tIFwiLi4vLi4vbm9kZUFuZFRva2Vucy9zdGF0ZW1lbnRcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIH0gZnJvbSBcIi4uLy4uL21ldGFUeXBlTmFtZXNcIjtcblxuY2xhc3MgQ29tYmluYXRvckJyYWNrZXRlZENvbnRleHQgZXh0ZW5kcyBCcmFja2V0ZWRDb250ZXh0IHtcbiAgZ2V0QnJhY2tldGVkU3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBub2RlID0gdGhpcy5nZXROb2RlKCksXG4gICAgICAgICAgYnJhY2tldGVkU3RhdGVtZW50Tm9kZSA9IG5vZGU7ICAvLy9cblxuICAgIHJldHVybiBicmFja2V0ZWRTdGF0ZW1lbnROb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IHN0cmluZyA9IGAoJHtTVEFURU1FTlRfTUVUQV9UWVBFX05BTUV9KWAsXG4gICAgICAgICAgTm9kZUFuZFRva2VucyA9IFN0YXRlbWVudE5vZGVBbmRUb2tlbnMsXG4gICAgICAgICAgY29tYmluYXRvckJyYWNrZXRlZENvbnRleHQgPSBCcmFja2V0ZWRDb250ZXh0LmZyb21TdHJpbmdBbmROb2RlQW5kVG9rZW5zKENvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0LCBzdHJpbmcsIE5vZGVBbmRUb2tlbnMpO1xuXG4gICAgcmV0dXJuIGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0O1xuICB9XG59XG5cbmNvbnN0IGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0ID0gQ29tYmluYXRvckJyYWNrZXRlZENvbnRleHQuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgIGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0O1xuIl0sIm5hbWVzIjpbIkNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0IiwiZ2V0QnJhY2tldGVkU3RhdGVtZW50Tm9kZSIsIm5vZGUiLCJnZXROb2RlIiwiYnJhY2tldGVkU3RhdGVtZW50Tm9kZSIsImZyb21Ob3RoaW5nIiwic3RyaW5nIiwiU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIiwiTm9kZUFuZFRva2VucyIsIlN0YXRlbWVudE5vZGVBbmRUb2tlbnMiLCJjb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dCIsIkJyYWNrZXRlZENvbnRleHQiLCJmcm9tU3RyaW5nQW5kTm9kZUFuZFRva2VucyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBMEJBOzs7ZUFBQTs7O2lFQXhCNkI7Z0VBQ007NkJBRU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFekMsSUFBQSxBQUFNQSwyQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7aUNBQUFBOztrQkFBQUE7O1lBQ0pDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxPQUFPLElBQUksQ0FBQ0MsT0FBTyxJQUNuQkMseUJBQXlCRixNQUFPLEdBQUc7Z0JBRXpDLE9BQU9FO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0E7Z0JBQ0wsSUFBTUMsU0FBUyxBQUFDLElBQTRCLE9BQXpCQyx1Q0FBd0IsRUFBQyxNQUN0Q0MsZ0JBQWdCQyxrQkFBc0IsRUFDdENDLDZCQUE2QkMsbUJBQWdCLENBQUNDLDBCQUEwQixDQVg1RVosNEJBV3lHTSxRQUFRRTtnQkFFbkgsT0FBT0U7WUFDVDs7O1dBZElWO0VBQW1DVyxtQkFBZ0I7QUFpQnpELElBQU1ELDZCQUE2QlYsMkJBQTJCSyxXQUFXO0lBRXpFLFdBQWdCSyJ9
|
|
@@ -5,7 +5,7 @@ Object.defineProperty(exports, "__esModule", {
|
|
|
5
5
|
Object.defineProperty(exports, "default", {
|
|
6
6
|
enumerable: true,
|
|
7
7
|
get: function() {
|
|
8
|
-
return
|
|
8
|
+
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
11
|
var _bracketted = /*#__PURE__*/ _interop_require_default(require("../../context/bracketted"));
|
|
@@ -114,5 +114,7 @@ var ConstructorBracketedContext = /*#__PURE__*/ function(BracketedContext) {
|
|
|
114
114
|
]);
|
|
115
115
|
return ConstructorBracketedContext;
|
|
116
116
|
}(_bracketted.default);
|
|
117
|
+
var constructorBracketedContext = ConstructorBracketedContext.fromNothing();
|
|
118
|
+
var _default = constructorBracketedContext;
|
|
117
119
|
|
|
118
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
120
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXRlZC9jb25zdHJ1Y3Rvci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IEJyYWNrZXRlZENvbnRleHQgZnJvbSBcIi4uLy4uL2NvbnRleHQvYnJhY2tldHRlZFwiO1xuaW1wb3J0IFRlcm1Ob2RlQW5kVG9rZW5zIGZyb20gXCIuLi8uLi9ub2RlQW5kVG9rZW5zL3Rlcm1cIjtcblxuaW1wb3J0IHsgT0JKRUNUX1RZUEVfTkFNRSB9IGZyb20gXCIuLi8uLi90eXBlTmFtZXNcIjtcblxuY2xhc3MgQ29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IGV4dGVuZHMgQnJhY2tldGVkQ29udGV4dCB7XG4gIGdldEJyYWNrZXRlZFRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IG5vZGUgPSB0aGlzLmdldE5vZGUoKSxcbiAgICAgICAgICBicmFja2V0ZWRUZXJtTm9kZSA9IG5vZGU7ICAvLy9cblxuICAgIHJldHVybiBicmFja2V0ZWRUZXJtTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tTm90aGluZygpIHtcbiAgICBjb25zdCBzdHJpbmcgPSBgKCR7T0JKRUNUX1RZUEVfTkFNRX0pYCxcbiAgICAgICAgICBOb2RlQW5kVG9rZW5zID0gVGVybU5vZGVBbmRUb2tlbnMsXG4gICAgICAgICAgY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0ID0gQnJhY2tldGVkQ29udGV4dC5mcm9tU3RyaW5nQW5kTm9kZUFuZFRva2VucyhDb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQsIHN0cmluZywgTm9kZUFuZFRva2Vucyk7XG5cbiAgICByZXR1cm4gY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0O1xuICB9XG59XG5cbmNvbnN0IGNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dCA9IENvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dC5mcm9tTm90aGluZygpO1xuXG5leHBvcnQgZGVmYXVsdCBjb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQ7XG4iXSwibmFtZXMiOlsiQ29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IiwiZ2V0QnJhY2tldGVkVGVybU5vZGUiLCJub2RlIiwiZ2V0Tm9kZSIsImJyYWNrZXRlZFRlcm1Ob2RlIiwiZnJvbU5vdGhpbmciLCJzdHJpbmciLCJPQkpFQ1RfVFlQRV9OQU1FIiwiTm9kZUFuZFRva2VucyIsIlRlcm1Ob2RlQW5kVG9rZW5zIiwiY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IiwiQnJhY2tldGVkQ29udGV4dCIsImZyb21TdHJpbmdBbmROb2RlQW5kVG9rZW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkEwQkE7OztlQUFBOzs7aUVBeEI2QjsyREFDQzt5QkFFRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVqQyxJQUFBLEFBQU1BLDRDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDSkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLE9BQU8sSUFBSSxDQUFDQyxPQUFPLElBQ25CQyxvQkFBb0JGLE1BQU8sR0FBRztnQkFFcEMsT0FBT0U7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQTtnQkFDTCxJQUFNQyxTQUFTLEFBQUMsSUFBb0IsT0FBakJDLDJCQUFnQixFQUFDLE1BQzlCQyxnQkFBZ0JDLGFBQWlCLEVBQ2pDQyw4QkFBOEJDLG1CQUFnQixDQUFDQywwQkFBMEIsQ0FYN0VaLDZCQVcyR00sUUFBUUU7Z0JBRXJILE9BQU9FO1lBQ1Q7OztXQWRJVjtFQUFvQ1csbUJBQWdCO0FBaUIxRCxJQUFNRCw4QkFBOEJWLDRCQUE0QkssV0FBVztJQUUzRSxXQUFlSyJ9
|
package/lib/index.js
CHANGED
|
@@ -63,7 +63,6 @@ var _variable1 = /*#__PURE__*/ _interop_require_default(require("./dom/declarati
|
|
|
63
63
|
var _combinator = /*#__PURE__*/ _interop_require_default(require("./dom/declaration/combinator"));
|
|
64
64
|
var _constructor = /*#__PURE__*/ _interop_require_default(require("./dom/declaration/constructor"));
|
|
65
65
|
var _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./dom/declaration/metavariable"));
|
|
66
|
-
var _constructor1 = /*#__PURE__*/ _interop_require_default(require("./context/bracketed/constructor"));
|
|
67
66
|
var _log = /*#__PURE__*/ _interop_require_default(require("./log"));
|
|
68
67
|
var _release = /*#__PURE__*/ _interop_require_default(require("./context/release"));
|
|
69
68
|
var _release1 = /*#__PURE__*/ _interop_require_default(require("./utilities/release"));
|
|
@@ -75,4 +74,4 @@ function _interop_require_default(obj) {
|
|
|
75
74
|
};
|
|
76
75
|
}
|
|
77
76
|
|
|
78
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
77
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFR5cGUgZnJvbSBcIi4vZG9tL3R5cGVcIjtcbmltcG9ydCBUZXJtIGZyb20gXCIuL2RvbS90ZXJtXCI7XG5pbXBvcnQgUnVsZSBmcm9tIFwiLi9kb20vcnVsZVwiO1xuaW1wb3J0IExhYmVsIGZyb20gXCIuL2RvbS9sYWJlbFwiO1xuaW1wb3J0IEF4aW9tIGZyb20gXCIuL2RvbS9heGlvbVwiO1xuaW1wb3J0IExlbW1hIGZyb20gXCIuL2RvbS9sZW1tYVwiO1xuaW1wb3J0IEZyYW1lIGZyb20gXCIuL2RvbS9mcmFtZVwiO1xuaW1wb3J0IFByb29mIGZyb20gXCIuL2RvbS9wcm9vZlwiO1xuaW1wb3J0IEVycm9yIGZyb20gXCIuL2RvbS9lcnJvclwiO1xuaW1wb3J0IFByZW1pc2UgZnJvbSBcIi4vZG9tL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtIGZyb20gXCIuL2RvbS90aGVvcmVtXCI7XG5pbXBvcnQgRXF1YWxpdHkgZnJvbSBcIi4vZG9tL2VxdWFsaXR5XCI7XG5pbXBvcnQgTWV0YVR5cGUgZnJvbSBcIi4vZG9tL21ldGFUeXBlXCI7XG5pbXBvcnQgU3VicHJvb2YgZnJvbSBcIi4vZG9tL3N1YnByb29mXCI7XG5pbXBvcnQgVmFyaWFibGUgZnJvbSBcIi4vZG9tL3ZhcmlhYmxlXCI7XG5pbXBvcnQgUHJvb2ZTdGVwIGZyb20gXCIuL2RvbS9wcm9vZlN0ZXBcIjtcbmltcG9ydCBSZWZlcmVuY2UgZnJvbSBcIi4vZG9tL3JlZmVyZW5jZVwiO1xuaW1wb3J0IFN0YXRlbWVudCBmcm9tIFwiLi9kb20vc3RhdGVtZW50XCI7XG5pbXBvcnQgSnVkZ2VtZW50IGZyb20gXCIuL2RvbS9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWEgZnJvbSBcIi4vZG9tL21ldGFMZW1tYVwiO1xuaW1wb3J0IENvbnNlcXVlbnQgZnJvbSBcIi4vZG9tL2NvbnNlcXVlbnRcIjtcbmltcG9ydCBDb25qZWN0dXJlIGZyb20gXCIuL2RvbS9jb25qZWN0dXJlXCI7XG5pbXBvcnQgQ29uY2x1c2lvbiBmcm9tIFwiLi9kb20vY29uY2x1c2lvblwiO1xuaW1wb3J0IERlcml2YXRpb24gZnJvbSBcIi4vZG9tL2Rlcml2YXRpb25cIjtcbmltcG9ydCBEZWNsYXJhdGlvbiBmcm9tIFwiLi9kb20vZGVjbGFyYXRpb25cIjtcbmltcG9ydCBTdXBwb3NpdGlvbiBmcm9tIFwiLi9kb20vc3VwcG9zaXRpb25cIjtcbmltcG9ydCBNZXRhdGhlb3JlbSBmcm9tIFwiLi9kb20vbWV0YXRoZW9yZW1cIjtcbmltcG9ydCBNZXRhdmFyaWFibGUgZnJvbSBcIi4vZG9tL21ldGF2YXJpYWJsZVwiO1xuaW1wb3J0IFN1YkRlcml2YXRpb24gZnJvbSBcIi4vZG9tL3N1YkRlcml2YXRpb25cIjtcbmltcG9ydCBUeXBlQXNzZXJ0aW9uIGZyb20gXCIuL2RvbS9hc3NlcnRpb24vdHlwZVwiO1xuaW1wb3J0IFR5cGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9kb20vZGVjbGFyYXRpb24vdHlwZVwiO1xuaW1wb3J0IERlZmluZWRBc3NlcnRpb24gZnJvbSBcIi4vZG9tL2Fzc2VydGlvbi9kZWZpbmVkXCI7XG5pbXBvcnQgU3VicHJvb2ZBc3NlcnRpb24gZnJvbSBcIi4vZG9tL2Fzc2VydGlvbi9zdWJwcm9vZlwiO1xuaW1wb3J0IENvbnRhaW5lZEFzc2VydGlvbiBmcm9tIFwiLi9kb20vYXNzZXJ0aW9uL2NvbnRhaW5lZFwiO1xuaW1wb3J0IFZhcmlhYmxlRGVjbGFyYXRpb24gZnJvbSBcIi4vZG9tL2RlY2xhcmF0aW9uL3ZhcmlhYmxlXCI7XG5pbXBvcnQgQ29tYmluYXRvckRlY2xhcmF0aW9uIGZyb20gXCIuL2RvbS9kZWNsYXJhdGlvbi9jb21iaW5hdG9yXCI7XG5pbXBvcnQgQ29uc3RydWN0b3JEZWNsYXJhdGlvbiBmcm9tIFwiLi9kb20vZGVjbGFyYXRpb24vY29uc3RydWN0b3JcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9kb20vZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG5cbmV4cG9ydCB7IGRlZmF1bHQgYXMgTG9nIH0gZnJvbSBcIi4vbG9nXCI7XG5leHBvcnQgeyBkZWZhdWx0IGFzIFJlbGVhc2VDb250ZXh0IH0gZnJvbSBcIi4vY29udGV4dC9yZWxlYXNlXCI7XG5leHBvcnQgeyBkZWZhdWx0IGFzIHJlbGVhc2VVdGlsaXRpZXMgfSBmcm9tIFwiLi91dGlsaXRpZXMvcmVsZWFzZVwiO1xuZXhwb3J0IHsgZGVmYXVsdCBhcyBjdXN0b21HcmFtbWFyVXRpbGl0aWVzIH0gZnJvbSBcIi4vdXRpbGl0aWVzL2N1c3RvbUdyYW1tYXJcIjtcbmV4cG9ydCB7IGRlZmF1bHQgYXMgcmVsZWFzZUNvbnRleHRVdGlsaXRpZXMgfSBmcm9tIFwiLi91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHRcIjtcbiJdLCJuYW1lcyI6WyJMb2ciLCJSZWxlYXNlQ29udGV4dCIsImN1c3RvbUdyYW1tYXJVdGlsaXRpZXMiLCJyZWxlYXNlQ29udGV4dFV0aWxpdGllcyIsInJlbGVhc2VVdGlsaXRpZXMiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQXlDb0JBLEdBQUc7ZUFBSEEsWUFBRzs7SUFDSEMsY0FBYztlQUFkQSxnQkFBYzs7SUFFZEMsc0JBQXNCO2VBQXRCQSxzQkFBc0I7O0lBQ3RCQyx1QkFBdUI7ZUFBdkJBLHVCQUF1Qjs7SUFGdkJDLGdCQUFnQjtlQUFoQkEsaUJBQWdCOzs7MkRBekNuQjsyREFDQTsyREFDQTs0REFDQzs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs4REFDRTs4REFDQTsrREFDQzsrREFDQTsrREFDQTsrREFDQTtnRUFDQztnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtpRUFDQztpRUFDQTtpRUFDQTtpRUFDQTtrRUFDQztrRUFDQTtrRUFDQTttRUFDQztvRUFDQzs0REFDQTs0REFDRTs4REFDQztnRUFDQztnRUFDQztnRUFDQztpRUFDRTtrRUFDQztvRUFDQzswREFFTDs4REFDVzsrREFDRTtvRUFDTTtxRUFDQyJ9
|
|
@@ -22,10 +22,15 @@ _export(exports, {
|
|
|
22
22
|
return stripBracketsFromTermNode;
|
|
23
23
|
}
|
|
24
24
|
});
|
|
25
|
+
var _combinator = /*#__PURE__*/ _interop_require_default(require("../context/bracketed/combinator"));
|
|
26
|
+
var _constructor = /*#__PURE__*/ _interop_require_default(require("../context/bracketed/constructor"));
|
|
25
27
|
var _query = require("../utilities/query");
|
|
26
|
-
var _bracketed = require("../constructor/bracketed");
|
|
27
|
-
var _bracketed1 = require("../combinator/bracketed");
|
|
28
28
|
var _constants = require("../constants");
|
|
29
|
+
function _interop_require_default(obj) {
|
|
30
|
+
return obj && obj.__esModule ? obj : {
|
|
31
|
+
default: obj
|
|
32
|
+
};
|
|
33
|
+
}
|
|
29
34
|
var bracketedTermChildNodeQuery = (0, _query.nodeQuery)("/term/argument/term"), bracketedStatementChildNodeQuery = (0, _query.nodeQuery)("/statement/metaArgument/statement");
|
|
30
35
|
function stripBracketsFromTermNode(termNode) {
|
|
31
36
|
var bracketedTermChildNode = bracketedTermChildNodeFromTermNode(termNode);
|
|
@@ -43,7 +48,7 @@ function stripBracketsFromStatementNode(statementNode) {
|
|
|
43
48
|
}
|
|
44
49
|
function bracketedTermChildNodeFromTermNode(termNode) {
|
|
45
50
|
var bracketedTermChildNode = null;
|
|
46
|
-
var depth = _constants.BRACKETED_TERM_DEPTH, termNodeMatchBracketedTermNode = termNode.match(
|
|
51
|
+
var depth = _constants.BRACKETED_TERM_DEPTH, bracketedTermNode = _constructor.default.getBracketedTermNode(), termNodeMatchBracketedTermNode = termNode.match(bracketedTermNode, depth);
|
|
47
52
|
if (termNodeMatchBracketedTermNode) {
|
|
48
53
|
bracketedTermChildNode = bracketedTermChildNodeQuery(termNode);
|
|
49
54
|
}
|
|
@@ -51,11 +56,11 @@ function bracketedTermChildNodeFromTermNode(termNode) {
|
|
|
51
56
|
}
|
|
52
57
|
function bracketedStatementChildNodeFromStatementNode(statementNode) {
|
|
53
58
|
var bracketedStatementChildNode = null;
|
|
54
|
-
var depth = _constants.BRACKETED_STATEMENT_DEPTH, statementNodeMatchBracketedStatementNode = statementNode.match(
|
|
59
|
+
var depth = _constants.BRACKETED_STATEMENT_DEPTH, bracketedStatementNode = _combinator.default.getBracketedStatementNode(), statementNodeMatchBracketedStatementNode = statementNode.match(bracketedStatementNode, depth);
|
|
55
60
|
if (statementNodeMatchBracketedStatementNode) {
|
|
56
61
|
bracketedStatementChildNode = bracketedStatementChildNodeQuery(statementNode);
|
|
57
62
|
}
|
|
58
63
|
return bracketedStatementChildNode;
|
|
59
64
|
}
|
|
60
65
|
|
|
61
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
66
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvYnJhY2tldHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBjb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9icmFja2V0ZWQvY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9icmFja2V0ZWQvY29uc3RydWN0b3JcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgQlJBQ0tFVEVEX1RFUk1fREVQVEgsIEJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEggfSBmcm9tIFwiLi4vY29uc3RhbnRzXCI7XG5cbmNvbnN0IGJyYWNrZXRlZFRlcm1DaGlsZE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtL2FyZ3VtZW50L3Rlcm1cIiksXG4gICAgICBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdGF0ZW1lbnQvbWV0YUFyZ3VtZW50L3N0YXRlbWVudFwiKTtcblxuZXhwb3J0IGZ1bmN0aW9uIHN0cmlwQnJhY2tldHNGcm9tVGVybU5vZGUodGVybU5vZGUpIHtcbiAgY29uc3QgYnJhY2tldGVkVGVybUNoaWxkTm9kZSA9IGJyYWNrZXRlZFRlcm1DaGlsZE5vZGVGcm9tVGVybU5vZGUodGVybU5vZGUpO1xuXG4gIGlmIChicmFja2V0ZWRUZXJtQ2hpbGROb2RlICE9PSBudWxsKSB7XG4gICAgdGVybU5vZGUgPSBicmFja2V0ZWRUZXJtQ2hpbGROb2RlOyAgLy8vXG4gIH1cblxuICByZXR1cm4gdGVybU5vZGU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdHJpcEJyYWNrZXRzRnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSkge1xuICBjb25zdCBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGUgPSBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVGcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlKTtcblxuICBpZiAoYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlICE9PSBudWxsKSB7XG4gICAgc3RhdGVtZW50Tm9kZSA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZTsgIC8vL1xuICB9XG5cbiAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBicmFja2V0ZWRUZXJtQ2hpbGROb2RlRnJvbVRlcm1Ob2RlKHRlcm1Ob2RlKSB7XG4gIGxldCBicmFja2V0ZWRUZXJtQ2hpbGROb2RlID0gbnVsbDtcblxuICBjb25zdCBkZXB0aCA9IEJSQUNLRVRFRF9URVJNX0RFUFRILFxuICAgICAgICBicmFja2V0ZWRUZXJtTm9kZSA9IGNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dC5nZXRCcmFja2V0ZWRUZXJtTm9kZSgpLFxuICAgICAgICB0ZXJtTm9kZU1hdGNoQnJhY2tldGVkVGVybU5vZGUgPSB0ZXJtTm9kZS5tYXRjaChicmFja2V0ZWRUZXJtTm9kZSwgZGVwdGgpO1xuXG4gIGlmICh0ZXJtTm9kZU1hdGNoQnJhY2tldGVkVGVybU5vZGUpIHtcbiAgICBicmFja2V0ZWRUZXJtQ2hpbGROb2RlID0gYnJhY2tldGVkVGVybUNoaWxkTm9kZVF1ZXJ5KHRlcm1Ob2RlKTtcbiAgfVxuXG4gIHJldHVybiBicmFja2V0ZWRUZXJtQ2hpbGROb2RlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlRnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSkge1xuICBsZXQgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlID0gbnVsbDtcblxuICBjb25zdCBkZXB0aCA9IEJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEgsXG4gICAgICAgIGJyYWNrZXRlZFN0YXRlbWVudE5vZGUgPSBjb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dC5nZXRCcmFja2V0ZWRTdGF0ZW1lbnROb2RlKCksXG4gICAgICAgIHN0YXRlbWVudE5vZGVNYXRjaEJyYWNrZXRlZFN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlLm1hdGNoKGJyYWNrZXRlZFN0YXRlbWVudE5vZGUsIGRlcHRoKTtcblxuICBpZiAoc3RhdGVtZW50Tm9kZU1hdGNoQnJhY2tldGVkU3RhdGVtZW50Tm9kZSkge1xuICAgIGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZSA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZVF1ZXJ5KHN0YXRlbWVudE5vZGUpO1xuICB9XG5cbiAgcmV0dXJuIGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZTtcbn1cbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVGcm9tU3RhdGVtZW50Tm9kZSIsImJyYWNrZXRlZFRlcm1DaGlsZE5vZGVGcm9tVGVybU5vZGUiLCJzdHJpcEJyYWNrZXRzRnJvbVN0YXRlbWVudE5vZGUiLCJzdHJpcEJyYWNrZXRzRnJvbVRlcm1Ob2RlIiwiYnJhY2tldGVkVGVybUNoaWxkTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlUXVlcnkiLCJ0ZXJtTm9kZSIsImJyYWNrZXRlZFRlcm1DaGlsZE5vZGUiLCJzdGF0ZW1lbnROb2RlIiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlIiwiZGVwdGgiLCJCUkFDS0VURURfVEVSTV9ERVBUSCIsImJyYWNrZXRlZFRlcm1Ob2RlIiwiY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0IiwiZ2V0QnJhY2tldGVkVGVybU5vZGUiLCJ0ZXJtTm9kZU1hdGNoQnJhY2tldGVkVGVybU5vZGUiLCJtYXRjaCIsIkJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEgiLCJicmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwiY29tYmluYXRvckJyYWNrZXRlZENvbnRleHQiLCJnZXRCcmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50Tm9kZU1hdGNoQnJhY2tldGVkU3RhdGVtZW50Tm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBNkNnQkEsNENBQTRDO2VBQTVDQTs7SUFkQUMsa0NBQWtDO2VBQWxDQTs7SUFWQUMsOEJBQThCO2VBQTlCQTs7SUFWQUMseUJBQXlCO2VBQXpCQTs7O2lFQVR1QjtrRUFDQztxQkFFZDt5QkFDc0M7Ozs7OztBQUVoRSxJQUFNQyw4QkFBOEJDLElBQUFBLGdCQUFTLEVBQUMsd0JBQ3hDQyxtQ0FBbUNELElBQUFBLGdCQUFTLEVBQUM7QUFFNUMsU0FBU0YsMEJBQTBCSSxRQUFRO0lBQ2hELElBQU1DLHlCQUF5QlAsbUNBQW1DTTtJQUVsRSxJQUFJQywyQkFBMkIsTUFBTTtRQUNuQ0QsV0FBV0Msd0JBQXlCLEdBQUc7SUFDekM7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU0wsK0JBQStCTyxhQUFhO0lBQzFELElBQU1DLDhCQUE4QlYsNkNBQTZDUztJQUVqRixJQUFJQyxnQ0FBZ0MsTUFBTTtRQUN4Q0QsZ0JBQWdCQyw2QkFBOEIsR0FBRztJQUNuRDtJQUVBLE9BQU9EO0FBQ1Q7QUFFTyxTQUFTUixtQ0FBbUNNLFFBQVE7SUFDekQsSUFBSUMseUJBQXlCO0lBRTdCLElBQU1HLFFBQVFDLCtCQUFvQixFQUM1QkMsb0JBQW9CQyxvQkFBMkIsQ0FBQ0Msb0JBQW9CLElBQ3BFQyxpQ0FBaUNULFNBQVNVLEtBQUssQ0FBQ0osbUJBQW1CRjtJQUV6RSxJQUFJSyxnQ0FBZ0M7UUFDbENSLHlCQUF5QkosNEJBQTRCRztJQUN2RDtJQUVBLE9BQU9DO0FBQ1Q7QUFFTyxTQUFTUiw2Q0FBNkNTLGFBQWE7SUFDeEUsSUFBSUMsOEJBQThCO0lBRWxDLElBQU1DLFFBQVFPLG9DQUF5QixFQUNqQ0MseUJBQXlCQyxtQkFBMEIsQ0FBQ0MseUJBQXlCLElBQzdFQywyQ0FBMkNiLGNBQWNRLEtBQUssQ0FBQ0Usd0JBQXdCUjtJQUU3RixJQUFJVywwQ0FBMEM7UUFDNUNaLDhCQUE4QkosaUNBQWlDRztJQUNqRTtJQUVBLE9BQU9DO0FBQ1QifQ==
|
package/package.json
CHANGED
|
@@ -1,23 +1,12 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
3
|
import dom from "../dom";
|
|
4
|
-
import
|
|
4
|
+
import Combinator from "../combinator";
|
|
5
|
+
import combinatorBracketedContext from "../context/bracketed/combinator";
|
|
5
6
|
|
|
6
7
|
import { unifyStatementWithCombinator } from "../utilities/unification";
|
|
7
8
|
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
export const bracketedStatementNode = combinatorBracketedContext.getBracketedStatementNode(); ///
|
|
11
|
-
|
|
12
|
-
export default class BracketedCombinator {
|
|
13
|
-
constructor(statement) {
|
|
14
|
-
this.statement = statement;
|
|
15
|
-
}
|
|
16
|
-
|
|
17
|
-
getStatement() {
|
|
18
|
-
return this.statement;
|
|
19
|
-
}
|
|
20
|
-
|
|
9
|
+
export default class BracketedCombinator extends Combinator {
|
|
21
10
|
unifyStatement(statement, assignments, stated, context) {
|
|
22
11
|
let statementUnified;
|
|
23
12
|
|
|
@@ -40,6 +29,7 @@ export default class BracketedCombinator {
|
|
|
40
29
|
|
|
41
30
|
static fromNothing() {
|
|
42
31
|
const { Statement } = dom,
|
|
32
|
+
bracketedStatementNode = combinatorBracketedContext.getBracketedStatementNode(),
|
|
43
33
|
statementNode = bracketedStatementNode, ///
|
|
44
34
|
context = combinatorBracketedContext, ///
|
|
45
35
|
statement = Statement.fromStatementNode(statementNode, context),
|
|
@@ -1,31 +1,15 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
3
|
import dom from "../dom";
|
|
4
|
-
import
|
|
4
|
+
import Constructor from "../constructor";
|
|
5
|
+
import constructorBracketedContext from "../context/bracketed/constructor";
|
|
5
6
|
|
|
6
7
|
import { nodeQuery } from "../utilities/query";
|
|
7
8
|
import { stringFromTermAndType } from "../constructor";
|
|
8
9
|
|
|
9
10
|
const termNodeQuery = nodeQuery("/term/argument/term");
|
|
10
11
|
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
export const bracketedTermNode = constructorBracketedContext.getBracketedTermNode();
|
|
14
|
-
|
|
15
|
-
export default class BracketedConstructor {
|
|
16
|
-
constructor(string, term) {
|
|
17
|
-
this.string = string;
|
|
18
|
-
this.term = term;
|
|
19
|
-
}
|
|
20
|
-
|
|
21
|
-
getString() {
|
|
22
|
-
return this.string;
|
|
23
|
-
}
|
|
24
|
-
|
|
25
|
-
getTerm() {
|
|
26
|
-
return this.term;
|
|
27
|
-
}
|
|
28
|
-
|
|
12
|
+
export default class BracketedConstructor extends Constructor {
|
|
29
13
|
unifyTerm(term, context, verifyAhead) {
|
|
30
14
|
let termUnified;
|
|
31
15
|
|
|
@@ -71,6 +55,7 @@ export default class BracketedConstructor {
|
|
|
71
55
|
|
|
72
56
|
static fromNothing() {
|
|
73
57
|
const { Term } = dom,
|
|
58
|
+
bracketedTermNode = constructorBracketedContext.getBracketedTermNode(),
|
|
74
59
|
termNode = bracketedTermNode, ///
|
|
75
60
|
context = constructorBracketedContext, ///
|
|
76
61
|
term = Term.fromTermNode(termNode, context),
|
|
@@ -5,7 +5,7 @@ import StatementNodeAndTokens from "../../nodeAndTokens/statement";
|
|
|
5
5
|
|
|
6
6
|
import { STATEMENT_META_TYPE_NAME } from "../../metaTypeNames";
|
|
7
7
|
|
|
8
|
-
|
|
8
|
+
class CombinatorBracketedContext extends BracketedContext {
|
|
9
9
|
getBracketedStatementNode() {
|
|
10
10
|
const node = this.getNode(),
|
|
11
11
|
bracketedStatementNode = node; ///
|
|
@@ -21,3 +21,7 @@ export default class CombinatorBracketedContext extends BracketedContext {
|
|
|
21
21
|
return combinatorBracketedContext;
|
|
22
22
|
}
|
|
23
23
|
}
|
|
24
|
+
|
|
25
|
+
const combinatorBracketedContext = CombinatorBracketedContext.fromNothing();
|
|
26
|
+
|
|
27
|
+
export default combinatorBracketedContext;
|
|
@@ -5,7 +5,7 @@ import TermNodeAndTokens from "../../nodeAndTokens/term";
|
|
|
5
5
|
|
|
6
6
|
import { OBJECT_TYPE_NAME } from "../../typeNames";
|
|
7
7
|
|
|
8
|
-
|
|
8
|
+
class ConstructorBracketedContext extends BracketedContext {
|
|
9
9
|
getBracketedTermNode() {
|
|
10
10
|
const node = this.getNode(),
|
|
11
11
|
bracketedTermNode = node; ///
|
|
@@ -21,3 +21,7 @@ export default class ConstructorBracketedContext extends BracketedContext {
|
|
|
21
21
|
return constructorBracketedContext;
|
|
22
22
|
}
|
|
23
23
|
}
|
|
24
|
+
|
|
25
|
+
const constructorBracketedContext = ConstructorBracketedContext.fromNothing();
|
|
26
|
+
|
|
27
|
+
export default constructorBracketedContext;
|
package/src/index.js
CHANGED
|
@@ -38,7 +38,6 @@ import VariableDeclaration from "./dom/declaration/variable";
|
|
|
38
38
|
import CombinatorDeclaration from "./dom/declaration/combinator";
|
|
39
39
|
import ConstructorDeclaration from "./dom/declaration/constructor";
|
|
40
40
|
import MetavariableDeclaration from "./dom/declaration/metavariable";
|
|
41
|
-
import ConstructorBracketedContext from "./context/bracketed/constructor";
|
|
42
41
|
|
|
43
42
|
export { default as Log } from "./log";
|
|
44
43
|
export { default as ReleaseContext } from "./context/release";
|
|
@@ -1,8 +1,9 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
+
import combinatorBracketedContext from "../context/bracketed/combinator";
|
|
4
|
+
import constructorBracketedContext from "../context/bracketed/constructor";
|
|
5
|
+
|
|
3
6
|
import { nodeQuery } from "../utilities/query";
|
|
4
|
-
import { bracketedTermNode } from "../constructor/bracketed";
|
|
5
|
-
import { bracketedStatementNode } from "../combinator/bracketed";
|
|
6
7
|
import { BRACKETED_TERM_DEPTH, BRACKETED_STATEMENT_DEPTH } from "../constants";
|
|
7
8
|
|
|
8
9
|
const bracketedTermChildNodeQuery = nodeQuery("/term/argument/term"),
|
|
@@ -32,6 +33,7 @@ export function bracketedTermChildNodeFromTermNode(termNode) {
|
|
|
32
33
|
let bracketedTermChildNode = null;
|
|
33
34
|
|
|
34
35
|
const depth = BRACKETED_TERM_DEPTH,
|
|
36
|
+
bracketedTermNode = constructorBracketedContext.getBracketedTermNode(),
|
|
35
37
|
termNodeMatchBracketedTermNode = termNode.match(bracketedTermNode, depth);
|
|
36
38
|
|
|
37
39
|
if (termNodeMatchBracketedTermNode) {
|
|
@@ -45,6 +47,7 @@ export function bracketedStatementChildNodeFromStatementNode(statementNode) {
|
|
|
45
47
|
let bracketedStatementChildNode = null;
|
|
46
48
|
|
|
47
49
|
const depth = BRACKETED_STATEMENT_DEPTH,
|
|
50
|
+
bracketedStatementNode = combinatorBracketedContext.getBracketedStatementNode(),
|
|
48
51
|
statementNodeMatchBracketedStatementNode = statementNode.match(bracketedStatementNode, depth);
|
|
49
52
|
|
|
50
53
|
if (statementNodeMatchBracketedStatementNode) {
|