rapydscript-ns 0.8.2 → 0.8.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/.agignore +1 -1
- package/.github/workflows/ci.yml +38 -38
- package/=template.pyj +5 -5
- package/CHANGELOG.md +39 -0
- package/HACKING.md +103 -103
- package/LICENSE +24 -24
- package/PYTHON_DIFFERENCES_REPORT.md +291 -0
- package/PYTHON_FEATURE_COVERAGE.md +106 -15
- package/README.md +831 -52
- package/TODO.md +4 -286
- package/add-toc-to-readme +2 -2
- package/bin/export +75 -75
- package/bin/rapydscript +70 -70
- package/bin/web-repl-export +102 -102
- package/build +2 -2
- package/language-service/index.js +4623 -0
- package/language-service/language-service.d.ts +40 -0
- package/package.json +9 -7
- package/publish.py +37 -37
- package/release/baselib-plain-pretty.js +2006 -229
- package/release/baselib-plain-ugly.js +70 -3
- package/release/compiler.js +11554 -3870
- package/release/signatures.json +31 -29
- package/session.vim +4 -4
- package/setup.cfg +2 -2
- package/src/ast.pyj +93 -1
- package/src/baselib-builtins.pyj +99 -2
- package/src/baselib-containers.pyj +107 -4
- package/src/baselib-errors.pyj +44 -0
- package/src/baselib-internal.pyj +124 -5
- package/src/baselib-itertools.pyj +97 -97
- package/src/baselib-str.pyj +32 -1
- package/src/compiler.pyj +36 -36
- package/src/errors.pyj +30 -30
- package/src/lib/aes.pyj +646 -646
- package/src/lib/collections.pyj +1 -1
- package/src/lib/copy.pyj +120 -0
- package/src/lib/elementmaker.pyj +83 -83
- package/src/lib/encodings.pyj +126 -126
- package/src/lib/gettext.pyj +569 -569
- package/src/lib/itertools.pyj +580 -580
- package/src/lib/math.pyj +193 -193
- package/src/lib/numpy.pyj +10 -10
- package/src/lib/operator.pyj +11 -11
- package/src/lib/pythonize.pyj +20 -20
- package/src/lib/random.pyj +118 -118
- package/src/lib/re.pyj +470 -470
- package/src/lib/react.pyj +74 -0
- package/src/lib/traceback.pyj +63 -63
- package/src/lib/uuid.pyj +77 -77
- package/src/monaco-language-service/analyzer.js +131 -9
- package/src/monaco-language-service/builtins.js +17 -2
- package/src/monaco-language-service/completions.js +170 -1
- package/src/monaco-language-service/diagnostics.js +25 -3
- package/src/monaco-language-service/dts.js +550 -550
- package/src/monaco-language-service/index.js +17 -0
- package/src/monaco-language-service/scope.js +3 -0
- package/src/output/classes.pyj +128 -11
- package/src/output/codegen.pyj +17 -3
- package/src/output/comments.pyj +45 -45
- package/src/output/exceptions.pyj +201 -105
- package/src/output/functions.pyj +13 -16
- package/src/output/jsx.pyj +164 -0
- package/src/output/literals.pyj +28 -2
- package/src/output/loops.pyj +0 -9
- package/src/output/modules.pyj +2 -5
- package/src/output/operators.pyj +22 -2
- package/src/output/statements.pyj +2 -2
- package/src/output/stream.pyj +1 -13
- package/src/output/treeshake.pyj +182 -182
- package/src/output/utils.pyj +72 -72
- package/src/parse.pyj +434 -114
- package/src/string_interpolation.pyj +72 -72
- package/src/tokenizer.pyj +29 -0
- package/src/unicode_aliases.pyj +576 -576
- package/src/utils.pyj +192 -192
- package/test/_import_one.pyj +37 -37
- package/test/_import_two/__init__.pyj +11 -11
- package/test/_import_two/level2/deep.pyj +4 -4
- package/test/_import_two/other.pyj +6 -6
- package/test/_import_two/sub.pyj +13 -13
- package/test/aes_vectors.pyj +421 -421
- package/test/annotations.pyj +80 -80
- package/test/baselib.pyj +4 -4
- package/test/classes.pyj +56 -17
- package/test/collections.pyj +5 -5
- package/test/decorators.pyj +77 -77
- package/test/docstrings.pyj +39 -39
- package/test/elementmaker_test.pyj +45 -45
- package/test/functions.pyj +151 -151
- package/test/generators.pyj +41 -41
- package/test/generic.pyj +370 -370
- package/test/imports.pyj +72 -72
- package/test/internationalization.pyj +73 -73
- package/test/lint.pyj +164 -164
- package/test/loops.pyj +85 -85
- package/test/numpy.pyj +734 -734
- package/test/omit_function_metadata.pyj +20 -20
- package/test/python_compat.pyj +326 -0
- package/test/python_features.pyj +129 -29
- package/test/regexp.pyj +55 -55
- package/test/repl.pyj +121 -121
- package/test/scoped_flags.pyj +76 -76
- package/test/slice.pyj +105 -0
- package/test/str.pyj +25 -0
- package/test/unit/fixtures/fibonacci_expected.js +1 -1
- package/test/unit/index.js +2296 -71
- package/test/unit/language-service-builtins.js +70 -0
- package/test/unit/language-service-bundle.js +5 -5
- package/test/unit/language-service-completions.js +180 -0
- package/test/unit/language-service-dts.js +543 -543
- package/test/unit/language-service-hover.js +455 -455
- package/test/unit/language-service-index.js +350 -0
- package/test/unit/language-service-scope.js +255 -0
- package/test/unit/language-service.js +625 -4
- package/test/unit/run-language-service.js +1 -0
- package/test/unit/web-repl.js +437 -0
- package/tools/build-language-service.js +2 -2
- package/tools/cli.js +547 -547
- package/tools/compile.js +219 -219
- package/tools/compiler.js +0 -24
- package/tools/completer.js +131 -131
- package/tools/embedded_compiler.js +251 -251
- package/tools/export.js +3 -37
- package/tools/gettext.js +185 -185
- package/tools/ini.js +65 -65
- package/tools/msgfmt.js +187 -187
- package/tools/repl.js +223 -223
- package/tools/test.js +118 -118
- package/tools/utils.js +128 -128
- package/tools/web_repl.js +95 -95
- package/try +41 -41
- package/web-repl/env.js +196 -74
- package/web-repl/index.html +163 -163
- package/web-repl/main.js +252 -254
- package/web-repl/prism.css +139 -139
- package/web-repl/prism.js +113 -113
- package/web-repl/rapydscript.js +227 -139
- package/web-repl/sha1.js +25 -25
- package/hack_demo.pyj +0 -112
- package/web-repl/language-service.js +0 -4187
package/src/output/operators.pyj
CHANGED
|
@@ -5,7 +5,7 @@ from ast import (
|
|
|
5
5
|
AST_Array, AST_Assign, AST_BaseCall, AST_Binary, AST_Conditional,
|
|
6
6
|
AST_ItemAccess, AST_NamedExpr, AST_Number, AST_Object, AST_Return, AST_Seq, AST_Set,
|
|
7
7
|
AST_SimpleStatement, AST_Statement, AST_String, AST_Sub, AST_Symbol,
|
|
8
|
-
AST_SymbolRef, AST_Starred, AST_Unary, is_node_type
|
|
8
|
+
AST_SymbolRef, AST_Starred, AST_Unary, AST_AnnotatedAssign, is_node_type
|
|
9
9
|
)
|
|
10
10
|
from output.loops import unpack_tuple
|
|
11
11
|
|
|
@@ -13,6 +13,11 @@ from output.loops import unpack_tuple
|
|
|
13
13
|
def print_getattr(self, output, skip_expression): # AST_Dot
|
|
14
14
|
if not skip_expression:
|
|
15
15
|
expr = self.expression
|
|
16
|
+
# Redirect JSON.parse → ρσ_json_parse so RapydScript code gets dict-aware
|
|
17
|
+
# parsing without polluting the global JSON.parse for other JS on the page.
|
|
18
|
+
if is_node_type(expr, AST_SymbolRef) and expr.name == 'JSON' and self.property == 'parse':
|
|
19
|
+
output.print('ρσ_json_parse')
|
|
20
|
+
return
|
|
16
21
|
expr.print(output)
|
|
17
22
|
if is_node_type(expr, AST_Number) and expr.value >= 0:
|
|
18
23
|
if not /[xa-f.]/i.test(output.last()):
|
|
@@ -280,6 +285,12 @@ def print_binary_op(self, output):
|
|
|
280
285
|
write_smart_equality(self, output)
|
|
281
286
|
elif self.operator is 'instanceof':
|
|
282
287
|
write_instanceof(self.left, self.right, output)
|
|
288
|
+
elif self.operator is '+':
|
|
289
|
+
output.print('ρσ_list_add(')
|
|
290
|
+
self.left.print(output)
|
|
291
|
+
output.comma()
|
|
292
|
+
self.right.print(output)
|
|
293
|
+
output.print(')')
|
|
283
294
|
elif self.operator is '*' and is_node_type(self.left, AST_String):
|
|
284
295
|
self.left.print(output), output.print('.repeat('), self.right.print(output), output.print(')')
|
|
285
296
|
elif self.operator is '===' or self.operator is '!==':
|
|
@@ -415,6 +426,14 @@ def print_assign(self, output):
|
|
|
415
426
|
else:
|
|
416
427
|
output.print('Math.pow('), self.left.print(output), output.comma(), self.right.print(output), output.print(')')
|
|
417
428
|
return
|
|
429
|
+
if self.operator is '+=':
|
|
430
|
+
output.assign(self.left)
|
|
431
|
+
output.print('ρσ_list_iadd(')
|
|
432
|
+
self.left.print(output)
|
|
433
|
+
output.comma()
|
|
434
|
+
self.right.print(output)
|
|
435
|
+
output.print(')')
|
|
436
|
+
return
|
|
418
437
|
if self.operator is '=' and self.is_chained():
|
|
419
438
|
left_hand_sides, rhs = self.traverse_chain()
|
|
420
439
|
is_compound_assign = False
|
|
@@ -468,7 +487,8 @@ def print_seq(output):
|
|
|
468
487
|
or is_node_type(p, AST_Return)
|
|
469
488
|
or is_node_type(p, AST_Array)
|
|
470
489
|
or is_node_type(p, AST_BaseCall)
|
|
471
|
-
or is_node_type(p, AST_SimpleStatement)
|
|
490
|
+
or is_node_type(p, AST_SimpleStatement)
|
|
491
|
+
or is_node_type(p, AST_AnnotatedAssign):
|
|
472
492
|
output.with_square(print_seq)
|
|
473
493
|
else:
|
|
474
494
|
print_seq()
|
|
@@ -54,11 +54,11 @@ def first_in_statement(output):
|
|
|
54
54
|
return False
|
|
55
55
|
|
|
56
56
|
|
|
57
|
-
def declare_vars(vars, output):
|
|
57
|
+
def declare_vars(vars, output, kind="var"):
|
|
58
58
|
# declare all variables as local, unless explictly set otherwise
|
|
59
59
|
if vars.length:
|
|
60
60
|
output.indent()
|
|
61
|
-
output.print(
|
|
61
|
+
output.print(kind)
|
|
62
62
|
output.space()
|
|
63
63
|
for i, arg in enumerate(vars):
|
|
64
64
|
if i:
|
package/src/output/stream.pyj
CHANGED
|
@@ -1,6 +1,5 @@
|
|
|
1
1
|
# vim:fileencoding=utf-8
|
|
2
2
|
# License: BSD Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
|
|
3
|
-
# globals:regenerate
|
|
4
3
|
from __python__ import hash_literals
|
|
5
4
|
|
|
6
5
|
from utils import make_predicate, defaults, repeat_string
|
|
@@ -57,6 +56,7 @@ output_stream_defaults = {
|
|
|
57
56
|
'write_name': True,
|
|
58
57
|
'omit_function_metadata': False,
|
|
59
58
|
'pythonize_strings': False,
|
|
59
|
+
'repl_mode': False,
|
|
60
60
|
}
|
|
61
61
|
|
|
62
62
|
class OutputStream:
|
|
@@ -255,18 +255,6 @@ class OutputStream:
|
|
|
255
255
|
if self.options.space_colon:
|
|
256
256
|
self.space()
|
|
257
257
|
|
|
258
|
-
def dump_yield(self):
|
|
259
|
-
self.indent()
|
|
260
|
-
self.spaced('var', 'ρσ_regenerator', '=', '{}')
|
|
261
|
-
self.end_statement()
|
|
262
|
-
code = 'ρσ_regenerator.regeneratorRuntime = ' + regenerate(False, self.options.beautify)
|
|
263
|
-
if self.options.beautify:
|
|
264
|
-
code = code.replace(/\/\/.*$/mg, '\n').replace(/^\s*$/gm, '') # strip comments
|
|
265
|
-
ci = self.make_indent(0)
|
|
266
|
-
code = [ci + x for x in code.split('\n')].join('\n')
|
|
267
|
-
self.print(code + '})(ρσ_regenerator)')
|
|
268
|
-
self.end_statement()
|
|
269
|
-
|
|
270
258
|
def get(self):
|
|
271
259
|
return self.OUTPUT
|
|
272
260
|
toString = get
|
package/src/output/treeshake.pyj
CHANGED
|
@@ -1,182 +1,182 @@
|
|
|
1
|
-
# vim:fileencoding=utf-8
|
|
2
|
-
# License: BSD
|
|
3
|
-
from __python__ import hash_literals
|
|
4
|
-
|
|
5
|
-
from ast import (
|
|
6
|
-
AST_Function, AST_Class, AST_SimpleStatement, AST_Assign,
|
|
7
|
-
AST_SymbolRef, AST_Dot, AST_Sub, AST_Imports, TreeWalker, is_node_type
|
|
8
|
-
)
|
|
9
|
-
from utils import has_prop
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
def get_top_level_name(stmt):
|
|
13
|
-
if is_node_type(stmt, AST_Function) or is_node_type(stmt, AST_Class):
|
|
14
|
-
if stmt.name:
|
|
15
|
-
return stmt.name.name
|
|
16
|
-
return None
|
|
17
|
-
if is_node_type(stmt, AST_SimpleStatement):
|
|
18
|
-
body = stmt.body
|
|
19
|
-
if is_node_type(body, AST_Assign):
|
|
20
|
-
lhs = body.left
|
|
21
|
-
if is_node_type(lhs, AST_SymbolRef):
|
|
22
|
-
return lhs.name
|
|
23
|
-
return None
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
def collect_refs_in_node(stmt, top_level_set, refs):
|
|
27
|
-
def visit_fn(node, descend):
|
|
28
|
-
if is_node_type(node, AST_SymbolRef):
|
|
29
|
-
if has_prop(top_level_set, node.name):
|
|
30
|
-
refs[node.name] = True
|
|
31
|
-
stmt.walk(TreeWalker(visit_fn))
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
def compute_transitive_closure(body, direct_names, nonlocalvars):
|
|
35
|
-
nonlocal_set = {}
|
|
36
|
-
if nonlocalvars:
|
|
37
|
-
for nv in nonlocalvars:
|
|
38
|
-
nonlocal_set[nv] = True
|
|
39
|
-
|
|
40
|
-
name_map = {}
|
|
41
|
-
unnamed_stmts = []
|
|
42
|
-
for stmt in body:
|
|
43
|
-
name = get_top_level_name(stmt)
|
|
44
|
-
if name is not None:
|
|
45
|
-
name_map[name] = stmt
|
|
46
|
-
else:
|
|
47
|
-
unnamed_stmts.push(stmt)
|
|
48
|
-
|
|
49
|
-
top_level_set = {}
|
|
50
|
-
for name in Object.keys(name_map):
|
|
51
|
-
top_level_set[name] = True
|
|
52
|
-
|
|
53
|
-
needed = {}
|
|
54
|
-
queue = []
|
|
55
|
-
|
|
56
|
-
# Always include top-level assignments to nonlocal vars — they affect the
|
|
57
|
-
# global JavaScript scope and must never be filtered out.
|
|
58
|
-
for name in Object.keys(name_map):
|
|
59
|
-
if has_prop(nonlocal_set, name):
|
|
60
|
-
needed[name] = True
|
|
61
|
-
queue.push(name)
|
|
62
|
-
|
|
63
|
-
# Add directly imported names
|
|
64
|
-
for name in Object.keys(direct_names):
|
|
65
|
-
if not has_prop(needed, name):
|
|
66
|
-
needed[name] = True
|
|
67
|
-
queue.push(name)
|
|
68
|
-
|
|
69
|
-
# Unnamed statements (imports, if-blocks, bare expressions) are always
|
|
70
|
-
# included in output, so their references to named top-level items must
|
|
71
|
-
# also be included transitively.
|
|
72
|
-
always_refs = {}
|
|
73
|
-
for stmt in unnamed_stmts:
|
|
74
|
-
collect_refs_in_node(stmt, top_level_set, always_refs)
|
|
75
|
-
for ref_name in Object.keys(always_refs):
|
|
76
|
-
if not has_prop(needed, ref_name):
|
|
77
|
-
needed[ref_name] = True
|
|
78
|
-
queue.push(ref_name)
|
|
79
|
-
|
|
80
|
-
while queue.length > 0:
|
|
81
|
-
current = queue.shift()
|
|
82
|
-
if not has_prop(name_map, current):
|
|
83
|
-
continue
|
|
84
|
-
refs = {}
|
|
85
|
-
collect_refs_in_node(name_map[current], top_level_set, refs)
|
|
86
|
-
for ref_name in Object.keys(refs):
|
|
87
|
-
if not has_prop(needed, ref_name):
|
|
88
|
-
needed[ref_name] = True
|
|
89
|
-
queue.push(ref_name)
|
|
90
|
-
|
|
91
|
-
return needed
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
def check_module_attr_access(main_body, info, alias_set):
|
|
95
|
-
def visit_fn(node, descend):
|
|
96
|
-
if is_node_type(node, AST_Dot):
|
|
97
|
-
expr = node.expression
|
|
98
|
-
if is_node_type(expr, AST_SymbolRef) and has_prop(alias_set, expr.name):
|
|
99
|
-
info.direct_names[node.property] = True
|
|
100
|
-
return True
|
|
101
|
-
if is_node_type(node, AST_Sub):
|
|
102
|
-
expr = node.expression
|
|
103
|
-
if is_node_type(expr, AST_SymbolRef) and has_prop(alias_set, expr.name):
|
|
104
|
-
info.can_tree_shake = False
|
|
105
|
-
for stmt in main_body:
|
|
106
|
-
stmt.walk(TreeWalker(visit_fn))
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
def analyze_imports(main_body):
|
|
110
|
-
result = {}
|
|
111
|
-
|
|
112
|
-
# First pass: walk the entire AST recursively to collect all from-imports
|
|
113
|
-
# (including those nested inside functions or other scopes).
|
|
114
|
-
def visit_from_imports(node, descend):
|
|
115
|
-
if is_node_type(node, AST_Imports):
|
|
116
|
-
for imp in node.imports:
|
|
117
|
-
if imp.argnames:
|
|
118
|
-
key = imp.key
|
|
119
|
-
if not has_prop(result, key):
|
|
120
|
-
result[key] = {'direct_names': {}, 'can_tree_shake': True}
|
|
121
|
-
for argname in imp.argnames:
|
|
122
|
-
result[key].direct_names[argname.name] = True
|
|
123
|
-
for stmt in main_body:
|
|
124
|
-
stmt.walk(TreeWalker(visit_from_imports))
|
|
125
|
-
|
|
126
|
-
# Second pass: handle top-level plain imports (import X as Y, import X).
|
|
127
|
-
# Attribute tracking via check_module_attr_access applies to main_body scope.
|
|
128
|
-
for stmt in main_body:
|
|
129
|
-
if not is_node_type(stmt, AST_Imports):
|
|
130
|
-
continue
|
|
131
|
-
for imp in stmt.imports:
|
|
132
|
-
if imp.argnames:
|
|
133
|
-
continue # already handled in first pass
|
|
134
|
-
key = imp.key
|
|
135
|
-
if not has_prop(result, key):
|
|
136
|
-
result[key] = {'direct_names': {}, 'can_tree_shake': True}
|
|
137
|
-
info = result[key]
|
|
138
|
-
if imp.alias:
|
|
139
|
-
alias_set = {}
|
|
140
|
-
alias_set[imp.alias.name] = True
|
|
141
|
-
check_module_attr_access(main_body, info, alias_set)
|
|
142
|
-
else:
|
|
143
|
-
parts = key.split('.')
|
|
144
|
-
if parts.length > 1:
|
|
145
|
-
# import X.Y with no alias: user accesses via X.Y.attr which
|
|
146
|
-
# requires two-level dot traversal — disable tree-shaking safely
|
|
147
|
-
info.can_tree_shake = False
|
|
148
|
-
else:
|
|
149
|
-
alias_set = {}
|
|
150
|
-
alias_set[parts[0]] = True
|
|
151
|
-
check_module_attr_access(main_body, info, alias_set)
|
|
152
|
-
|
|
153
|
-
return result
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
def tree_shake(ast, context):
|
|
157
|
-
import_infos = analyze_imports(ast.body)
|
|
158
|
-
for mod_key in Object.keys(import_infos):
|
|
159
|
-
info = import_infos[mod_key]
|
|
160
|
-
if not info.can_tree_shake:
|
|
161
|
-
continue
|
|
162
|
-
if not has_prop(ast.imports, mod_key):
|
|
163
|
-
continue
|
|
164
|
-
mod = ast.imports[mod_key]
|
|
165
|
-
# If body is missing (cached module), re-parse to get it
|
|
166
|
-
if not mod.body and mod.src_code:
|
|
167
|
-
parsed = context.parse(mod.src_code, {
|
|
168
|
-
'filename': mod.filename,
|
|
169
|
-
'module_id': mod_key,
|
|
170
|
-
'libdir': context.libdir,
|
|
171
|
-
'import_dirs': context.import_dirs or [],
|
|
172
|
-
'discard_asserts': context.discard_asserts,
|
|
173
|
-
'for_linting': True,
|
|
174
|
-
})
|
|
175
|
-
mod.body = parsed.body
|
|
176
|
-
mod.localvars = parsed.localvars
|
|
177
|
-
if not mod.nonlocalvars:
|
|
178
|
-
mod.nonlocalvars = parsed.nonlocalvars
|
|
179
|
-
if not mod.body:
|
|
180
|
-
continue
|
|
181
|
-
needed = compute_transitive_closure(mod.body, info.direct_names, mod.nonlocalvars)
|
|
182
|
-
mod.needed_names = needed
|
|
1
|
+
# vim:fileencoding=utf-8
|
|
2
|
+
# License: BSD
|
|
3
|
+
from __python__ import hash_literals
|
|
4
|
+
|
|
5
|
+
from ast import (
|
|
6
|
+
AST_Function, AST_Class, AST_SimpleStatement, AST_Assign,
|
|
7
|
+
AST_SymbolRef, AST_Dot, AST_Sub, AST_Imports, TreeWalker, is_node_type
|
|
8
|
+
)
|
|
9
|
+
from utils import has_prop
|
|
10
|
+
|
|
11
|
+
|
|
12
|
+
def get_top_level_name(stmt):
|
|
13
|
+
if is_node_type(stmt, AST_Function) or is_node_type(stmt, AST_Class):
|
|
14
|
+
if stmt.name:
|
|
15
|
+
return stmt.name.name
|
|
16
|
+
return None
|
|
17
|
+
if is_node_type(stmt, AST_SimpleStatement):
|
|
18
|
+
body = stmt.body
|
|
19
|
+
if is_node_type(body, AST_Assign):
|
|
20
|
+
lhs = body.left
|
|
21
|
+
if is_node_type(lhs, AST_SymbolRef):
|
|
22
|
+
return lhs.name
|
|
23
|
+
return None
|
|
24
|
+
|
|
25
|
+
|
|
26
|
+
def collect_refs_in_node(stmt, top_level_set, refs):
|
|
27
|
+
def visit_fn(node, descend):
|
|
28
|
+
if is_node_type(node, AST_SymbolRef):
|
|
29
|
+
if has_prop(top_level_set, node.name):
|
|
30
|
+
refs[node.name] = True
|
|
31
|
+
stmt.walk(TreeWalker(visit_fn))
|
|
32
|
+
|
|
33
|
+
|
|
34
|
+
def compute_transitive_closure(body, direct_names, nonlocalvars):
|
|
35
|
+
nonlocal_set = {}
|
|
36
|
+
if nonlocalvars:
|
|
37
|
+
for nv in nonlocalvars:
|
|
38
|
+
nonlocal_set[nv] = True
|
|
39
|
+
|
|
40
|
+
name_map = {}
|
|
41
|
+
unnamed_stmts = []
|
|
42
|
+
for stmt in body:
|
|
43
|
+
name = get_top_level_name(stmt)
|
|
44
|
+
if name is not None:
|
|
45
|
+
name_map[name] = stmt
|
|
46
|
+
else:
|
|
47
|
+
unnamed_stmts.push(stmt)
|
|
48
|
+
|
|
49
|
+
top_level_set = {}
|
|
50
|
+
for name in Object.keys(name_map):
|
|
51
|
+
top_level_set[name] = True
|
|
52
|
+
|
|
53
|
+
needed = {}
|
|
54
|
+
queue = []
|
|
55
|
+
|
|
56
|
+
# Always include top-level assignments to nonlocal vars — they affect the
|
|
57
|
+
# global JavaScript scope and must never be filtered out.
|
|
58
|
+
for name in Object.keys(name_map):
|
|
59
|
+
if has_prop(nonlocal_set, name):
|
|
60
|
+
needed[name] = True
|
|
61
|
+
queue.push(name)
|
|
62
|
+
|
|
63
|
+
# Add directly imported names
|
|
64
|
+
for name in Object.keys(direct_names):
|
|
65
|
+
if not has_prop(needed, name):
|
|
66
|
+
needed[name] = True
|
|
67
|
+
queue.push(name)
|
|
68
|
+
|
|
69
|
+
# Unnamed statements (imports, if-blocks, bare expressions) are always
|
|
70
|
+
# included in output, so their references to named top-level items must
|
|
71
|
+
# also be included transitively.
|
|
72
|
+
always_refs = {}
|
|
73
|
+
for stmt in unnamed_stmts:
|
|
74
|
+
collect_refs_in_node(stmt, top_level_set, always_refs)
|
|
75
|
+
for ref_name in Object.keys(always_refs):
|
|
76
|
+
if not has_prop(needed, ref_name):
|
|
77
|
+
needed[ref_name] = True
|
|
78
|
+
queue.push(ref_name)
|
|
79
|
+
|
|
80
|
+
while queue.length > 0:
|
|
81
|
+
current = queue.shift()
|
|
82
|
+
if not has_prop(name_map, current):
|
|
83
|
+
continue
|
|
84
|
+
refs = {}
|
|
85
|
+
collect_refs_in_node(name_map[current], top_level_set, refs)
|
|
86
|
+
for ref_name in Object.keys(refs):
|
|
87
|
+
if not has_prop(needed, ref_name):
|
|
88
|
+
needed[ref_name] = True
|
|
89
|
+
queue.push(ref_name)
|
|
90
|
+
|
|
91
|
+
return needed
|
|
92
|
+
|
|
93
|
+
|
|
94
|
+
def check_module_attr_access(main_body, info, alias_set):
|
|
95
|
+
def visit_fn(node, descend):
|
|
96
|
+
if is_node_type(node, AST_Dot):
|
|
97
|
+
expr = node.expression
|
|
98
|
+
if is_node_type(expr, AST_SymbolRef) and has_prop(alias_set, expr.name):
|
|
99
|
+
info.direct_names[node.property] = True
|
|
100
|
+
return True
|
|
101
|
+
if is_node_type(node, AST_Sub):
|
|
102
|
+
expr = node.expression
|
|
103
|
+
if is_node_type(expr, AST_SymbolRef) and has_prop(alias_set, expr.name):
|
|
104
|
+
info.can_tree_shake = False
|
|
105
|
+
for stmt in main_body:
|
|
106
|
+
stmt.walk(TreeWalker(visit_fn))
|
|
107
|
+
|
|
108
|
+
|
|
109
|
+
def analyze_imports(main_body):
|
|
110
|
+
result = {}
|
|
111
|
+
|
|
112
|
+
# First pass: walk the entire AST recursively to collect all from-imports
|
|
113
|
+
# (including those nested inside functions or other scopes).
|
|
114
|
+
def visit_from_imports(node, descend):
|
|
115
|
+
if is_node_type(node, AST_Imports):
|
|
116
|
+
for imp in node.imports:
|
|
117
|
+
if imp.argnames:
|
|
118
|
+
key = imp.key
|
|
119
|
+
if not has_prop(result, key):
|
|
120
|
+
result[key] = {'direct_names': {}, 'can_tree_shake': True}
|
|
121
|
+
for argname in imp.argnames:
|
|
122
|
+
result[key].direct_names[argname.name] = True
|
|
123
|
+
for stmt in main_body:
|
|
124
|
+
stmt.walk(TreeWalker(visit_from_imports))
|
|
125
|
+
|
|
126
|
+
# Second pass: handle top-level plain imports (import X as Y, import X).
|
|
127
|
+
# Attribute tracking via check_module_attr_access applies to main_body scope.
|
|
128
|
+
for stmt in main_body:
|
|
129
|
+
if not is_node_type(stmt, AST_Imports):
|
|
130
|
+
continue
|
|
131
|
+
for imp in stmt.imports:
|
|
132
|
+
if imp.argnames:
|
|
133
|
+
continue # already handled in first pass
|
|
134
|
+
key = imp.key
|
|
135
|
+
if not has_prop(result, key):
|
|
136
|
+
result[key] = {'direct_names': {}, 'can_tree_shake': True}
|
|
137
|
+
info = result[key]
|
|
138
|
+
if imp.alias:
|
|
139
|
+
alias_set = {}
|
|
140
|
+
alias_set[imp.alias.name] = True
|
|
141
|
+
check_module_attr_access(main_body, info, alias_set)
|
|
142
|
+
else:
|
|
143
|
+
parts = key.split('.')
|
|
144
|
+
if parts.length > 1:
|
|
145
|
+
# import X.Y with no alias: user accesses via X.Y.attr which
|
|
146
|
+
# requires two-level dot traversal — disable tree-shaking safely
|
|
147
|
+
info.can_tree_shake = False
|
|
148
|
+
else:
|
|
149
|
+
alias_set = {}
|
|
150
|
+
alias_set[parts[0]] = True
|
|
151
|
+
check_module_attr_access(main_body, info, alias_set)
|
|
152
|
+
|
|
153
|
+
return result
|
|
154
|
+
|
|
155
|
+
|
|
156
|
+
def tree_shake(ast, context):
|
|
157
|
+
import_infos = analyze_imports(ast.body)
|
|
158
|
+
for mod_key in Object.keys(import_infos):
|
|
159
|
+
info = import_infos[mod_key]
|
|
160
|
+
if not info.can_tree_shake:
|
|
161
|
+
continue
|
|
162
|
+
if not has_prop(ast.imports, mod_key):
|
|
163
|
+
continue
|
|
164
|
+
mod = ast.imports[mod_key]
|
|
165
|
+
# If body is missing (cached module), re-parse to get it
|
|
166
|
+
if not mod.body and mod.src_code:
|
|
167
|
+
parsed = context.parse(mod.src_code, {
|
|
168
|
+
'filename': mod.filename,
|
|
169
|
+
'module_id': mod_key,
|
|
170
|
+
'libdir': context.libdir,
|
|
171
|
+
'import_dirs': context.import_dirs or [],
|
|
172
|
+
'discard_asserts': context.discard_asserts,
|
|
173
|
+
'for_linting': True,
|
|
174
|
+
})
|
|
175
|
+
mod.body = parsed.body
|
|
176
|
+
mod.localvars = parsed.localvars
|
|
177
|
+
if not mod.nonlocalvars:
|
|
178
|
+
mod.nonlocalvars = parsed.nonlocalvars
|
|
179
|
+
if not mod.body:
|
|
180
|
+
continue
|
|
181
|
+
needed = compute_transitive_closure(mod.body, info.direct_names, mod.nonlocalvars)
|
|
182
|
+
mod.needed_names = needed
|
package/src/output/utils.pyj
CHANGED
|
@@ -1,72 +1,72 @@
|
|
|
1
|
-
# vim:fileencoding=utf-8
|
|
2
|
-
# License: BSD Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
|
|
3
|
-
from __python__ import hash_literals
|
|
4
|
-
|
|
5
|
-
from ast import AST_BlockStatement, is_node_type
|
|
6
|
-
|
|
7
|
-
def best_of(a):
|
|
8
|
-
best = a[0]
|
|
9
|
-
len_ = best.length
|
|
10
|
-
for i in range(1, a.length):
|
|
11
|
-
if a[i].length < len_:
|
|
12
|
-
best = a[i]
|
|
13
|
-
len_ = best.length
|
|
14
|
-
return best
|
|
15
|
-
|
|
16
|
-
def make_num(num):
|
|
17
|
-
str_ = num.toString(10)
|
|
18
|
-
a = [ str_.replace(/^0\./, ".").replace("e+", "e") ]
|
|
19
|
-
m = None
|
|
20
|
-
|
|
21
|
-
if Math.floor(num) is num:
|
|
22
|
-
if num >= 0:
|
|
23
|
-
a.push("0x" + num.toString(16).toLowerCase(), # probably pointless
|
|
24
|
-
"0" + num.toString(8))
|
|
25
|
-
else:
|
|
26
|
-
a.push("-0x" + (-num).toString(16).toLowerCase(), # probably pointless
|
|
27
|
-
"-0" + (-num).toString(8))
|
|
28
|
-
|
|
29
|
-
if m = /^(.*?)(0+)$/.exec(num):
|
|
30
|
-
a.push(m[1] + "e" + m[2].length)
|
|
31
|
-
|
|
32
|
-
elif m = /^0?\.(0+)(.*)$/.exec(num):
|
|
33
|
-
a.push(m[2] + "e-" + (m[1].length + m[2].length), str_.substr(str_.indexOf(".")))
|
|
34
|
-
|
|
35
|
-
return best_of(a)
|
|
36
|
-
|
|
37
|
-
def make_block(stmt, output):
|
|
38
|
-
if is_node_type(stmt, AST_BlockStatement):
|
|
39
|
-
stmt.print(output)
|
|
40
|
-
return
|
|
41
|
-
|
|
42
|
-
output.with_block(def():
|
|
43
|
-
output.indent()
|
|
44
|
-
stmt.print(output)
|
|
45
|
-
output.newline()
|
|
46
|
-
)
|
|
47
|
-
|
|
48
|
-
def create_doctring(docstrings):
|
|
49
|
-
ans = v'[]'
|
|
50
|
-
for ds in docstrings:
|
|
51
|
-
ds = str.rstrip(ds.value)
|
|
52
|
-
lines = v'[]'
|
|
53
|
-
min_leading_whitespace = ''
|
|
54
|
-
for line in ds.split(/$/gm):
|
|
55
|
-
r = /^\s+/.exec(line)
|
|
56
|
-
leading_whitespace = ''
|
|
57
|
-
if r:
|
|
58
|
-
leading_whitespace = r[0].replace(/[\n\r]/g, '') if r else ''
|
|
59
|
-
line = line[r[0].length:]
|
|
60
|
-
if not str.strip(line):
|
|
61
|
-
lines.push(v'["", ""]')
|
|
62
|
-
else:
|
|
63
|
-
leading_whitespace = leading_whitespace.replace(/\t/g, ' ')
|
|
64
|
-
if leading_whitespace and (not min_leading_whitespace or leading_whitespace.length < min_leading_whitespace.length):
|
|
65
|
-
min_leading_whitespace = leading_whitespace
|
|
66
|
-
lines.push(v'[leading_whitespace, line]')
|
|
67
|
-
for lw, l in lines:
|
|
68
|
-
if min_leading_whitespace:
|
|
69
|
-
lw = lw[min_leading_whitespace.length:]
|
|
70
|
-
ans.push(lw + l)
|
|
71
|
-
ans.push('')
|
|
72
|
-
return str.rstrip(ans.join('\n'))
|
|
1
|
+
# vim:fileencoding=utf-8
|
|
2
|
+
# License: BSD Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
|
|
3
|
+
from __python__ import hash_literals
|
|
4
|
+
|
|
5
|
+
from ast import AST_BlockStatement, is_node_type
|
|
6
|
+
|
|
7
|
+
def best_of(a):
|
|
8
|
+
best = a[0]
|
|
9
|
+
len_ = best.length
|
|
10
|
+
for i in range(1, a.length):
|
|
11
|
+
if a[i].length < len_:
|
|
12
|
+
best = a[i]
|
|
13
|
+
len_ = best.length
|
|
14
|
+
return best
|
|
15
|
+
|
|
16
|
+
def make_num(num):
|
|
17
|
+
str_ = num.toString(10)
|
|
18
|
+
a = [ str_.replace(/^0\./, ".").replace("e+", "e") ]
|
|
19
|
+
m = None
|
|
20
|
+
|
|
21
|
+
if Math.floor(num) is num:
|
|
22
|
+
if num >= 0:
|
|
23
|
+
a.push("0x" + num.toString(16).toLowerCase(), # probably pointless
|
|
24
|
+
"0" + num.toString(8))
|
|
25
|
+
else:
|
|
26
|
+
a.push("-0x" + (-num).toString(16).toLowerCase(), # probably pointless
|
|
27
|
+
"-0" + (-num).toString(8))
|
|
28
|
+
|
|
29
|
+
if m = /^(.*?)(0+)$/.exec(num):
|
|
30
|
+
a.push(m[1] + "e" + m[2].length)
|
|
31
|
+
|
|
32
|
+
elif m = /^0?\.(0+)(.*)$/.exec(num):
|
|
33
|
+
a.push(m[2] + "e-" + (m[1].length + m[2].length), str_.substr(str_.indexOf(".")))
|
|
34
|
+
|
|
35
|
+
return best_of(a)
|
|
36
|
+
|
|
37
|
+
def make_block(stmt, output):
|
|
38
|
+
if is_node_type(stmt, AST_BlockStatement):
|
|
39
|
+
stmt.print(output)
|
|
40
|
+
return
|
|
41
|
+
|
|
42
|
+
output.with_block(def():
|
|
43
|
+
output.indent()
|
|
44
|
+
stmt.print(output)
|
|
45
|
+
output.newline()
|
|
46
|
+
)
|
|
47
|
+
|
|
48
|
+
def create_doctring(docstrings):
|
|
49
|
+
ans = v'[]'
|
|
50
|
+
for ds in docstrings:
|
|
51
|
+
ds = str.rstrip(ds.value)
|
|
52
|
+
lines = v'[]'
|
|
53
|
+
min_leading_whitespace = ''
|
|
54
|
+
for line in ds.split(/$/gm):
|
|
55
|
+
r = /^\s+/.exec(line)
|
|
56
|
+
leading_whitespace = ''
|
|
57
|
+
if r:
|
|
58
|
+
leading_whitespace = r[0].replace(/[\n\r]/g, '') if r else ''
|
|
59
|
+
line = line[r[0].length:]
|
|
60
|
+
if not str.strip(line):
|
|
61
|
+
lines.push(v'["", ""]')
|
|
62
|
+
else:
|
|
63
|
+
leading_whitespace = leading_whitespace.replace(/\t/g, ' ')
|
|
64
|
+
if leading_whitespace and (not min_leading_whitespace or leading_whitespace.length < min_leading_whitespace.length):
|
|
65
|
+
min_leading_whitespace = leading_whitespace
|
|
66
|
+
lines.push(v'[leading_whitespace, line]')
|
|
67
|
+
for lw, l in lines:
|
|
68
|
+
if min_leading_whitespace:
|
|
69
|
+
lw = lw[min_leading_whitespace.length:]
|
|
70
|
+
ans.push(lw + l)
|
|
71
|
+
ans.push('')
|
|
72
|
+
return str.rstrip(ans.join('\n'))
|