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.
Files changed (266) hide show
  1. package/.mocharc.json +3 -3
  2. package/CHANGELOG.md +105 -40
  3. package/README.md +193 -193
  4. package/dist/analyzer/GraphBuilder.d.ts +1 -0
  5. package/dist/analyzer/GraphBuilder.js +2 -1
  6. package/dist/analyzer/index.d.ts +0 -7
  7. package/dist/analyzer/index.js +3 -3
  8. package/dist/analyzer/inspections/functional/functional.d.ts +1 -1
  9. package/dist/analyzer/inspections/functional/functional.js +1 -1
  10. package/dist/analyzer/inspections/functional/smells.d.ts +3 -3
  11. package/dist/analyzer/inspections/functional/smells.js +27 -35
  12. package/dist/analyzer/inspections/generic/generic.d.ts +22 -14
  13. package/dist/analyzer/inspections/generic/generic.js +82 -60
  14. package/dist/analyzer/inspections/generic/smells.d.ts +2 -0
  15. package/dist/analyzer/inspections/generic/smells.js +55 -64
  16. package/dist/analyzer/inspections/imperative/imperative.d.ts +3 -3
  17. package/dist/analyzer/inspections/imperative/imperative.js +3 -3
  18. package/dist/analyzer/inspections/imperative/smells.d.ts +1 -0
  19. package/dist/analyzer/inspections/imperative/smells.js +8 -5
  20. package/dist/analyzer/inspections/logic/logic.d.ts +8 -8
  21. package/dist/analyzer/inspections/logic/logic.js +5 -5
  22. package/dist/analyzer/inspections/logic/smells.js +2 -2
  23. package/dist/analyzer/inspections/object/object.d.ts +5 -5
  24. package/dist/analyzer/inspections/object/object.js +22 -21
  25. package/dist/analyzer/inspections/object/smells.js +11 -23
  26. package/dist/analyzer/utils.d.ts +6 -2
  27. package/dist/analyzer/utils.js +6 -2
  28. package/dist/interpreter/components/EnvBuilder.d.ts +20 -1
  29. package/dist/interpreter/components/EnvBuilder.js +211 -66
  30. package/dist/interpreter/components/EqualityComparer.d.ts +15 -0
  31. package/dist/interpreter/components/EqualityComparer.js +69 -0
  32. package/dist/interpreter/components/Operations.d.ts +17 -14
  33. package/dist/interpreter/components/Operations.js +61 -62
  34. package/dist/interpreter/components/PatternMatcher.d.ts +19 -58
  35. package/dist/interpreter/components/PatternMatcher.js +185 -286
  36. package/dist/interpreter/components/RuntimeContext.d.ts +24 -15
  37. package/dist/interpreter/components/RuntimeContext.js +43 -4
  38. package/dist/interpreter/components/TestRunner.d.ts +15 -13
  39. package/dist/interpreter/components/TestRunner.js +86 -53
  40. package/dist/interpreter/components/evaluators/BaseEvaluator.d.ts +19 -0
  41. package/dist/interpreter/components/evaluators/BaseEvaluator.js +20 -0
  42. package/dist/interpreter/components/evaluators/ExpressionEvaluator.d.ts +34 -0
  43. package/dist/interpreter/components/evaluators/ExpressionEvaluator.js +298 -0
  44. package/dist/interpreter/components/evaluators/OperationEvaluator.d.ts +25 -0
  45. package/dist/interpreter/components/evaluators/OperationEvaluator.js +226 -0
  46. package/dist/interpreter/components/evaluators/PrimitiveEvaluator.d.ts +19 -0
  47. package/dist/interpreter/components/evaluators/PrimitiveEvaluator.js +50 -0
  48. package/dist/interpreter/components/evaluators/StatementEvaluator.d.ts +28 -0
  49. package/dist/interpreter/components/evaluators/StatementEvaluator.js +240 -0
  50. package/dist/interpreter/components/evaluators/TestingEvaluator.d.ts +15 -0
  51. package/dist/interpreter/components/evaluators/TestingEvaluator.js +14 -0
  52. package/dist/interpreter/components/evaluators/index.d.ts +110 -0
  53. package/dist/interpreter/components/evaluators/index.js +21 -0
  54. package/dist/interpreter/components/evaluators/utils.d.ts +7 -0
  55. package/dist/interpreter/components/evaluators/utils.js +50 -0
  56. package/dist/interpreter/components/hooks/YukigoHook.d.ts +27 -0
  57. package/dist/interpreter/components/hooks/YukigoHook.js +1 -0
  58. package/dist/interpreter/components/kernel/commands.d.ts +122 -0
  59. package/dist/interpreter/components/kernel/commands.js +203 -0
  60. package/dist/interpreter/components/kernel/index.d.ts +51 -0
  61. package/dist/interpreter/components/kernel/index.js +176 -0
  62. package/dist/interpreter/components/logic/LogicEngine.d.ts +26 -23
  63. package/dist/interpreter/components/logic/LogicEngine.js +234 -221
  64. package/dist/interpreter/components/logic/LogicResolver.d.ts +22 -51
  65. package/dist/interpreter/components/logic/LogicResolver.js +73 -440
  66. package/dist/interpreter/components/logic/LogicTerm.d.ts +104 -0
  67. package/dist/interpreter/components/logic/LogicTerm.js +423 -0
  68. package/dist/interpreter/components/logic/LogicTranslator.d.ts +25 -9
  69. package/dist/interpreter/components/logic/LogicTranslator.js +211 -74
  70. package/dist/interpreter/components/runtimes/FunctionRuntime.d.ts +6 -4
  71. package/dist/interpreter/components/runtimes/FunctionRuntime.js +82 -84
  72. package/dist/interpreter/components/runtimes/LazyRuntime.d.ts +13 -14
  73. package/dist/interpreter/components/runtimes/LazyRuntime.js +112 -239
  74. package/dist/interpreter/components/runtimes/ObjectRuntime.d.ts +17 -14
  75. package/dist/interpreter/components/runtimes/ObjectRuntime.js +105 -74
  76. package/dist/interpreter/errors.d.ts +10 -0
  77. package/dist/interpreter/errors.js +17 -0
  78. package/dist/interpreter/index.d.ts +9 -5
  79. package/dist/interpreter/index.js +11 -13
  80. package/dist/interpreter/primitives/YuValue.d.ts +21 -0
  81. package/dist/interpreter/primitives/YuValue.js +40 -0
  82. package/dist/interpreter/primitives/capabilities.d.ts +90 -0
  83. package/dist/interpreter/primitives/capabilities.js +1 -0
  84. package/dist/interpreter/primitives/entities/LazyList.d.ts +48 -0
  85. package/dist/interpreter/primitives/entities/LazyList.js +164 -0
  86. package/dist/interpreter/primitives/entities/LogicResult.d.ts +51 -0
  87. package/dist/interpreter/primitives/entities/LogicResult.js +101 -0
  88. package/dist/interpreter/primitives/entities/RuntimeClass.d.ts +24 -0
  89. package/dist/interpreter/primitives/entities/RuntimeClass.js +57 -0
  90. package/dist/interpreter/primitives/entities/RuntimeFunction.d.ts +40 -0
  91. package/dist/interpreter/primitives/entities/RuntimeFunction.js +73 -0
  92. package/dist/interpreter/primitives/entities/RuntimeObject.d.ts +27 -0
  93. package/dist/interpreter/primitives/entities/RuntimeObject.js +82 -0
  94. package/dist/interpreter/primitives/entities/RuntimePredicate.d.ts +19 -0
  95. package/dist/interpreter/primitives/entities/RuntimePredicate.js +59 -0
  96. package/dist/interpreter/primitives/index.d.ts +14 -0
  97. package/dist/interpreter/primitives/index.js +14 -0
  98. package/dist/interpreter/primitives/scalars/YuBoolean.d.ts +24 -0
  99. package/dist/interpreter/primitives/scalars/YuBoolean.js +69 -0
  100. package/dist/interpreter/primitives/scalars/YuChar.d.ts +28 -0
  101. package/dist/interpreter/primitives/scalars/YuChar.js +78 -0
  102. package/dist/interpreter/primitives/scalars/YuNil.d.ts +25 -0
  103. package/dist/interpreter/primitives/scalars/YuNil.js +73 -0
  104. package/dist/interpreter/primitives/scalars/YuNumber.d.ts +49 -0
  105. package/dist/interpreter/primitives/scalars/YuNumber.js +165 -0
  106. package/dist/interpreter/primitives/sequences/YuArray.d.ts +33 -0
  107. package/dist/interpreter/primitives/sequences/YuArray.js +150 -0
  108. package/dist/interpreter/primitives/sequences/YuString.d.ts +40 -0
  109. package/dist/interpreter/primitives/sequences/YuString.js +130 -0
  110. package/dist/interpreter/utils.d.ts +23 -10
  111. package/dist/interpreter/utils.js +25 -30
  112. package/dist/tester/index.d.ts +3 -3
  113. package/dist/tester/index.js +39 -28
  114. package/dist/utils/helpers.d.ts +13 -5
  115. package/dist/utils/helpers.js +38 -85
  116. package/package.json +3 -16
  117. package/src/analyzer/GraphBuilder.ts +143 -142
  118. package/src/analyzer/index.ts +185 -194
  119. package/src/analyzer/inspections/functional/functional.ts +121 -121
  120. package/src/analyzer/inspections/functional/smells.ts +88 -102
  121. package/src/analyzer/inspections/generic/generic.ts +610 -577
  122. package/src/analyzer/inspections/generic/smells.ts +355 -365
  123. package/src/analyzer/inspections/imperative/imperative.ts +104 -101
  124. package/src/analyzer/inspections/imperative/smells.ts +58 -54
  125. package/src/analyzer/inspections/logic/logic.ts +84 -90
  126. package/src/analyzer/inspections/logic/smells.ts +54 -54
  127. package/src/analyzer/inspections/object/object.ts +295 -264
  128. package/src/analyzer/inspections/object/smells.ts +130 -144
  129. package/src/analyzer/utils.ts +115 -109
  130. package/src/index.ts +3 -3
  131. package/src/interpreter/components/EnvBuilder.ts +405 -202
  132. package/src/interpreter/components/EqualityComparer.ts +107 -0
  133. package/src/interpreter/components/Operations.ts +126 -99
  134. package/src/interpreter/components/PatternMatcher.ts +375 -475
  135. package/src/interpreter/components/RuntimeContext.ts +181 -119
  136. package/src/interpreter/components/TestRunner.ts +223 -151
  137. package/src/interpreter/components/evaluators/BaseEvaluator.ts +36 -0
  138. package/src/interpreter/components/evaluators/ExpressionEvaluator.ts +475 -0
  139. package/src/interpreter/components/evaluators/OperationEvaluator.ts +477 -0
  140. package/src/interpreter/components/evaluators/PrimitiveEvaluator.ts +80 -0
  141. package/src/interpreter/components/evaluators/StatementEvaluator.ts +372 -0
  142. package/src/interpreter/components/evaluators/TestingEvaluator.ts +26 -0
  143. package/src/interpreter/components/evaluators/index.ts +34 -0
  144. package/src/interpreter/components/evaluators/utils.ts +64 -0
  145. package/src/interpreter/components/hooks/YukigoHook.ts +45 -0
  146. package/src/interpreter/components/kernel/commands.ts +255 -0
  147. package/src/interpreter/components/kernel/index.ts +222 -0
  148. package/src/interpreter/components/logic/LogicEngine.ts +509 -519
  149. package/src/interpreter/components/logic/LogicResolver.ts +209 -858
  150. package/src/interpreter/components/logic/LogicTerm.ts +477 -0
  151. package/src/interpreter/components/logic/LogicTranslator.ts +362 -149
  152. package/src/interpreter/components/runtimes/FunctionRuntime.ts +249 -227
  153. package/src/interpreter/components/runtimes/LazyRuntime.ts +226 -334
  154. package/src/interpreter/components/runtimes/ObjectRuntime.ts +262 -224
  155. package/src/interpreter/errors.ts +68 -47
  156. package/src/interpreter/index.ts +50 -52
  157. package/src/interpreter/primitives/YuValue.ts +64 -0
  158. package/src/interpreter/primitives/capabilities.ts +111 -0
  159. package/src/interpreter/primitives/entities/LazyList.ts +225 -0
  160. package/src/interpreter/primitives/entities/LogicResult.ts +133 -0
  161. package/src/interpreter/primitives/entities/RuntimeClass.ts +70 -0
  162. package/src/interpreter/primitives/entities/RuntimeFunction.ts +108 -0
  163. package/src/interpreter/primitives/entities/RuntimeObject.ts +110 -0
  164. package/src/interpreter/primitives/entities/RuntimePredicate.ts +77 -0
  165. package/src/interpreter/primitives/index.ts +17 -0
  166. package/src/interpreter/primitives/scalars/YuBoolean.ts +79 -0
  167. package/src/interpreter/primitives/scalars/YuChar.ts +94 -0
  168. package/src/interpreter/primitives/scalars/YuNil.ts +84 -0
  169. package/src/interpreter/primitives/scalars/YuNumber.ts +187 -0
  170. package/src/interpreter/primitives/sequences/YuArray.ts +178 -0
  171. package/src/interpreter/primitives/sequences/YuString.ts +165 -0
  172. package/src/interpreter/utils.ts +105 -84
  173. package/src/tester/index.ts +157 -128
  174. package/src/utils/helpers.ts +113 -169
  175. package/tests/analyzer/functional.spec.ts +221 -207
  176. package/tests/analyzer/generic.spec.ts +178 -178
  177. package/tests/analyzer/helpers.spec.ts +83 -89
  178. package/tests/analyzer/logic.spec.ts +237 -237
  179. package/tests/analyzer/oop.spec.ts +320 -323
  180. package/tests/analyzer/transitive.spec.ts +166 -166
  181. package/tests/interpreter/EnvBuilder.spec.ts +181 -183
  182. package/tests/interpreter/FunctionRuntime.spec.ts +224 -223
  183. package/tests/interpreter/LazyRuntime.spec.ts +227 -225
  184. package/tests/interpreter/LogicEngine.spec.ts +371 -327
  185. package/tests/interpreter/LogicSubstitution.spec.ts +90 -80
  186. package/tests/interpreter/ObjectRuntime.spec.ts +431 -606
  187. package/tests/interpreter/Operations.spec.ts +312 -220
  188. package/tests/interpreter/PatternSystem.spec.ts +254 -213
  189. package/tests/interpreter/Tests.spec.ts +122 -122
  190. package/tests/interpreter/interpreter.spec.ts +1143 -991
  191. package/tests/kernel/YukigoKernel.spec.ts +112 -0
  192. package/tests/tester/Tester.spec.ts +156 -152
  193. package/tsconfig.build.json +16 -15
  194. package/tsconfig.json +27 -25
  195. package/dist/interpreter/components/Visitor.d.ts +0 -70
  196. package/dist/interpreter/components/Visitor.js +0 -634
  197. package/dist/interpreter/entities.d.ts +0 -105
  198. package/dist/interpreter/entities.js +0 -96
  199. package/dist/interpreter/trampoline.d.ts +0 -17
  200. package/dist/interpreter/trampoline.js +0 -38
  201. package/dist/src/analyzer/GraphBuilder.d.ts +0 -30
  202. package/dist/src/analyzer/GraphBuilder.js +0 -100
  203. package/dist/src/analyzer/index.d.ts +0 -59
  204. package/dist/src/analyzer/index.js +0 -152
  205. package/dist/src/analyzer/inspections/functional/functional.d.ts +0 -44
  206. package/dist/src/analyzer/inspections/functional/functional.js +0 -149
  207. package/dist/src/analyzer/inspections/functional/smells.d.ts +0 -16
  208. package/dist/src/analyzer/inspections/functional/smells.js +0 -98
  209. package/dist/src/analyzer/inspections/generic/generic.d.ts +0 -178
  210. package/dist/src/analyzer/inspections/generic/generic.js +0 -604
  211. package/dist/src/analyzer/inspections/generic/smells.d.ts +0 -61
  212. package/dist/src/analyzer/inspections/generic/smells.js +0 -349
  213. package/dist/src/analyzer/inspections/imperative/imperative.d.ts +0 -35
  214. package/dist/src/analyzer/inspections/imperative/imperative.js +0 -109
  215. package/dist/src/analyzer/inspections/imperative/smells.d.ts +0 -16
  216. package/dist/src/analyzer/inspections/imperative/smells.js +0 -58
  217. package/dist/src/analyzer/inspections/logic/logic.d.ts +0 -32
  218. package/dist/src/analyzer/inspections/logic/logic.js +0 -96
  219. package/dist/src/analyzer/inspections/logic/smells.d.ts +0 -15
  220. package/dist/src/analyzer/inspections/logic/smells.js +0 -60
  221. package/dist/src/analyzer/inspections/object/object.d.ts +0 -90
  222. package/dist/src/analyzer/inspections/object/object.js +0 -321
  223. package/dist/src/analyzer/inspections/object/smells.d.ts +0 -30
  224. package/dist/src/analyzer/inspections/object/smells.js +0 -135
  225. package/dist/src/analyzer/utils.d.ts +0 -30
  226. package/dist/src/analyzer/utils.js +0 -78
  227. package/dist/src/index.d.ts +0 -4
  228. package/dist/src/index.js +0 -4
  229. package/dist/src/interpreter/components/EnvBuilder.d.ts +0 -21
  230. package/dist/src/interpreter/components/EnvBuilder.js +0 -155
  231. package/dist/src/interpreter/components/Operations.d.ts +0 -14
  232. package/dist/src/interpreter/components/Operations.js +0 -84
  233. package/dist/src/interpreter/components/PatternMatcher.d.ts +0 -73
  234. package/dist/src/interpreter/components/PatternMatcher.js +0 -358
  235. package/dist/src/interpreter/components/RuntimeContext.d.ts +0 -35
  236. package/dist/src/interpreter/components/RuntimeContext.js +0 -93
  237. package/dist/src/interpreter/components/TestRunner.d.ts +0 -19
  238. package/dist/src/interpreter/components/TestRunner.js +0 -110
  239. package/dist/src/interpreter/components/Visitor.d.ts +0 -71
  240. package/dist/src/interpreter/components/Visitor.js +0 -638
  241. package/dist/src/interpreter/components/logic/LogicEngine.d.ts +0 -29
  242. package/dist/src/interpreter/components/logic/LogicEngine.js +0 -259
  243. package/dist/src/interpreter/components/logic/LogicResolver.d.ts +0 -53
  244. package/dist/src/interpreter/components/logic/LogicResolver.js +0 -484
  245. package/dist/src/interpreter/components/logic/LogicTranslator.d.ts +0 -14
  246. package/dist/src/interpreter/components/logic/LogicTranslator.js +0 -99
  247. package/dist/src/interpreter/components/runtimes/FunctionRuntime.d.ts +0 -12
  248. package/dist/src/interpreter/components/runtimes/FunctionRuntime.js +0 -149
  249. package/dist/src/interpreter/components/runtimes/LazyRuntime.d.ts +0 -19
  250. package/dist/src/interpreter/components/runtimes/LazyRuntime.js +0 -269
  251. package/dist/src/interpreter/components/runtimes/ObjectRuntime.d.ts +0 -35
  252. package/dist/src/interpreter/components/runtimes/ObjectRuntime.js +0 -126
  253. package/dist/src/interpreter/errors.d.ts +0 -19
  254. package/dist/src/interpreter/errors.js +0 -36
  255. package/dist/src/interpreter/index.d.ts +0 -24
  256. package/dist/src/interpreter/index.js +0 -41
  257. package/dist/src/interpreter/trampoline.d.ts +0 -17
  258. package/dist/src/interpreter/trampoline.js +0 -38
  259. package/dist/src/interpreter/utils.d.ts +0 -11
  260. package/dist/src/interpreter/utils.js +0 -65
  261. package/dist/src/tester/index.d.ts +0 -25
  262. package/dist/src/tester/index.js +0 -113
  263. package/dist/src/utils/helpers.d.ts +0 -13
  264. package/dist/src/utils/helpers.js +0 -52
  265. package/src/interpreter/components/Visitor.ts +0 -1065
  266. package/src/interpreter/trampoline.ts +0 -71
