Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library dev_compiler.src.codegen.module_builder; | 5 library dev_compiler.src.codegen.module_builder; |
| 6 | 6 |
| 7 import '../js/js_ast.dart' as JS; | 7 import '../js/js_ast.dart' as JS; |
| 8 import '../js/js_ast.dart' show js; | 8 import '../js/js_ast.dart' show js; |
| 9 import '../options.dart' show ModuleFormat; | 9 import '../options.dart' show ModuleFormat; |
| 10 | 10 |
| 11 /// Helper that builds JS modules in a given [ModuleFormat]. | 11 /// Helper that builds JS modules in a given [ModuleFormat]. |
| 12 abstract class ModuleBuilder { | 12 abstract class ModuleBuilder { |
| 13 final String _jsPath; | 13 final _exports = <String, String>{}; |
| 14 final String _jsModuleValue; | 14 final _imports = <_ModuleImport>[]; |
| 15 final JS.Identifier _exportsVar; | |
| 16 final List<String> _exports = <String>[]; | |
| 17 final List<_ModuleImport> _imports = <_ModuleImport>[]; | |
| 18 | 15 |
| 19 ModuleBuilder._(this._jsPath, this._jsModuleValue, this._exportsVar); | 16 ModuleBuilder._(); |
| 20 | 17 |
| 21 /// Returns a [format]-specific [ModuleBuilder]. | 18 /// Returns a [format]-specific [ModuleBuilder]. |
| 22 /// - [jsPath] is the path of the module being built. | 19 /// - [jsPath] is the path of the module being built. |
| 23 /// - [jsModuleValue] is the default value to use for the library, in case of | 20 /// - [jsModuleValue] is the default value to use for the library, in case of |
| 24 /// js interop (comes from the @js.JS(jsModuleValue) annotation on the | 21 /// js interop (comes from the @js.JS(jsModuleValue) annotation on the |
| 25 /// library directive). It is null in any other case. | 22 /// library directive). It is null in any other case. |
| 26 /// - [exportsVar] is the name of the object on which items are exported. Lazy | 23 /// - [exportsVar] is the name of the object on which items are exported. Lazy |
| 27 /// variables and constants are assumed to be declared on this instance. | 24 /// variables and constants are assumed to be declared on this instance. |
| 28 factory ModuleBuilder(String jsPath, String jsModuleValue, | 25 factory ModuleBuilder(ModuleFormat format) { |
| 29 JS.Identifier exportsVar, ModuleFormat format) { | |
| 30 switch (format) { | 26 switch (format) { |
| 31 case ModuleFormat.legacy: | 27 case ModuleFormat.legacy: |
| 32 return new LegacyModuleBuilder(jsPath, jsModuleValue, exportsVar); | 28 return new LegacyModuleBuilder(); |
| 33 case ModuleFormat.es6: | 29 case ModuleFormat.es6: |
| 34 return new ES6ModuleBuilder(jsPath, jsModuleValue, exportsVar); | 30 return new ES6ModuleBuilder(); |
| 31 case ModuleFormat.node: | |
| 32 return new NodeModuleBuilder(); | |
| 35 } | 33 } |
| 36 } | 34 } |
| 37 | 35 |
| 38 /// Adds [name] to the list of names to be exported from the module. | 36 /// Adds [name] to the list of names to be exported from the module. |
| 39 void addExport(String name) { | 37 void addExport(String name, String exportName) { |
| 40 _exports.add(name); | 38 _exports[name] = exportName; |
| 41 } | 39 } |
| 42 | 40 |
| 43 /// Adds an import from a module named [name] and locally aliased as [libVar]. | 41 /// Adds an import from a module named [name] and locally aliased as [libVar]. |
| 44 /// When [isLazy] is true, the import should be lazy (i.e. there is some | 42 /// When [isLazy] is `true`, the import should be lazy (i.e. there is some |
| 45 /// cyclic dependency of imports). | 43 /// cyclic dependency of imports). |
| 44 /// When [libVar] is `null`, the import is there just to force the import | |
| 45 /// order. | |
| 46 void addImport(String name, JS.Identifier libVar, {bool isLazy: false}) { | 46 void addImport(String name, JS.Identifier libVar, {bool isLazy: false}) { |
| 47 _imports.add(new _ModuleImport(name, libVar, isLazy)); | 47 _imports.add(new _ModuleImport(name, libVar, isLazy)); |
| 48 } | 48 } |
| 49 | 49 |
| 50 /// Builds a program out of menu items. | 50 /// Builds a program out of menu items. |
| 51 JS.Program build(List<JS.ModuleItem> moduleItems); | 51 JS.Program build(String jsPath, String jsModuleValue, |
| 52 JS.Identifier exportsVar, Iterable<JS.ModuleItem> moduleItems); | |
| 52 } | 53 } |
| 53 | 54 |
| 54 class _ModuleImport { | 55 class _ModuleImport { |
| 55 final String name; | 56 final String name; |
| 56 final JS.Identifier libVar; | 57 final JS.Identifier libVar; |
| 57 // TODO(jmesserly): Assess whether we can remove this (we shouldn't need it | 58 // TODO(jmesserly): Assess whether we can remove this (we shouldn't need it |
| 58 // even in our legacy module format, but it might still be useful for Closure | 59 // even in our legacy module format, but it might still be useful for Closure |
| 59 // with ES6 modules). | 60 // with ES6 modules). |
| 60 final bool isLazy; | 61 final bool isLazy; |
| 61 _ModuleImport(this.name, this.libVar, this.isLazy); | 62 _ModuleImport(this.name, this.libVar, this.isLazy); |
| 62 } | 63 } |
| 63 | 64 |
| 64 /// Generates modules for with DDC's `dart_library.js` loading mechanism. | 65 /// Generates modules for with DDC's `dart_library.js` loading mechanism. |
| 65 class LegacyModuleBuilder extends ModuleBuilder { | 66 class LegacyModuleBuilder extends ModuleBuilder { |
| 66 LegacyModuleBuilder(jsPath, _jsModuleValue, _exportsVar) | 67 LegacyModuleBuilder() : super._(); |
| 67 : super._(jsPath, _jsModuleValue, _exportsVar); | |
| 68 | 68 |
| 69 JS.Program build(List<JS.ModuleItem> moduleItems) { | 69 JS.Program build(String jsPath, String jsModuleValue, |
| 70 JS.Identifier exportsVar, Iterable<JS.ModuleItem> moduleItems) { | |
| 70 // TODO(jmesserly): it would be great to run the renamer on the body, | 71 // TODO(jmesserly): it would be great to run the renamer on the body, |
| 71 // then figure out if we really need each of these parameters. | 72 // then figure out if we really need each of these parameters. |
| 72 // See ES6 modules: https://github.com/dart-lang/dev_compiler/issues/34 | 73 // See ES6 modules: https://github.com/dart-lang/dev_compiler/issues/34 |
| 73 var params = [_exportsVar]; | 74 var params = [exportsVar]; |
| 74 var lazyParams = []; | 75 var lazyParams = []; |
| 75 | 76 |
| 76 var imports = <JS.Expression>[]; | 77 var imports = <JS.Expression>[]; |
| 77 var lazyImports = <JS.Expression>[]; | 78 var lazyImports = <JS.Expression>[]; |
| 78 var moduleStatements = <JS.Statement>[]; | 79 var moduleStatements = <JS.Statement>[]; |
| 79 | 80 |
| 80 for (var i in _imports) { | 81 for (var i in _imports) { |
| 82 // No need to force the import order for the legacy library mechanism. | |
| 83 if (i.libVar == null) continue; | |
| 81 (i.isLazy ? lazyImports : imports).add(js.string(i.name, "'")); | 84 (i.isLazy ? lazyImports : imports).add(js.string(i.name, "'")); |
| 82 (i.isLazy ? lazyParams : params).add(i.libVar); | 85 (i.isLazy ? lazyParams : params).add(i.libVar); |
| 83 } | 86 } |
| 84 params.addAll(lazyParams); | 87 params.addAll(lazyParams); |
| 85 | 88 |
| 86 moduleStatements.addAll(_flattenBlocks(moduleItems)); | 89 moduleStatements.addAll(_flattenBlocks(moduleItems)); |
| 87 | 90 |
| 88 if (_exports.isNotEmpty) { | 91 if (_exports.isNotEmpty) { |
| 89 moduleStatements.add(js.comment('Exports:')); | 92 moduleStatements.add(js.comment('Exports:')); |
| 90 // TODO(jmesserly): make these immutable in JS? | 93 // TODO(jmesserly): make these immutable in JS? |
| 91 for (var name in _exports) { | 94 _exports.forEach((name, exportName) { |
| 92 moduleStatements | 95 moduleStatements |
| 93 .add(js.statement('#.# = #;', [_exportsVar, name, name])); | 96 .add(js.statement('#.# = #;', [exportsVar, exportName, name])); |
| 94 } | 97 }); |
| 95 } | 98 } |
| 96 | 99 |
| 97 var module = | 100 var module = |
| 98 js.call("function(#) { 'use strict'; #; }", [params, moduleStatements]); | 101 js.call("function(#) { 'use strict'; #; }", [params, moduleStatements]); |
| 99 | 102 |
| 100 var moduleDef = js.statement("dart_library.library(#, #, #, #, #)", [ | 103 var moduleDef = js.statement("dart_library.library(#, #, #, #, #)", [ |
| 101 js.string(_jsPath, "'"), | 104 js.string(jsPath, "'"), |
| 102 _jsModuleValue ?? new JS.LiteralNull(), | 105 jsModuleValue ?? new JS.LiteralNull(), |
| 103 js.commentExpression( | 106 js.commentExpression( |
| 104 "Imports", new JS.ArrayInitializer(imports, multiline: true)), | 107 "Imports", new JS.ArrayInitializer(imports, multiline: true)), |
| 105 js.commentExpression("Lazy imports", | 108 js.commentExpression("Lazy imports", |
| 106 new JS.ArrayInitializer(lazyImports, multiline: true)), | 109 new JS.ArrayInitializer(lazyImports, multiline: true)), |
| 107 module | 110 module |
| 108 ]); | 111 ]); |
| 109 return new JS.Program(<JS.ModuleItem>[moduleDef]); | 112 return new JS.Program(<JS.ModuleItem>[moduleDef]); |
| 110 } | 113 } |
| 111 } | 114 } |
| 112 | 115 |
| 113 /// Generates ES6 modules. | 116 /// Generates ES6 modules. |
| 114 // TODO(ochafik): Break strong dep cycles to accommodate the Closure Compiler. | 117 // TODO(ochafik): Break strong dep cycles to accommodate the Closure Compiler. |
| 115 class ES6ModuleBuilder extends ModuleBuilder { | 118 class ES6ModuleBuilder extends ModuleBuilder { |
| 116 ES6ModuleBuilder(jsPath, _jsModuleValue, _exportsVar) | 119 ES6ModuleBuilder() : super._(); |
| 117 : super._(jsPath, _jsModuleValue, _exportsVar); | |
| 118 | 120 |
| 119 JS.Program build(List<JS.ModuleItem> moduleItems) { | 121 JS.Program build(String jsPath, String jsModuleValue, |
| 122 JS.Identifier exportsVar, Iterable<JS.ModuleItem> moduleItems) { | |
| 120 var moduleStatements = <JS.ModuleItem>[ | 123 var moduleStatements = <JS.ModuleItem>[ |
| 121 // Lazy declarations may reference exports. | 124 js.statement("const # = {};", [exportsVar]) |
| 122 js.statement("const # = {};", [_exportsVar]) | |
| 123 ]; | 125 ]; |
| 124 | 126 |
| 125 // TODO(jmesserly): it would be great to run the renamer on the body, | 127 // TODO(jmesserly): it would be great to run the renamer on the body, |
| 126 // then figure out if we really need each of these parameters. | 128 // then figure out if we really need each of these parameters. |
| 127 // See ES6 modules: https://github.com/dart-lang/dev_compiler/issues/34 | 129 // See ES6 modules: https://github.com/dart-lang/dev_compiler/issues/34 |
| 128 for (var i in _imports) { | 130 for (var i in _imports) { |
| 129 // TODO(ochafik): laziness, late binding, etc, to support Closure... | 131 // TODO(ochafik): laziness, late binding, etc, to support Closure... |
| 130 moduleStatements.add(new JS.ImportDeclaration( | 132 if (i.libVar == null) { |
| 131 defaultBinding: i.libVar, from: js.string(i.name))); | 133 moduleStatements.add(new JS.ImportDeclaration( |
| 134 namedImports: [], from: js.string(i.name))); | |
| 135 } else { | |
| 136 moduleStatements.add(new JS.ImportDeclaration( | |
| 137 defaultBinding: i.libVar, from: js.string(i.name))); | |
| 138 } | |
| 132 } | 139 } |
| 133 | 140 |
| 134 moduleStatements.addAll(_flattenBlocks(moduleItems)); | 141 moduleStatements.addAll(_flattenBlocks(moduleItems)); |
| 135 | 142 |
| 136 if (_exports.isNotEmpty) { | 143 if (_exports.isNotEmpty) { |
| 137 moduleStatements.add(js.comment('Exports:')); | 144 moduleStatements.add(js.comment('Exports:')); |
| 138 // TODO(jmesserly): make these immutable in JS? | 145 // TODO(jmesserly): make these immutable in JS? |
| 139 for (var name in _exports) { | 146 _exports.forEach((name, exportName) { |
| 140 moduleStatements | 147 moduleStatements |
| 141 .add(js.statement('#.# = #;', [_exportsVar, name, name])); | 148 .add(js.statement('#.# = #;', [exportsVar, exportName, name])); |
| 142 } | 149 }); |
| 143 moduleStatements | 150 moduleStatements |
| 144 .add(new JS.ExportDeclaration(_exportsVar, isDefault: true)); | 151 .add(new JS.ExportDeclaration(exportsVar, isDefault: true)); |
| 145 } | 152 } |
| 146 // TODO(ochafik): What to do of _jsModuleValue? | 153 // TODO(ochafik): What to do of jsModuleValue? |
| 147 return new JS.Program(moduleStatements); | 154 return new JS.Program(moduleStatements); |
| 148 } | 155 } |
| 149 } | 156 } |
| 157 | |
| 158 /// Generates node modules. | |
| 159 class NodeModuleBuilder extends ModuleBuilder { | |
| 160 NodeModuleBuilder() : super._(); | |
| 161 | |
| 162 JS.Program build(String jsPath, String jsModuleValue, | |
| 163 JS.Identifier exportsVar, Iterable<JS.ModuleItem> moduleItems) { | |
| 164 var moduleStatements = <JS.ModuleItem>[ | |
| 165 js.statement("'use strict';"), | |
| 166 // js.statement("console.log('Loading ' + #);", [js.string(jsPath)]) | |
|
vsm
2016/01/26 14:09:40
Remove?
ochafik
2016/01/26 16:27:37
Done.
| |
| 167 ]; | |
| 168 | |
| 169 moduleItems = _flattenBlocks(moduleItems); | |
| 170 | |
| 171 var prioritaryExportItems = <JS.ModuleItem>[]; | |
|
vsm
2016/01/26 14:09:41
s/prioritary/priority/ here and below?
ochafik
2016/01/26 16:27:37
Acknowledged.
| |
| 172 var normalItems = <JS.ModuleItem>[]; | |
| 173 | |
| 174 var exported = new Set<String>(); | |
| 175 emitExport(String name, List<JS.ModuleItem> items) { | |
|
vsm
2016/01/26 14:09:41
return type void?
ochafik
2016/01/26 16:27:37
Acknowledged.
| |
| 176 if (exported.add(name)) { | |
| 177 items.add(js.statement('#.# = #;', [exportsVar, _exports[name], name])); | |
| 178 } | |
| 179 } | |
| 180 | |
| 181 getPrioritaryExportName(JS.ModuleItem item) { | |
|
vsm
2016/01/26 14:09:41
return type String?
ochafik
2016/01/26 16:27:37
Acknowledged.
| |
| 182 if (jsPath == 'dart/core') { | |
| 183 if (item is JS.ClassDeclaration) { | |
| 184 var name = item.classExpr.name.name; | |
| 185 switch (name) { | |
| 186 case 'Object': | |
| 187 case 'Match': | |
| 188 return name; | |
|
vsm
2016/01/26 14:09:40
Can you add a comment on why these need special ca
ochafik
2016/01/26 16:27:37
Actually, no longer needed with the forced order,
| |
| 189 } | |
| 190 } | |
| 191 } | |
| 192 return null; | |
| 193 } | |
| 194 | |
| 195 for (var item in moduleItems) { | |
| 196 var prioritaryExportName = getPrioritaryExportName(item); | |
| 197 if (prioritaryExportName != null) { | |
| 198 prioritaryExportItems.add(item); | |
| 199 emitExport(prioritaryExportName, prioritaryExportItems); | |
| 200 } else { | |
| 201 normalItems.add(item); | |
| 202 } | |
| 203 } | |
| 204 | |
| 205 moduleStatements.addAll(prioritaryExportItems); | |
| 206 | |
| 207 for (var i in _imports) { | |
| 208 if (i.libVar == null) { | |
| 209 moduleStatements.add(js.statement('require(#);', [js.string(i.name)])); | |
| 210 } else { | |
| 211 moduleStatements.add( | |
| 212 js.statement('let # = require(#);', [i.libVar, js.string(i.name)])); | |
| 213 } | |
| 214 } | |
| 215 | |
| 216 moduleStatements.addAll(normalItems); | |
| 217 | |
| 218 if (_exports.isNotEmpty) { | |
| 219 moduleStatements.add(js.comment('Exports:')); | |
| 220 _exports.keys.forEach((name) => emitExport(name, moduleStatements)); | |
| 221 } | |
| 222 // TODO(ochafik): What to do of jsModuleValue? | |
| 223 return new JS.Program(moduleStatements); | |
| 224 } | |
| 225 } | |
| 150 | 226 |
| 151 /// Flattens blocks in [stats] to a single list of module items. | 227 /// Flattens blocks in [stats] to a single list of module items. |
| 152 /// Note that in general, blocks should not be flattened, because it can | 228 /// Note that in general, blocks should not be flattened, because it can |
| 153 /// mess up with block-level scoping (let, const). | 229 /// mess up with block-level scoping (let, const). |
| 154 // TODO(ochafik): Remove this / find better pattern (adding statements as they | 230 // TODO(ochafik): Remove this / find better pattern (adding statements as they |
| 155 // are generated from [JSCodegenVisitor], instead of composing them with | 231 // are generated from [JSCodegenVisitor], instead of composing them with |
| 156 // [_statements]). | 232 // [_statements]). |
| 157 Iterable<JS.ModuleItem> _flattenBlocks(List<JS.ModuleItem> stats) => | 233 Iterable<JS.ModuleItem> _flattenBlocks(List<JS.ModuleItem> stats) => |
| 158 stats.expand((item) => item is JS.Block ? item.statements : [item]); | 234 stats.expand( |
| 235 (item) => item is JS.Block ? _flattenBlocks(item.statements) : [item]); | |
| OLD | NEW |