@vigla/svelte 0.0.0-stage → 5.57.4
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/action.d.ts +2 -0
- package/animate.d.ts +2 -0
- package/compiler/index.js +43266 -0
- package/compiler/index.js.map +1 -0
- package/compiler/package.json +3 -0
- package/compiler.d.ts +2 -0
- package/dist/compiler/diagnostics.d.ts +70 -0
- package/dist/compiler/diagnostics.d.ts.map +1 -0
- package/dist/compiler/diagnostics.js +166 -0
- package/dist/compiler/diagnostics.js.map +1 -0
- package/dist/compiler/index.d.ts +72 -0
- package/dist/compiler/index.d.ts.map +1 -0
- package/dist/compiler/index.js +178 -0
- package/dist/compiler/index.js.map +1 -0
- package/dist/compiler/options.d.ts +7 -0
- package/dist/compiler/options.d.ts.map +1 -0
- package/dist/compiler/options.js +126 -0
- package/dist/compiler/options.js.map +1 -0
- package/dist/compiler/preprocess/decode.d.ts +3 -0
- package/dist/compiler/preprocess/decode.d.ts.map +1 -0
- package/dist/compiler/preprocess/decode.js +60 -0
- package/dist/compiler/preprocess/decode.js.map +1 -0
- package/dist/compiler/preprocess/index.d.ts +27 -0
- package/dist/compiler/preprocess/index.d.ts.map +1 -0
- package/dist/compiler/preprocess/index.js +208 -0
- package/dist/compiler/preprocess/index.js.map +1 -0
- package/dist/compiler/preprocess/mapped.d.ts +25 -0
- package/dist/compiler/preprocess/mapped.d.ts.map +1 -0
- package/dist/compiler/preprocess/mapped.js +129 -0
- package/dist/compiler/preprocess/mapped.js.map +1 -0
- package/dist/compiler/proxy.d.ts +3 -0
- package/dist/compiler/proxy.d.ts.map +1 -0
- package/dist/compiler/proxy.js +133 -0
- package/dist/compiler/proxy.js.map +1 -0
- package/dist/entries/action.d.ts +2 -0
- package/dist/entries/action.d.ts.map +1 -0
- package/dist/entries/action.js +1 -0
- package/dist/entries/action.js.map +1 -0
- package/dist/entries/animate.d.ts +2 -0
- package/dist/entries/animate.d.ts.map +1 -0
- package/dist/entries/animate.js +2 -0
- package/dist/entries/animate.js.map +1 -0
- package/dist/entries/attachments.d.ts +2 -0
- package/dist/entries/attachments.d.ts.map +1 -0
- package/dist/entries/attachments.js +2 -0
- package/dist/entries/attachments.js.map +1 -0
- package/dist/entries/context.d.ts +15 -0
- package/dist/entries/context.d.ts.map +1 -0
- package/dist/entries/context.js +32 -0
- package/dist/entries/context.js.map +1 -0
- package/dist/entries/easing.d.ts +2 -0
- package/dist/entries/easing.d.ts.map +1 -0
- package/dist/entries/easing.js +2 -0
- package/dist/entries/easing.js.map +1 -0
- package/dist/entries/events.d.ts +2 -0
- package/dist/entries/events.d.ts.map +1 -0
- package/dist/entries/events.js +2 -0
- package/dist/entries/events.js.map +1 -0
- package/dist/entries/index-server.d.ts +4 -0
- package/dist/entries/index-server.d.ts.map +1 -0
- package/dist/entries/index-server.js +11 -0
- package/dist/entries/index-server.js.map +1 -0
- package/dist/entries/index.d.ts +10 -0
- package/dist/entries/index.d.ts.map +1 -0
- package/dist/entries/index.js +24 -0
- package/dist/entries/index.js.map +1 -0
- package/dist/entries/internal/client.d.ts +4 -0
- package/dist/entries/internal/client.d.ts.map +1 -0
- package/dist/entries/internal/client.js +9 -0
- package/dist/entries/internal/client.js.map +1 -0
- package/dist/entries/internal/disclose-version.d.ts +2 -0
- package/dist/entries/internal/disclose-version.d.ts.map +1 -0
- package/dist/entries/internal/disclose-version.js +4 -0
- package/dist/entries/internal/disclose-version.js.map +1 -0
- package/dist/entries/internal/index.d.ts +2 -0
- package/dist/entries/internal/index.d.ts.map +1 -0
- package/dist/entries/internal/index.js +2 -0
- package/dist/entries/internal/index.js.map +1 -0
- package/dist/entries/internal/server.d.ts +2 -0
- package/dist/entries/internal/server.d.ts.map +1 -0
- package/dist/entries/internal/server.js +7 -0
- package/dist/entries/internal/server.js.map +1 -0
- package/dist/entries/internal/tracing.d.ts +2 -0
- package/dist/entries/internal/tracing.d.ts.map +1 -0
- package/dist/entries/internal/tracing.js +2 -0
- package/dist/entries/internal/tracing.js.map +1 -0
- package/dist/entries/motion-server.d.ts +2 -0
- package/dist/entries/motion-server.d.ts.map +1 -0
- package/dist/entries/motion-server.js +2 -0
- package/dist/entries/motion-server.js.map +1 -0
- package/dist/entries/motion.d.ts +2 -0
- package/dist/entries/motion.d.ts.map +1 -0
- package/dist/entries/motion.js +2 -0
- package/dist/entries/motion.js.map +1 -0
- package/dist/entries/proxy.d.ts +6 -0
- package/dist/entries/proxy.d.ts.map +1 -0
- package/dist/entries/proxy.js +77 -0
- package/dist/entries/proxy.js.map +1 -0
- package/dist/entries/reactivity-server.d.ts +2 -0
- package/dist/entries/reactivity-server.d.ts.map +1 -0
- package/dist/entries/reactivity-server.js +2 -0
- package/dist/entries/reactivity-server.js.map +1 -0
- package/dist/entries/reactivity.d.ts +2 -0
- package/dist/entries/reactivity.d.ts.map +1 -0
- package/dist/entries/reactivity.js +2 -0
- package/dist/entries/reactivity.js.map +1 -0
- package/dist/entries/report.d.ts +3 -0
- package/dist/entries/report.d.ts.map +1 -0
- package/dist/entries/report.js +66 -0
- package/dist/entries/report.js.map +1 -0
- package/dist/entries/server.d.ts +8 -0
- package/dist/entries/server.d.ts.map +1 -0
- package/dist/entries/server.js +48 -0
- package/dist/entries/server.js.map +1 -0
- package/dist/entries/store-client.d.ts +12 -0
- package/dist/entries/store-client.d.ts.map +1 -0
- package/dist/entries/store-client.js +63 -0
- package/dist/entries/store-client.js.map +1 -0
- package/dist/entries/store-server.d.ts +12 -0
- package/dist/entries/store-server.d.ts.map +1 -0
- package/dist/entries/store-server.js +30 -0
- package/dist/entries/store-server.js.map +1 -0
- package/dist/entries/store.d.ts +25 -0
- package/dist/entries/store.d.ts.map +1 -0
- package/dist/entries/store.js +139 -0
- package/dist/entries/store.js.map +1 -0
- package/dist/entries/transition.d.ts +2 -0
- package/dist/entries/transition.d.ts.map +1 -0
- package/dist/entries/transition.js +2 -0
- package/dist/entries/transition.js.map +1 -0
- package/dist/entries/window-server.d.ts +2 -0
- package/dist/entries/window-server.d.ts.map +1 -0
- package/dist/entries/window-server.js +2 -0
- package/dist/entries/window-server.js.map +1 -0
- package/dist/entries/window.d.ts +2 -0
- package/dist/entries/window.d.ts.map +1 -0
- package/dist/entries/window.js +2 -0
- package/dist/entries/window.js.map +1 -0
- package/dist/front/ast.d.ts +290 -0
- package/dist/front/ast.d.ts.map +1 -0
- package/dist/front/ast.js +1 -0
- package/dist/front/ast.js.map +1 -0
- package/dist/front/diagnostics.d.ts +13 -0
- package/dist/front/diagnostics.d.ts.map +1 -0
- package/dist/front/diagnostics.js +38 -0
- package/dist/front/diagnostics.js.map +1 -0
- package/dist/front/ignores.d.ts +12 -0
- package/dist/front/ignores.d.ts.map +1 -0
- package/dist/front/ignores.js +75 -0
- package/dist/front/ignores.js.map +1 -0
- package/dist/front/index.d.ts +17 -0
- package/dist/front/index.d.ts.map +1 -0
- package/dist/front/index.js +65 -0
- package/dist/front/index.js.map +1 -0
- package/dist/front/legacy.d.ts +5 -0
- package/dist/front/legacy.d.ts.map +1 -0
- package/dist/front/legacy.js +408 -0
- package/dist/front/legacy.js.map +1 -0
- package/dist/front/locate.d.ts +4 -0
- package/dist/front/locate.d.ts.map +1 -0
- package/dist/front/locate.js +19 -0
- package/dist/front/locate.js.map +1 -0
- package/dist/front/lower.d.ts +39 -0
- package/dist/front/lower.d.ts.map +1 -0
- package/dist/front/lower.js +470 -0
- package/dist/front/lower.js.map +1 -0
- package/dist/front/parse/attribute.d.ts +12 -0
- package/dist/front/parse/attribute.d.ts.map +1 -0
- package/dist/front/parse/attribute.js +288 -0
- package/dist/front/parse/attribute.js.map +1 -0
- package/dist/front/parse/bracket.d.ts +3 -0
- package/dist/front/parse/bracket.d.ts.map +1 -0
- package/dist/front/parse/bracket.js +102 -0
- package/dist/front/parse/bracket.js.map +1 -0
- package/dist/front/parse/characters.d.ts +4 -0
- package/dist/front/parse/characters.d.ts.map +1 -0
- package/dist/front/parse/characters.js +6 -0
- package/dist/front/parse/characters.js.map +1 -0
- package/dist/front/parse/decode.d.ts +2 -0
- package/dist/front/parse/decode.d.ts.map +1 -0
- package/dist/front/parse/decode.js +89 -0
- package/dist/front/parse/decode.js.map +1 -0
- package/dist/front/parse/element.d.ts +3 -0
- package/dist/front/parse/element.d.ts.map +1 -0
- package/dist/front/parse/element.js +311 -0
- package/dist/front/parse/element.js.map +1 -0
- package/dist/front/parse/entities.d.ts +2 -0
- package/dist/front/parse/entities.d.ts.map +1 -0
- package/dist/front/parse/entities.js +2234 -0
- package/dist/front/parse/entities.js.map +1 -0
- package/dist/front/parse/expression.d.ts +5 -0
- package/dist/front/parse/expression.d.ts.map +1 -0
- package/dist/front/parse/expression.js +86 -0
- package/dist/front/parse/expression.js.map +1 -0
- package/dist/front/parse/html.d.ts +8 -0
- package/dist/front/parse/html.d.ts.map +1 -0
- package/dist/front/parse/html.js +146 -0
- package/dist/front/parse/html.js.map +1 -0
- package/dist/front/parse/identifier.d.ts +4 -0
- package/dist/front/parse/identifier.d.ts.map +1 -0
- package/dist/front/parse/identifier.js +24 -0
- package/dist/front/parse/identifier.js.map +1 -0
- package/dist/front/parse/index.d.ts +13 -0
- package/dist/front/parse/index.d.ts.map +1 -0
- package/dist/front/parse/index.js +74 -0
- package/dist/front/parse/index.js.map +1 -0
- package/dist/front/parse/js.d.ts +27 -0
- package/dist/front/parse/js.d.ts.map +1 -0
- package/dist/front/parse/js.js +241 -0
- package/dist/front/parse/js.js.map +1 -0
- package/dist/front/parse/options.d.ts +3 -0
- package/dist/front/parse/options.d.ts.map +1 -0
- package/dist/front/parse/options.js +198 -0
- package/dist/front/parse/options.js.map +1 -0
- package/dist/front/parse/parser.d.ts +50 -0
- package/dist/front/parse/parser.d.ts.map +1 -0
- package/dist/front/parse/parser.js +157 -0
- package/dist/front/parse/parser.js.map +1 -0
- package/dist/front/parse/pattern.d.ts +4 -0
- package/dist/front/parse/pattern.d.ts.map +1 -0
- package/dist/front/parse/pattern.js +53 -0
- package/dist/front/parse/pattern.js.map +1 -0
- package/dist/front/parse/script.d.ts +4 -0
- package/dist/front/parse/script.d.ts.map +1 -0
- package/dist/front/parse/script.js +60 -0
- package/dist/front/parse/script.js.map +1 -0
- package/dist/front/parse/style.d.ts +7 -0
- package/dist/front/parse/style.d.ts.map +1 -0
- package/dist/front/parse/style.js +397 -0
- package/dist/front/parse/style.js.map +1 -0
- package/dist/front/parse/tag.d.ts +3 -0
- package/dist/front/parse/tag.d.ts.map +1 -0
- package/dist/front/parse/tag.js +591 -0
- package/dist/front/parse/tag.js.map +1 -0
- package/dist/front/print/css.d.ts +5 -0
- package/dist/front/print/css.d.ts.map +1 -0
- package/dist/front/print/css.js +234 -0
- package/dist/front/print/css.js.map +1 -0
- package/dist/front/print/index.d.ts +18 -0
- package/dist/front/print/index.d.ts.map +1 -0
- package/dist/front/print/index.js +24 -0
- package/dist/front/print/index.js.map +1 -0
- package/dist/front/print/layout.d.ts +11 -0
- package/dist/front/print/layout.d.ts.map +1 -0
- package/dist/front/print/layout.js +73 -0
- package/dist/front/print/layout.js.map +1 -0
- package/dist/front/print/template.d.ts +5 -0
- package/dist/front/print/template.d.ts.map +1 -0
- package/dist/front/print/template.js +455 -0
- package/dist/front/print/template.js.map +1 -0
- package/dist/front/runes.d.ts +13 -0
- package/dist/front/runes.d.ts.map +1 -0
- package/dist/front/runes.js +253 -0
- package/dist/front/runes.js.map +1 -0
- package/dist/front/stores.d.ts +5 -0
- package/dist/front/stores.d.ts.map +1 -0
- package/dist/front/stores.js +84 -0
- package/dist/front/stores.js.map +1 -0
- package/dist/front/typescript.d.ts +2 -0
- package/dist/front/typescript.d.ts.map +1 -0
- package/dist/front/typescript.js +182 -0
- package/dist/front/typescript.js.map +1 -0
- package/dist/front/validate/anchors.d.ts +15 -0
- package/dist/front/validate/anchors.d.ts.map +1 -0
- package/dist/front/validate/anchors.js +43 -0
- package/dist/front/validate/anchors.js.map +1 -0
- package/dist/front/validate/index.d.ts +16 -0
- package/dist/front/validate/index.d.ts.map +1 -0
- package/dist/front/validate/index.js +139 -0
- package/dist/front/validate/index.js.map +1 -0
- package/dist/front/validate/legacy.d.ts +9 -0
- package/dist/front/validate/legacy.d.ts.map +1 -0
- package/dist/front/validate/legacy.js +102 -0
- package/dist/front/validate/legacy.js.map +1 -0
- package/dist/front/validate/report.d.ts +14 -0
- package/dist/front/validate/report.d.ts.map +1 -0
- package/dist/front/validate/report.js +29 -0
- package/dist/front/validate/report.js.map +1 -0
- package/dist/front/validate/template.d.ts +31 -0
- package/dist/front/validate/template.d.ts.map +1 -0
- package/dist/front/validate/template.js +507 -0
- package/dist/front/validate/template.js.map +1 -0
- package/dist/front/wording.d.ts +4 -0
- package/dist/front/wording.d.ts.map +1 -0
- package/dist/front/wording.js +110 -0
- package/dist/front/wording.js.map +1 -0
- package/dist/shared/format.d.ts +3 -0
- package/dist/shared/format.d.ts.map +1 -0
- package/dist/shared/format.js +7 -0
- package/dist/shared/format.js.map +1 -0
- package/easing.d.ts +2 -0
- package/elements.d.ts +1220 -0
- package/index.d.ts +2 -0
- package/motion.d.ts +2 -0
- package/package.json +128 -5
- package/src/compiler/diagnostics.ts +233 -0
- package/src/compiler/index.ts +292 -0
- package/src/compiler/options.ts +140 -0
- package/src/compiler/preprocess/decode.ts +85 -0
- package/src/compiler/preprocess/index.ts +299 -0
- package/src/compiler/preprocess/mapped.ts +146 -0
- package/src/compiler/proxy.ts +154 -0
- package/src/entries/action.ts +1 -0
- package/src/entries/animate.ts +1 -0
- package/src/entries/attachments.ts +1 -0
- package/src/entries/context.ts +50 -0
- package/src/entries/easing.ts +1 -0
- package/src/entries/events.ts +1 -0
- package/src/entries/index-server.ts +17 -0
- package/src/entries/index.ts +41 -0
- package/src/entries/internal/client.ts +15 -0
- package/src/entries/internal/disclose-version.ts +4 -0
- package/src/entries/internal/index.ts +3 -0
- package/src/entries/internal/server.ts +8 -0
- package/src/entries/internal/tracing.ts +1 -0
- package/src/entries/motion-server.ts +1 -0
- package/src/entries/motion.ts +1 -0
- package/src/entries/proxy.ts +86 -0
- package/src/entries/reactivity-server.ts +9 -0
- package/src/entries/reactivity.ts +9 -0
- package/src/entries/report.ts +81 -0
- package/src/entries/server.ts +76 -0
- package/src/entries/store-client.ts +80 -0
- package/src/entries/store-server.ts +44 -0
- package/src/entries/store.ts +201 -0
- package/src/entries/transition.ts +1 -0
- package/src/entries/window-server.ts +1 -0
- package/src/entries/window.ts +1 -0
- package/src/front/ast.ts +369 -0
- package/src/front/diagnostics.ts +53 -0
- package/src/front/ignores.ts +84 -0
- package/src/front/index.ts +86 -0
- package/src/front/legacy.ts +414 -0
- package/src/front/locate.ts +20 -0
- package/src/front/lower.ts +509 -0
- package/src/front/parse/attribute.ts +319 -0
- package/src/front/parse/bracket.ts +99 -0
- package/src/front/parse/characters.ts +19 -0
- package/src/front/parse/decode.ts +87 -0
- package/src/front/parse/element.ts +354 -0
- package/src/front/parse/entities.ts +2233 -0
- package/src/front/parse/expression.ts +85 -0
- package/src/front/parse/html.ts +158 -0
- package/src/front/parse/identifier.ts +29 -0
- package/src/front/parse/index.ts +88 -0
- package/src/front/parse/js.ts +284 -0
- package/src/front/parse/options.ts +194 -0
- package/src/front/parse/parser.ts +189 -0
- package/src/front/parse/pattern.ts +57 -0
- package/src/front/parse/script.ts +74 -0
- package/src/front/parse/style.ts +399 -0
- package/src/front/parse/tag.ts +601 -0
- package/src/front/print/css.ts +239 -0
- package/src/front/print/index.ts +40 -0
- package/src/front/print/layout.ts +87 -0
- package/src/front/print/template.ts +448 -0
- package/src/front/runes.ts +267 -0
- package/src/front/stores.ts +98 -0
- package/src/front/typescript.ts +178 -0
- package/src/front/validate/anchors.ts +54 -0
- package/src/front/validate/index.ts +174 -0
- package/src/front/validate/legacy.ts +119 -0
- package/src/front/validate/report.ts +38 -0
- package/src/front/validate/template.ts +549 -0
- package/src/front/wording.ts +112 -0
- package/src/shared/format.ts +8 -0
- package/store.d.ts +2 -0
- package/svelte-html.d.ts +53 -0
- package/transition.d.ts +2 -0
- package/types/compiler/interfaces.d.ts +2 -0
- package/types/compiler/preprocess.d.ts +2 -0
- package/types/index.d.ts +1453 -0
- package/README.md +0 -3
|
@@ -0,0 +1,253 @@
|
|
|
1
|
+
import { CompileError } from 'vigla/compiler';
|
|
2
|
+
const known = new Set([
|
|
3
|
+
'$state',
|
|
4
|
+
'$state.raw',
|
|
5
|
+
'$state.snapshot',
|
|
6
|
+
'$state.eager',
|
|
7
|
+
'$derived',
|
|
8
|
+
'$derived.by',
|
|
9
|
+
'$effect',
|
|
10
|
+
'$effect.pre',
|
|
11
|
+
'$effect.root',
|
|
12
|
+
'$effect.tracking',
|
|
13
|
+
'$effect.pending',
|
|
14
|
+
'$props',
|
|
15
|
+
'$props.id',
|
|
16
|
+
'$bindable',
|
|
17
|
+
'$inspect',
|
|
18
|
+
'$inspect.trace',
|
|
19
|
+
'$host'
|
|
20
|
+
]);
|
|
21
|
+
const skipped = new Set(['type', 'loc', 'range', 'start', 'end']);
|
|
22
|
+
function children(node, each) {
|
|
23
|
+
for (const key of Object.keys(node)) {
|
|
24
|
+
if (skipped.has(key))
|
|
25
|
+
continue;
|
|
26
|
+
const value = node[key];
|
|
27
|
+
for (const item of Array.isArray(value) ? value : [value]) {
|
|
28
|
+
if (typeof item === 'object' && item !== null && typeof item.type === 'string') {
|
|
29
|
+
each(item);
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
}
|
|
33
|
+
}
|
|
34
|
+
function patternNames(pattern, into) {
|
|
35
|
+
switch (pattern.type) {
|
|
36
|
+
case 'Identifier':
|
|
37
|
+
into.push(pattern);
|
|
38
|
+
break;
|
|
39
|
+
case 'ObjectPattern':
|
|
40
|
+
for (const property of pattern.properties)
|
|
41
|
+
patternNames(property.type === 'RestElement' ? property.argument : property.value, into);
|
|
42
|
+
break;
|
|
43
|
+
case 'ArrayPattern':
|
|
44
|
+
for (const element of pattern.elements)
|
|
45
|
+
if (element !== null)
|
|
46
|
+
patternNames(element, into);
|
|
47
|
+
break;
|
|
48
|
+
case 'RestElement':
|
|
49
|
+
patternNames(pattern.argument, into);
|
|
50
|
+
break;
|
|
51
|
+
case 'AssignmentPattern':
|
|
52
|
+
patternNames(pattern.left, into);
|
|
53
|
+
break;
|
|
54
|
+
default:
|
|
55
|
+
break;
|
|
56
|
+
}
|
|
57
|
+
}
|
|
58
|
+
function isCallable(node) {
|
|
59
|
+
return (node.type === 'FunctionDeclaration' ||
|
|
60
|
+
node.type === 'FunctionExpression' ||
|
|
61
|
+
node.type === 'ArrowFunctionExpression');
|
|
62
|
+
}
|
|
63
|
+
function declared(statement, into) {
|
|
64
|
+
switch (statement.type) {
|
|
65
|
+
case 'VariableDeclaration':
|
|
66
|
+
if (statement.kind !== 'var')
|
|
67
|
+
for (const item of statement.declarations)
|
|
68
|
+
patternNames(item.id, into);
|
|
69
|
+
break;
|
|
70
|
+
case 'FunctionDeclaration':
|
|
71
|
+
case 'ClassDeclaration':
|
|
72
|
+
if (statement.id)
|
|
73
|
+
into.push(statement.id);
|
|
74
|
+
break;
|
|
75
|
+
case 'ImportDeclaration':
|
|
76
|
+
for (const specifier of statement.specifiers)
|
|
77
|
+
into.push(specifier.local);
|
|
78
|
+
break;
|
|
79
|
+
case 'ExportNamedDeclaration':
|
|
80
|
+
if (statement.declaration)
|
|
81
|
+
declared(statement.declaration, into);
|
|
82
|
+
break;
|
|
83
|
+
case 'ExportDefaultDeclaration': {
|
|
84
|
+
const declaration = statement.declaration;
|
|
85
|
+
if ((declaration.type === 'FunctionDeclaration' || declaration.type === 'ClassDeclaration') &&
|
|
86
|
+
declaration.id) {
|
|
87
|
+
into.push(declaration.id);
|
|
88
|
+
}
|
|
89
|
+
break;
|
|
90
|
+
}
|
|
91
|
+
default:
|
|
92
|
+
break;
|
|
93
|
+
}
|
|
94
|
+
}
|
|
95
|
+
function hoisted(node, into) {
|
|
96
|
+
if (node.type === 'VariableDeclaration' && node.kind === 'var') {
|
|
97
|
+
for (const item of node.declarations)
|
|
98
|
+
patternNames(item.id, into);
|
|
99
|
+
}
|
|
100
|
+
if (isCallable(node))
|
|
101
|
+
return;
|
|
102
|
+
children(node, (child) => hoisted(child, into));
|
|
103
|
+
}
|
|
104
|
+
function lexical(node) {
|
|
105
|
+
const into = [];
|
|
106
|
+
switch (node.type) {
|
|
107
|
+
case 'Program':
|
|
108
|
+
case 'BlockStatement':
|
|
109
|
+
case 'StaticBlock':
|
|
110
|
+
for (const statement of node.body)
|
|
111
|
+
declared(statement, into);
|
|
112
|
+
break;
|
|
113
|
+
case 'ForStatement':
|
|
114
|
+
if (node.init?.type === 'VariableDeclaration')
|
|
115
|
+
declared(node.init, into);
|
|
116
|
+
break;
|
|
117
|
+
case 'ForInStatement':
|
|
118
|
+
case 'ForOfStatement':
|
|
119
|
+
declared(node.left, into);
|
|
120
|
+
break;
|
|
121
|
+
case 'SwitchStatement':
|
|
122
|
+
for (const entry of node.cases)
|
|
123
|
+
for (const statement of entry.consequent)
|
|
124
|
+
declared(statement, into);
|
|
125
|
+
break;
|
|
126
|
+
case 'CatchClause':
|
|
127
|
+
if (node.param !== null)
|
|
128
|
+
patternNames(node.param, into);
|
|
129
|
+
break;
|
|
130
|
+
default:
|
|
131
|
+
break;
|
|
132
|
+
}
|
|
133
|
+
return into;
|
|
134
|
+
}
|
|
135
|
+
function runeName(callee) {
|
|
136
|
+
if (callee.type === 'Identifier') {
|
|
137
|
+
return known.has(callee.name) ? { rune: callee.name, base: callee.name } : null;
|
|
138
|
+
}
|
|
139
|
+
if (callee.type === 'MemberExpression' &&
|
|
140
|
+
!callee.computed &&
|
|
141
|
+
callee.object.type === 'Identifier' &&
|
|
142
|
+
callee.property.type === 'Identifier') {
|
|
143
|
+
const name = `${callee.object.name}.${callee.property.name}`;
|
|
144
|
+
return known.has(name) ? { rune: name, base: callee.object.name } : null;
|
|
145
|
+
}
|
|
146
|
+
return null;
|
|
147
|
+
}
|
|
148
|
+
function shadowed(scope, name) {
|
|
149
|
+
for (let current = scope; current !== null; current = current.parent) {
|
|
150
|
+
if (current.names.has(name))
|
|
151
|
+
return true;
|
|
152
|
+
}
|
|
153
|
+
return false;
|
|
154
|
+
}
|
|
155
|
+
function reserved(name) {
|
|
156
|
+
if (!name.name.startsWith('$'))
|
|
157
|
+
return;
|
|
158
|
+
const located = name;
|
|
159
|
+
const span = { start: located.start ?? 0, end: located.end ?? 0 };
|
|
160
|
+
throw new CompileError(name.name === '$'
|
|
161
|
+
? {
|
|
162
|
+
code: 'dollar_binding_invalid',
|
|
163
|
+
message: 'The $ name is reserved, and cannot be used for variables and imports',
|
|
164
|
+
...span
|
|
165
|
+
}
|
|
166
|
+
: {
|
|
167
|
+
code: 'dollar_prefix_invalid',
|
|
168
|
+
message: 'The $ prefix is reserved, and cannot be used for variables and imports',
|
|
169
|
+
...span
|
|
170
|
+
});
|
|
171
|
+
}
|
|
172
|
+
export class Resolution {
|
|
173
|
+
runes = new Map();
|
|
174
|
+
references = new Map();
|
|
175
|
+
#seen;
|
|
176
|
+
constructor(seen) {
|
|
177
|
+
this.#seen = seen;
|
|
178
|
+
}
|
|
179
|
+
program(program) {
|
|
180
|
+
this.visit(program, null, false);
|
|
181
|
+
}
|
|
182
|
+
expression(node) {
|
|
183
|
+
this.visit(node, null, true);
|
|
184
|
+
}
|
|
185
|
+
scope(parent, names, nested) {
|
|
186
|
+
if (!nested)
|
|
187
|
+
for (const name of names)
|
|
188
|
+
reserved(name);
|
|
189
|
+
return { parent, names: new Set(names.map((name) => name.name)) };
|
|
190
|
+
}
|
|
191
|
+
visit(node, scope, nested, parent = null) {
|
|
192
|
+
this.#seen?.(node);
|
|
193
|
+
if (node.type === 'Identifier' && node.name.startsWith('$') && !shadowed(scope, node.name)) {
|
|
194
|
+
const property = (parent?.type === 'MemberExpression' && parent.property === node && !parent.computed) ||
|
|
195
|
+
(parent?.type === 'Property' &&
|
|
196
|
+
parent.key === node &&
|
|
197
|
+
parent.value !== node &&
|
|
198
|
+
!parent.computed) ||
|
|
199
|
+
(parent?.type === 'MethodDefinition' && parent.key === node && !parent.computed);
|
|
200
|
+
if (!property)
|
|
201
|
+
this.references.set(node, node.name);
|
|
202
|
+
}
|
|
203
|
+
if (node.type === 'CallExpression') {
|
|
204
|
+
const found = runeName(node.callee);
|
|
205
|
+
if (found !== null && !shadowed(scope, found.base))
|
|
206
|
+
this.runes.set(node.callee, found.rune);
|
|
207
|
+
}
|
|
208
|
+
if (isCallable(node)) {
|
|
209
|
+
const names = [];
|
|
210
|
+
if (node.type === 'FunctionExpression' && node.id)
|
|
211
|
+
names.push(node.id);
|
|
212
|
+
for (const param of node.params)
|
|
213
|
+
patternNames(param, names);
|
|
214
|
+
if (node.body.type === 'BlockStatement') {
|
|
215
|
+
hoisted(node.body, names);
|
|
216
|
+
names.push(...lexical(node.body));
|
|
217
|
+
}
|
|
218
|
+
const inner = this.scope(scope, names, true);
|
|
219
|
+
for (const param of node.params)
|
|
220
|
+
this.visit(param, inner, true);
|
|
221
|
+
if (node.body.type === 'BlockStatement') {
|
|
222
|
+
for (const statement of node.body.body)
|
|
223
|
+
this.visit(statement, inner, true);
|
|
224
|
+
}
|
|
225
|
+
else {
|
|
226
|
+
this.visit(node.body, inner, true);
|
|
227
|
+
}
|
|
228
|
+
return;
|
|
229
|
+
}
|
|
230
|
+
let inner = scope;
|
|
231
|
+
switch (node.type) {
|
|
232
|
+
case 'Program': {
|
|
233
|
+
const names = lexical(node);
|
|
234
|
+
hoisted(node, names);
|
|
235
|
+
inner = this.scope(scope, names, nested);
|
|
236
|
+
break;
|
|
237
|
+
}
|
|
238
|
+
case 'BlockStatement':
|
|
239
|
+
case 'StaticBlock':
|
|
240
|
+
case 'ForStatement':
|
|
241
|
+
case 'ForInStatement':
|
|
242
|
+
case 'ForOfStatement':
|
|
243
|
+
case 'SwitchStatement':
|
|
244
|
+
case 'CatchClause':
|
|
245
|
+
inner = this.scope(scope, lexical(node), nested);
|
|
246
|
+
break;
|
|
247
|
+
default:
|
|
248
|
+
break;
|
|
249
|
+
}
|
|
250
|
+
children(node, (child) => this.visit(child, inner, nested, node));
|
|
251
|
+
}
|
|
252
|
+
}
|
|
253
|
+
//# sourceMappingURL=runes.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"runes.js","sourceRoot":"","sources":["../../src/front/runes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAa,MAAM,gBAAgB,CAAC;AAEzD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS;IAC7B,QAAQ;IACR,YAAY;IACZ,iBAAiB;IACjB,cAAc;IACd,UAAU;IACV,aAAa;IACb,SAAS;IACT,aAAa;IACb,cAAc;IACd,kBAAkB;IAClB,iBAAiB;IACjB,QAAQ;IACR,WAAW;IACX,WAAW;IACX,UAAU;IACV,gBAAgB;IAChB,OAAO;CACP,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AASlE,SAAS,QAAQ,CAAC,IAAa,EAAE,IAA8B;IAC9D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAQ,IAAgB,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7F,IAAI,CAAC,IAAe,CAAC,CAAC;YACvB,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CAAC,OAAmB,EAAE,IAAqB;IAC/D,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,YAAY;YAChB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnB,MAAM;QACP,KAAK,eAAe;YACnB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU;gBACxC,YAAY,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC1F,MAAM;QACP,KAAK,cAAc;YAClB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ;gBAAE,IAAI,OAAO,KAAK,IAAI;oBAAE,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAC1F,MAAM;QACP,KAAK,aAAa;YACjB,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACrC,MAAM;QACP,KAAK,mBAAmB;YACvB,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM;QACP;YACC,MAAM;IACR,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAChC,OAAO,CACN,IAAI,CAAC,IAAI,KAAK,qBAAqB;QACnC,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAClC,IAAI,CAAC,IAAI,KAAK,yBAAyB,CACvC,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,SAAkB,EAAE,IAAqB;IAC1D,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,qBAAqB;YACzB,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK;gBAC3B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,YAAY;oBAAE,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACxE,MAAM;QACP,KAAK,qBAAqB,CAAC;QAC3B,KAAK,kBAAkB;YACtB,IAAI,SAAS,CAAC,EAAE;gBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC1C,MAAM;QACP,KAAK,mBAAmB;YACvB,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU;gBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACzE,MAAM;QACP,KAAK,wBAAwB;YAC5B,IAAI,SAAS,CAAC,WAAW;gBAAE,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjE,MAAM;QACP,KAAK,0BAA0B,EAAE,CAAC;YACjC,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;YAC1C,IACC,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,IAAI,WAAW,CAAC,IAAI,KAAK,kBAAkB,CAAC;gBACvF,WAAW,CAAC,EAAE,EACb,CAAC;gBACF,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM;QACP,CAAC;QACD;YACC,MAAM;IACR,CAAC;AACF,CAAC;AAED,SAAS,OAAO,CAAC,IAAa,EAAE,IAAqB;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY;YAAE,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO;IAC7B,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,OAAO,CAAC,IAAa;IAC7B,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,gBAAgB,CAAC;QACtB,KAAK,aAAa;YACjB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,IAAI;gBAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC7D,MAAM;QACP,KAAK,cAAc;YAClB,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,qBAAqB;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzE,MAAM;QACP,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB;YACpB,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1B,MAAM;QACP,KAAK,iBAAiB;YACrB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK;gBAC7B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU;oBAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACrE,MAAM;QACP,KAAK,aAAa;YACjB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;gBAAE,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACxD,MAAM;QACP;YACC,MAAM;IACR,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,MAAe;IAChC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAY,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,CAAC;IACD,IACC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAClC,CAAC,MAAM,CAAC,QAAQ;QAChB,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACnC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EACpC,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAY,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAClF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB,EAAE,IAAY;IAClD,KAAK,IAAI,OAAO,GAAG,KAAK,EAAE,OAAO,KAAK,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACtE,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,IAAmB;IACpC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO;IACvC,MAAM,OAAO,GAAG,IAAwD,CAAC;IACzE,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;IAClE,MAAM,IAAI,YAAY,CACrB,IAAI,CAAC,IAAI,KAAK,GAAG;QAChB,CAAC,CAAC;YACA,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,sEAAsE;YAC/E,GAAG,IAAI;SACP;QACF,CAAC,CAAC;YACA,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,wEAAwE;YACjF,GAAG,IAAI;SACP,CACH,CAAC;AACH,CAAC;AAED,MAAM,OAAO,UAAU;IACb,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACjC,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,KAAK,CAAwC;IAEtD,YAAY,IAA8B;QACzC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,OAAmB;QAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,UAAU,CAAC,IAAa;QACvB,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IAEO,KAAK,CAAC,MAAoB,EAAE,KAA+B,EAAE,MAAe;QACnF,IAAI,CAAC,MAAM;YAAE,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IACnE,CAAC;IAEO,KAAK,CACZ,IAAa,EACb,KAAmB,EACnB,MAAe,EACf,MAAM,GAAmB,IAAI;QAE7B,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5F,MAAM,QAAQ,GACb,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;gBACrF,CAAC,MAAM,EAAE,IAAI,KAAK,UAAU;oBAC3B,MAAM,CAAC,GAAG,KAAK,IAAI;oBACnB,MAAM,CAAC,KAAK,KAAK,IAAI;oBACrB,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAClB,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAClF,IAAI,CAAC,QAAQ;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAoB,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,IAAI,CAAC,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM;gBAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACzC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACnC,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAChE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACzC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACpC,CAAC;YACD,OAAO;QACR,CAAC;QACD,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,SAAS,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC5B,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACrB,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBACzC,MAAM;YACP,CAAC;YACD,KAAK,gBAAgB,CAAC;YACtB,KAAK,aAAa,CAAC;YACnB,KAAK,cAAc,CAAC;YACpB,KAAK,gBAAgB,CAAC;YACtB,KAAK,gBAAgB,CAAC;YACtB,KAAK,iBAAiB,CAAC;YACvB,KAAK,aAAa;gBACjB,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;gBACjD,MAAM;YACP;gBACC,MAAM;QACR,CAAC;QACD,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACnE,CAAC;CACD"}
|
|
@@ -0,0 +1,5 @@
|
|
|
1
|
+
import type * as ES from 'estree';
|
|
2
|
+
import type { ExternalBinding } from 'vigla/compiler';
|
|
3
|
+
import type { Resolution } from './runes.ts';
|
|
4
|
+
export declare function stores(resolution: Resolution, module: ES.Program | null, instance: ES.Program | null): ExternalBinding[];
|
|
5
|
+
//# sourceMappingURL=stores.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"stores.d.ts","sourceRoot":"","sources":["../../src/front/stores.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAC;AAClC,OAAO,KAAK,EAAE,eAAe,EAAQ,MAAM,gBAAgB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAsD7C,wBAAgB,MAAM,CACrB,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,EAAE,CAAC,OAAO,GAAG,IAAI,EACzB,QAAQ,EAAE,EAAE,CAAC,OAAO,GAAG,IAAI,GACzB,eAAe,EAAE,CAqCnB"}
|
|
@@ -0,0 +1,84 @@
|
|
|
1
|
+
function names(pattern) {
|
|
2
|
+
switch (pattern.type) {
|
|
3
|
+
case 'Identifier':
|
|
4
|
+
return [pattern];
|
|
5
|
+
case 'ObjectPattern':
|
|
6
|
+
return pattern.properties.flatMap((property) => names(property.type === 'RestElement' ? property.argument : property.value));
|
|
7
|
+
case 'ArrayPattern':
|
|
8
|
+
return pattern.elements.flatMap((element) => (element === null ? [] : names(element)));
|
|
9
|
+
case 'AssignmentPattern':
|
|
10
|
+
return names(pattern.left);
|
|
11
|
+
case 'RestElement':
|
|
12
|
+
return names(pattern.argument);
|
|
13
|
+
default:
|
|
14
|
+
return [];
|
|
15
|
+
}
|
|
16
|
+
}
|
|
17
|
+
function declarations(program, into) {
|
|
18
|
+
for (const item of program?.body ?? []) {
|
|
19
|
+
const statement = item.type === 'ExportNamedDeclaration' ? item.declaration : item;
|
|
20
|
+
if (statement?.type === 'ImportDeclaration') {
|
|
21
|
+
for (const specifier of statement.specifiers)
|
|
22
|
+
into.set(specifier.local.name, statement);
|
|
23
|
+
}
|
|
24
|
+
else if (statement?.type === 'VariableDeclaration') {
|
|
25
|
+
for (const declarator of statement.declarations) {
|
|
26
|
+
for (const name of names(declarator.id))
|
|
27
|
+
into.set(name.name, declarator.init ?? null);
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
else if ((statement?.type === 'FunctionDeclaration' || statement?.type === 'ClassDeclaration') &&
|
|
31
|
+
statement.id !== null) {
|
|
32
|
+
into.set(statement.id.name, statement);
|
|
33
|
+
}
|
|
34
|
+
}
|
|
35
|
+
}
|
|
36
|
+
const runeNames = new Set([
|
|
37
|
+
'$state',
|
|
38
|
+
'$derived',
|
|
39
|
+
'$effect',
|
|
40
|
+
'$props',
|
|
41
|
+
'$bindable',
|
|
42
|
+
'$inspect',
|
|
43
|
+
'$host'
|
|
44
|
+
]);
|
|
45
|
+
export function stores(resolution, module, instance) {
|
|
46
|
+
const moduleDeclarations = new Map();
|
|
47
|
+
declarations(module, moduleDeclarations);
|
|
48
|
+
const declared = new Map(moduleDeclarations);
|
|
49
|
+
declarations(instance, declared);
|
|
50
|
+
const bindings = new Map();
|
|
51
|
+
for (const [reference, name] of resolution.references) {
|
|
52
|
+
if (name === '$' || name.startsWith('$$'))
|
|
53
|
+
continue;
|
|
54
|
+
const source = name.slice(1);
|
|
55
|
+
const at = reference.start ?? -1;
|
|
56
|
+
const span = module;
|
|
57
|
+
if (span !== null && at >= (span.start ?? 0) && at < (span.end ?? 0))
|
|
58
|
+
continue;
|
|
59
|
+
const initial = declared.get(source);
|
|
60
|
+
if (runeNames.has(name)) {
|
|
61
|
+
if (initial === undefined)
|
|
62
|
+
continue;
|
|
63
|
+
const rune = initial?.type === 'CallExpression' ? resolution.runes.get(initial.callee) : undefined;
|
|
64
|
+
if (rune !== undefined && (rune !== '$props' || source === 'props'))
|
|
65
|
+
continue;
|
|
66
|
+
if (name === '$derived' &&
|
|
67
|
+
initial?.type === 'ImportDeclaration' &&
|
|
68
|
+
initial.source.value === 'svelte/store')
|
|
69
|
+
continue;
|
|
70
|
+
}
|
|
71
|
+
let binding = bindings.get(name);
|
|
72
|
+
if (binding === undefined) {
|
|
73
|
+
binding = {
|
|
74
|
+
source: { type: 'Identifier', name: source },
|
|
75
|
+
name: source,
|
|
76
|
+
references: new Set()
|
|
77
|
+
};
|
|
78
|
+
bindings.set(name, binding);
|
|
79
|
+
}
|
|
80
|
+
binding.references.add(reference);
|
|
81
|
+
}
|
|
82
|
+
return [...bindings.values()];
|
|
83
|
+
}
|
|
84
|
+
//# sourceMappingURL=stores.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"stores.js","sourceRoot":"","sources":["../../src/front/stores.ts"],"names":[],"mappings":"AAIA,SAAS,KAAK,CAAC,OAAmB;IACjC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,YAAY;YAChB,OAAO,CAAC,OAAO,CAAC,CAAC;QAClB,KAAK,eAAe;YACnB,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC9C,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC3E,CAAC;QACH,KAAK,cAAc;YAClB,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACxF,KAAK,mBAAmB;YACvB,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,aAAa;YACjB,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChC;YACC,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CAAC,OAA0B,EAAE,IAAiC;IAClF,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,IAAI,SAAS,EAAE,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC7C,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU;gBAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACzF,CAAC;aAAM,IAAI,SAAS,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACtD,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;gBACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC;YACvF,CAAC;QACF,CAAC;aAAM,IACN,CAAC,SAAS,EAAE,IAAI,KAAK,qBAAqB,IAAI,SAAS,EAAE,IAAI,KAAK,kBAAkB,CAAC;YACrF,SAAS,CAAC,EAAE,KAAK,IAAI,EACpB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxC,CAAC;IACF,CAAC;AACF,CAAC;AAOD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACzB,QAAQ;IACR,UAAU;IACV,SAAS;IACT,QAAQ;IACR,WAAW;IACX,UAAU;IACV,OAAO;CACP,CAAC,CAAC;AAEH,MAAM,UAAU,MAAM,CACrB,UAAsB,EACtB,MAAyB,EACzB,QAA2B;IAE3B,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC7D,YAAY,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC7C,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACvD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAI,SAAgD,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,MAAgE,CAAC;QAC9E,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YAAE,SAAS;QAC/E,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,MAAM,IAAI,GACT,OAAO,EAAE,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvF,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,KAAK,OAAO,CAAC;gBAAE,SAAS;YAC9E,IACC,IAAI,KAAK,UAAU;gBACnB,OAAO,EAAE,IAAI,KAAK,mBAAmB;gBACrC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,cAAc;gBAEvC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,GAAG;gBACT,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE;gBAC5C,IAAI,EAAE,MAAM;gBACZ,UAAU,EAAE,IAAI,GAAG,EAAE;aACrB,CAAC;YACF,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/B,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["../../src/front/typescript.ts"],"names":[],"mappings":"AA+KA,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAExC"}
|
|
@@ -0,0 +1,182 @@
|
|
|
1
|
+
import { fail } from './diagnostics.js';
|
|
2
|
+
const erasedStatements = new WeakSet();
|
|
3
|
+
const empty = () => {
|
|
4
|
+
const statement = { type: 'EmptyStatement' };
|
|
5
|
+
erasedStatements.add(statement);
|
|
6
|
+
return statement;
|
|
7
|
+
};
|
|
8
|
+
const unwrapped = new Set([
|
|
9
|
+
'TSAsExpression',
|
|
10
|
+
'TSSatisfiesExpression',
|
|
11
|
+
'TSNonNullExpression',
|
|
12
|
+
'TSTypeAssertion',
|
|
13
|
+
'TSInstantiationExpression'
|
|
14
|
+
]);
|
|
15
|
+
const erased = new Set(['TSInterfaceDeclaration', 'TSTypeAliasDeclaration', 'TSDeclareFunction']);
|
|
16
|
+
const typeFields = [
|
|
17
|
+
'typeAnnotation',
|
|
18
|
+
'typeParameters',
|
|
19
|
+
'typeArguments',
|
|
20
|
+
'returnType',
|
|
21
|
+
'accessibility',
|
|
22
|
+
'readonly',
|
|
23
|
+
'definite',
|
|
24
|
+
'override'
|
|
25
|
+
];
|
|
26
|
+
function isNode(value) {
|
|
27
|
+
return value !== null && typeof value === 'object' && typeof value.type === 'string';
|
|
28
|
+
}
|
|
29
|
+
class Stripper {
|
|
30
|
+
path = [];
|
|
31
|
+
children(node) {
|
|
32
|
+
this.path.push(node);
|
|
33
|
+
for (const key in node) {
|
|
34
|
+
if (key === 'type')
|
|
35
|
+
continue;
|
|
36
|
+
const value = node[key];
|
|
37
|
+
if (Array.isArray(value)) {
|
|
38
|
+
for (let index = 0; index < value.length; index++) {
|
|
39
|
+
if (isNode(value[index]))
|
|
40
|
+
value[index] = this.visit(value[index]);
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
else if (isNode(value)) {
|
|
44
|
+
node[key] = this.visit(value);
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
this.path.pop();
|
|
48
|
+
}
|
|
49
|
+
clean(node) {
|
|
50
|
+
for (const field of typeFields)
|
|
51
|
+
delete node[field];
|
|
52
|
+
if (node.type !== 'MemberExpression' && node.type !== 'CallExpression')
|
|
53
|
+
delete node.optional;
|
|
54
|
+
return node;
|
|
55
|
+
}
|
|
56
|
+
visit(node) {
|
|
57
|
+
return this.clean(this.special(node));
|
|
58
|
+
}
|
|
59
|
+
special(node) {
|
|
60
|
+
if (unwrapped.has(node.type))
|
|
61
|
+
return this.visit(node.expression);
|
|
62
|
+
if (erased.has(node.type))
|
|
63
|
+
return empty();
|
|
64
|
+
switch (node.type) {
|
|
65
|
+
case 'Decorator':
|
|
66
|
+
fail('typescript_invalid_feature', node, {
|
|
67
|
+
feature: 'decorators (related TSC proposal is not stage 4 yet)'
|
|
68
|
+
});
|
|
69
|
+
case 'TSEnumDeclaration':
|
|
70
|
+
fail('typescript_invalid_feature', node, { feature: 'enums' });
|
|
71
|
+
case 'ImportDeclaration': {
|
|
72
|
+
if (node.importKind === 'type')
|
|
73
|
+
return empty();
|
|
74
|
+
const specifiers = node.specifiers;
|
|
75
|
+
if (specifiers !== undefined && specifiers.length > 0) {
|
|
76
|
+
const kept = specifiers.filter((specifier) => specifier.importKind !== 'type');
|
|
77
|
+
if (kept.length === 0)
|
|
78
|
+
return empty();
|
|
79
|
+
node.specifiers = kept;
|
|
80
|
+
}
|
|
81
|
+
return node;
|
|
82
|
+
}
|
|
83
|
+
case 'ExportNamedDeclaration': {
|
|
84
|
+
if (node.exportKind === 'type')
|
|
85
|
+
return empty();
|
|
86
|
+
if (node.declaration) {
|
|
87
|
+
this.children(node);
|
|
88
|
+
return node.declaration.type === 'EmptyStatement' ? empty() : node;
|
|
89
|
+
}
|
|
90
|
+
const specifiers = node.specifiers;
|
|
91
|
+
if (specifiers) {
|
|
92
|
+
const kept = specifiers.filter((specifier) => specifier.exportKind !== 'type');
|
|
93
|
+
if (kept.length === 0)
|
|
94
|
+
return empty();
|
|
95
|
+
node.specifiers = kept;
|
|
96
|
+
}
|
|
97
|
+
return node;
|
|
98
|
+
}
|
|
99
|
+
case 'ExportDefaultDeclaration':
|
|
100
|
+
case 'ExportAllDeclaration':
|
|
101
|
+
return node.exportKind === 'type' ? empty() : node;
|
|
102
|
+
case 'PropertyDefinition':
|
|
103
|
+
if (node.accessor) {
|
|
104
|
+
fail('typescript_invalid_feature', node, {
|
|
105
|
+
feature: 'accessor fields (related TSC proposal is not stage 4 yet)'
|
|
106
|
+
});
|
|
107
|
+
}
|
|
108
|
+
break;
|
|
109
|
+
case 'TSParameterProperty': {
|
|
110
|
+
if ((node.readonly || node.accessibility) && this.path.at(-2)?.kind === 'constructor') {
|
|
111
|
+
fail('typescript_invalid_feature', node, {
|
|
112
|
+
feature: 'accessibility modifiers on constructor parameters'
|
|
113
|
+
});
|
|
114
|
+
}
|
|
115
|
+
return this.visit(node.parameter);
|
|
116
|
+
}
|
|
117
|
+
case 'FunctionExpression':
|
|
118
|
+
case 'FunctionDeclaration': {
|
|
119
|
+
const params = node.params;
|
|
120
|
+
const first = params[0];
|
|
121
|
+
if (first?.type === 'Identifier' && first.name === 'this')
|
|
122
|
+
params.shift();
|
|
123
|
+
break;
|
|
124
|
+
}
|
|
125
|
+
case 'ClassBody': {
|
|
126
|
+
const body = [];
|
|
127
|
+
this.path.push(node);
|
|
128
|
+
for (const member of node.body) {
|
|
129
|
+
const child = this.visit(member);
|
|
130
|
+
if (child.type !== 'PropertyDefinition' || !child.declare)
|
|
131
|
+
body.push(child);
|
|
132
|
+
}
|
|
133
|
+
this.path.pop();
|
|
134
|
+
node.body = body;
|
|
135
|
+
return node;
|
|
136
|
+
}
|
|
137
|
+
case 'ClassDeclaration':
|
|
138
|
+
if (node.declare)
|
|
139
|
+
return empty();
|
|
140
|
+
delete node.abstract;
|
|
141
|
+
delete node.implements;
|
|
142
|
+
delete node.superTypeArguments;
|
|
143
|
+
delete node.superTypeParameters;
|
|
144
|
+
break;
|
|
145
|
+
case 'ClassExpression':
|
|
146
|
+
delete node.implements;
|
|
147
|
+
delete node.superTypeArguments;
|
|
148
|
+
delete node.superTypeParameters;
|
|
149
|
+
break;
|
|
150
|
+
case 'MethodDefinition':
|
|
151
|
+
if (node.abstract)
|
|
152
|
+
return empty();
|
|
153
|
+
break;
|
|
154
|
+
case 'VariableDeclaration':
|
|
155
|
+
if (node.declare)
|
|
156
|
+
return empty();
|
|
157
|
+
break;
|
|
158
|
+
case 'TSModuleDeclaration': {
|
|
159
|
+
const body = node.body;
|
|
160
|
+
if (!body)
|
|
161
|
+
return empty();
|
|
162
|
+
this.path.push(node);
|
|
163
|
+
const cleaned = body.body.map((entry) => this.visit(entry));
|
|
164
|
+
this.path.pop();
|
|
165
|
+
if (cleaned.some((entry) => !erasedStatements.has(entry))) {
|
|
166
|
+
fail('typescript_invalid_feature', node, {
|
|
167
|
+
feature: 'namespaces with non-type nodes'
|
|
168
|
+
});
|
|
169
|
+
}
|
|
170
|
+
return empty();
|
|
171
|
+
}
|
|
172
|
+
default:
|
|
173
|
+
break;
|
|
174
|
+
}
|
|
175
|
+
this.children(node);
|
|
176
|
+
return node;
|
|
177
|
+
}
|
|
178
|
+
}
|
|
179
|
+
export function stripTypes(node) {
|
|
180
|
+
return new Stripper().visit(node);
|
|
181
|
+
}
|
|
182
|
+
//# sourceMappingURL=typescript.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"typescript.js","sourceRoot":"","sources":["../../src/front/typescript.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAIxC,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAQ,CAAC;AAE7C,MAAM,KAAK,GAAG,GAAS,EAAE;IACxB,MAAM,SAAS,GAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACnD,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChC,OAAO,SAAS,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACzB,gBAAgB;IAChB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,2BAA2B;CAC3B,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAElG,MAAM,UAAU,GAAG;IAClB,gBAAgB;IAChB,gBAAgB;IAChB,eAAe;IACf,YAAY;IACZ,eAAe;IACf,UAAU;IACV,UAAU;IACV,UAAU;CACV,CAAC;AAEF,SAAS,MAAM,CAAC,KAAc;IAC7B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAQ,KAAc,CAAC,IAAI,KAAK,QAAQ,CAAC;AAChG,CAAC;AAED,MAAM,QAAQ;IACJ,IAAI,GAAW,EAAE,CAAC;IAE3B,QAAQ,CAAC,IAAU;QAClB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,GAAG,KAAK,MAAM;gBAAE,SAAS;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;oBACnD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBAAE,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAS,CAAC,CAAC;gBAC3E,CAAC;YACF,CAAC;iBAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;QACF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAU;QACf,KAAK,MAAM,KAAK,IAAI,UAAU;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC;QAC7F,OAAO,IAAI,CAAC;IACb,CAAC;IAED,KAAK,CAAC,IAAU;QACf,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,CAAC,IAAU;QACjB,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAkB,CAAC,CAAC;QACzE,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,EAAE,CAAC;QAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW;gBACf,IAAI,CAAC,4BAA4B,EAAE,IAAa,EAAE;oBACjD,OAAO,EAAE,sDAAsD;iBAC/D,CAAC,CAAC;YACJ,KAAK,mBAAmB;gBACvB,IAAI,CAAC,4BAA4B,EAAE,IAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YACzE,KAAK,mBAAmB,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM;oBAAE,OAAO,KAAK,EAAE,CAAC;gBAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAgC,CAAC;gBACzD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC;oBAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,KAAK,EAAE,CAAC;oBACtC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;gBACxB,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC;YACD,KAAK,wBAAwB,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM;oBAAE,OAAO,KAAK,EAAE,CAAC;gBAC/C,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBACpB,OAAQ,IAAI,CAAC,WAAoB,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC9E,CAAC;gBACD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAgC,CAAC;gBACzD,IAAI,UAAU,EAAE,CAAC;oBAChB,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC;oBAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,KAAK,EAAE,CAAC;oBACtC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;gBACxB,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC;YACD,KAAK,0BAA0B,CAAC;YAChC,KAAK,sBAAsB;gBAC1B,OAAO,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACpD,KAAK,oBAAoB;gBACxB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACnB,IAAI,CAAC,4BAA4B,EAAE,IAAa,EAAE;wBACjD,OAAO,EAAE,2DAA2D;qBACpE,CAAC,CAAC;gBACJ,CAAC;gBACD,MAAM;YACP,KAAK,qBAAqB,EAAE,CAAC;gBAC5B,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,aAAa,EAAE,CAAC;oBACvF,IAAI,CAAC,4BAA4B,EAAE,IAAa,EAAE;wBACjD,OAAO,EAAE,mDAAmD;qBAC5D,CAAC,CAAC;gBACJ,CAAC;gBACD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAiB,CAAC,CAAC;YAC3C,CAAC;YACD,KAAK,oBAAoB,CAAC;YAC1B,KAAK,qBAAqB,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAgB,CAAC;gBACrC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACxB,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;oBAAE,MAAM,CAAC,KAAK,EAAE,CAAC;gBAC1E,MAAM;YACP,CAAC;YACD,KAAK,WAAW,EAAE,CAAC;gBAClB,MAAM,IAAI,GAAW,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAc,EAAE,CAAC;oBAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBACjC,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,KAAK,CAAC,OAAO;wBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7E,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;gBAChB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;gBACjB,OAAO,IAAI,CAAC;YACb,CAAC;YACD,KAAK,kBAAkB;gBACtB,IAAI,IAAI,CAAC,OAAO;oBAAE,OAAO,KAAK,EAAE,CAAC;gBACjC,OAAO,IAAI,CAAC,QAAQ,CAAC;gBACrB,OAAO,IAAI,CAAC,UAAU,CAAC;gBACvB,OAAO,IAAI,CAAC,kBAAkB,CAAC;gBAC/B,OAAO,IAAI,CAAC,mBAAmB,CAAC;gBAChC,MAAM;YACP,KAAK,iBAAiB;gBACrB,OAAO,IAAI,CAAC,UAAU,CAAC;gBACvB,OAAO,IAAI,CAAC,kBAAkB,CAAC;gBAC/B,OAAO,IAAI,CAAC,mBAAmB,CAAC;gBAChC,MAAM;YACP,KAAK,kBAAkB;gBACtB,IAAI,IAAI,CAAC,QAAQ;oBAAE,OAAO,KAAK,EAAE,CAAC;gBAClC,MAAM;YACP,KAAK,qBAAqB;gBACzB,IAAI,IAAI,CAAC,OAAO;oBAAE,OAAO,KAAK,EAAE,CAAC;gBACjC,MAAM;YACP,KAAK,qBAAqB,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAwB,CAAC;gBAC3C,IAAI,CAAC,IAAI;oBAAE,OAAO,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,MAAM,OAAO,GAAI,IAAI,CAAC,IAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACxE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;gBAChB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;oBAC3D,IAAI,CAAC,4BAA4B,EAAE,IAAa,EAAE;wBACjD,OAAO,EAAE,gCAAgC;qBACzC,CAAC,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,EAAE,CAAC;YAChB,CAAC;YACD;gBACC,MAAM;QACR,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpB,OAAO,IAAI,CAAC;IACb,CAAC;CACD;AAED,MAAM,UAAU,UAAU,CAAI,IAAO;IACpC,OAAO,IAAI,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAuB,CAAiB,CAAC;AACtE,CAAC"}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import type { Diagnostic } from 'vigla/compiler';
|
|
2
|
+
export declare const stopped: unique symbol;
|
|
3
|
+
export interface Anchor {
|
|
4
|
+
warnings: Diagnostic[];
|
|
5
|
+
error?: Diagnostic;
|
|
6
|
+
}
|
|
7
|
+
export declare class Anchors {
|
|
8
|
+
#private;
|
|
9
|
+
readonly map: Map<object, Anchor>;
|
|
10
|
+
failed: boolean;
|
|
11
|
+
warn(node: object, warnings: readonly Diagnostic[]): void;
|
|
12
|
+
fail(node: object, error: Diagnostic): void;
|
|
13
|
+
translated(lowered: ReadonlyMap<object, object>, first: ReadonlyMap<object, readonly Diagnostic[]>): Map<object, Anchor>;
|
|
14
|
+
}
|
|
15
|
+
//# sourceMappingURL=anchors.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"anchors.d.ts","sourceRoot":"","sources":["../../../src/front/validate/anchors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,eAAO,MAAM,OAAO,EAAE,OAAO,MAA0B,CAAC;AAExD,MAAM,WAAW,MAAM;IACtB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,KAAK,CAAC,EAAE,UAAU,CAAC;CACnB;AAED,qBAAa,OAAO;;IACnB,QAAQ,CAAC,GAAG,sBAA6B;IACzC,MAAM,UAAS;IAWf,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,IAAI,CAExD;IAED,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,CAI1C;IAED,UAAU,CACT,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACpC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,GAC/C,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAiBrB;CACD"}
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
export const stopped = Symbol('stopped');
|
|
2
|
+
export class Anchors {
|
|
3
|
+
map = new Map();
|
|
4
|
+
failed = false;
|
|
5
|
+
#entry(node) {
|
|
6
|
+
let entry = this.map.get(node);
|
|
7
|
+
if (entry === undefined) {
|
|
8
|
+
entry = { warnings: [] };
|
|
9
|
+
this.map.set(node, entry);
|
|
10
|
+
}
|
|
11
|
+
return entry;
|
|
12
|
+
}
|
|
13
|
+
warn(node, warnings) {
|
|
14
|
+
if (warnings.length > 0)
|
|
15
|
+
this.#entry(node).warnings.push(...warnings);
|
|
16
|
+
}
|
|
17
|
+
fail(node, error) {
|
|
18
|
+
const entry = this.#entry(node);
|
|
19
|
+
entry.error ??= error;
|
|
20
|
+
this.failed = true;
|
|
21
|
+
}
|
|
22
|
+
translated(lowered, first) {
|
|
23
|
+
const out = new Map();
|
|
24
|
+
const entry = (key) => {
|
|
25
|
+
let found = out.get(key);
|
|
26
|
+
if (found === undefined) {
|
|
27
|
+
found = { warnings: [] };
|
|
28
|
+
out.set(key, found);
|
|
29
|
+
}
|
|
30
|
+
return found;
|
|
31
|
+
};
|
|
32
|
+
for (const [node, warnings] of first)
|
|
33
|
+
entry(node).warnings.push(...warnings);
|
|
34
|
+
for (const [node, anchor] of this.map) {
|
|
35
|
+
const target = entry(lowered.get(node) ?? node);
|
|
36
|
+
target.warnings.push(...anchor.warnings);
|
|
37
|
+
if (anchor.error !== undefined)
|
|
38
|
+
target.error ??= anchor.error;
|
|
39
|
+
}
|
|
40
|
+
return out;
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
//# sourceMappingURL=anchors.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"anchors.js","sourceRoot":"","sources":["../../../src/front/validate/anchors.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,OAAO,GAAkB,MAAM,CAAC,SAAS,CAAC,CAAC;AAOxD,MAAM,OAAO,OAAO;IACV,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,GAAG,KAAK,CAAC;IAEf,MAAM,CAAC,IAAY;QAClB,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,QAA+B;QACjD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,KAAiB;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACpB,CAAC;IAED,UAAU,CACT,OAAoC,EACpC,KAAiD;QAEjD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAU,EAAE;YACrC,IAAI,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;gBACzB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACrB,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YACzC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;gBAAE,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC;QAC/D,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;CACD"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
import type { Diagnostic } from 'vigla/compiler';
|
|
2
|
+
import type { Parsed } from '../parse/index.ts';
|
|
3
|
+
import type * as ES from 'estree';
|
|
4
|
+
import { Anchors } from './anchors.ts';
|
|
5
|
+
export interface ValidateOptions {
|
|
6
|
+
readonly customElement: boolean;
|
|
7
|
+
readonly filename: string | undefined;
|
|
8
|
+
}
|
|
9
|
+
export declare function validateModuleSyntax(program: ES.Program): Anchors;
|
|
10
|
+
export interface Validated {
|
|
11
|
+
readonly parse: readonly Diagnostic[];
|
|
12
|
+
readonly before: readonly Diagnostic[];
|
|
13
|
+
readonly anchors: Anchors;
|
|
14
|
+
}
|
|
15
|
+
export declare function validateComponent(parsed: Parsed, source: string, options: ValidateOptions): Validated;
|
|
16
|
+
//# sourceMappingURL=index.d.ts.map
|