occam-verify-cli 1.0.415 → 1.0.419
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/ontology/declaration/combinator.js +1 -1
- package/lib/ontology/substitution/frame.js +7 -8
- package/lib/ontology/substitution/reference.js +5 -6
- package/lib/ontology/substitution/statement.js +7 -8
- package/lib/ontology/substitution/term.js +7 -9
- package/lib/ontology/substitution.js +2 -9
- package/lib/process/instantiate.js +51 -0
- package/lib/process/verify.js +28 -3
- package/lib/utilities/bnf.js +21 -0
- package/package.json +10 -10
- package/src/ontology/declaration/combinator.js +1 -0
- package/src/ontology/substitution/frame.js +7 -11
- package/src/ontology/substitution/reference.js +6 -9
- package/src/ontology/substitution/statement.js +12 -21
- package/src/ontology/substitution/term.js +8 -14
- package/src/ontology/substitution.js +1 -6
- package/src/process/instantiate.js +43 -0
- package/src/process/verify.js +30 -2
- package/src/utilities/bnf.js +19 -0
- package/lib/context/partial/substitution/frame.js +0 -158
- package/lib/context/partial/substitution/reference.js +0 -158
- package/lib/context/partial/substitution/statement.js +0 -158
- package/lib/context/partial/substitution/term.js +0 -158
- package/src/context/partial/substitution/frame.js +0 -18
- package/src/context/partial/substitution/reference.js +0 -18
- package/src/context/partial/substitution/statement.js +0 -18
- package/src/context/partial/substitution/term.js +0 -18
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
|
|
3
|
+
import { BNFLexer } from "occam-lexers";
|
|
4
|
+
import { BNFParser } from "occam-parsers";
|
|
5
|
+
import { arrayUtilities } from "necessary";
|
|
6
|
+
|
|
7
|
+
const { first } = arrayUtilities;
|
|
8
|
+
|
|
9
|
+
const bnfLexer = BNFLexer.fromNothing(),
|
|
10
|
+
bnfParser = BNFParser.fromNothing();
|
|
11
|
+
|
|
12
|
+
export function ruleFromBNF(bnf) {
|
|
13
|
+
const tokens = bnfLexer.tokensFromBNF(bnf),
|
|
14
|
+
rules = bnfParser.rulesFromTokens(tokens),
|
|
15
|
+
firstRule = first(rules),
|
|
16
|
+
rule = firstRule; ///
|
|
17
|
+
|
|
18
|
+
return rule;
|
|
19
|
+
}
|
|
@@ -1,158 +0,0 @@
|
|
|
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 FrameSubstitutionPartialContext;
|
|
9
|
-
}
|
|
10
|
-
});
|
|
11
|
-
var _partial = /*#__PURE__*/ _interop_require_wildcard(require("../../../context/partial"));
|
|
12
|
-
function _assert_this_initialized(self) {
|
|
13
|
-
if (self === void 0) {
|
|
14
|
-
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
-
}
|
|
16
|
-
return self;
|
|
17
|
-
}
|
|
18
|
-
function _call_super(_this, derived, args) {
|
|
19
|
-
derived = _get_prototype_of(derived);
|
|
20
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
-
}
|
|
22
|
-
function _class_call_check(instance, Constructor) {
|
|
23
|
-
if (!(instance instanceof Constructor)) {
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
37
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _define_property(obj, key, value) {
|
|
42
|
-
if (key in obj) {
|
|
43
|
-
Object.defineProperty(obj, key, {
|
|
44
|
-
value: value,
|
|
45
|
-
enumerable: true,
|
|
46
|
-
configurable: true,
|
|
47
|
-
writable: true
|
|
48
|
-
});
|
|
49
|
-
} else {
|
|
50
|
-
obj[key] = value;
|
|
51
|
-
}
|
|
52
|
-
return obj;
|
|
53
|
-
}
|
|
54
|
-
function _get_prototype_of(o) {
|
|
55
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
56
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
57
|
-
};
|
|
58
|
-
return _get_prototype_of(o);
|
|
59
|
-
}
|
|
60
|
-
function _inherits(subClass, superClass) {
|
|
61
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
62
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
63
|
-
}
|
|
64
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
65
|
-
constructor: {
|
|
66
|
-
value: subClass,
|
|
67
|
-
writable: true,
|
|
68
|
-
configurable: true
|
|
69
|
-
}
|
|
70
|
-
});
|
|
71
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
72
|
-
}
|
|
73
|
-
function _getRequireWildcardCache(nodeInterop) {
|
|
74
|
-
if (typeof WeakMap !== "function") return null;
|
|
75
|
-
var cacheBabelInterop = new WeakMap();
|
|
76
|
-
var cacheNodeInterop = new WeakMap();
|
|
77
|
-
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
78
|
-
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
79
|
-
})(nodeInterop);
|
|
80
|
-
}
|
|
81
|
-
function _interop_require_wildcard(obj, nodeInterop) {
|
|
82
|
-
if (!nodeInterop && obj && obj.__esModule) {
|
|
83
|
-
return obj;
|
|
84
|
-
}
|
|
85
|
-
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
86
|
-
return {
|
|
87
|
-
default: obj
|
|
88
|
-
};
|
|
89
|
-
}
|
|
90
|
-
var cache = _getRequireWildcardCache(nodeInterop);
|
|
91
|
-
if (cache && cache.has(obj)) {
|
|
92
|
-
return cache.get(obj);
|
|
93
|
-
}
|
|
94
|
-
var newObj = {
|
|
95
|
-
__proto__: null
|
|
96
|
-
};
|
|
97
|
-
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
98
|
-
for(var key in obj){
|
|
99
|
-
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
100
|
-
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
101
|
-
if (desc && (desc.get || desc.set)) {
|
|
102
|
-
Object.defineProperty(newObj, key, desc);
|
|
103
|
-
} else {
|
|
104
|
-
newObj[key] = obj[key];
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
}
|
|
108
|
-
newObj.default = obj;
|
|
109
|
-
if (cache) {
|
|
110
|
-
cache.set(obj, newObj);
|
|
111
|
-
}
|
|
112
|
-
return newObj;
|
|
113
|
-
}
|
|
114
|
-
function _possible_constructor_return(self, call) {
|
|
115
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
116
|
-
return call;
|
|
117
|
-
}
|
|
118
|
-
return _assert_this_initialized(self);
|
|
119
|
-
}
|
|
120
|
-
function _set_prototype_of(o, p) {
|
|
121
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
122
|
-
o.__proto__ = p;
|
|
123
|
-
return o;
|
|
124
|
-
};
|
|
125
|
-
return _set_prototype_of(o, p);
|
|
126
|
-
}
|
|
127
|
-
function _type_of(obj) {
|
|
128
|
-
"@swc/helpers - typeof";
|
|
129
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
130
|
-
}
|
|
131
|
-
function _is_native_reflect_construct() {
|
|
132
|
-
try {
|
|
133
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
134
|
-
} catch (_) {}
|
|
135
|
-
return (_is_native_reflect_construct = function() {
|
|
136
|
-
return !!result;
|
|
137
|
-
})();
|
|
138
|
-
}
|
|
139
|
-
var bnf = "\n\n _ ::= frameSubstitution... <END_OF_LINE> ;\n \n ", rule = (0, _partial.ruleFromBNF)(bnf);
|
|
140
|
-
var FrameSubstitutionPartialContext = /*#__PURE__*/ function(PartialContext) {
|
|
141
|
-
_inherits(FrameSubstitutionPartialContext, PartialContext);
|
|
142
|
-
function FrameSubstitutionPartialContext() {
|
|
143
|
-
_class_call_check(this, FrameSubstitutionPartialContext);
|
|
144
|
-
return _call_super(this, FrameSubstitutionPartialContext, arguments);
|
|
145
|
-
}
|
|
146
|
-
_create_class(FrameSubstitutionPartialContext, null, [
|
|
147
|
-
{
|
|
148
|
-
key: "fromStringLexerAndParser",
|
|
149
|
-
value: function fromStringLexerAndParser(string, lexer, parser) {
|
|
150
|
-
return _partial.default.fromStringLexerAndParser(FrameSubstitutionPartialContext, string, lexer, parser);
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
]);
|
|
154
|
-
return FrameSubstitutionPartialContext;
|
|
155
|
-
}(_partial.default);
|
|
156
|
-
_define_property(FrameSubstitutionPartialContext, "rule", rule);
|
|
157
|
-
|
|
158
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9jb250ZXh0L3BhcnRpYWwvc3Vic3RpdHV0aW9uL2ZyYW1lLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgUGFydGlhbENvbnRleHQgZnJvbSBcIi4uLy4uLy4uL2NvbnRleHQvcGFydGlhbFwiO1xuXG5pbXBvcnQgeyBydWxlRnJvbUJORiB9IGZyb20gXCIuLi8uLi8uLi9jb250ZXh0L3BhcnRpYWxcIjtcblxuY29uc3QgYm5mID0gYFxuXG4gICAgICAgIF8gOjo9IGZyYW1lU3Vic3RpdHV0aW9uLi4uIDxFTkRfT0ZfTElORT4gO1xuICAgICAgICAgICAgXG4gICAgICBgLFxuICAgICAgcnVsZSA9IHJ1bGVGcm9tQk5GKGJuZik7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEZyYW1lU3Vic3RpdHV0aW9uUGFydGlhbENvbnRleHQgZXh0ZW5kcyBQYXJ0aWFsQ29udGV4dCB7XG4gIHN0YXRpYyBydWxlID0gcnVsZTtcblxuICBzdGF0aWMgZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKHN0cmluZywgbGV4ZXIsIHBhcnNlcikgeyByZXR1cm4gUGFydGlhbENvbnRleHQuZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKEZyYW1lU3Vic3RpdHV0aW9uUGFydGlhbENvbnRleHQsIHN0cmluZywgbGV4ZXIsIHBhcnNlcik7IH1cbn1cbiJdLCJuYW1lcyI6WyJGcmFtZVN1YnN0aXR1dGlvblBhcnRpYWxDb250ZXh0IiwiYm5mIiwicnVsZSIsInJ1bGVGcm9tQk5GIiwiZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyIiwic3RyaW5nIiwibGV4ZXIiLCJwYXJzZXIiLCJQYXJ0aWFsQ29udGV4dCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFhcUJBOzs7K0RBWE07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBSTNCLElBQU1DLE1BQU0sZ0ZBS05DLE9BQU9DLElBQUFBLG9CQUFXLEVBQUNGO0FBRVYsSUFBQSxBQUFNRCxnREFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUdaSSxLQUFBQTttQkFBUCxTQUFPQSx5QkFBeUJDLE1BQU0sRUFBRUMsS0FBSyxFQUFFQyxNQUFNO2dCQUFJLE9BQU9DLGdCQUFjLENBQUNKLHdCQUF3QixDQUhwRkosaUNBR3NISyxRQUFRQyxPQUFPQztZQUFTOzs7V0FIOUlQO0VBQXdDUSxnQkFBYztBQUN6RSxpQkFEbUJSLGlDQUNaRSxRQUFPQSJ9
|
|
@@ -1,158 +0,0 @@
|
|
|
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 ReferenceSubstitutionPartialContext;
|
|
9
|
-
}
|
|
10
|
-
});
|
|
11
|
-
var _partial = /*#__PURE__*/ _interop_require_wildcard(require("../../../context/partial"));
|
|
12
|
-
function _assert_this_initialized(self) {
|
|
13
|
-
if (self === void 0) {
|
|
14
|
-
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
-
}
|
|
16
|
-
return self;
|
|
17
|
-
}
|
|
18
|
-
function _call_super(_this, derived, args) {
|
|
19
|
-
derived = _get_prototype_of(derived);
|
|
20
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
-
}
|
|
22
|
-
function _class_call_check(instance, Constructor) {
|
|
23
|
-
if (!(instance instanceof Constructor)) {
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
37
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _define_property(obj, key, value) {
|
|
42
|
-
if (key in obj) {
|
|
43
|
-
Object.defineProperty(obj, key, {
|
|
44
|
-
value: value,
|
|
45
|
-
enumerable: true,
|
|
46
|
-
configurable: true,
|
|
47
|
-
writable: true
|
|
48
|
-
});
|
|
49
|
-
} else {
|
|
50
|
-
obj[key] = value;
|
|
51
|
-
}
|
|
52
|
-
return obj;
|
|
53
|
-
}
|
|
54
|
-
function _get_prototype_of(o) {
|
|
55
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
56
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
57
|
-
};
|
|
58
|
-
return _get_prototype_of(o);
|
|
59
|
-
}
|
|
60
|
-
function _inherits(subClass, superClass) {
|
|
61
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
62
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
63
|
-
}
|
|
64
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
65
|
-
constructor: {
|
|
66
|
-
value: subClass,
|
|
67
|
-
writable: true,
|
|
68
|
-
configurable: true
|
|
69
|
-
}
|
|
70
|
-
});
|
|
71
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
72
|
-
}
|
|
73
|
-
function _getRequireWildcardCache(nodeInterop) {
|
|
74
|
-
if (typeof WeakMap !== "function") return null;
|
|
75
|
-
var cacheBabelInterop = new WeakMap();
|
|
76
|
-
var cacheNodeInterop = new WeakMap();
|
|
77
|
-
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
78
|
-
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
79
|
-
})(nodeInterop);
|
|
80
|
-
}
|
|
81
|
-
function _interop_require_wildcard(obj, nodeInterop) {
|
|
82
|
-
if (!nodeInterop && obj && obj.__esModule) {
|
|
83
|
-
return obj;
|
|
84
|
-
}
|
|
85
|
-
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
86
|
-
return {
|
|
87
|
-
default: obj
|
|
88
|
-
};
|
|
89
|
-
}
|
|
90
|
-
var cache = _getRequireWildcardCache(nodeInterop);
|
|
91
|
-
if (cache && cache.has(obj)) {
|
|
92
|
-
return cache.get(obj);
|
|
93
|
-
}
|
|
94
|
-
var newObj = {
|
|
95
|
-
__proto__: null
|
|
96
|
-
};
|
|
97
|
-
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
98
|
-
for(var key in obj){
|
|
99
|
-
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
100
|
-
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
101
|
-
if (desc && (desc.get || desc.set)) {
|
|
102
|
-
Object.defineProperty(newObj, key, desc);
|
|
103
|
-
} else {
|
|
104
|
-
newObj[key] = obj[key];
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
}
|
|
108
|
-
newObj.default = obj;
|
|
109
|
-
if (cache) {
|
|
110
|
-
cache.set(obj, newObj);
|
|
111
|
-
}
|
|
112
|
-
return newObj;
|
|
113
|
-
}
|
|
114
|
-
function _possible_constructor_return(self, call) {
|
|
115
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
116
|
-
return call;
|
|
117
|
-
}
|
|
118
|
-
return _assert_this_initialized(self);
|
|
119
|
-
}
|
|
120
|
-
function _set_prototype_of(o, p) {
|
|
121
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
122
|
-
o.__proto__ = p;
|
|
123
|
-
return o;
|
|
124
|
-
};
|
|
125
|
-
return _set_prototype_of(o, p);
|
|
126
|
-
}
|
|
127
|
-
function _type_of(obj) {
|
|
128
|
-
"@swc/helpers - typeof";
|
|
129
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
130
|
-
}
|
|
131
|
-
function _is_native_reflect_construct() {
|
|
132
|
-
try {
|
|
133
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
134
|
-
} catch (_) {}
|
|
135
|
-
return (_is_native_reflect_construct = function() {
|
|
136
|
-
return !!result;
|
|
137
|
-
})();
|
|
138
|
-
}
|
|
139
|
-
var bnf = "\n\n _ ::= referenceSubstitution... <END_OF_LINE> ;\n \n ", rule = (0, _partial.ruleFromBNF)(bnf);
|
|
140
|
-
var ReferenceSubstitutionPartialContext = /*#__PURE__*/ function(PartialContext) {
|
|
141
|
-
_inherits(ReferenceSubstitutionPartialContext, PartialContext);
|
|
142
|
-
function ReferenceSubstitutionPartialContext() {
|
|
143
|
-
_class_call_check(this, ReferenceSubstitutionPartialContext);
|
|
144
|
-
return _call_super(this, ReferenceSubstitutionPartialContext, arguments);
|
|
145
|
-
}
|
|
146
|
-
_create_class(ReferenceSubstitutionPartialContext, null, [
|
|
147
|
-
{
|
|
148
|
-
key: "fromStringLexerAndParser",
|
|
149
|
-
value: function fromStringLexerAndParser(string, lexer, parser) {
|
|
150
|
-
return _partial.default.fromStringLexerAndParser(ReferenceSubstitutionPartialContext, string, lexer, parser);
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
]);
|
|
154
|
-
return ReferenceSubstitutionPartialContext;
|
|
155
|
-
}(_partial.default);
|
|
156
|
-
_define_property(ReferenceSubstitutionPartialContext, "rule", rule);
|
|
157
|
-
|
|
158
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9jb250ZXh0L3BhcnRpYWwvc3Vic3RpdHV0aW9uL3JlZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFBhcnRpYWxDb250ZXh0IGZyb20gXCIuLi8uLi8uLi9jb250ZXh0L3BhcnRpYWxcIjtcblxuaW1wb3J0IHsgcnVsZUZyb21CTkYgfSBmcm9tIFwiLi4vLi4vLi4vY29udGV4dC9wYXJ0aWFsXCI7XG5cbmNvbnN0IGJuZiA9IGBcblxuICAgICAgICBfIDo6PSByZWZlcmVuY2VTdWJzdGl0dXRpb24uLi4gPEVORF9PRl9MSU5FPiA7XG4gICAgICAgICAgICBcbiAgICAgIGAsXG4gICAgICBydWxlID0gcnVsZUZyb21CTkYoYm5mKTtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUmVmZXJlbmNlU3Vic3RpdHV0aW9uUGFydGlhbENvbnRleHQgZXh0ZW5kcyBQYXJ0aWFsQ29udGV4dCB7XG4gIHN0YXRpYyBydWxlID0gcnVsZTtcblxuICBzdGF0aWMgZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKHN0cmluZywgbGV4ZXIsIHBhcnNlcikgeyByZXR1cm4gUGFydGlhbENvbnRleHQuZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKFJlZmVyZW5jZVN1YnN0aXR1dGlvblBhcnRpYWxDb250ZXh0LCBzdHJpbmcsIGxleGVyLCBwYXJzZXIpOyB9XG59XG4iXSwibmFtZXMiOlsiUmVmZXJlbmNlU3Vic3RpdHV0aW9uUGFydGlhbENvbnRleHQiLCJibmYiLCJydWxlIiwicnVsZUZyb21CTkYiLCJmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIiLCJzdHJpbmciLCJsZXhlciIsInBhcnNlciIsIlBhcnRpYWxDb250ZXh0Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQWFxQkE7OzsrREFYTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFJM0IsSUFBTUMsTUFBTSxvRkFLTkMsT0FBT0MsSUFBQUEsb0JBQVcsRUFBQ0Y7QUFFVixJQUFBLEFBQU1ELG9EQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBR1pJLEtBQUFBO21CQUFQLFNBQU9BLHlCQUF5QkMsTUFBTSxFQUFFQyxLQUFLLEVBQUVDLE1BQU07Z0JBQUksT0FBT0MsZ0JBQWMsQ0FBQ0osd0JBQXdCLENBSHBGSixxQ0FHMEhLLFFBQVFDLE9BQU9DO1lBQVM7OztXQUhsSlA7RUFBNENRLGdCQUFjO0FBQzdFLGlCQURtQlIscUNBQ1pFLFFBQU9BIn0=
|
|
@@ -1,158 +0,0 @@
|
|
|
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 StatementSubstitutionPartialContext;
|
|
9
|
-
}
|
|
10
|
-
});
|
|
11
|
-
var _partial = /*#__PURE__*/ _interop_require_wildcard(require("../../../context/partial"));
|
|
12
|
-
function _assert_this_initialized(self) {
|
|
13
|
-
if (self === void 0) {
|
|
14
|
-
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
-
}
|
|
16
|
-
return self;
|
|
17
|
-
}
|
|
18
|
-
function _call_super(_this, derived, args) {
|
|
19
|
-
derived = _get_prototype_of(derived);
|
|
20
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
-
}
|
|
22
|
-
function _class_call_check(instance, Constructor) {
|
|
23
|
-
if (!(instance instanceof Constructor)) {
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
37
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _define_property(obj, key, value) {
|
|
42
|
-
if (key in obj) {
|
|
43
|
-
Object.defineProperty(obj, key, {
|
|
44
|
-
value: value,
|
|
45
|
-
enumerable: true,
|
|
46
|
-
configurable: true,
|
|
47
|
-
writable: true
|
|
48
|
-
});
|
|
49
|
-
} else {
|
|
50
|
-
obj[key] = value;
|
|
51
|
-
}
|
|
52
|
-
return obj;
|
|
53
|
-
}
|
|
54
|
-
function _get_prototype_of(o) {
|
|
55
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
56
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
57
|
-
};
|
|
58
|
-
return _get_prototype_of(o);
|
|
59
|
-
}
|
|
60
|
-
function _inherits(subClass, superClass) {
|
|
61
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
62
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
63
|
-
}
|
|
64
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
65
|
-
constructor: {
|
|
66
|
-
value: subClass,
|
|
67
|
-
writable: true,
|
|
68
|
-
configurable: true
|
|
69
|
-
}
|
|
70
|
-
});
|
|
71
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
72
|
-
}
|
|
73
|
-
function _getRequireWildcardCache(nodeInterop) {
|
|
74
|
-
if (typeof WeakMap !== "function") return null;
|
|
75
|
-
var cacheBabelInterop = new WeakMap();
|
|
76
|
-
var cacheNodeInterop = new WeakMap();
|
|
77
|
-
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
78
|
-
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
79
|
-
})(nodeInterop);
|
|
80
|
-
}
|
|
81
|
-
function _interop_require_wildcard(obj, nodeInterop) {
|
|
82
|
-
if (!nodeInterop && obj && obj.__esModule) {
|
|
83
|
-
return obj;
|
|
84
|
-
}
|
|
85
|
-
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
86
|
-
return {
|
|
87
|
-
default: obj
|
|
88
|
-
};
|
|
89
|
-
}
|
|
90
|
-
var cache = _getRequireWildcardCache(nodeInterop);
|
|
91
|
-
if (cache && cache.has(obj)) {
|
|
92
|
-
return cache.get(obj);
|
|
93
|
-
}
|
|
94
|
-
var newObj = {
|
|
95
|
-
__proto__: null
|
|
96
|
-
};
|
|
97
|
-
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
98
|
-
for(var key in obj){
|
|
99
|
-
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
100
|
-
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
101
|
-
if (desc && (desc.get || desc.set)) {
|
|
102
|
-
Object.defineProperty(newObj, key, desc);
|
|
103
|
-
} else {
|
|
104
|
-
newObj[key] = obj[key];
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
}
|
|
108
|
-
newObj.default = obj;
|
|
109
|
-
if (cache) {
|
|
110
|
-
cache.set(obj, newObj);
|
|
111
|
-
}
|
|
112
|
-
return newObj;
|
|
113
|
-
}
|
|
114
|
-
function _possible_constructor_return(self, call) {
|
|
115
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
116
|
-
return call;
|
|
117
|
-
}
|
|
118
|
-
return _assert_this_initialized(self);
|
|
119
|
-
}
|
|
120
|
-
function _set_prototype_of(o, p) {
|
|
121
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
122
|
-
o.__proto__ = p;
|
|
123
|
-
return o;
|
|
124
|
-
};
|
|
125
|
-
return _set_prototype_of(o, p);
|
|
126
|
-
}
|
|
127
|
-
function _type_of(obj) {
|
|
128
|
-
"@swc/helpers - typeof";
|
|
129
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
130
|
-
}
|
|
131
|
-
function _is_native_reflect_construct() {
|
|
132
|
-
try {
|
|
133
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
134
|
-
} catch (_) {}
|
|
135
|
-
return (_is_native_reflect_construct = function() {
|
|
136
|
-
return !!result;
|
|
137
|
-
})();
|
|
138
|
-
}
|
|
139
|
-
var bnf = "\n\n _ ::= statementSubstitution... <END_OF_LINE> ;\n \n ", rule = (0, _partial.ruleFromBNF)(bnf);
|
|
140
|
-
var StatementSubstitutionPartialContext = /*#__PURE__*/ function(PartialContext) {
|
|
141
|
-
_inherits(StatementSubstitutionPartialContext, PartialContext);
|
|
142
|
-
function StatementSubstitutionPartialContext() {
|
|
143
|
-
_class_call_check(this, StatementSubstitutionPartialContext);
|
|
144
|
-
return _call_super(this, StatementSubstitutionPartialContext, arguments);
|
|
145
|
-
}
|
|
146
|
-
_create_class(StatementSubstitutionPartialContext, null, [
|
|
147
|
-
{
|
|
148
|
-
key: "fromStringLexerAndParser",
|
|
149
|
-
value: function fromStringLexerAndParser(string, lexer, parser) {
|
|
150
|
-
return _partial.default.fromStringLexerAndParser(StatementSubstitutionPartialContext, string, lexer, parser);
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
]);
|
|
154
|
-
return StatementSubstitutionPartialContext;
|
|
155
|
-
}(_partial.default);
|
|
156
|
-
_define_property(StatementSubstitutionPartialContext, "rule", rule);
|
|
157
|
-
|
|
158
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9jb250ZXh0L3BhcnRpYWwvc3Vic3RpdHV0aW9uL3N0YXRlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFBhcnRpYWxDb250ZXh0IGZyb20gXCIuLi8uLi8uLi9jb250ZXh0L3BhcnRpYWxcIjtcblxuaW1wb3J0IHsgcnVsZUZyb21CTkYgfSBmcm9tIFwiLi4vLi4vLi4vY29udGV4dC9wYXJ0aWFsXCI7XG5cbmNvbnN0IGJuZiA9IGBcblxuICAgICAgICBfIDo6PSBzdGF0ZW1lbnRTdWJzdGl0dXRpb24uLi4gPEVORF9PRl9MSU5FPiA7XG4gICAgICAgICAgICBcbiAgICAgIGAsXG4gICAgICBydWxlID0gcnVsZUZyb21CTkYoYm5mKTtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgU3RhdGVtZW50U3Vic3RpdHV0aW9uUGFydGlhbENvbnRleHQgZXh0ZW5kcyBQYXJ0aWFsQ29udGV4dCB7XG4gIHN0YXRpYyBydWxlID0gcnVsZTtcblxuICBzdGF0aWMgZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKHN0cmluZywgbGV4ZXIsIHBhcnNlcikgeyByZXR1cm4gUGFydGlhbENvbnRleHQuZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKFN0YXRlbWVudFN1YnN0aXR1dGlvblBhcnRpYWxDb250ZXh0LCBzdHJpbmcsIGxleGVyLCBwYXJzZXIpOyB9XG59XG4iXSwibmFtZXMiOlsiU3RhdGVtZW50U3Vic3RpdHV0aW9uUGFydGlhbENvbnRleHQiLCJibmYiLCJydWxlIiwicnVsZUZyb21CTkYiLCJmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIiLCJzdHJpbmciLCJsZXhlciIsInBhcnNlciIsIlBhcnRpYWxDb250ZXh0Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQWFxQkE7OzsrREFYTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFJM0IsSUFBTUMsTUFBTSxvRkFLTkMsT0FBT0MsSUFBQUEsb0JBQVcsRUFBQ0Y7QUFFVixJQUFBLEFBQU1ELG9EQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBR1pJLEtBQUFBO21CQUFQLFNBQU9BLHlCQUF5QkMsTUFBTSxFQUFFQyxLQUFLLEVBQUVDLE1BQU07Z0JBQUksT0FBT0MsZ0JBQWMsQ0FBQ0osd0JBQXdCLENBSHBGSixxQ0FHMEhLLFFBQVFDLE9BQU9DO1lBQVM7OztXQUhsSlA7RUFBNENRLGdCQUFjO0FBQzdFLGlCQURtQlIscUNBQ1pFLFFBQU9BIn0=
|
|
@@ -1,158 +0,0 @@
|
|
|
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 TermSubstitutionPartialContext;
|
|
9
|
-
}
|
|
10
|
-
});
|
|
11
|
-
var _partial = /*#__PURE__*/ _interop_require_wildcard(require("../../../context/partial"));
|
|
12
|
-
function _assert_this_initialized(self) {
|
|
13
|
-
if (self === void 0) {
|
|
14
|
-
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
-
}
|
|
16
|
-
return self;
|
|
17
|
-
}
|
|
18
|
-
function _call_super(_this, derived, args) {
|
|
19
|
-
derived = _get_prototype_of(derived);
|
|
20
|
-
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
-
}
|
|
22
|
-
function _class_call_check(instance, Constructor) {
|
|
23
|
-
if (!(instance instanceof Constructor)) {
|
|
24
|
-
throw new TypeError("Cannot call a class as a function");
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
function _defineProperties(target, props) {
|
|
28
|
-
for(var i = 0; i < props.length; i++){
|
|
29
|
-
var descriptor = props[i];
|
|
30
|
-
descriptor.enumerable = descriptor.enumerable || false;
|
|
31
|
-
descriptor.configurable = true;
|
|
32
|
-
if ("value" in descriptor) descriptor.writable = true;
|
|
33
|
-
Object.defineProperty(target, descriptor.key, descriptor);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
36
|
-
function _create_class(Constructor, protoProps, staticProps) {
|
|
37
|
-
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
38
|
-
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
39
|
-
return Constructor;
|
|
40
|
-
}
|
|
41
|
-
function _define_property(obj, key, value) {
|
|
42
|
-
if (key in obj) {
|
|
43
|
-
Object.defineProperty(obj, key, {
|
|
44
|
-
value: value,
|
|
45
|
-
enumerable: true,
|
|
46
|
-
configurable: true,
|
|
47
|
-
writable: true
|
|
48
|
-
});
|
|
49
|
-
} else {
|
|
50
|
-
obj[key] = value;
|
|
51
|
-
}
|
|
52
|
-
return obj;
|
|
53
|
-
}
|
|
54
|
-
function _get_prototype_of(o) {
|
|
55
|
-
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
56
|
-
return o.__proto__ || Object.getPrototypeOf(o);
|
|
57
|
-
};
|
|
58
|
-
return _get_prototype_of(o);
|
|
59
|
-
}
|
|
60
|
-
function _inherits(subClass, superClass) {
|
|
61
|
-
if (typeof superClass !== "function" && superClass !== null) {
|
|
62
|
-
throw new TypeError("Super expression must either be null or a function");
|
|
63
|
-
}
|
|
64
|
-
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
65
|
-
constructor: {
|
|
66
|
-
value: subClass,
|
|
67
|
-
writable: true,
|
|
68
|
-
configurable: true
|
|
69
|
-
}
|
|
70
|
-
});
|
|
71
|
-
if (superClass) _set_prototype_of(subClass, superClass);
|
|
72
|
-
}
|
|
73
|
-
function _getRequireWildcardCache(nodeInterop) {
|
|
74
|
-
if (typeof WeakMap !== "function") return null;
|
|
75
|
-
var cacheBabelInterop = new WeakMap();
|
|
76
|
-
var cacheNodeInterop = new WeakMap();
|
|
77
|
-
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
78
|
-
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
79
|
-
})(nodeInterop);
|
|
80
|
-
}
|
|
81
|
-
function _interop_require_wildcard(obj, nodeInterop) {
|
|
82
|
-
if (!nodeInterop && obj && obj.__esModule) {
|
|
83
|
-
return obj;
|
|
84
|
-
}
|
|
85
|
-
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
86
|
-
return {
|
|
87
|
-
default: obj
|
|
88
|
-
};
|
|
89
|
-
}
|
|
90
|
-
var cache = _getRequireWildcardCache(nodeInterop);
|
|
91
|
-
if (cache && cache.has(obj)) {
|
|
92
|
-
return cache.get(obj);
|
|
93
|
-
}
|
|
94
|
-
var newObj = {
|
|
95
|
-
__proto__: null
|
|
96
|
-
};
|
|
97
|
-
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
98
|
-
for(var key in obj){
|
|
99
|
-
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
100
|
-
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
101
|
-
if (desc && (desc.get || desc.set)) {
|
|
102
|
-
Object.defineProperty(newObj, key, desc);
|
|
103
|
-
} else {
|
|
104
|
-
newObj[key] = obj[key];
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
}
|
|
108
|
-
newObj.default = obj;
|
|
109
|
-
if (cache) {
|
|
110
|
-
cache.set(obj, newObj);
|
|
111
|
-
}
|
|
112
|
-
return newObj;
|
|
113
|
-
}
|
|
114
|
-
function _possible_constructor_return(self, call) {
|
|
115
|
-
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
116
|
-
return call;
|
|
117
|
-
}
|
|
118
|
-
return _assert_this_initialized(self);
|
|
119
|
-
}
|
|
120
|
-
function _set_prototype_of(o, p) {
|
|
121
|
-
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
122
|
-
o.__proto__ = p;
|
|
123
|
-
return o;
|
|
124
|
-
};
|
|
125
|
-
return _set_prototype_of(o, p);
|
|
126
|
-
}
|
|
127
|
-
function _type_of(obj) {
|
|
128
|
-
"@swc/helpers - typeof";
|
|
129
|
-
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
130
|
-
}
|
|
131
|
-
function _is_native_reflect_construct() {
|
|
132
|
-
try {
|
|
133
|
-
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
134
|
-
} catch (_) {}
|
|
135
|
-
return (_is_native_reflect_construct = function() {
|
|
136
|
-
return !!result;
|
|
137
|
-
})();
|
|
138
|
-
}
|
|
139
|
-
var bnf = "\n\n _ ::= termSubstitution... <END_OF_LINE> ;\n \n ", rule = (0, _partial.ruleFromBNF)(bnf);
|
|
140
|
-
var TermSubstitutionPartialContext = /*#__PURE__*/ function(PartialContext) {
|
|
141
|
-
_inherits(TermSubstitutionPartialContext, PartialContext);
|
|
142
|
-
function TermSubstitutionPartialContext() {
|
|
143
|
-
_class_call_check(this, TermSubstitutionPartialContext);
|
|
144
|
-
return _call_super(this, TermSubstitutionPartialContext, arguments);
|
|
145
|
-
}
|
|
146
|
-
_create_class(TermSubstitutionPartialContext, null, [
|
|
147
|
-
{
|
|
148
|
-
key: "fromStringLexerAndParser",
|
|
149
|
-
value: function fromStringLexerAndParser(string, lexer, parser) {
|
|
150
|
-
return _partial.default.fromStringLexerAndParser(TermSubstitutionPartialContext, string, lexer, parser);
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
]);
|
|
154
|
-
return TermSubstitutionPartialContext;
|
|
155
|
-
}(_partial.default);
|
|
156
|
-
_define_property(TermSubstitutionPartialContext, "rule", rule);
|
|
157
|
-
|
|
158
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9jb250ZXh0L3BhcnRpYWwvc3Vic3RpdHV0aW9uL3Rlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBQYXJ0aWFsQ29udGV4dCBmcm9tIFwiLi4vLi4vLi4vY29udGV4dC9wYXJ0aWFsXCI7XG5cbmltcG9ydCB7IHJ1bGVGcm9tQk5GIH0gZnJvbSBcIi4uLy4uLy4uL2NvbnRleHQvcGFydGlhbFwiO1xuXG5jb25zdCBibmYgPSBgXG5cbiAgICAgICAgXyA6Oj0gdGVybVN1YnN0aXR1dGlvbi4uLiA8RU5EX09GX0xJTkU+IDtcbiAgICAgICAgICAgIFxuICAgICAgYCxcbiAgICAgIHJ1bGUgPSBydWxlRnJvbUJORihibmYpO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUZXJtU3Vic3RpdHV0aW9uUGFydGlhbENvbnRleHQgZXh0ZW5kcyBQYXJ0aWFsQ29udGV4dCB7XG4gIHN0YXRpYyBydWxlID0gcnVsZTtcblxuICBzdGF0aWMgZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKHN0cmluZywgbGV4ZXIsIHBhcnNlcikgeyByZXR1cm4gUGFydGlhbENvbnRleHQuZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKFRlcm1TdWJzdGl0dXRpb25QYXJ0aWFsQ29udGV4dCwgc3RyaW5nLCBsZXhlciwgcGFyc2VyKTsgfVxufVxuIl0sIm5hbWVzIjpbIlRlcm1TdWJzdGl0dXRpb25QYXJ0aWFsQ29udGV4dCIsImJuZiIsInJ1bGUiLCJydWxlRnJvbUJORiIsImZyb21TdHJpbmdMZXhlckFuZFBhcnNlciIsInN0cmluZyIsImxleGVyIiwicGFyc2VyIiwiUGFydGlhbENvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBYXFCQTs7OytEQVhNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUkzQixJQUFNQyxNQUFNLCtFQUtOQyxPQUFPQyxJQUFBQSxvQkFBVyxFQUFDRjtBQUVWLElBQUEsQUFBTUQsK0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFHWkksS0FBQUE7bUJBQVAsU0FBT0EseUJBQXlCQyxNQUFNLEVBQUVDLEtBQUssRUFBRUMsTUFBTTtnQkFBSSxPQUFPQyxnQkFBYyxDQUFDSix3QkFBd0IsQ0FIcEZKLGdDQUdxSEssUUFBUUMsT0FBT0M7WUFBUzs7O1dBSDdJUDtFQUF1Q1EsZ0JBQWM7QUFDeEUsaUJBRG1CUixnQ0FDWkUsUUFBT0EifQ==
|
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
|
|
3
|
-
import PartialContext from "../../../context/partial";
|
|
4
|
-
|
|
5
|
-
import { ruleFromBNF } from "../../../context/partial";
|
|
6
|
-
|
|
7
|
-
const bnf = `
|
|
8
|
-
|
|
9
|
-
_ ::= frameSubstitution... <END_OF_LINE> ;
|
|
10
|
-
|
|
11
|
-
`,
|
|
12
|
-
rule = ruleFromBNF(bnf);
|
|
13
|
-
|
|
14
|
-
export default class FrameSubstitutionPartialContext extends PartialContext {
|
|
15
|
-
static rule = rule;
|
|
16
|
-
|
|
17
|
-
static fromStringLexerAndParser(string, lexer, parser) { return PartialContext.fromStringLexerAndParser(FrameSubstitutionPartialContext, string, lexer, parser); }
|
|
18
|
-
}
|