occam-furtle 2.0.331 → 2.0.334
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/element/expression/negated.js +2 -2
- package/lib/element/primitive.js +10 -10
- package/lib/element/returnBlock.js +3 -3
- package/lib/element/statement/return.js +2 -2
- package/lib/element/step.js +8 -8
- package/lib/element/term/logical.js +11 -11
- package/lib/element/term.js +11 -5
- package/lib/utilities/element.js +191 -50
- package/lib/utilities/string.js +32 -5
- package/package.json +4 -4
- package/src/element/expression/negated.js +1 -1
- package/src/element/primitive.js +9 -9
- package/src/element/returnBlock.js +2 -2
- package/src/element/statement/return.js +1 -1
- package/src/element/step.js +6 -6
- package/src/element/term/logical.js +5 -5
- package/src/element/term.js +12 -4
- package/src/utilities/element.js +258 -90
- package/src/utilities/string.js +31 -3
- package/test/main.js +0 -113
package/test/main.js
CHANGED
|
@@ -40,116 +40,3 @@ console.log(boolean);
|
|
|
40
40
|
//
|
|
41
41
|
// console.log(message);
|
|
42
42
|
// }
|
|
43
|
-
|
|
44
|
-
/*
|
|
45
|
-
That's fine. I've come across this problem before. It's simple enough to set a flag, in fact, or, as you say, simply detect whether or not a debugger is being used.
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
You've mentioned imports so let's cover that off.
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
I have the source code in a src/ directory and this gets transpiled to a lib/d directory. I run my tests in a test/ directory and, because I'm running them directly on Node, I have never switched over to ES6 import syntax and use require() calls in the old-fashioned way.
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
You can see my test here to give you an idea:
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
+++
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
"use strict";
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
const ReleaseContext = require("./context/release");
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
const { termsFromFileContext } = require("./helpers/terms"),
|
|
74
|
-
|
|
75
|
-
{ furtleFileFromNothing } = require("./helpers/furtle"),
|
|
76
|
-
|
|
77
|
-
{ procedureFromReleaseContext } = require("./helpers/procedure"),
|
|
78
|
-
|
|
79
|
-
{ nominalFileContextFromReleaseContext } = require("./helpers/nominal");
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
let fileContext,
|
|
84
|
-
|
|
85
|
-
releaseContext;
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
releaseContext = ReleaseContext.fromNothing();
|
|
90
|
-
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
const furtleFile = furtleFileFromNothing(),
|
|
94
|
-
|
|
95
|
-
file = furtleFile; ///
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
releaseContext.addFile(file);
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
releaseContext.verify();
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
const nominalFileContext = nominalFileContextFromReleaseContext(releaseContext);
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
fileContext = nominalFileContext; ///
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
releaseContext.addFileContext(fileContext);
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
const free = true,
|
|
120
|
-
|
|
121
|
-
terms = termsFromFileContext(fileContext, free),
|
|
122
|
-
|
|
123
|
-
procedure = procedureFromReleaseContext(releaseContext);
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
// try {
|
|
128
|
-
|
|
129
|
-
const context = fileContext, ///
|
|
130
|
-
|
|
131
|
-
expression = procedure.call(terms, context),
|
|
132
|
-
|
|
133
|
-
boolean = expression.getBoolean();
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
console.log(boolean);
|
|
138
|
-
|
|
139
|
-
// } catch (exception) {
|
|
140
|
-
|
|
141
|
-
// const message = exception.getMessage();
|
|
142
|
-
|
|
143
|
-
//
|
|
144
|
-
|
|
145
|
-
// console.log(message);
|
|
146
|
-
|
|
147
|
-
// }
|
|
148
|
-
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
+++
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
*/
|