yukigo 0.2.3 → 0.3.2
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/.mocharc.json +3 -3
- package/CHANGELOG.md +105 -40
- package/README.md +193 -193
- package/dist/analyzer/GraphBuilder.d.ts +1 -0
- package/dist/analyzer/GraphBuilder.js +2 -1
- package/dist/analyzer/index.d.ts +0 -7
- package/dist/analyzer/index.js +3 -3
- package/dist/analyzer/inspections/functional/functional.d.ts +1 -1
- package/dist/analyzer/inspections/functional/functional.js +1 -1
- package/dist/analyzer/inspections/functional/smells.d.ts +3 -3
- package/dist/analyzer/inspections/functional/smells.js +27 -35
- package/dist/analyzer/inspections/generic/generic.d.ts +22 -14
- package/dist/analyzer/inspections/generic/generic.js +82 -60
- package/dist/analyzer/inspections/generic/smells.d.ts +2 -0
- package/dist/analyzer/inspections/generic/smells.js +55 -64
- package/dist/analyzer/inspections/imperative/imperative.d.ts +3 -3
- package/dist/analyzer/inspections/imperative/imperative.js +3 -3
- package/dist/analyzer/inspections/imperative/smells.d.ts +1 -0
- package/dist/analyzer/inspections/imperative/smells.js +8 -5
- package/dist/analyzer/inspections/logic/logic.d.ts +8 -8
- package/dist/analyzer/inspections/logic/logic.js +5 -5
- package/dist/analyzer/inspections/logic/smells.js +2 -2
- package/dist/analyzer/inspections/object/object.d.ts +5 -5
- package/dist/analyzer/inspections/object/object.js +22 -21
- package/dist/analyzer/inspections/object/smells.js +11 -23
- package/dist/analyzer/utils.d.ts +6 -2
- package/dist/analyzer/utils.js +6 -2
- package/dist/interpreter/components/EnvBuilder.d.ts +20 -1
- package/dist/interpreter/components/EnvBuilder.js +211 -66
- package/dist/interpreter/components/EqualityComparer.d.ts +15 -0
- package/dist/interpreter/components/EqualityComparer.js +69 -0
- package/dist/interpreter/components/Operations.d.ts +17 -14
- package/dist/interpreter/components/Operations.js +61 -62
- package/dist/interpreter/components/PatternMatcher.d.ts +19 -58
- package/dist/interpreter/components/PatternMatcher.js +185 -286
- package/dist/interpreter/components/RuntimeContext.d.ts +24 -15
- package/dist/interpreter/components/RuntimeContext.js +43 -4
- package/dist/interpreter/components/TestRunner.d.ts +15 -13
- package/dist/interpreter/components/TestRunner.js +86 -53
- package/dist/interpreter/components/evaluators/BaseEvaluator.d.ts +19 -0
- package/dist/interpreter/components/evaluators/BaseEvaluator.js +20 -0
- package/dist/interpreter/components/evaluators/ExpressionEvaluator.d.ts +34 -0
- package/dist/interpreter/components/evaluators/ExpressionEvaluator.js +298 -0
- package/dist/interpreter/components/evaluators/OperationEvaluator.d.ts +25 -0
- package/dist/interpreter/components/evaluators/OperationEvaluator.js +226 -0
- package/dist/interpreter/components/evaluators/PrimitiveEvaluator.d.ts +19 -0
- package/dist/interpreter/components/evaluators/PrimitiveEvaluator.js +50 -0
- package/dist/interpreter/components/evaluators/StatementEvaluator.d.ts +28 -0
- package/dist/interpreter/components/evaluators/StatementEvaluator.js +240 -0
- package/dist/interpreter/components/evaluators/TestingEvaluator.d.ts +15 -0
- package/dist/interpreter/components/evaluators/TestingEvaluator.js +14 -0
- package/dist/interpreter/components/evaluators/index.d.ts +110 -0
- package/dist/interpreter/components/evaluators/index.js +21 -0
- package/dist/interpreter/components/evaluators/utils.d.ts +7 -0
- package/dist/interpreter/components/evaluators/utils.js +50 -0
- package/dist/interpreter/components/hooks/YukigoHook.d.ts +27 -0
- package/dist/interpreter/components/hooks/YukigoHook.js +1 -0
- package/dist/interpreter/components/kernel/commands.d.ts +122 -0
- package/dist/interpreter/components/kernel/commands.js +203 -0
- package/dist/interpreter/components/kernel/index.d.ts +51 -0
- package/dist/interpreter/components/kernel/index.js +176 -0
- package/dist/interpreter/components/logic/LogicEngine.d.ts +26 -23
- package/dist/interpreter/components/logic/LogicEngine.js +234 -221
- package/dist/interpreter/components/logic/LogicResolver.d.ts +22 -51
- package/dist/interpreter/components/logic/LogicResolver.js +73 -440
- package/dist/interpreter/components/logic/LogicTerm.d.ts +104 -0
- package/dist/interpreter/components/logic/LogicTerm.js +423 -0
- package/dist/interpreter/components/logic/LogicTranslator.d.ts +25 -9
- package/dist/interpreter/components/logic/LogicTranslator.js +211 -74
- package/dist/interpreter/components/runtimes/FunctionRuntime.d.ts +6 -4
- package/dist/interpreter/components/runtimes/FunctionRuntime.js +82 -84
- package/dist/interpreter/components/runtimes/LazyRuntime.d.ts +13 -14
- package/dist/interpreter/components/runtimes/LazyRuntime.js +112 -239
- package/dist/interpreter/components/runtimes/ObjectRuntime.d.ts +17 -14
- package/dist/interpreter/components/runtimes/ObjectRuntime.js +105 -74
- package/dist/interpreter/errors.d.ts +10 -0
- package/dist/interpreter/errors.js +17 -0
- package/dist/interpreter/index.d.ts +9 -5
- package/dist/interpreter/index.js +11 -13
- package/dist/interpreter/primitives/YuValue.d.ts +21 -0
- package/dist/interpreter/primitives/YuValue.js +40 -0
- package/dist/interpreter/primitives/capabilities.d.ts +90 -0
- package/dist/interpreter/primitives/capabilities.js +1 -0
- package/dist/interpreter/primitives/entities/LazyList.d.ts +48 -0
- package/dist/interpreter/primitives/entities/LazyList.js +164 -0
- package/dist/interpreter/primitives/entities/LogicResult.d.ts +51 -0
- package/dist/interpreter/primitives/entities/LogicResult.js +101 -0
- package/dist/interpreter/primitives/entities/RuntimeClass.d.ts +24 -0
- package/dist/interpreter/primitives/entities/RuntimeClass.js +57 -0
- package/dist/interpreter/primitives/entities/RuntimeFunction.d.ts +40 -0
- package/dist/interpreter/primitives/entities/RuntimeFunction.js +73 -0
- package/dist/interpreter/primitives/entities/RuntimeObject.d.ts +27 -0
- package/dist/interpreter/primitives/entities/RuntimeObject.js +82 -0
- package/dist/interpreter/primitives/entities/RuntimePredicate.d.ts +19 -0
- package/dist/interpreter/primitives/entities/RuntimePredicate.js +59 -0
- package/dist/interpreter/primitives/index.d.ts +14 -0
- package/dist/interpreter/primitives/index.js +14 -0
- package/dist/interpreter/primitives/scalars/YuBoolean.d.ts +24 -0
- package/dist/interpreter/primitives/scalars/YuBoolean.js +69 -0
- package/dist/interpreter/primitives/scalars/YuChar.d.ts +28 -0
- package/dist/interpreter/primitives/scalars/YuChar.js +78 -0
- package/dist/interpreter/primitives/scalars/YuNil.d.ts +25 -0
- package/dist/interpreter/primitives/scalars/YuNil.js +73 -0
- package/dist/interpreter/primitives/scalars/YuNumber.d.ts +49 -0
- package/dist/interpreter/primitives/scalars/YuNumber.js +165 -0
- package/dist/interpreter/primitives/sequences/YuArray.d.ts +33 -0
- package/dist/interpreter/primitives/sequences/YuArray.js +150 -0
- package/dist/interpreter/primitives/sequences/YuString.d.ts +40 -0
- package/dist/interpreter/primitives/sequences/YuString.js +130 -0
- package/dist/interpreter/utils.d.ts +23 -10
- package/dist/interpreter/utils.js +25 -30
- package/dist/tester/index.d.ts +3 -3
- package/dist/tester/index.js +39 -28
- package/dist/utils/helpers.d.ts +13 -5
- package/dist/utils/helpers.js +38 -85
- package/package.json +3 -16
- package/src/analyzer/GraphBuilder.ts +143 -142
- package/src/analyzer/index.ts +185 -194
- package/src/analyzer/inspections/functional/functional.ts +121 -121
- package/src/analyzer/inspections/functional/smells.ts +88 -102
- package/src/analyzer/inspections/generic/generic.ts +610 -577
- package/src/analyzer/inspections/generic/smells.ts +355 -365
- package/src/analyzer/inspections/imperative/imperative.ts +104 -101
- package/src/analyzer/inspections/imperative/smells.ts +58 -54
- package/src/analyzer/inspections/logic/logic.ts +84 -90
- package/src/analyzer/inspections/logic/smells.ts +54 -54
- package/src/analyzer/inspections/object/object.ts +295 -264
- package/src/analyzer/inspections/object/smells.ts +130 -144
- package/src/analyzer/utils.ts +115 -109
- package/src/index.ts +3 -3
- package/src/interpreter/components/EnvBuilder.ts +405 -202
- package/src/interpreter/components/EqualityComparer.ts +107 -0
- package/src/interpreter/components/Operations.ts +126 -99
- package/src/interpreter/components/PatternMatcher.ts +375 -475
- package/src/interpreter/components/RuntimeContext.ts +181 -119
- package/src/interpreter/components/TestRunner.ts +223 -151
- package/src/interpreter/components/evaluators/BaseEvaluator.ts +36 -0
- package/src/interpreter/components/evaluators/ExpressionEvaluator.ts +475 -0
- package/src/interpreter/components/evaluators/OperationEvaluator.ts +477 -0
- package/src/interpreter/components/evaluators/PrimitiveEvaluator.ts +80 -0
- package/src/interpreter/components/evaluators/StatementEvaluator.ts +372 -0
- package/src/interpreter/components/evaluators/TestingEvaluator.ts +26 -0
- package/src/interpreter/components/evaluators/index.ts +34 -0
- package/src/interpreter/components/evaluators/utils.ts +64 -0
- package/src/interpreter/components/hooks/YukigoHook.ts +45 -0
- package/src/interpreter/components/kernel/commands.ts +255 -0
- package/src/interpreter/components/kernel/index.ts +222 -0
- package/src/interpreter/components/logic/LogicEngine.ts +509 -519
- package/src/interpreter/components/logic/LogicResolver.ts +209 -858
- package/src/interpreter/components/logic/LogicTerm.ts +477 -0
- package/src/interpreter/components/logic/LogicTranslator.ts +362 -149
- package/src/interpreter/components/runtimes/FunctionRuntime.ts +249 -227
- package/src/interpreter/components/runtimes/LazyRuntime.ts +226 -334
- package/src/interpreter/components/runtimes/ObjectRuntime.ts +262 -224
- package/src/interpreter/errors.ts +68 -47
- package/src/interpreter/index.ts +50 -52
- package/src/interpreter/primitives/YuValue.ts +64 -0
- package/src/interpreter/primitives/capabilities.ts +111 -0
- package/src/interpreter/primitives/entities/LazyList.ts +225 -0
- package/src/interpreter/primitives/entities/LogicResult.ts +133 -0
- package/src/interpreter/primitives/entities/RuntimeClass.ts +70 -0
- package/src/interpreter/primitives/entities/RuntimeFunction.ts +108 -0
- package/src/interpreter/primitives/entities/RuntimeObject.ts +110 -0
- package/src/interpreter/primitives/entities/RuntimePredicate.ts +77 -0
- package/src/interpreter/primitives/index.ts +17 -0
- package/src/interpreter/primitives/scalars/YuBoolean.ts +79 -0
- package/src/interpreter/primitives/scalars/YuChar.ts +94 -0
- package/src/interpreter/primitives/scalars/YuNil.ts +84 -0
- package/src/interpreter/primitives/scalars/YuNumber.ts +187 -0
- package/src/interpreter/primitives/sequences/YuArray.ts +178 -0
- package/src/interpreter/primitives/sequences/YuString.ts +165 -0
- package/src/interpreter/utils.ts +105 -84
- package/src/tester/index.ts +157 -128
- package/src/utils/helpers.ts +113 -169
- package/tests/analyzer/functional.spec.ts +221 -207
- package/tests/analyzer/generic.spec.ts +178 -178
- package/tests/analyzer/helpers.spec.ts +83 -89
- package/tests/analyzer/logic.spec.ts +237 -237
- package/tests/analyzer/oop.spec.ts +320 -323
- package/tests/analyzer/transitive.spec.ts +166 -166
- package/tests/interpreter/EnvBuilder.spec.ts +181 -183
- package/tests/interpreter/FunctionRuntime.spec.ts +224 -223
- package/tests/interpreter/LazyRuntime.spec.ts +227 -225
- package/tests/interpreter/LogicEngine.spec.ts +371 -327
- package/tests/interpreter/LogicSubstitution.spec.ts +90 -80
- package/tests/interpreter/ObjectRuntime.spec.ts +431 -606
- package/tests/interpreter/Operations.spec.ts +312 -220
- package/tests/interpreter/PatternSystem.spec.ts +254 -213
- package/tests/interpreter/Tests.spec.ts +122 -122
- package/tests/interpreter/interpreter.spec.ts +1143 -991
- package/tests/kernel/YukigoKernel.spec.ts +112 -0
- package/tests/tester/Tester.spec.ts +156 -152
- package/tsconfig.build.json +16 -15
- package/tsconfig.json +27 -25
- package/dist/interpreter/components/Visitor.d.ts +0 -70
- package/dist/interpreter/components/Visitor.js +0 -634
- package/dist/interpreter/entities.d.ts +0 -105
- package/dist/interpreter/entities.js +0 -96
- package/dist/interpreter/trampoline.d.ts +0 -17
- package/dist/interpreter/trampoline.js +0 -38
- package/dist/src/analyzer/GraphBuilder.d.ts +0 -30
- package/dist/src/analyzer/GraphBuilder.js +0 -100
- package/dist/src/analyzer/index.d.ts +0 -59
- package/dist/src/analyzer/index.js +0 -152
- package/dist/src/analyzer/inspections/functional/functional.d.ts +0 -44
- package/dist/src/analyzer/inspections/functional/functional.js +0 -149
- package/dist/src/analyzer/inspections/functional/smells.d.ts +0 -16
- package/dist/src/analyzer/inspections/functional/smells.js +0 -98
- package/dist/src/analyzer/inspections/generic/generic.d.ts +0 -178
- package/dist/src/analyzer/inspections/generic/generic.js +0 -604
- package/dist/src/analyzer/inspections/generic/smells.d.ts +0 -61
- package/dist/src/analyzer/inspections/generic/smells.js +0 -349
- package/dist/src/analyzer/inspections/imperative/imperative.d.ts +0 -35
- package/dist/src/analyzer/inspections/imperative/imperative.js +0 -109
- package/dist/src/analyzer/inspections/imperative/smells.d.ts +0 -16
- package/dist/src/analyzer/inspections/imperative/smells.js +0 -58
- package/dist/src/analyzer/inspections/logic/logic.d.ts +0 -32
- package/dist/src/analyzer/inspections/logic/logic.js +0 -96
- package/dist/src/analyzer/inspections/logic/smells.d.ts +0 -15
- package/dist/src/analyzer/inspections/logic/smells.js +0 -60
- package/dist/src/analyzer/inspections/object/object.d.ts +0 -90
- package/dist/src/analyzer/inspections/object/object.js +0 -321
- package/dist/src/analyzer/inspections/object/smells.d.ts +0 -30
- package/dist/src/analyzer/inspections/object/smells.js +0 -135
- package/dist/src/analyzer/utils.d.ts +0 -30
- package/dist/src/analyzer/utils.js +0 -78
- package/dist/src/index.d.ts +0 -4
- package/dist/src/index.js +0 -4
- package/dist/src/interpreter/components/EnvBuilder.d.ts +0 -21
- package/dist/src/interpreter/components/EnvBuilder.js +0 -155
- package/dist/src/interpreter/components/Operations.d.ts +0 -14
- package/dist/src/interpreter/components/Operations.js +0 -84
- package/dist/src/interpreter/components/PatternMatcher.d.ts +0 -73
- package/dist/src/interpreter/components/PatternMatcher.js +0 -358
- package/dist/src/interpreter/components/RuntimeContext.d.ts +0 -35
- package/dist/src/interpreter/components/RuntimeContext.js +0 -93
- package/dist/src/interpreter/components/TestRunner.d.ts +0 -19
- package/dist/src/interpreter/components/TestRunner.js +0 -110
- package/dist/src/interpreter/components/Visitor.d.ts +0 -71
- package/dist/src/interpreter/components/Visitor.js +0 -638
- package/dist/src/interpreter/components/logic/LogicEngine.d.ts +0 -29
- package/dist/src/interpreter/components/logic/LogicEngine.js +0 -259
- package/dist/src/interpreter/components/logic/LogicResolver.d.ts +0 -53
- package/dist/src/interpreter/components/logic/LogicResolver.js +0 -484
- package/dist/src/interpreter/components/logic/LogicTranslator.d.ts +0 -14
- package/dist/src/interpreter/components/logic/LogicTranslator.js +0 -99
- package/dist/src/interpreter/components/runtimes/FunctionRuntime.d.ts +0 -12
- package/dist/src/interpreter/components/runtimes/FunctionRuntime.js +0 -149
- package/dist/src/interpreter/components/runtimes/LazyRuntime.d.ts +0 -19
- package/dist/src/interpreter/components/runtimes/LazyRuntime.js +0 -269
- package/dist/src/interpreter/components/runtimes/ObjectRuntime.d.ts +0 -35
- package/dist/src/interpreter/components/runtimes/ObjectRuntime.js +0 -126
- package/dist/src/interpreter/errors.d.ts +0 -19
- package/dist/src/interpreter/errors.js +0 -36
- package/dist/src/interpreter/index.d.ts +0 -24
- package/dist/src/interpreter/index.js +0 -41
- package/dist/src/interpreter/trampoline.d.ts +0 -17
- package/dist/src/interpreter/trampoline.js +0 -38
- package/dist/src/interpreter/utils.d.ts +0 -11
- package/dist/src/interpreter/utils.js +0 -65
- package/dist/src/tester/index.d.ts +0 -25
- package/dist/src/tester/index.js +0 -113
- package/dist/src/utils/helpers.d.ts +0 -13
- package/dist/src/utils/helpers.js +0 -52
- package/src/interpreter/components/Visitor.ts +0 -1065
- package/src/interpreter/trampoline.ts +0 -71
package/src/interpreter/utils.ts
CHANGED
|
@@ -1,84 +1,105 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
return
|
|
84
|
-
}
|
|
1
|
+
import { ASTNode } from "yukigo-ast";
|
|
2
|
+
import {
|
|
3
|
+
BindCommand,
|
|
4
|
+
ExecutionCommand,
|
|
5
|
+
RaiseCommand,
|
|
6
|
+
StepCommand,
|
|
7
|
+
} from "./components/kernel/commands.js";
|
|
8
|
+
import { RuntimeContext } from "./components/RuntimeContext.js";
|
|
9
|
+
import { YuValue, YuNumber, LazyList, YuBoolean } from "./primitives/index.js";
|
|
10
|
+
import { InterpreterError } from "./errors.js";
|
|
11
|
+
|
|
12
|
+
export const raise = (err: InterpreterError): RaiseCommand =>
|
|
13
|
+
new RaiseCommand(err);
|
|
14
|
+
|
|
15
|
+
export const error = (ctx: string, msg: string): InterpreterError =>
|
|
16
|
+
new InterpreterError(ctx, msg);
|
|
17
|
+
|
|
18
|
+
export const boolean = (condition: boolean) =>
|
|
19
|
+
new StepCommand(new YuBoolean(condition));
|
|
20
|
+
export const number = (num: number) => {
|
|
21
|
+
const rounded = Math.round(num * 100000) / 100000;
|
|
22
|
+
return new StepCommand(new YuNumber(rounded));
|
|
23
|
+
};
|
|
24
|
+
|
|
25
|
+
export const not = (command: ExecutionCommand): ExecutionCommand =>
|
|
26
|
+
new BindCommand(command, (res) => res.asLogic?.not() || boolean(false));
|
|
27
|
+
|
|
28
|
+
export const isTrue = (val: unknown): boolean =>
|
|
29
|
+
val instanceof YuBoolean && val.value;
|
|
30
|
+
|
|
31
|
+
export const compareResult = (
|
|
32
|
+
command: ExecutionCommand,
|
|
33
|
+
predicate: (num: number) => boolean,
|
|
34
|
+
): ExecutionCommand =>
|
|
35
|
+
new BindCommand(command, (res) => boolean(predicate(res.toJSON() as number)));
|
|
36
|
+
|
|
37
|
+
export type NativeExtension = (
|
|
38
|
+
self: YuValue,
|
|
39
|
+
args: YuValue[],
|
|
40
|
+
ctx: RuntimeContext,
|
|
41
|
+
) => ExecutionCommand;
|
|
42
|
+
|
|
43
|
+
export type PrimitiveThunk = () => YuValue;
|
|
44
|
+
|
|
45
|
+
export type Environment = Map<string, YuValue>;
|
|
46
|
+
|
|
47
|
+
export type EnvStack = {
|
|
48
|
+
head: Environment;
|
|
49
|
+
tail: EnvStack | null;
|
|
50
|
+
};
|
|
51
|
+
|
|
52
|
+
export function isArrayOfNumbers(arr: YuValue): boolean {
|
|
53
|
+
const seq = arr.asSequence;
|
|
54
|
+
if (!seq) return false;
|
|
55
|
+
for (const item of seq) {
|
|
56
|
+
if (!item.asNumeric) return false;
|
|
57
|
+
}
|
|
58
|
+
return true;
|
|
59
|
+
}
|
|
60
|
+
|
|
61
|
+
export function generateRange(
|
|
62
|
+
start: number,
|
|
63
|
+
end: number,
|
|
64
|
+
step: number,
|
|
65
|
+
): YuNumber[] {
|
|
66
|
+
if (step === 0) throw new Error("Step cannot be zero in range expression");
|
|
67
|
+
|
|
68
|
+
const result: YuNumber[] = [];
|
|
69
|
+
let current = start;
|
|
70
|
+
|
|
71
|
+
if (step > 0) {
|
|
72
|
+
while (current <= end) {
|
|
73
|
+
result.push(new YuNumber(current));
|
|
74
|
+
current += step;
|
|
75
|
+
}
|
|
76
|
+
} else {
|
|
77
|
+
while (current >= end) {
|
|
78
|
+
result.push(new YuNumber(current));
|
|
79
|
+
current += step;
|
|
80
|
+
}
|
|
81
|
+
}
|
|
82
|
+
|
|
83
|
+
return result;
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
export function createEnv(bindings: [string, YuValue][]): Environment {
|
|
87
|
+
const env = new Map<string, YuValue>();
|
|
88
|
+
for (const [name, value] of bindings) env.set(name, value);
|
|
89
|
+
return env;
|
|
90
|
+
}
|
|
91
|
+
|
|
92
|
+
export function createGlobalEnv(): EnvStack {
|
|
93
|
+
return {
|
|
94
|
+
head: new Map<string, YuValue>(),
|
|
95
|
+
tail: null,
|
|
96
|
+
};
|
|
97
|
+
}
|
|
98
|
+
|
|
99
|
+
export function getYukigoType(val: YuValue): string {
|
|
100
|
+
return val.getType();
|
|
101
|
+
}
|
|
102
|
+
|
|
103
|
+
export function createStream(generator: () => ExecutionCommand): LazyList {
|
|
104
|
+
return new LazyList(() => generator());
|
|
105
|
+
}
|
package/src/tester/index.ts
CHANGED
|
@@ -1,128 +1,157 @@
|
|
|
1
|
-
import {
|
|
2
|
-
AST,
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
import {
|
|
11
|
-
import {
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
|
|
1
|
+
import {
|
|
2
|
+
AST,
|
|
3
|
+
ASTNode,
|
|
4
|
+
Expression,
|
|
5
|
+
Test,
|
|
6
|
+
TestGroup,
|
|
7
|
+
TraverseVisitor,
|
|
8
|
+
VariablePattern,
|
|
9
|
+
} from "yukigo-ast";
|
|
10
|
+
import { Interpreter } from "../interpreter/index.js";
|
|
11
|
+
import { FailedAssert } from "../interpreter/components/TestRunner.js";
|
|
12
|
+
import {
|
|
13
|
+
DefaultConfiguration,
|
|
14
|
+
} from "../interpreter/components/RuntimeContext.js";
|
|
15
|
+
import { UnexpectedNode } from "../interpreter/errors.js";
|
|
16
|
+
import { InterpreterConfig } from "../utils/helpers.js";
|
|
17
|
+
|
|
18
|
+
export type TestStatus = "passed" | "failed" | "error";
|
|
19
|
+
|
|
20
|
+
export interface TestReport {
|
|
21
|
+
name: string;
|
|
22
|
+
status: TestStatus;
|
|
23
|
+
message?: string;
|
|
24
|
+
duration?: number;
|
|
25
|
+
children?: TestReport[];
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
class TestExecutor extends TraverseVisitor {
|
|
29
|
+
public report: TestReport | null = null;
|
|
30
|
+
|
|
31
|
+
constructor(
|
|
32
|
+
private ast: AST,
|
|
33
|
+
private config: Partial<InterpreterConfig>,
|
|
34
|
+
private parentGroupStatements: ASTNode[] = [],
|
|
35
|
+
) {
|
|
36
|
+
super();
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
visitTest(node: Test): void {
|
|
40
|
+
const interpreter = new Interpreter(this.ast, this.config);
|
|
41
|
+
for (const stmt of this.parentGroupStatements) {
|
|
42
|
+
if (!(stmt instanceof Test) && !(stmt instanceof TestGroup)) {
|
|
43
|
+
interpreter.evaluate(stmt);
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
const name = this.evaluateName(interpreter, node.name);
|
|
48
|
+
const start = Date.now();
|
|
49
|
+
|
|
50
|
+
try {
|
|
51
|
+
interpreter
|
|
52
|
+
.getContext()
|
|
53
|
+
.dispatchHook("beforeEachTest", interpreter, node);
|
|
54
|
+
|
|
55
|
+
interpreter.evaluate(node);
|
|
56
|
+
|
|
57
|
+
interpreter
|
|
58
|
+
.getContext()
|
|
59
|
+
.dispatchHook("afterEachTest", interpreter, node);
|
|
60
|
+
|
|
61
|
+
this.report = {
|
|
62
|
+
name,
|
|
63
|
+
status: "passed",
|
|
64
|
+
duration: Date.now() - start,
|
|
65
|
+
};
|
|
66
|
+
} catch (error) {
|
|
67
|
+
this.report = this.handleError(name, start, error);
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
|
|
71
|
+
visitTestGroup(node: TestGroup): void {
|
|
72
|
+
const interpreter = new Interpreter(this.ast, this.config);
|
|
73
|
+
const name = this.evaluateName(interpreter, node.name);
|
|
74
|
+
const start = Date.now();
|
|
75
|
+
|
|
76
|
+
try {
|
|
77
|
+
const children: TestReport[] = [];
|
|
78
|
+
const nonTestStmts = node.group.statements.filter(
|
|
79
|
+
(stmt) => !(stmt instanceof Test) && !(stmt instanceof TestGroup),
|
|
80
|
+
);
|
|
81
|
+
|
|
82
|
+
for (const stmt of node.group.statements) {
|
|
83
|
+
if (stmt instanceof Test || stmt instanceof TestGroup) {
|
|
84
|
+
const visitor = new TestExecutor(
|
|
85
|
+
this.ast,
|
|
86
|
+
this.config,
|
|
87
|
+
[...this.parentGroupStatements, ...nonTestStmts],
|
|
88
|
+
);
|
|
89
|
+
stmt.accept(visitor);
|
|
90
|
+
if (visitor.report) children.push(visitor.report);
|
|
91
|
+
}
|
|
92
|
+
}
|
|
93
|
+
|
|
94
|
+
const anyFailed = children.some((c) => c.status !== "passed");
|
|
95
|
+
this.report = {
|
|
96
|
+
name,
|
|
97
|
+
status: anyFailed ? "failed" : "passed",
|
|
98
|
+
duration: Date.now() - start,
|
|
99
|
+
children,
|
|
100
|
+
};
|
|
101
|
+
} catch (error) {
|
|
102
|
+
this.report = this.handleError(name, start, error);
|
|
103
|
+
}
|
|
104
|
+
}
|
|
105
|
+
|
|
106
|
+
private evaluateName(interpreter: Interpreter, nameExpr: Expression): string {
|
|
107
|
+
try {
|
|
108
|
+
return String(interpreter.evaluate(nameExpr));
|
|
109
|
+
} catch {
|
|
110
|
+
return "Unknown Test";
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
|
|
114
|
+
private handleError(name: string, start: number, error: unknown): TestReport {
|
|
115
|
+
const duration = Date.now() - start;
|
|
116
|
+
if (error instanceof FailedAssert)
|
|
117
|
+
return { name, status: "failed", message: error.message, duration };
|
|
118
|
+
|
|
119
|
+
console.error(error);
|
|
120
|
+
const message = error instanceof Error ? error.message : String(error);
|
|
121
|
+
return { name, status: "error", message, duration };
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
public fallback(node: ASTNode): void {
|
|
125
|
+
throw new UnexpectedNode(node.constructor.name, "TestExecutor");
|
|
126
|
+
}
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
/**
|
|
130
|
+
* The Tester class provides a high-level API for executing test nodes
|
|
131
|
+
* (Tests and TestGroups) within an AST and generating a detailed report.
|
|
132
|
+
*/
|
|
133
|
+
export class Tester {
|
|
134
|
+
constructor(
|
|
135
|
+
private ast: AST,
|
|
136
|
+
private config: Partial<InterpreterConfig> = DefaultConfiguration,
|
|
137
|
+
) {}
|
|
138
|
+
|
|
139
|
+
/**
|
|
140
|
+
* Executes all Test and TestGroup nodes found at the top level of the provided AST.
|
|
141
|
+
* @param nodes The AST (or subset of nodes) to scan for tests.
|
|
142
|
+
* @returns An array of TestReport objects for each top-level test/group.
|
|
143
|
+
*/
|
|
144
|
+
public test(nodes: AST): TestReport[] {
|
|
145
|
+
const reports: TestReport[] = [];
|
|
146
|
+
|
|
147
|
+
for (const node of nodes) {
|
|
148
|
+
if (!node.is(Test) && !node.is(TestGroup)) continue;
|
|
149
|
+
|
|
150
|
+
const visitor = new TestExecutor(this.ast, this.config);
|
|
151
|
+
node.accept(visitor);
|
|
152
|
+
|
|
153
|
+
if (visitor.report) reports.push(visitor.report);
|
|
154
|
+
}
|
|
155
|
+
return reports;
|
|
156
|
+
}
|
|
157
|
+
}
|