@@ -1,84 +1,105 @@
1
- import {
2
- Expression,
3
- LazyList,
4
- PrimitiveValue,
5
- Environment,
6
- EnvStack,
7
- ASTNode,
8
- isRuntimeFunction,
9
- isRuntimeObject,
10
- isLazyList,
11
- isRuntimeClass,
12
- isRuntimePredicate,
13
- } from "yukigo-ast";
14
- import { UnboundVariable } from "./errors.js";
15
- import { Continuation, Thunk } from "./trampoline.js";
16
-
17
- export interface ExpressionEvaluator {
18
- evaluate<R = PrimitiveValue>(node: ASTNode, cont: Continuation<PrimitiveValue, R>): Thunk<R>;
19
- }
20
-
21
- export function createStream(
22
- generator: () => Generator<PrimitiveValue, void, unknown>,
23
- ): LazyList {
24
- return {
25
- type: "LazyList",
26
- generator,
27
- };
28
- }
29
-
30
- export function isArrayOfNumbers(arr: PrimitiveValue[]): arr is number[] {
31
- for (const item of arr) if (typeof item !== "number") return false;
32
- return true;
33
- }
34
-
35
- export function generateRange(
36
- start: number,
37
- end: number,
38
- step: number,
39
- ): number[] {
40
- if (step === 0) throw new Error("Step cannot be zero in range expression");
41
-
42
- const result: number[] = [];
43
- let current = start;
44
-
45
- if (step > 0) {
46
- while (current <= end) {
47
- result.push(current);
48
- current += step;
49
- }
50
- } else {
51
- while (current >= end) {
52
- result.push(current);
53
- current += step;
54
- }
55
- }
56
-
57
- return result;
58
- }
59
-
60
- export function createEnv(bindings: [string, PrimitiveValue][]): Environment {
61
- const env = new Map();
62
- for (const [name, value] of bindings) env.set(name, value);
63
- return env;
64
- }
65
-
66
- export function createGlobalEnv(): EnvStack {
67
- return {
68
- head: new Map<string, PrimitiveValue>(),
69
- tail: null,
70
- };
71
- }
72
-
73
- export function getYukigoType(val: PrimitiveValue): string {
74
- if (val === null || val === undefined) return "YuNil";
75
- if (typeof val === "number") return "YuNumber";
76
- if (typeof val === "boolean") return "YuBoolean";
77
- if (typeof val === "string") return val.length === 1 ? "YuChar" : "YuString";
78
- if (Array.isArray(val) || isLazyList(val)) return "YuList";
79
- if (isRuntimeFunction(val)) return "YuFunction";
80
- if (isRuntimeObject(val)) return "YuObject";
81
- if (isRuntimeClass(val)) return "YuClass";
82
- if (isRuntimePredicate(val)) return "YuPredicate";
83
- return "YuUnknown";
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
+ }
@@ -1,128 +1,157 @@
1
- import {
2
- AST,
3
- Expression,
4
- Test,
5
- TestGroup,
6
- TraverseVisitor,
7
- VariablePattern,
8
- } from "yukigo-ast";
9
- import { Interpreter } from "../interpreter/index.js";
10
- import { FailedAssert } from "../interpreter/components/TestRunner.js";
11
- import { InterpreterConfig } from "../interpreter/components/RuntimeContext.js";
12
-
13
- export type TestStatus = "passed" | "failed" | "error";
14
-
15
- export interface TestReport {
16
- name: string;
17
- status: TestStatus;
18
- message?: string;
19
- duration?: number;
20
- children?: TestReport[];
21
- }
22
-
23
- class TestExecutor extends TraverseVisitor {
24
- public report: TestReport | null = null;
25
- constructor(private interpreter: Interpreter) {
26
- super();
27
- }
28
-
29
- visitTest(node: Test): void {
30
- const name = this.evaluateName(node.name);
31
- const start = Date.now();
32
-
33
- try {
34
- //this.bindParameters(node);
35
- this.interpreter.evaluate(node);
36
- this.report = {
37
- name,
38
- status: "passed",
39
- duration: Date.now() - start,
40
- };
41
- } catch (error) {
42
- this.report = this.handleError(name, start, error);
43
- }
44
- }
45
-
46
- /* private bindParameters(node: Test): void {
47
- if (!node.args || node.args.length === 0) return;
48
-
49
- for (const pattern of node.args) {
50
- if (pattern instanceof VariablePattern) {
51
- this.interpreter.define(pattern.name.value, null);
52
- }
53
- }
54
- } */
55
-
56
- visitTestGroup(node: TestGroup): void {
57
- const name = this.evaluateName(node.name);
58
- const start = Date.now();
59
-
60
- try {
61
- const children: TestReport[] = [];
62
- for (const stmt of node.group.statements) {
63
- if (stmt instanceof Test || stmt instanceof TestGroup) {
64
- const visitor = new TestExecutor(this.interpreter);
65
- stmt.accept(visitor);
66
- if (visitor.report) children.push(visitor.report);
67
- } else {
68
- this.interpreter.evaluate(stmt);
69
- }
70
- }
71
- const anyFailed = children.some((c) => c.status !== "passed");
72
- this.report = {
73
- name,
74
- status: anyFailed ? "failed" : "passed",
75
- duration: Date.now() - start,
76
- children,
77
- };
78
- } catch (error) {
79
- this.report = this.handleError(name, start, error);
80
- }
81
- }
82
-
83
- private evaluateName(nameExpr: Expression): string {
84
- try {
85
- return String(this.interpreter.evaluate(nameExpr));
86
- } catch {
87
- return "Unknown Test";
88
- }
89
- }
90
-
91
- private handleError(name: string, start: number, error: unknown): TestReport {
92
- const duration = Date.now() - start;
93
- if (error instanceof FailedAssert)
94
- return { name, status: "failed", message: error.message, duration };
95
-
96
- const message = error instanceof Error ? error.message : String(error);
97
- return { name, status: "error", message, duration };
98
- }
99
- }
100
-
101
- /**
102
- * The Tester class provides a high-level API for executing test nodes
103
- * (Tests and TestGroups) within an AST and generating a detailed report.
104
- */
105
- export class Tester {
106
- constructor(
107
- private ast: AST,
108
- private config?: InterpreterConfig,
109
- ) {}
110
-
111
- /**
112
- * Executes all Test and TestGroup nodes found at the top level of the provided AST.
113
- * @param nodes The AST (or subset of nodes) to scan for tests.
114
- * @returns An array of TestReport objects for each top-level test/group.
115
- */
116
- public test(nodes: AST): TestReport[] {
117
- const reports: TestReport[] = [];
118
- for (const node of nodes) {
119
- if (node instanceof Test || node instanceof TestGroup) {
120
- const interpreter = new Interpreter(this.ast, this.config);
121
- const visitor = new TestExecutor(interpreter);
122
- node.accept(visitor);
123
- reports.push(visitor.report);
124
- }
125
- }
126
- return reports;
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
+ }