occam-verify-cli 1.0.578 → 1.0.580
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/literal.js +13 -34
- package/lib/context/nominal.js +134 -0
- package/lib/context.js +79 -1
- package/lib/utilities/context.js +4 -3
- package/lib/utilities/instance.js +11 -3
- package/package.json +4 -4
- package/src/context/literal.js +15 -31
- package/src/context/nominal.js +43 -0
- package/src/context.js +79 -1
- package/src/utilities/context.js +4 -3
- package/src/utilities/instance.js +8 -2
package/lib/context/literal.js
CHANGED
|
@@ -9,9 +9,6 @@ Object.defineProperty(exports, "default", {
|
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
11
|
var _occamlanguages = require("occam-languages");
|
|
12
|
-
var _occamnominal = require("occam-nominal");
|
|
13
|
-
var _lexer = /*#__PURE__*/ _interop_require_default(require("../nominal/lexer"));
|
|
14
|
-
var _parser = /*#__PURE__*/ _interop_require_default(require("../nominal/parser"));
|
|
15
12
|
function _assert_this_initialized(self) {
|
|
16
13
|
if (self === void 0) {
|
|
17
14
|
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
@@ -60,11 +57,6 @@ function _inherits(subClass, superClass) {
|
|
|
60
57
|
});
|
|
61
58
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
62
59
|
}
|
|
63
|
-
function _interop_require_default(obj) {
|
|
64
|
-
return obj && obj.__esModule ? obj : {
|
|
65
|
-
default: obj
|
|
66
|
-
};
|
|
67
|
-
}
|
|
68
60
|
function _possible_constructor_return(self, call) {
|
|
69
61
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
70
62
|
return call;
|
|
@@ -90,34 +82,19 @@ function _is_native_reflect_construct() {
|
|
|
90
82
|
return !!result;
|
|
91
83
|
})();
|
|
92
84
|
}
|
|
93
|
-
var
|
|
94
|
-
var nominalLexer = nominalLexerFromNothing(_lexer.default), nominalParser = nominalParserFromNothing(_parser.default);
|
|
85
|
+
var nodeAsString = _occamlanguages.nodeUtilities.nodeAsString, nodesAsString = _occamlanguages.nodeUtilities.nodesAsString;
|
|
95
86
|
var LiteralContext = /*#__PURE__*/ function(Context) {
|
|
96
87
|
_inherits(LiteralContext, Context);
|
|
97
|
-
function LiteralContext(context,
|
|
88
|
+
function LiteralContext(context, tokens) {
|
|
98
89
|
_class_call_check(this, LiteralContext);
|
|
99
90
|
var _this;
|
|
100
91
|
_this = _call_super(this, LiteralContext, [
|
|
101
92
|
context
|
|
102
93
|
]);
|
|
103
|
-
_this.lexer = lexer;
|
|
104
|
-
_this.parser = parser;
|
|
105
94
|
_this.tokens = tokens;
|
|
106
95
|
return _this;
|
|
107
96
|
}
|
|
108
97
|
_create_class(LiteralContext, [
|
|
109
|
-
{
|
|
110
|
-
key: "getLexer",
|
|
111
|
-
value: function getLexer() {
|
|
112
|
-
return this.lexer;
|
|
113
|
-
}
|
|
114
|
-
},
|
|
115
|
-
{
|
|
116
|
-
key: "getParser",
|
|
117
|
-
value: function getParser() {
|
|
118
|
-
return this.parser;
|
|
119
|
-
}
|
|
120
|
-
},
|
|
121
98
|
{
|
|
122
99
|
key: "getTokens",
|
|
123
100
|
value: function getTokens() {
|
|
@@ -125,15 +102,17 @@ var LiteralContext = /*#__PURE__*/ function(Context) {
|
|
|
125
102
|
}
|
|
126
103
|
},
|
|
127
104
|
{
|
|
128
|
-
key: "
|
|
129
|
-
value: function
|
|
130
|
-
this.lexer =
|
|
105
|
+
key: "getLexer",
|
|
106
|
+
value: function getLexer() {
|
|
107
|
+
var context = this.getContext(), lexer = context.getLexer();
|
|
108
|
+
return lexer;
|
|
131
109
|
}
|
|
132
110
|
},
|
|
133
111
|
{
|
|
134
|
-
key: "
|
|
135
|
-
value: function
|
|
136
|
-
this.parser =
|
|
112
|
+
key: "getParser",
|
|
113
|
+
value: function getParser() {
|
|
114
|
+
var context = this.getContext(), parser = context.getParser();
|
|
115
|
+
return parser;
|
|
137
116
|
}
|
|
138
117
|
},
|
|
139
118
|
{
|
|
@@ -159,8 +138,8 @@ var LiteralContext = /*#__PURE__*/ function(Context) {
|
|
|
159
138
|
], [
|
|
160
139
|
{
|
|
161
140
|
key: "fromNothing",
|
|
162
|
-
value: function fromNothing() {
|
|
163
|
-
var
|
|
141
|
+
value: function fromNothing(context) {
|
|
142
|
+
var tokens = null, literalContext = new LiteralContext(context, tokens);
|
|
164
143
|
return literalContext;
|
|
165
144
|
}
|
|
166
145
|
}
|
|
@@ -168,4 +147,4 @@ var LiteralContext = /*#__PURE__*/ function(Context) {
|
|
|
168
147
|
return LiteralContext;
|
|
169
148
|
}(_occamlanguages.Context);
|
|
170
149
|
|
|
171
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
150
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2xpdGVyYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IENvbnRleHQsIG5vZGVVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmNvbnN0IHsgbm9kZUFzU3RyaW5nLCBub2Rlc0FzU3RyaW5nIH0gPSBub2RlVXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBMaXRlcmFsQ29udGV4dCBleHRlbmRzIENvbnRleHQge1xuICBjb25zdHJ1Y3Rvcihjb250ZXh0LCB0b2tlbnMpIHtcbiAgICBzdXBlcihjb250ZXh0KTtcblxuICAgIHRoaXMudG9rZW5zID0gdG9rZW5zO1xuICB9XG5cbiAgZ2V0VG9rZW5zKCkge1xuICAgIHJldHVybiB0aGlzLnRva2VucztcbiAgfVxuXG4gIGdldExleGVyKCkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICBsZXhlciA9IGNvbnRleHQuZ2V0TGV4ZXIoKTtcblxuICAgIHJldHVybiBsZXhlcjtcbiAgfVxuXG4gIGdldFBhcnNlcigpIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCksXG4gICAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKTtcblxuICAgIHJldHVybiBwYXJzZXI7XG4gIH1cblxuICBzZXRUb2tlbnModG9rZW5zKSB7XG4gICAgdGhpcy50b2tlbnMgPSB0b2tlbnM7XG4gIH1cblxuICBub2RlQXNTdHJpbmcobm9kZSkge1xuICAgIGNvbnN0IHN0cmluZyA9IG5vZGVBc1N0cmluZyhub2RlLCB0aGlzLnRva2Vucyk7XG5cbiAgICByZXR1cm4gc3RyaW5nO1xuICB9XG5cbiAgbm9kZXNBc1N0cmluZyhub2Rlcykge1xuICAgIGNvbnN0IHN0cmluZyA9IG5vZGVzQXNTdHJpbmcobm9kZXMsIHRoaXMudG9rZW5zKTtcblxuICAgIHJldHVybiBzdHJpbmc7XG4gIH1cblxuICBzdGF0aWMgZnJvbU5vdGhpbmcoY29udGV4dCkge1xuICAgIGNvbnN0IHRva2VucyA9IG51bGwsXG4gICAgICAgICAgbGl0ZXJhbENvbnRleHQgPSBuZXcgTGl0ZXJhbENvbnRleHQoY29udGV4dCwgdG9rZW5zKTtcblxuICAgIHJldHVybiBsaXRlcmFsQ29udGV4dDtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkxpdGVyYWxDb250ZXh0Iiwibm9kZUFzU3RyaW5nIiwibm9kZVV0aWxpdGllcyIsIm5vZGVzQXNTdHJpbmciLCJjb250ZXh0IiwidG9rZW5zIiwiZ2V0VG9rZW5zIiwiZ2V0TGV4ZXIiLCJnZXRDb250ZXh0IiwibGV4ZXIiLCJnZXRQYXJzZXIiLCJwYXJzZXIiLCJzZXRUb2tlbnMiLCJub2RlIiwic3RyaW5nIiwibm9kZXMiLCJmcm9tTm90aGluZyIsImxpdGVyYWxDb250ZXh0IiwiQ29udGV4dCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7OEJBSmtCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV2QyxJQUFRQyxlQUFnQ0MsNkJBQWEsQ0FBN0NELGNBQWNFLGdCQUFrQkQsNkJBQWEsQ0FBL0JDO0FBRVAsSUFBQSxBQUFNSCwrQkFBTjtjQUFNQTthQUFBQSxlQUNQSSxPQUFPLEVBQUVDLE1BQU07Z0NBRFJMOztnQkFFakIsa0JBRmlCQTtZQUVYSTs7UUFFTixNQUFLQyxNQUFNLEdBQUdBOzs7a0JBSkdMOztZQU9uQk0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRCxNQUFNO1lBQ3BCOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1ILFVBQVUsSUFBSSxDQUFDSSxVQUFVLElBQ3pCQyxRQUFRTCxRQUFRRyxRQUFRO2dCQUU5QixPQUFPRTtZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1OLFVBQVUsSUFBSSxDQUFDSSxVQUFVLElBQ3pCRyxTQUFTUCxRQUFRTSxTQUFTO2dCQUVoQyxPQUFPQztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBLFVBQVVQLE1BQU07Z0JBQ2QsSUFBSSxDQUFDQSxNQUFNLEdBQUdBO1lBQ2hCOzs7WUFFQUosS0FBQUE7bUJBQUFBLFNBQUFBLGNBQWFZLElBQUk7Z0JBQ2YsSUFBTUMsU0FBU2IsYUFBYVksTUFBTSxJQUFJLENBQUNSLE1BQU07Z0JBRTdDLE9BQU9TO1lBQ1Q7OztZQUVBWCxLQUFBQTttQkFBQUEsU0FBQUEsZUFBY1ksS0FBSztnQkFDakIsSUFBTUQsU0FBU1gsY0FBY1ksT0FBTyxJQUFJLENBQUNWLE1BQU07Z0JBRS9DLE9BQU9TO1lBQ1Q7Ozs7WUFFT0UsS0FBQUE7bUJBQVAsU0FBT0EsWUFBWVosT0FBTztnQkFDeEIsSUFBTUMsU0FBUyxNQUNUWSxpQkFBaUIsSUEzQ05qQixlQTJDeUJJLFNBQVNDO2dCQUVuRCxPQUFPWTtZQUNUOzs7V0E5Q21CakI7RUFBdUJrQix1QkFBTyJ9
|
|
@@ -0,0 +1,134 @@
|
|
|
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
|
+
var _occamlanguages = require("occam-languages");
|
|
12
|
+
var _occamnominal = require("occam-nominal");
|
|
13
|
+
var _lexer = /*#__PURE__*/ _interop_require_default(require("../nominal/lexer"));
|
|
14
|
+
var _parser = /*#__PURE__*/ _interop_require_default(require("../nominal/parser"));
|
|
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
|
+
}
|
|
25
|
+
function _class_call_check(instance, Constructor) {
|
|
26
|
+
if (!(instance instanceof Constructor)) {
|
|
27
|
+
throw new TypeError("Cannot call a class as a function");
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
function _defineProperties(target, props) {
|
|
31
|
+
for(var i = 0; i < props.length; i++){
|
|
32
|
+
var descriptor = props[i];
|
|
33
|
+
descriptor.enumerable = descriptor.enumerable || false;
|
|
34
|
+
descriptor.configurable = true;
|
|
35
|
+
if ("value" in descriptor) descriptor.writable = true;
|
|
36
|
+
Object.defineProperty(target, descriptor.key, descriptor);
|
|
37
|
+
}
|
|
38
|
+
}
|
|
39
|
+
function _create_class(Constructor, protoProps, staticProps) {
|
|
40
|
+
if (protoProps) _defineProperties(Constructor.prototype, protoProps);
|
|
41
|
+
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
42
|
+
return Constructor;
|
|
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
|
+
}
|
|
63
|
+
function _interop_require_default(obj) {
|
|
64
|
+
return obj && obj.__esModule ? obj : {
|
|
65
|
+
default: obj
|
|
66
|
+
};
|
|
67
|
+
}
|
|
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 nominalLexerFromNothing = _occamnominal.lexersUtilities.nominalLexerFromNothing, nominalParserFromNothing = _occamnominal.parsersUtilities.nominalParserFromNothing;
|
|
94
|
+
var nominalLexer = nominalLexerFromNothing(_lexer.default), nominalParser = nominalParserFromNothing(_parser.default); ///
|
|
95
|
+
var NominalContext = /*#__PURE__*/ function(Context) {
|
|
96
|
+
_inherits(NominalContext, Context);
|
|
97
|
+
function NominalContext(context, lexer, parser) {
|
|
98
|
+
_class_call_check(this, NominalContext);
|
|
99
|
+
var _this;
|
|
100
|
+
_this = _call_super(this, NominalContext, [
|
|
101
|
+
context
|
|
102
|
+
]);
|
|
103
|
+
_this.lexer = lexer;
|
|
104
|
+
_this.parser = parser;
|
|
105
|
+
return _this;
|
|
106
|
+
}
|
|
107
|
+
_create_class(NominalContext, [
|
|
108
|
+
{
|
|
109
|
+
key: "getLexer",
|
|
110
|
+
value: function getLexer() {
|
|
111
|
+
return this.lexer;
|
|
112
|
+
}
|
|
113
|
+
},
|
|
114
|
+
{
|
|
115
|
+
key: "getParser",
|
|
116
|
+
value: function getParser() {
|
|
117
|
+
return this.parser;
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
], [
|
|
121
|
+
{
|
|
122
|
+
key: "fromNothing",
|
|
123
|
+
value: function fromNothing() {
|
|
124
|
+
var context = null, lexer = nominalLexer, parser = nominalParser, nominalContext = _occamlanguages.Context.fromNothing(NominalContext, lexer, parser, context);
|
|
125
|
+
return nominalContext;
|
|
126
|
+
}
|
|
127
|
+
}
|
|
128
|
+
]);
|
|
129
|
+
return NominalContext;
|
|
130
|
+
}(_occamlanguages.Context);
|
|
131
|
+
var nominalContext = NominalContext.fromNothing();
|
|
132
|
+
var _default = nominalContext;
|
|
133
|
+
|
|
134
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L25vbWluYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IENvbnRleHQgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5pbXBvcnQgeyBsZXhlcnNVdGlsaXRpZXMsIHBhcnNlcnNVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbm9taW5hbFwiO1xuXG5pbXBvcnQgTm9taW5hbExleGVyIGZyb20gXCIuLi9ub21pbmFsL2xleGVyXCI7XG5pbXBvcnQgTm9taW5hbFBhcnNlciBmcm9tIFwiLi4vbm9taW5hbC9wYXJzZXJcIjtcblxuY29uc3QgeyBub21pbmFsTGV4ZXJGcm9tTm90aGluZyB9ID0gbGV4ZXJzVXRpbGl0aWVzLFxuICAgICAgeyBub21pbmFsUGFyc2VyRnJvbU5vdGhpbmcgfSA9IHBhcnNlcnNVdGlsaXRpZXM7XG5cbmNvbnN0IG5vbWluYWxMZXhlciA9IG5vbWluYWxMZXhlckZyb21Ob3RoaW5nKE5vbWluYWxMZXhlciksXG4gICAgICBub21pbmFsUGFyc2VyID0gbm9taW5hbFBhcnNlckZyb21Ob3RoaW5nKE5vbWluYWxQYXJzZXIpOyAvLy9cblxuY2xhc3MgTm9taW5hbENvbnRleHQgZXh0ZW5kcyBDb250ZXh0IHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgbGV4ZXIsIHBhcnNlcikge1xuICAgIHN1cGVyKGNvbnRleHQpO1xuXG4gICAgdGhpcy5sZXhlciA9IGxleGVyO1xuICAgIHRoaXMucGFyc2VyID0gcGFyc2VyO1xuICB9XG5cbiAgZ2V0TGV4ZXIoKSB7XG4gICAgcmV0dXJuIHRoaXMubGV4ZXI7XG4gIH1cblxuICBnZXRQYXJzZXIoKSB7XG4gICAgcmV0dXJuIHRoaXMucGFyc2VyO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IGNvbnRleHQgPSBudWxsLFxuICAgICAgICAgIGxleGVyID0gbm9taW5hbExleGVyLCAvLy9cbiAgICAgICAgICBwYXJzZXIgPSBub21pbmFsUGFyc2VyLCAvLy9cbiAgICAgICAgICBub21pbmFsQ29udGV4dCA9IENvbnRleHQuZnJvbU5vdGhpbmcoTm9taW5hbENvbnRleHQsIGxleGVyLCBwYXJzZXIsIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIG5vbWluYWxDb250ZXh0O1xuICB9XG59XG5cbmNvbnN0IG5vbWluYWxDb250ZXh0ID0gTm9taW5hbENvbnRleHQuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgbm9taW5hbENvbnRleHQ7XG4iXSwibmFtZXMiOlsibm9taW5hbExleGVyRnJvbU5vdGhpbmciLCJsZXhlcnNVdGlsaXRpZXMiLCJub21pbmFsUGFyc2VyRnJvbU5vdGhpbmciLCJwYXJzZXJzVXRpbGl0aWVzIiwibm9taW5hbExleGVyIiwiTm9taW5hbExleGVyIiwibm9taW5hbFBhcnNlciIsIk5vbWluYWxQYXJzZXIiLCJOb21pbmFsQ29udGV4dCIsImNvbnRleHQiLCJsZXhlciIsInBhcnNlciIsImdldExleGVyIiwiZ2V0UGFyc2VyIiwiZnJvbU5vdGhpbmciLCJub21pbmFsQ29udGV4dCIsIkNvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQTBDQTs7O2VBQUE7Ozs4QkF4Q3dCOzRCQUMwQjs0REFFekI7NkRBQ0M7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFMUIsSUFBTSxBQUFFQSwwQkFBNEJDLDZCQUFlLENBQTNDRCx5QkFDRixBQUFFRSwyQkFBNkJDLDhCQUFnQixDQUE3Q0Q7QUFFUixJQUFNRSxlQUFlSix3QkFBd0JLLGNBQVksR0FDbkRDLGdCQUFnQkoseUJBQXlCSyxlQUFhLEdBQUcsR0FBRztBQUVsRSxJQUFBLEFBQU1DLCtCQUFOO2NBQU1BO2FBQUFBLGVBQ1FDLE9BQU8sRUFBRUMsS0FBSyxFQUFFQyxNQUFNO2dDQUQ5Qkg7O2dCQUVGLGtCQUZFQTtZQUVJQzs7UUFFTixNQUFLQyxLQUFLLEdBQUdBO1FBQ2IsTUFBS0MsTUFBTSxHQUFHQTs7O2tCQUxaSDs7WUFRSkksS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRixLQUFLO1lBQ25COzs7WUFFQUcsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRixNQUFNO1lBQ3BCOzs7O1lBRU9HLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU1MLFVBQVUsTUFDVkMsUUFBUU4sY0FDUk8sU0FBU0wsZUFDVFMsaUJBQWlCQyx1QkFBTyxDQUFDRixXQUFXLENBcEJ4Q04sZ0JBb0J5REUsT0FBT0MsUUFBUUY7Z0JBRTFFLE9BQU9NO1lBQ1Q7OztXQXZCSVA7RUFBdUJRLHVCQUFPO0FBMEJwQyxJQUFNRCxpQkFBaUJQLGVBQWVNLFdBQVc7SUFFakQsV0FBZUMifQ==
|
package/lib/context.js
CHANGED
|
@@ -89,6 +89,27 @@ var Context = /*#__PURE__*/ function(ContextBase) {
|
|
|
89
89
|
return _call_super(this, Context, arguments);
|
|
90
90
|
}
|
|
91
91
|
_create_class(Context, [
|
|
92
|
+
{
|
|
93
|
+
key: "getLexer",
|
|
94
|
+
value: function getLexer() {
|
|
95
|
+
var context = this.getContext(), lexer = context.getLexer();
|
|
96
|
+
return lexer;
|
|
97
|
+
}
|
|
98
|
+
},
|
|
99
|
+
{
|
|
100
|
+
key: "getParser",
|
|
101
|
+
value: function getParser() {
|
|
102
|
+
var context = this.getContext(), parser = context.getParser();
|
|
103
|
+
return parser;
|
|
104
|
+
}
|
|
105
|
+
},
|
|
106
|
+
{
|
|
107
|
+
key: "getFilePath",
|
|
108
|
+
value: function getFilePath() {
|
|
109
|
+
var context = this.getContext(), filePath = context.getFilePath();
|
|
110
|
+
return filePath;
|
|
111
|
+
}
|
|
112
|
+
},
|
|
92
113
|
{
|
|
93
114
|
key: "getCombinators",
|
|
94
115
|
value: function getCombinators(includeRelease) {
|
|
@@ -96,6 +117,21 @@ var Context = /*#__PURE__*/ function(ContextBase) {
|
|
|
96
117
|
return combinators;
|
|
97
118
|
}
|
|
98
119
|
},
|
|
120
|
+
{
|
|
121
|
+
key: "getSubproofOrProofAssertions",
|
|
122
|
+
value: function getSubproofOrProofAssertions() {
|
|
123
|
+
var context = this.getContext(), subproofOrProofAssertions = context.getSubproofOrProofAssertions();
|
|
124
|
+
return subproofOrProofAssertions;
|
|
125
|
+
}
|
|
126
|
+
},
|
|
127
|
+
{
|
|
128
|
+
key: "findMetavariable",
|
|
129
|
+
value: function findMetavariable(metavariable) {
|
|
130
|
+
var context = this.getContext();
|
|
131
|
+
metavariable = context.findMetavariable(metavariable); ///
|
|
132
|
+
return metavariable;
|
|
133
|
+
}
|
|
134
|
+
},
|
|
99
135
|
{
|
|
100
136
|
key: "findProcedureByName",
|
|
101
137
|
value: function findProcedureByName(name) {
|
|
@@ -103,6 +139,27 @@ var Context = /*#__PURE__*/ function(ContextBase) {
|
|
|
103
139
|
return procedure;
|
|
104
140
|
}
|
|
105
141
|
},
|
|
142
|
+
{
|
|
143
|
+
key: "findRuleByReference",
|
|
144
|
+
value: function findRuleByReference(reference) {
|
|
145
|
+
var context = this.getContext(), rule = context.findRuleByReference(reference);
|
|
146
|
+
return rule;
|
|
147
|
+
}
|
|
148
|
+
},
|
|
149
|
+
{
|
|
150
|
+
key: "findFrameByFrameNode",
|
|
151
|
+
value: function findFrameByFrameNode(frameNode) {
|
|
152
|
+
var context = this.getContext(), frame = context.findFrameByFrameNode(frameNode);
|
|
153
|
+
return frame;
|
|
154
|
+
}
|
|
155
|
+
},
|
|
156
|
+
{
|
|
157
|
+
key: "findStatementByStatementNode",
|
|
158
|
+
value: function findStatementByStatementNode(statementNode) {
|
|
159
|
+
var context = this.getContext(), statement = context.findStatementByStatementNode(statementNode);
|
|
160
|
+
return statement;
|
|
161
|
+
}
|
|
162
|
+
},
|
|
106
163
|
{
|
|
107
164
|
key: "findVariableByVariableIdentifier",
|
|
108
165
|
value: function findVariableByVariableIdentifier(variableIdentifier) {
|
|
@@ -117,6 +174,27 @@ var Context = /*#__PURE__*/ function(ContextBase) {
|
|
|
117
174
|
return metavariable;
|
|
118
175
|
}
|
|
119
176
|
},
|
|
177
|
+
{
|
|
178
|
+
key: "isLabelPresentByReference",
|
|
179
|
+
value: function isLabelPresentByReference(reference) {
|
|
180
|
+
var context = this.getContext(), labelPresent = context.isLabelPresentByReference(reference);
|
|
181
|
+
return labelPresent;
|
|
182
|
+
}
|
|
183
|
+
},
|
|
184
|
+
{
|
|
185
|
+
key: "isMetavariablePresentByReference",
|
|
186
|
+
value: function isMetavariablePresentByReference(reference) {
|
|
187
|
+
var context = this.getContext(), metavariablePresent = context.isMetavariablePresentByReference(reference);
|
|
188
|
+
return metavariablePresent;
|
|
189
|
+
}
|
|
190
|
+
},
|
|
191
|
+
{
|
|
192
|
+
key: "addJudgement",
|
|
193
|
+
value: function addJudgement(judgement) {
|
|
194
|
+
var context = this.getContext(), judgementAdded = context.addJudgement(judgement);
|
|
195
|
+
return judgementAdded;
|
|
196
|
+
}
|
|
197
|
+
},
|
|
120
198
|
{
|
|
121
199
|
key: "addSubproofOrProofAssertion",
|
|
122
200
|
value: function addSubproofOrProofAssertion(subproofOrProofAssertion) {
|
|
@@ -128,4 +206,4 @@ var Context = /*#__PURE__*/ function(ContextBase) {
|
|
|
128
206
|
return Context;
|
|
129
207
|
}(_occamlanguages.Context);
|
|
130
208
|
|
|
131
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
209
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb250ZXh0LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBDb250ZXh0IGFzIENvbnRleHRCYXNlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBDb250ZXh0IGV4dGVuZHMgQ29udGV4dEJhc2Uge1xuICBnZXRMZXhlcigpIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCksXG4gICAgICAgICAgbGV4ZXIgPSBjb250ZXh0LmdldExleGVyKCk7XG5cbiAgICByZXR1cm4gbGV4ZXI7XG4gIH1cblxuICBnZXRQYXJzZXIoKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpLFxuICAgICAgICAgIHBhcnNlciA9IGNvbnRleHQuZ2V0UGFyc2VyKCk7XG5cbiAgICByZXR1cm4gcGFyc2VyO1xuICB9XG5cbiAgZ2V0RmlsZVBhdGgoKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpLFxuICAgICAgICAgIGZpbGVQYXRoID0gY29udGV4dC5nZXRGaWxlUGF0aCgpO1xuXG4gICAgcmV0dXJuIGZpbGVQYXRoO1xuICB9XG5cbiAgZ2V0Q29tYmluYXRvcnMoaW5jbHVkZVJlbGVhc2UpIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCksXG4gICAgICAgICAgY29tYmluYXRvcnMgPSBjb250ZXh0LmdldENvbWJpbmF0b3JzKGluY2x1ZGVSZWxlYXNlKTtcblxuICAgIHJldHVybiBjb21iaW5hdG9ycztcbiAgfVxuXG4gIGdldFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMoKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpLFxuICAgICAgICAgIHN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMgPSBjb250ZXh0LmdldFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMoKTtcblxuICAgIHJldHVybiBzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zO1xuICB9XG5cbiAgZmluZE1ldGF2YXJpYWJsZShtZXRhdmFyaWFibGUpIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCk7XG5cbiAgICBtZXRhdmFyaWFibGUgPSBjb250ZXh0LmZpbmRNZXRhdmFyaWFibGUobWV0YXZhcmlhYmxlKTsgIC8vL1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZTtcbiAgfVxuXG4gIGZpbmRQcm9jZWR1cmVCeU5hbWUobmFtZSkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgIHByb2NlZHVyZSA9IGNvbnRleHQuZmluZFByb2NlZHVyZUJ5TmFtZShuYW1lKTtcblxuICAgIHJldHVybiBwcm9jZWR1cmU7XG4gIH1cblxuICBmaW5kUnVsZUJ5UmVmZXJlbmNlKHJlZmVyZW5jZSkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICBydWxlID0gY29udGV4dC5maW5kUnVsZUJ5UmVmZXJlbmNlKHJlZmVyZW5jZSk7XG5cbiAgICByZXR1cm4gcnVsZTtcbiAgfVxuXG4gIGZpbmRGcmFtZUJ5RnJhbWVOb2RlKGZyYW1lTm9kZSkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICBmcmFtZSA9IGNvbnRleHQuZmluZEZyYW1lQnlGcmFtZU5vZGUoZnJhbWVOb2RlKTtcblxuICAgIHJldHVybiBmcmFtZTtcbiAgfVxuXG4gIGZpbmRTdGF0ZW1lbnRCeVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICBzdGF0ZW1lbnQgPSBjb250ZXh0LmZpbmRTdGF0ZW1lbnRCeVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSk7XG5cbiAgICByZXR1cm4gc3RhdGVtZW50O1xuICB9XG5cbiAgZmluZFZhcmlhYmxlQnlWYXJpYWJsZUlkZW50aWZpZXIodmFyaWFibGVJZGVudGlmaWVyKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpLFxuICAgICAgICAgIHZhcmlhYmxlID0gY29udGV4dC5maW5kVmFyaWFibGVCeVZhcmlhYmxlSWRlbnRpZmllcih2YXJpYWJsZUlkZW50aWZpZXIpO1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlO1xuICB9XG5cbiAgZmluZE1ldGF2YXJpYWJsZUJ5TWV0YXZhcmlhYmxlTmFtZShtZXRhdmFyaWFibGVOYW1lKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpLFxuICAgICAgICAgIG1ldGF2YXJpYWJsZSA9IGNvbnRleHQuZmluZE1ldGF2YXJpYWJsZUJ5TWV0YXZhcmlhYmxlTmFtZShtZXRhdmFyaWFibGVOYW1lKTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGU7XG4gIH1cblxuICBpc0xhYmVsUHJlc2VudEJ5UmVmZXJlbmNlKHJlZmVyZW5jZSkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICBsYWJlbFByZXNlbnQgPSBjb250ZXh0LmlzTGFiZWxQcmVzZW50QnlSZWZlcmVuY2UocmVmZXJlbmNlKTtcblxuICAgIHJldHVybiBsYWJlbFByZXNlbnQ7XG4gIH1cblxuICBpc01ldGF2YXJpYWJsZVByZXNlbnRCeVJlZmVyZW5jZShyZWZlcmVuY2UpIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCksXG4gICAgICAgICAgbWV0YXZhcmlhYmxlUHJlc2VudCA9IGNvbnRleHQuaXNNZXRhdmFyaWFibGVQcmVzZW50QnlSZWZlcmVuY2UocmVmZXJlbmNlKTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGVQcmVzZW50O1xuICB9XG5cbiAgYWRkSnVkZ2VtZW50KGp1ZGdlbWVudCkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICBqdWRnZW1lbnRBZGRlZCA9IGNvbnRleHQuYWRkSnVkZ2VtZW50KGp1ZGdlbWVudCk7XG5cbiAgICByZXR1cm4ganVkZ2VtZW50QWRkZWQ7XG4gIH1cblxuICBhZGRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb24oc3VicHJvb2ZPclByb29mQXNzZXJ0aW9uKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpO1xuXG4gICAgY29udGV4dC5hZGRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb24oc3VicHJvb2ZPclByb29mQXNzZXJ0aW9uKTtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkNvbnRleHQiLCJnZXRMZXhlciIsImNvbnRleHQiLCJnZXRDb250ZXh0IiwibGV4ZXIiLCJnZXRQYXJzZXIiLCJwYXJzZXIiLCJnZXRGaWxlUGF0aCIsImZpbGVQYXRoIiwiZ2V0Q29tYmluYXRvcnMiLCJpbmNsdWRlUmVsZWFzZSIsImNvbWJpbmF0b3JzIiwiZ2V0U3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyIsInN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMiLCJmaW5kTWV0YXZhcmlhYmxlIiwibWV0YXZhcmlhYmxlIiwiZmluZFByb2NlZHVyZUJ5TmFtZSIsIm5hbWUiLCJwcm9jZWR1cmUiLCJmaW5kUnVsZUJ5UmVmZXJlbmNlIiwicmVmZXJlbmNlIiwicnVsZSIsImZpbmRGcmFtZUJ5RnJhbWVOb2RlIiwiZnJhbWVOb2RlIiwiZnJhbWUiLCJmaW5kU3RhdGVtZW50QnlTdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50Tm9kZSIsInN0YXRlbWVudCIsImZpbmRWYXJpYWJsZUJ5VmFyaWFibGVJZGVudGlmaWVyIiwidmFyaWFibGVJZGVudGlmaWVyIiwidmFyaWFibGUiLCJmaW5kTWV0YXZhcmlhYmxlQnlNZXRhdmFyaWFibGVOYW1lIiwibWV0YXZhcmlhYmxlTmFtZSIsImlzTGFiZWxQcmVzZW50QnlSZWZlcmVuY2UiLCJsYWJlbFByZXNlbnQiLCJpc01ldGF2YXJpYWJsZVByZXNlbnRCeVJlZmVyZW5jZSIsIm1ldGF2YXJpYWJsZVByZXNlbnQiLCJhZGRKdWRnZW1lbnQiLCJqdWRnZW1lbnQiLCJqdWRnZW1lbnRBZGRlZCIsImFkZFN1YnByb29mT3JQcm9vZkFzc2VydGlvbiIsInN1YnByb29mT3JQcm9vZkFzc2VydGlvbiIsIkNvbnRleHRCYXNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7Ozs4QkFGa0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXhCLElBQUEsQUFBTUEsd0JBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QkMsUUFBUUYsUUFBUUQsUUFBUTtnQkFFOUIsT0FBT0c7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNSCxVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QkcsU0FBU0osUUFBUUcsU0FBUztnQkFFaEMsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNTCxVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QkssV0FBV04sUUFBUUssV0FBVztnQkFFcEMsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlQyxjQUFjO2dCQUMzQixJQUFNUixVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QlEsY0FBY1QsUUFBUU8sY0FBYyxDQUFDQztnQkFFM0MsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNVixVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QlUsNEJBQTRCWCxRQUFRVSw0QkFBNEI7Z0JBRXRFLE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUEsaUJBQWlCQyxZQUFZO2dCQUMzQixJQUFNYixVQUFVLElBQUksQ0FBQ0MsVUFBVTtnQkFFL0JZLGVBQWViLFFBQVFZLGdCQUFnQixDQUFDQyxlQUFnQixHQUFHO2dCQUUzRCxPQUFPQTtZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBLG9CQUFvQkMsSUFBSTtnQkFDdEIsSUFBTWYsVUFBVSxJQUFJLENBQUNDLFVBQVUsSUFDN0JlLFlBQVloQixRQUFRYyxtQkFBbUIsQ0FBQ0M7Z0JBRTFDLE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUEsb0JBQW9CQyxTQUFTO2dCQUMzQixJQUFNbEIsVUFBVSxJQUFJLENBQUNDLFVBQVUsSUFDekJrQixPQUFPbkIsUUFBUWlCLG1CQUFtQixDQUFDQztnQkFFekMsT0FBT0M7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQSxxQkFBcUJDLFNBQVM7Z0JBQzVCLElBQU1yQixVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QnFCLFFBQVF0QixRQUFRb0Isb0JBQW9CLENBQUNDO2dCQUUzQyxPQUFPQztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBLDZCQUE2QkMsYUFBYTtnQkFDeEMsSUFBTXhCLFVBQVUsSUFBSSxDQUFDQyxVQUFVLElBQ3pCd0IsWUFBWXpCLFFBQVF1Qiw0QkFBNEIsQ0FBQ0M7Z0JBRXZELE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUEsaUNBQWlDQyxrQkFBa0I7Z0JBQ2pELElBQU0zQixVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QjJCLFdBQVc1QixRQUFRMEIsZ0NBQWdDLENBQUNDO2dCQUUxRCxPQUFPQztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBLG1DQUFtQ0MsZ0JBQWdCO2dCQUNqRCxJQUFNOUIsVUFBVSxJQUFJLENBQUNDLFVBQVUsSUFDekJZLGVBQWViLFFBQVE2QixrQ0FBa0MsQ0FBQ0M7Z0JBRWhFLE9BQU9qQjtZQUNUOzs7WUFFQWtCLEtBQUFBO21CQUFBQSxTQUFBQSwwQkFBMEJiLFNBQVM7Z0JBQ2pDLElBQU1sQixVQUFVLElBQUksQ0FBQ0MsVUFBVSxJQUN6QitCLGVBQWVoQyxRQUFRK0IseUJBQXlCLENBQUNiO2dCQUV2RCxPQUFPYztZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBLGlDQUFpQ2YsU0FBUztnQkFDeEMsSUFBTWxCLFVBQVUsSUFBSSxDQUFDQyxVQUFVLElBQ3pCaUMsc0JBQXNCbEMsUUFBUWlDLGdDQUFnQyxDQUFDZjtnQkFFckUsT0FBT2dCO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUEsYUFBYUMsU0FBUztnQkFDcEIsSUFBTXBDLFVBQVUsSUFBSSxDQUFDQyxVQUFVLElBQ3pCb0MsaUJBQWlCckMsUUFBUW1DLFlBQVksQ0FBQ0M7Z0JBRTVDLE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUEsNEJBQTRCQyx3QkFBd0I7Z0JBQ2xELElBQU12QyxVQUFVLElBQUksQ0FBQ0MsVUFBVTtnQkFFL0JELFFBQVFzQywyQkFBMkIsQ0FBQ0M7WUFDdEM7OztXQS9HbUJ6QztFQUFnQjBDLHVCQUFXIn0=
|
package/lib/utilities/context.js
CHANGED
|
@@ -172,8 +172,9 @@ function liminally(innerFunction, context) {
|
|
|
172
172
|
context = liminalContext; ///
|
|
173
173
|
return innerFunction(context);
|
|
174
174
|
}
|
|
175
|
-
function literally(innerFunction) {
|
|
176
|
-
var literalContext = _literal.default.fromNothing()
|
|
175
|
+
function literally(innerFunction, context) {
|
|
176
|
+
var literalContext = _literal.default.fromNothing(context);
|
|
177
|
+
context = literalContext; ///
|
|
177
178
|
return innerFunction(context);
|
|
178
179
|
}
|
|
179
180
|
function asyncAttempt(innerFunction, context) {
|
|
@@ -219,4 +220,4 @@ function asyncScope(innerFunction, context) {
|
|
|
219
220
|
})();
|
|
220
221
|
}
|
|
221
222
|
|
|
222
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
223
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY29udGV4dC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFNjb3BlZENvbnRleHQgZnJvbSBcIi4uL2NvbnRleHQvc2NvcGVkXCI7XG5pbXBvcnQgTGltaW5hbENvbnRleHQgZnJvbSBcIi4uL2NvbnRleHQvbGltaW5hbFwiO1xuaW1wb3J0IExpdGVyYWxDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L2xpdGVyYWxcIjtcbmltcG9ydCBFcGhlbWVyYWxDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L2VwaGVtZXJhbFwiO1xuXG5leHBvcnQgZnVuY3Rpb24gc2NvcGUoaW5uZXJGdW5jdGlvbiwgY29udGV4dCkge1xuICBjb25zdCBzY29wZWRDb250ZXh0ID0gU2NvcGVkQ29udGV4dC5mcm9tTm90aGluZyhjb250ZXh0KTtcblxuICBjb250ZXh0ID0gc2NvcGVkQ29udGV4dDsgIC8vL1xuXG4gIHJldHVybiBpbm5lckZ1bmN0aW9uKGNvbnRleHQpO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYXR0ZW1wdChpbm5lckZ1bmN0aW9uLCBjb250ZXh0KSB7XG4gIGNvbnN0IGVwaGVtZXJhbENvbnRleHQgPSBFcGhlbWVyYWxDb250ZXh0LmZyb21Ob3RoaW5nKGNvbnRleHQpO1xuXG4gIGNvbnRleHQgPSBlcGhlbWVyYWxDb250ZXh0OyAgLy8vXG5cbiAgcmV0dXJuIGlubmVyRnVuY3Rpb24oY29udGV4dCk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBsaW1pbmFsbHkoaW5uZXJGdW5jdGlvbiwgY29udGV4dCkge1xuICBjb25zdCBsaW1pbmFsQ29udGV4dCA9IExpbWluYWxDb250ZXh0LmZyb21Ob3RoaW5nKGNvbnRleHQpO1xuXG4gIGNvbnRleHQgPSBsaW1pbmFsQ29udGV4dDsgIC8vL1xuXG4gIHJldHVybiBpbm5lckZ1bmN0aW9uKGNvbnRleHQpO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbGl0ZXJhbGx5KGlubmVyRnVuY3Rpb24sIGNvbnRleHQpIHtcbiAgY29uc3QgbGl0ZXJhbENvbnRleHQgPSBMaXRlcmFsQ29udGV4dC5mcm9tTm90aGluZyhjb250ZXh0KTtcblxuICBjb250ZXh0ID0gbGl0ZXJhbENvbnRleHQ7ICAvLy9cblxuICByZXR1cm4gaW5uZXJGdW5jdGlvbihjb250ZXh0KTtcbn1cblxuZXhwb3J0IGFzeW5jIGZ1bmN0aW9uIGFzeW5jQXR0ZW1wdChpbm5lckZ1bmN0aW9uLCBjb250ZXh0KSB7XG4gIGNvbnN0IGVwaGVtZXJhbENvbnRleHQgPSBFcGhlbWVyYWxDb250ZXh0LmZyb21Ob3RoaW5nKGNvbnRleHQpO1xuXG4gIGNvbnRleHQgPSBlcGhlbWVyYWxDb250ZXh0OyAgLy8vXG5cbiAgcmV0dXJuIGF3YWl0IGlubmVyRnVuY3Rpb24oY29udGV4dCk7XG59XG5cbmV4cG9ydCBhc3luYyBmdW5jdGlvbiBhc3luY1Njb3BlKGlubmVyRnVuY3Rpb24sIGNvbnRleHQpIHtcbiAgY29uc3Qgc2NvcGVkQ29udGV4dCA9IFNjb3BlZENvbnRleHQuZnJvbU5vdGhpbmcoY29udGV4dCk7XG5cbiAgY29udGV4dCA9IHNjb3BlZENvbnRleHQ7ICAvLy9cblxuICByZXR1cm4gYXdhaXQgaW5uZXJGdW5jdGlvbihjb250ZXh0KTtcbn1cblxuIl0sIm5hbWVzIjpbImFzeW5jQXR0ZW1wdCIsImFzeW5jU2NvcGUiLCJhdHRlbXB0IiwibGltaW5hbGx5IiwibGl0ZXJhbGx5Iiwic2NvcGUiLCJpbm5lckZ1bmN0aW9uIiwiY29udGV4dCIsInNjb3BlZENvbnRleHQiLCJTY29wZWRDb250ZXh0IiwiZnJvbU5vdGhpbmciLCJlcGhlbWVyYWxDb250ZXh0IiwiRXBoZW1lcmFsQ29udGV4dCIsImxpbWluYWxDb250ZXh0IiwiTGltaW5hbENvbnRleHQiLCJsaXRlcmFsQ29udGV4dCIsIkxpdGVyYWxDb250ZXh0Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUF1Q3NCQTtlQUFBQTs7UUFRQUM7ZUFBQUE7O1FBaENOQztlQUFBQTs7UUFRQUM7ZUFBQUE7O1FBUUFDO2VBQUFBOztRQXhCQUM7ZUFBQUE7Ozs2REFMVTs4REFDQzs4REFDQTtnRUFDRTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXRCLFNBQVNBLE1BQU1DLGFBQWEsRUFBRUMsT0FBTztJQUMxQyxJQUFNQyxnQkFBZ0JDLGVBQWEsQ0FBQ0MsV0FBVyxDQUFDSDtJQUVoREEsVUFBVUMsZUFBZ0IsR0FBRztJQUU3QixPQUFPRixjQUFjQztBQUN2QjtBQUVPLFNBQVNMLFFBQVFJLGFBQWEsRUFBRUMsT0FBTztJQUM1QyxJQUFNSSxtQkFBbUJDLGtCQUFnQixDQUFDRixXQUFXLENBQUNIO0lBRXREQSxVQUFVSSxrQkFBbUIsR0FBRztJQUVoQyxPQUFPTCxjQUFjQztBQUN2QjtBQUVPLFNBQVNKLFVBQVVHLGFBQWEsRUFBRUMsT0FBTztJQUM5QyxJQUFNTSxpQkFBaUJDLGdCQUFjLENBQUNKLFdBQVcsQ0FBQ0g7SUFFbERBLFVBQVVNLGdCQUFpQixHQUFHO0lBRTlCLE9BQU9QLGNBQWNDO0FBQ3ZCO0FBRU8sU0FBU0gsVUFBVUUsYUFBYSxFQUFFQyxPQUFPO0lBQzlDLElBQU1RLGlCQUFpQkMsZ0JBQWMsQ0FBQ04sV0FBVyxDQUFDSDtJQUVsREEsVUFBVVEsZ0JBQWlCLEdBQUc7SUFFOUIsT0FBT1QsY0FBY0M7QUFDdkI7QUFFTyxTQUFlUCxhQUFhTSxhQUFhLEVBQUVDLE9BQU87O1lBQ2pESTs7OztvQkFBQUEsbUJBQW1CQyxrQkFBZ0IsQ0FBQ0YsV0FBVyxDQUFDSDtvQkFFdERBLFVBQVVJLGtCQUFtQixHQUFHO29CQUV6Qjs7d0JBQU1MLGNBQWNDOzs7b0JBQTNCOzt3QkFBTzs7OztJQUNUOztBQUVPLFNBQWVOLFdBQVdLLGFBQWEsRUFBRUMsT0FBTzs7WUFDL0NDOzs7O29CQUFBQSxnQkFBZ0JDLGVBQWEsQ0FBQ0MsV0FBVyxDQUFDSDtvQkFFaERBLFVBQVVDLGVBQWdCLEdBQUc7b0JBRXRCOzt3QkFBTUYsY0FBY0M7OztvQkFBM0I7O3dCQUFPOzs7O0lBQ1QifQ==
|
|
@@ -16,29 +16,37 @@ _export(exports, {
|
|
|
16
16
|
return bracketedConstructorFromNothing;
|
|
17
17
|
}
|
|
18
18
|
});
|
|
19
|
+
var _nominal = /*#__PURE__*/ _interop_require_default(require("../context/nominal"));
|
|
19
20
|
var _context = require("../utilities/context");
|
|
20
21
|
var _constants = require("../constants");
|
|
21
22
|
var _metaTypeNames = require("../metaTypeNames");
|
|
22
23
|
var _instantiate = require("../process/instantiate");
|
|
23
24
|
var _element = require("../utilities/element");
|
|
25
|
+
function _interop_require_default(obj) {
|
|
26
|
+
return obj && obj.__esModule ? obj : {
|
|
27
|
+
default: obj
|
|
28
|
+
};
|
|
29
|
+
}
|
|
24
30
|
var bracketedCombinator = null, bracketedConstructor = null;
|
|
25
31
|
function bracketedCombinatorFromNothing() {
|
|
26
32
|
if (bracketedCombinator === null) {
|
|
33
|
+
var context = _nominal.default; ///
|
|
27
34
|
bracketedCombinator = (0, _context.literally)(function(context) {
|
|
28
35
|
var bracketedCombinatorString = "(".concat(_metaTypeNames.STATEMENT_META_TYPE_NAME, ")"), string = bracketedCombinatorString, combinatorNode = (0, _instantiate.instantiateCombinator)(string, context), bracketedCombinatorNode = combinatorNode, bracketedCombinator = (0, _element.combinatorFromCombinatorNode)(bracketedCombinatorNode, context);
|
|
29
36
|
return bracketedCombinator;
|
|
30
|
-
});
|
|
37
|
+
}, context);
|
|
31
38
|
}
|
|
32
39
|
return bracketedCombinator;
|
|
33
40
|
}
|
|
34
41
|
function bracketedConstructorFromNothing() {
|
|
35
42
|
if (bracketedConstructor === null) {
|
|
43
|
+
var context = _nominal.default; ///
|
|
36
44
|
bracketedConstructor = (0, _context.literally)(function(context) {
|
|
37
45
|
var bracketedConstructorString = "(".concat(_constants.BASE_TYPE_SYMBOL, ")"), string = bracketedConstructorString, constructorNode = (0, _instantiate.instantiateConstructor)(string, context), bracketedConstructorNode = constructorNode, bracketedConstructor = (0, _element.constructorFromConstructorNode)(bracketedConstructorNode, context);
|
|
38
46
|
return bracketedConstructor;
|
|
39
|
-
});
|
|
47
|
+
}, context);
|
|
40
48
|
}
|
|
41
49
|
return bracketedConstructor;
|
|
42
50
|
}
|
|
43
51
|
|
|
44
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
52
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvaW5zdGFuY2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBub21pbmFsQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9ub21pbmFsXCI7XG5cbmltcG9ydCB7IGxpdGVyYWxseSB9IGZyb20gXCIuLi91dGlsaXRpZXMvY29udGV4dFwiO1xuaW1wb3J0IHsgQkFTRV9UWVBFX1NZTUJPTCB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcbmltcG9ydCB7IFNUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRSB9IGZyb20gXCIuLi9tZXRhVHlwZU5hbWVzXCI7XG5pbXBvcnQgeyBpbnN0YW50aWF0ZUNvbWJpbmF0b3IsIGluc3RhbnRpYXRlQ29uc3RydWN0b3IgfSBmcm9tIFwiLi4vcHJvY2Vzcy9pbnN0YW50aWF0ZVwiO1xuaW1wb3J0IHsgY29tYmluYXRvckZyb21Db21iaW5hdG9yTm9kZSwgY29uc3RydWN0b3JGcm9tQ29uc3RydWN0b3JOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5cbmxldCBicmFja2V0ZWRDb21iaW5hdG9yID0gbnVsbCxcbiAgICBicmFja2V0ZWRDb25zdHJ1Y3RvciA9IG51bGw7XG5cbmV4cG9ydCBmdW5jdGlvbiBicmFja2V0ZWRDb21iaW5hdG9yRnJvbU5vdGhpbmcoKSB7XG4gIGlmIChicmFja2V0ZWRDb21iaW5hdG9yID09PSBudWxsKSB7XG4gICAgY29uc3QgY29udGV4dCA9IG5vbWluYWxDb250ZXh0OyAvLy9cblxuICAgIGJyYWNrZXRlZENvbWJpbmF0b3IgPSBsaXRlcmFsbHkoKGNvbnRleHQpID0+IHtcbiAgICAgIGNvbnN0IGJyYWNrZXRlZENvbWJpbmF0b3JTdHJpbmcgPSBgKCR7U1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FfSlgLFxuICAgICAgICAgICAgc3RyaW5nID0gYnJhY2tldGVkQ29tYmluYXRvclN0cmluZywgLy8vXG4gICAgICAgICAgICBjb21iaW5hdG9yTm9kZSA9IGluc3RhbnRpYXRlQ29tYmluYXRvcihzdHJpbmcsIGNvbnRleHQpLFxuICAgICAgICAgICAgYnJhY2tldGVkQ29tYmluYXRvck5vZGUgPSBjb21iaW5hdG9yTm9kZSwgIC8vL1xuICAgICAgICAgICAgYnJhY2tldGVkQ29tYmluYXRvciA9IGNvbWJpbmF0b3JGcm9tQ29tYmluYXRvck5vZGUoYnJhY2tldGVkQ29tYmluYXRvck5vZGUsIGNvbnRleHQpO1xuXG4gICAgICByZXR1cm4gYnJhY2tldGVkQ29tYmluYXRvcjtcbiAgICB9LCBjb250ZXh0KTtcbiAgfVxuXG4gIHJldHVybiBicmFja2V0ZWRDb21iaW5hdG9yO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYnJhY2tldGVkQ29uc3RydWN0b3JGcm9tTm90aGluZygpIHtcbiAgaWYgKGJyYWNrZXRlZENvbnN0cnVjdG9yID09PSBudWxsKSB7XG4gICAgY29uc3QgY29udGV4dCA9IG5vbWluYWxDb250ZXh0OyAvLy9cblxuICAgIGJyYWNrZXRlZENvbnN0cnVjdG9yID0gbGl0ZXJhbGx5KChjb250ZXh0KSA9PiB7XG4gICAgICBjb25zdCBicmFja2V0ZWRDb25zdHJ1Y3RvclN0cmluZyA9IGAoJHtCQVNFX1RZUEVfU1lNQk9MfSlgLFxuICAgICAgICAgICAgc3RyaW5nID0gYnJhY2tldGVkQ29uc3RydWN0b3JTdHJpbmcsICAvLy9cbiAgICAgICAgICAgIGNvbnN0cnVjdG9yTm9kZSA9IGluc3RhbnRpYXRlQ29uc3RydWN0b3Ioc3RyaW5nLCBjb250ZXh0KSxcbiAgICAgICAgICAgIGJyYWNrZXRlZENvbnN0cnVjdG9yTm9kZSA9IGNvbnN0cnVjdG9yTm9kZSwgLy8vXG4gICAgICAgICAgICBicmFja2V0ZWRDb25zdHJ1Y3RvciA9IGNvbnN0cnVjdG9yRnJvbUNvbnN0cnVjdG9yTm9kZShicmFja2V0ZWRDb25zdHJ1Y3Rvck5vZGUsIGNvbnRleHQpO1xuXG4gICAgICByZXR1cm4gYnJhY2tldGVkQ29uc3RydWN0b3I7XG4gICAgfSwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gYnJhY2tldGVkQ29uc3RydWN0b3I7XG59XG4iXSwibmFtZXMiOlsiYnJhY2tldGVkQ29tYmluYXRvckZyb21Ob3RoaW5nIiwiYnJhY2tldGVkQ29uc3RydWN0b3JGcm9tTm90aGluZyIsImJyYWNrZXRlZENvbWJpbmF0b3IiLCJicmFja2V0ZWRDb25zdHJ1Y3RvciIsImNvbnRleHQiLCJub21pbmFsQ29udGV4dCIsImxpdGVyYWxseSIsImJyYWNrZXRlZENvbWJpbmF0b3JTdHJpbmciLCJTVEFURU1FTlRfTUVUQV9UWVBFX05BTUUiLCJzdHJpbmciLCJjb21iaW5hdG9yTm9kZSIsImluc3RhbnRpYXRlQ29tYmluYXRvciIsImJyYWNrZXRlZENvbWJpbmF0b3JOb2RlIiwiY29tYmluYXRvckZyb21Db21iaW5hdG9yTm9kZSIsImJyYWNrZXRlZENvbnN0cnVjdG9yU3RyaW5nIiwiQkFTRV9UWVBFX1NZTUJPTCIsImNvbnN0cnVjdG9yTm9kZSIsImluc3RhbnRpYXRlQ29uc3RydWN0b3IiLCJicmFja2V0ZWRDb25zdHJ1Y3Rvck5vZGUiLCJjb25zdHJ1Y3RvckZyb21Db25zdHJ1Y3Rvck5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQWFnQkE7ZUFBQUE7O1FBa0JBQztlQUFBQTs7OzhEQTdCVzt1QkFFRDt5QkFDTzs2QkFDUTsyQkFDcUI7dUJBQ2U7Ozs7OztBQUU3RSxJQUFJQyxzQkFBc0IsTUFDdEJDLHVCQUF1QjtBQUVwQixTQUFTSDtJQUNkLElBQUlFLHdCQUF3QixNQUFNO1FBQ2hDLElBQU1FLFVBQVVDLGdCQUFjLEVBQUUsR0FBRztRQUVuQ0gsc0JBQXNCSSxJQUFBQSxrQkFBUyxFQUFDLFNBQUNGO1lBQy9CLElBQU1HLDRCQUE0QixBQUFDLElBQTRCLE9BQXpCQyx1Q0FBd0IsRUFBQyxNQUN6REMsU0FBU0YsMkJBQ1RHLGlCQUFpQkMsSUFBQUEsa0NBQXFCLEVBQUNGLFFBQVFMLFVBQy9DUSwwQkFBMEJGLGdCQUMxQlIsc0JBQXNCVyxJQUFBQSxxQ0FBNEIsRUFBQ0QseUJBQXlCUjtZQUVsRixPQUFPRjtRQUNULEdBQUdFO0lBQ0w7SUFFQSxPQUFPRjtBQUNUO0FBRU8sU0FBU0Q7SUFDZCxJQUFJRSx5QkFBeUIsTUFBTTtRQUNqQyxJQUFNQyxVQUFVQyxnQkFBYyxFQUFFLEdBQUc7UUFFbkNGLHVCQUF1QkcsSUFBQUEsa0JBQVMsRUFBQyxTQUFDRjtZQUNoQyxJQUFNVSw2QkFBNkIsQUFBQyxJQUFvQixPQUFqQkMsMkJBQWdCLEVBQUMsTUFDbEROLFNBQVNLLDRCQUNURSxrQkFBa0JDLElBQUFBLG1DQUFzQixFQUFDUixRQUFRTCxVQUNqRGMsMkJBQTJCRixpQkFDM0JiLHVCQUF1QmdCLElBQUFBLHVDQUE4QixFQUFDRCwwQkFBMEJkO1lBRXRGLE9BQU9EO1FBQ1QsR0FBR0M7SUFDTDtJQUVBLE9BQU9EO0FBQ1QifQ==
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "occam-verify-cli",
|
|
3
3
|
"author": "James Smith",
|
|
4
|
-
"version": "1.0.
|
|
4
|
+
"version": "1.0.580",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -13,12 +13,12 @@
|
|
|
13
13
|
"argumentative": "^2.0.36",
|
|
14
14
|
"necessary": "^17.0.9",
|
|
15
15
|
"occam-file-system": "^6.0.505",
|
|
16
|
-
"occam-furtle": "^3.0.
|
|
16
|
+
"occam-furtle": "^3.0.88",
|
|
17
17
|
"occam-grammars": "^1.3.510",
|
|
18
|
-
"occam-languages": "^0.0.
|
|
18
|
+
"occam-languages": "^0.0.67",
|
|
19
19
|
"occam-lexers": "^23.1.34",
|
|
20
20
|
"occam-model": "^1.0.494",
|
|
21
|
-
"occam-nominal": "^1.0.
|
|
21
|
+
"occam-nominal": "^1.0.32",
|
|
22
22
|
"occam-parsers": "^23.1.37"
|
|
23
23
|
},
|
|
24
24
|
"devDependencies": {
|
package/src/context/literal.js
CHANGED
|
@@ -1,45 +1,32 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
3
|
import { Context, nodeUtilities } from "occam-languages";
|
|
4
|
-
import { lexersUtilities, parsersUtilities } from "occam-nominal";
|
|
5
4
|
|
|
6
|
-
|
|
7
|
-
import NominalParser from "../nominal/parser";
|
|
8
|
-
|
|
9
|
-
const { nominalLexerFromNothing } = lexersUtilities,
|
|
10
|
-
{ nominalParserFromNothing } = parsersUtilities,
|
|
11
|
-
{ nodeAsString, nodesAsString } = nodeUtilities;
|
|
12
|
-
|
|
13
|
-
const nominalLexer = nominalLexerFromNothing(NominalLexer),
|
|
14
|
-
nominalParser = nominalParserFromNothing(NominalParser);
|
|
5
|
+
const { nodeAsString, nodesAsString } = nodeUtilities;
|
|
15
6
|
|
|
16
7
|
export default class LiteralContext extends Context {
|
|
17
|
-
constructor(context,
|
|
8
|
+
constructor(context, tokens) {
|
|
18
9
|
super(context);
|
|
19
10
|
|
|
20
|
-
this.lexer = lexer;
|
|
21
|
-
this.parser = parser;
|
|
22
11
|
this.tokens = tokens;
|
|
23
12
|
}
|
|
24
13
|
|
|
25
|
-
getLexer() {
|
|
26
|
-
return this.lexer;
|
|
27
|
-
}
|
|
28
|
-
|
|
29
|
-
getParser() {
|
|
30
|
-
return this.parser;
|
|
31
|
-
}
|
|
32
|
-
|
|
33
14
|
getTokens() {
|
|
34
15
|
return this.tokens;
|
|
35
16
|
}
|
|
36
17
|
|
|
37
|
-
|
|
38
|
-
|
|
18
|
+
getLexer() {
|
|
19
|
+
const context = this.getContext(),
|
|
20
|
+
lexer = context.getLexer();
|
|
21
|
+
|
|
22
|
+
return lexer;
|
|
39
23
|
}
|
|
40
24
|
|
|
41
|
-
|
|
42
|
-
|
|
25
|
+
getParser() {
|
|
26
|
+
const context = this.getContext(),
|
|
27
|
+
parser = context.getParser();
|
|
28
|
+
|
|
29
|
+
return parser;
|
|
43
30
|
}
|
|
44
31
|
|
|
45
32
|
setTokens(tokens) {
|
|
@@ -58,12 +45,9 @@ export default class LiteralContext extends Context {
|
|
|
58
45
|
return string;
|
|
59
46
|
}
|
|
60
47
|
|
|
61
|
-
static fromNothing() {
|
|
62
|
-
const
|
|
63
|
-
|
|
64
|
-
parser = nominalParser, ///
|
|
65
|
-
tokens = null,
|
|
66
|
-
literalContext = new LiteralContext(context, lexer, parser, tokens);
|
|
48
|
+
static fromNothing(context) {
|
|
49
|
+
const tokens = null,
|
|
50
|
+
literalContext = new LiteralContext(context, tokens);
|
|
67
51
|
|
|
68
52
|
return literalContext;
|
|
69
53
|
}
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
|
|
3
|
+
import { Context } from "occam-languages";
|
|
4
|
+
import { lexersUtilities, parsersUtilities } from "occam-nominal";
|
|
5
|
+
|
|
6
|
+
import NominalLexer from "../nominal/lexer";
|
|
7
|
+
import NominalParser from "../nominal/parser";
|
|
8
|
+
|
|
9
|
+
const { nominalLexerFromNothing } = lexersUtilities,
|
|
10
|
+
{ nominalParserFromNothing } = parsersUtilities;
|
|
11
|
+
|
|
12
|
+
const nominalLexer = nominalLexerFromNothing(NominalLexer),
|
|
13
|
+
nominalParser = nominalParserFromNothing(NominalParser); ///
|
|
14
|
+
|
|
15
|
+
class NominalContext extends Context {
|
|
16
|
+
constructor(context, lexer, parser) {
|
|
17
|
+
super(context);
|
|
18
|
+
|
|
19
|
+
this.lexer = lexer;
|
|
20
|
+
this.parser = parser;
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
getLexer() {
|
|
24
|
+
return this.lexer;
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
getParser() {
|
|
28
|
+
return this.parser;
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
static fromNothing() {
|
|
32
|
+
const context = null,
|
|
33
|
+
lexer = nominalLexer, ///
|
|
34
|
+
parser = nominalParser, ///
|
|
35
|
+
nominalContext = Context.fromNothing(NominalContext, lexer, parser, context);
|
|
36
|
+
|
|
37
|
+
return nominalContext;
|
|
38
|
+
}
|
|
39
|
+
}
|
|
40
|
+
|
|
41
|
+
const nominalContext = NominalContext.fromNothing();
|
|
42
|
+
|
|
43
|
+
export default nominalContext;
|
package/src/context.js
CHANGED
|
@@ -3,6 +3,27 @@
|
|
|
3
3
|
import { Context as ContextBase } from "occam-languages";
|
|
4
4
|
|
|
5
5
|
export default class Context extends ContextBase {
|
|
6
|
+
getLexer() {
|
|
7
|
+
const context = this.getContext(),
|
|
8
|
+
lexer = context.getLexer();
|
|
9
|
+
|
|
10
|
+
return lexer;
|
|
11
|
+
}
|
|
12
|
+
|
|
13
|
+
getParser() {
|
|
14
|
+
const context = this.getContext(),
|
|
15
|
+
parser = context.getParser();
|
|
16
|
+
|
|
17
|
+
return parser;
|
|
18
|
+
}
|
|
19
|
+
|
|
20
|
+
getFilePath() {
|
|
21
|
+
const context = this.getContext(),
|
|
22
|
+
filePath = context.getFilePath();
|
|
23
|
+
|
|
24
|
+
return filePath;
|
|
25
|
+
}
|
|
26
|
+
|
|
6
27
|
getCombinators(includeRelease) {
|
|
7
28
|
const context = this.getContext(),
|
|
8
29
|
combinators = context.getCombinators(includeRelease);
|
|
@@ -10,13 +31,49 @@ export default class Context extends ContextBase {
|
|
|
10
31
|
return combinators;
|
|
11
32
|
}
|
|
12
33
|
|
|
34
|
+
getSubproofOrProofAssertions() {
|
|
35
|
+
const context = this.getContext(),
|
|
36
|
+
subproofOrProofAssertions = context.getSubproofOrProofAssertions();
|
|
37
|
+
|
|
38
|
+
return subproofOrProofAssertions;
|
|
39
|
+
}
|
|
40
|
+
|
|
41
|
+
findMetavariable(metavariable) {
|
|
42
|
+
const context = this.getContext();
|
|
43
|
+
|
|
44
|
+
metavariable = context.findMetavariable(metavariable); ///
|
|
45
|
+
|
|
46
|
+
return metavariable;
|
|
47
|
+
}
|
|
48
|
+
|
|
13
49
|
findProcedureByName(name) {
|
|
14
50
|
const context = this.getContext(),
|
|
15
|
-
|
|
51
|
+
procedure = context.findProcedureByName(name);
|
|
16
52
|
|
|
17
53
|
return procedure;
|
|
18
54
|
}
|
|
19
55
|
|
|
56
|
+
findRuleByReference(reference) {
|
|
57
|
+
const context = this.getContext(),
|
|
58
|
+
rule = context.findRuleByReference(reference);
|
|
59
|
+
|
|
60
|
+
return rule;
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
findFrameByFrameNode(frameNode) {
|
|
64
|
+
const context = this.getContext(),
|
|
65
|
+
frame = context.findFrameByFrameNode(frameNode);
|
|
66
|
+
|
|
67
|
+
return frame;
|
|
68
|
+
}
|
|
69
|
+
|
|
70
|
+
findStatementByStatementNode(statementNode) {
|
|
71
|
+
const context = this.getContext(),
|
|
72
|
+
statement = context.findStatementByStatementNode(statementNode);
|
|
73
|
+
|
|
74
|
+
return statement;
|
|
75
|
+
}
|
|
76
|
+
|
|
20
77
|
findVariableByVariableIdentifier(variableIdentifier) {
|
|
21
78
|
const context = this.getContext(),
|
|
22
79
|
variable = context.findVariableByVariableIdentifier(variableIdentifier);
|
|
@@ -31,6 +88,27 @@ export default class Context extends ContextBase {
|
|
|
31
88
|
return metavariable;
|
|
32
89
|
}
|
|
33
90
|
|
|
91
|
+
isLabelPresentByReference(reference) {
|
|
92
|
+
const context = this.getContext(),
|
|
93
|
+
labelPresent = context.isLabelPresentByReference(reference);
|
|
94
|
+
|
|
95
|
+
return labelPresent;
|
|
96
|
+
}
|
|
97
|
+
|
|
98
|
+
isMetavariablePresentByReference(reference) {
|
|
99
|
+
const context = this.getContext(),
|
|
100
|
+
metavariablePresent = context.isMetavariablePresentByReference(reference);
|
|
101
|
+
|
|
102
|
+
return metavariablePresent;
|
|
103
|
+
}
|
|
104
|
+
|
|
105
|
+
addJudgement(judgement) {
|
|
106
|
+
const context = this.getContext(),
|
|
107
|
+
judgementAdded = context.addJudgement(judgement);
|
|
108
|
+
|
|
109
|
+
return judgementAdded;
|
|
110
|
+
}
|
|
111
|
+
|
|
34
112
|
addSubproofOrProofAssertion(subproofOrProofAssertion) {
|
|
35
113
|
const context = this.getContext();
|
|
36
114
|
|
package/src/utilities/context.js
CHANGED
|
@@ -29,9 +29,10 @@ export function liminally(innerFunction, context) {
|
|
|
29
29
|
return innerFunction(context);
|
|
30
30
|
}
|
|
31
31
|
|
|
32
|
-
export function literally(innerFunction) {
|
|
33
|
-
const literalContext = LiteralContext.fromNothing()
|
|
34
|
-
|
|
32
|
+
export function literally(innerFunction, context) {
|
|
33
|
+
const literalContext = LiteralContext.fromNothing(context);
|
|
34
|
+
|
|
35
|
+
context = literalContext; ///
|
|
35
36
|
|
|
36
37
|
return innerFunction(context);
|
|
37
38
|
}
|
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
+
import nominalContext from "../context/nominal";
|
|
4
|
+
|
|
3
5
|
import { literally } from "../utilities/context";
|
|
4
6
|
import { BASE_TYPE_SYMBOL } from "../constants";
|
|
5
7
|
import { STATEMENT_META_TYPE_NAME } from "../metaTypeNames";
|
|
@@ -11,6 +13,8 @@ let bracketedCombinator = null,
|
|
|
11
13
|
|
|
12
14
|
export function bracketedCombinatorFromNothing() {
|
|
13
15
|
if (bracketedCombinator === null) {
|
|
16
|
+
const context = nominalContext; ///
|
|
17
|
+
|
|
14
18
|
bracketedCombinator = literally((context) => {
|
|
15
19
|
const bracketedCombinatorString = `(${STATEMENT_META_TYPE_NAME})`,
|
|
16
20
|
string = bracketedCombinatorString, ///
|
|
@@ -19,7 +23,7 @@ export function bracketedCombinatorFromNothing() {
|
|
|
19
23
|
bracketedCombinator = combinatorFromCombinatorNode(bracketedCombinatorNode, context);
|
|
20
24
|
|
|
21
25
|
return bracketedCombinator;
|
|
22
|
-
});
|
|
26
|
+
}, context);
|
|
23
27
|
}
|
|
24
28
|
|
|
25
29
|
return bracketedCombinator;
|
|
@@ -27,6 +31,8 @@ export function bracketedCombinatorFromNothing() {
|
|
|
27
31
|
|
|
28
32
|
export function bracketedConstructorFromNothing() {
|
|
29
33
|
if (bracketedConstructor === null) {
|
|
34
|
+
const context = nominalContext; ///
|
|
35
|
+
|
|
30
36
|
bracketedConstructor = literally((context) => {
|
|
31
37
|
const bracketedConstructorString = `(${BASE_TYPE_SYMBOL})`,
|
|
32
38
|
string = bracketedConstructorString, ///
|
|
@@ -35,7 +41,7 @@ export function bracketedConstructorFromNothing() {
|
|
|
35
41
|
bracketedConstructor = constructorFromConstructorNode(bracketedConstructorNode, context);
|
|
36
42
|
|
|
37
43
|
return bracketedConstructor;
|
|
38
|
-
});
|
|
44
|
+
}, context);
|
|
39
45
|
}
|
|
40
46
|
|
|
41
47
|
return bracketedConstructor;
|