@nudojs/cli 0.2.0 → 0.3.0
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/README.md +34 -0
- package/package.json +24 -4
- package/src/abs-route.ts +273 -0
- package/src/builtins/builtin-intl.ts +17 -0
- package/src/builtins/builtin-map.ts +174 -0
- package/src/builtins/builtin-promise.ts +116 -0
- package/src/builtins/builtin-prototype.ts +279 -0
- package/src/builtins/builtin-reflect.ts +30 -0
- package/src/builtins/builtin-regexp.ts +34 -0
- package/src/builtins/builtin-set.ts +131 -0
- package/src/builtins/builtin-static.ts +260 -0
- package/src/builtins/builtin-symbol.ts +16 -0
- package/src/builtins/builtin-url.ts +58 -0
- package/src/builtins/builtin-weak.ts +22 -0
- package/src/builtins/builtin-web.ts +111 -0
- package/src/config.ts +32 -0
- package/src/env-loader.ts +174 -0
- package/src/eval-binary.ts +113 -0
- package/src/evaluator-api.ts +23 -0
- package/src/evaluator.ts +3502 -285
- package/src/index.ts +922 -180
- package/src/narrowing.ts +237 -15
- package/src/phi-from-test.ts +42 -0
- package/src/resolve-npm.ts +63 -0
- package/src/run-test.ts +92 -0
- package/src/term-registry.ts +96 -0
- package/CHANGELOG.md +0 -29
- package/dist/chunk-LGWVGEMB.js +0 -1817
- package/dist/evaluator-api.d.ts +0 -59
- package/dist/evaluator-api.js +0 -30
- package/dist/index.d.ts +0 -2
- package/dist/index.js +0 -3570
- package/src/__tests__/evaluator-loops.test.ts +0 -163
- package/src/__tests__/evaluator-phase2.test.ts +0 -564
- package/src/__tests__/evaluator-phase3.test.ts +0 -513
- package/src/__tests__/evaluator-refined.test.ts +0 -121
- package/src/__tests__/evaluator-string-methods.test.ts +0 -151
- package/src/__tests__/evaluator.test.ts +0 -243
- package/src/__tests__/narrowing.test.ts +0 -82
- package/tsconfig.json +0 -9
package/dist/evaluator-api.d.ts
DELETED
|
@@ -1,59 +0,0 @@
|
|
|
1
|
-
import { Node } from '@babel/types';
|
|
2
|
-
import { Environment, TypeValue } from '@nudojs/core';
|
|
3
|
-
|
|
4
|
-
type SourceRange = {
|
|
5
|
-
start: {
|
|
6
|
-
line: number;
|
|
7
|
-
column: number;
|
|
8
|
-
};
|
|
9
|
-
end: {
|
|
10
|
-
line: number;
|
|
11
|
-
column: number;
|
|
12
|
-
};
|
|
13
|
-
};
|
|
14
|
-
declare const RETURN_SIGNAL: unique symbol;
|
|
15
|
-
declare const BRANCH_SIGNAL: unique symbol;
|
|
16
|
-
declare const THROW_SIGNAL: unique symbol;
|
|
17
|
-
type ReturnSignal = {
|
|
18
|
-
readonly [RETURN_SIGNAL]: true;
|
|
19
|
-
readonly value: TypeValue;
|
|
20
|
-
};
|
|
21
|
-
type BranchSignal = {
|
|
22
|
-
readonly [BRANCH_SIGNAL]: true;
|
|
23
|
-
readonly returnedValue: TypeValue;
|
|
24
|
-
readonly fallthroughEnv: Environment;
|
|
25
|
-
};
|
|
26
|
-
type ThrowSignal = {
|
|
27
|
-
readonly [THROW_SIGNAL]: true;
|
|
28
|
-
readonly thrown: TypeValue;
|
|
29
|
-
readonly loc?: SourceRange;
|
|
30
|
-
};
|
|
31
|
-
type EvalResult = TypeValue | ReturnSignal | BranchSignal | ThrowSignal;
|
|
32
|
-
declare function resetMemo(): void;
|
|
33
|
-
declare function setModuleResolver(resolver: ((source: string, fromDir: string) => {
|
|
34
|
-
ast: Node;
|
|
35
|
-
filePath: string;
|
|
36
|
-
} | null) | null): void;
|
|
37
|
-
declare function setSampleCount(count: number): void;
|
|
38
|
-
declare function setMaxConcreteIter(count: number): void;
|
|
39
|
-
declare function setNodeTypeCollector(collector: ((node: Node, tv: TypeValue) => void) | null): void;
|
|
40
|
-
declare function evaluate(node: Node, env: Environment): EvalResult;
|
|
41
|
-
type CallResult = {
|
|
42
|
-
value: TypeValue;
|
|
43
|
-
throws: TypeValue;
|
|
44
|
-
throwLoc?: SourceRange;
|
|
45
|
-
};
|
|
46
|
-
declare function evaluateFunction(fnNode: Node, args: TypeValue[], env: Environment): TypeValue;
|
|
47
|
-
declare function evaluateFunctionFull(fnNode: Node, args: TypeValue[], env: Environment): CallResult;
|
|
48
|
-
declare function evaluateProgram(node: Node, env: Environment): TypeValue;
|
|
49
|
-
declare function getUnreachableRanges(): SourceRange[];
|
|
50
|
-
declare function resetUnreachableRanges(): void;
|
|
51
|
-
declare function setCurrentFileDir(dir: string): void;
|
|
52
|
-
|
|
53
|
-
/**
|
|
54
|
-
* Given a test expression and the current environment, produce two
|
|
55
|
-
* environments: one where the test is truthy, one where it is falsy.
|
|
56
|
-
*/
|
|
57
|
-
declare function narrow(test: Node, env: Environment): [trueEnv: Environment, falseEnv: Environment];
|
|
58
|
-
|
|
59
|
-
export { evaluate, evaluateFunction, evaluateFunctionFull, evaluateProgram, getUnreachableRanges, narrow, resetMemo, resetUnreachableRanges, setCurrentFileDir, setMaxConcreteIter, setModuleResolver, setNodeTypeCollector, setSampleCount };
|
package/dist/evaluator-api.js
DELETED
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import {
|
|
2
|
-
evaluate,
|
|
3
|
-
evaluateFunction,
|
|
4
|
-
evaluateFunctionFull,
|
|
5
|
-
evaluateProgram,
|
|
6
|
-
getUnreachableRanges,
|
|
7
|
-
narrow,
|
|
8
|
-
resetMemo,
|
|
9
|
-
resetUnreachableRanges,
|
|
10
|
-
setCurrentFileDir,
|
|
11
|
-
setMaxConcreteIter,
|
|
12
|
-
setModuleResolver,
|
|
13
|
-
setNodeTypeCollector,
|
|
14
|
-
setSampleCount
|
|
15
|
-
} from "./chunk-LGWVGEMB.js";
|
|
16
|
-
export {
|
|
17
|
-
evaluate,
|
|
18
|
-
evaluateFunction,
|
|
19
|
-
evaluateFunctionFull,
|
|
20
|
-
evaluateProgram,
|
|
21
|
-
getUnreachableRanges,
|
|
22
|
-
narrow,
|
|
23
|
-
resetMemo,
|
|
24
|
-
resetUnreachableRanges,
|
|
25
|
-
setCurrentFileDir,
|
|
26
|
-
setMaxConcreteIter,
|
|
27
|
-
setModuleResolver,
|
|
28
|
-
setNodeTypeCollector,
|
|
29
|
-
setSampleCount
|
|
30
|
-
};
|
package/dist/index.d.ts
DELETED