OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 to generate code that can initialize the `StaticConfiguration` in | 5 /// Library to generate code that can initialize the `StaticConfiguration` in |
6 /// `package:smoke/static.dart`. | 6 /// `package:smoke/static.dart`. |
7 /// | 7 /// |
8 /// This library doesn't have any specific logic to extract information from | 8 /// This library doesn't have any specific logic to extract information from |
9 /// Dart source code. To extract code using the analyzer, take a look at the | 9 /// Dart source code. To extract code using the analyzer, take a look at the |
10 /// `smoke.codegen.recorder` library. | 10 /// `smoke.codegen.recorder` library. |
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
46 /// Static methods used on each type. | 46 /// Static methods used on each type. |
47 final Map<TypeIdentifier, Set<String>> _staticMethods = new SplayTreeMap(); | 47 final Map<TypeIdentifier, Set<String>> _staticMethods = new SplayTreeMap(); |
48 | 48 |
49 /// Names that are used both as strings and symbols. | 49 /// Names that are used both as strings and symbols. |
50 final Set<String> _names = new SplayTreeSet(); | 50 final Set<String> _names = new SplayTreeSet(); |
51 | 51 |
52 /// Prefixes associated with imported libraries. | 52 /// Prefixes associated with imported libraries. |
53 final Map<String, String> _libraryPrefix = {}; | 53 final Map<String, String> _libraryPrefix = {}; |
54 | 54 |
55 /// Register that [name] is used as a getter in the code. | 55 /// Register that [name] is used as a getter in the code. |
56 void addGetter(String name) { _getters.add(name); } | 56 void addGetter(String name) { |
| 57 _getters.add(name); |
| 58 } |
57 | 59 |
58 /// Register that [name] is used as a setter in the code. | 60 /// Register that [name] is used as a setter in the code. |
59 void addSetter(String name) { _setters.add(name); } | 61 void addSetter(String name) { |
| 62 _setters.add(name); |
| 63 } |
60 | 64 |
61 /// Register that [name] might be needed as a symbol. | 65 /// Register that [name] might be needed as a symbol. |
62 void addSymbol(String name) { _names.add(name); } | 66 void addSymbol(String name) { |
| 67 _names.add(name); |
| 68 } |
63 | 69 |
64 /// Register that `cls.name` is used as a static method in the code. | 70 /// Register that `cls.name` is used as a static method in the code. |
65 void addStaticMethod(TypeIdentifier cls, String name) { | 71 void addStaticMethod(TypeIdentifier cls, String name) { |
66 var methods = _staticMethods.putIfAbsent(cls, | 72 var methods = |
67 () => new SplayTreeSet<String>()); | 73 _staticMethods.putIfAbsent(cls, () => new SplayTreeSet<String>()); |
68 _addLibrary(cls.importUrl); | 74 _addLibrary(cls.importUrl); |
69 methods.add(name); | 75 methods.add(name); |
70 } | 76 } |
71 | 77 |
72 int _mixins = 0; | 78 int _mixins = 0; |
73 | 79 |
74 /// Creates a new type to represent a mixin. Use [comment] to help users | 80 /// Creates a new type to represent a mixin. Use [comment] to help users |
75 /// figure out what mixin is being represented. | 81 /// figure out what mixin is being represented. |
76 TypeIdentifier createMixinType([String comment = '']) => | 82 TypeIdentifier createMixinType([String comment = '']) => |
77 new TypeIdentifier(null, '_M${_mixins++}', comment); | 83 new TypeIdentifier(null, '_M${_mixins++}', comment); |
(...skipping 17 matching lines...) Expand all Loading... |
95 void addDeclaration(TypeIdentifier cls, String name, TypeIdentifier type, | 101 void addDeclaration(TypeIdentifier cls, String name, TypeIdentifier type, |
96 {bool isField: false, bool isProperty: false, bool isMethod: false, | 102 {bool isField: false, bool isProperty: false, bool isMethod: false, |
97 bool isFinal: false, bool isStatic: false, | 103 bool isFinal: false, bool isStatic: false, |
98 List<ConstExpression> annotations: const []}) { | 104 List<ConstExpression> annotations: const []}) { |
99 final count = (isField ? 1 : 0) + (isProperty ? 1 : 0) + (isMethod ? 1 : 0); | 105 final count = (isField ? 1 : 0) + (isProperty ? 1 : 0) + (isMethod ? 1 : 0); |
100 if (count != 1) { | 106 if (count != 1) { |
101 throw new ArgumentError('Declaration must be one (and only one) of the ' | 107 throw new ArgumentError('Declaration must be one (and only one) of the ' |
102 'following: a field, a property, or a method.'); | 108 'following: a field, a property, or a method.'); |
103 } | 109 } |
104 var kind = isField ? 'FIELD' : isProperty ? 'PROPERTY' : 'METHOD'; | 110 var kind = isField ? 'FIELD' : isProperty ? 'PROPERTY' : 'METHOD'; |
105 _declarations.putIfAbsent(cls, | 111 _declarations.putIfAbsent( |
106 () => new SplayTreeMap<String, _DeclarationCode>()); | 112 cls, () => new SplayTreeMap<String, _DeclarationCode>()); |
107 _addLibrary(cls.importUrl); | 113 _addLibrary(cls.importUrl); |
108 var map = _declarations[cls]; | 114 var map = _declarations[cls]; |
109 | 115 |
110 for (var exp in annotations) { | 116 for (var exp in annotations) { |
111 for (var lib in exp.librariesUsed) { | 117 for (var lib in exp.librariesUsed) { |
112 _addLibrary(lib); | 118 _addLibrary(lib); |
113 } | 119 } |
114 } | 120 } |
115 | 121 |
116 _addLibrary(type.importUrl); | 122 _addLibrary(type.importUrl); |
117 var decl = new _DeclarationCode(name, type, kind, isFinal, isStatic, | 123 var decl = |
118 annotations); | 124 new _DeclarationCode(name, type, kind, isFinal, isStatic, annotations); |
119 if (map.containsKey(name) && map[name] != decl) { | 125 if (map.containsKey(name) && map[name] != decl) { |
120 throw new StateError('$type.$name already has a different declaration' | 126 throw new StateError('$type.$name already has a different declaration' |
121 ' (${map[name]} instead of $decl).'); | 127 ' (${map[name]} instead of $decl).'); |
122 } | 128 } |
123 map[name] = decl; | 129 map[name] = decl; |
124 } | 130 } |
125 | 131 |
126 /// Register that we might try to read declarations of [type], even if no | 132 /// Register that we might try to read declarations of [type], even if no |
127 /// declaration exists. This informs the smoke system that querying for a | 133 /// declaration exists. This informs the smoke system that querying for a |
128 /// member in this class might be intentional and not an error. | 134 /// member in this class might be intentional and not an error. |
129 void addEmptyDeclaration(TypeIdentifier type) { | 135 void addEmptyDeclaration(TypeIdentifier type) { |
130 _addLibrary(type.importUrl); | 136 _addLibrary(type.importUrl); |
131 _declarations.putIfAbsent(type, | 137 _declarations.putIfAbsent( |
132 () => new SplayTreeMap<String, _DeclarationCode>()); | 138 type, () => new SplayTreeMap<String, _DeclarationCode>()); |
133 } | 139 } |
134 | 140 |
135 /// Writes to [buffer] a line for each import that is needed by the generated | 141 /// Writes to [buffer] a line for each import that is needed by the generated |
136 /// code. The code added by [writeStaticConfiguration] depends on these | 142 /// code. The code added by [writeStaticConfiguration] depends on these |
137 /// imports. | 143 /// imports. |
138 void writeImports(StringBuffer buffer) { | 144 void writeImports(StringBuffer buffer) { |
139 DEFAULT_IMPORTS.forEach((i) => buffer.writeln(i)); | 145 DEFAULT_IMPORTS.forEach((i) => buffer.writeln(i)); |
140 _libraryPrefix.forEach((url, prefix) { | 146 _libraryPrefix.forEach((url, prefix) { |
141 buffer.writeln("import '$url' as $prefix;"); | 147 buffer.writeln("import '$url' as $prefix;"); |
142 }); | 148 }); |
143 } | 149 } |
144 | 150 |
145 /// Writes to [buffer] top-level declarations that are used by the code | 151 /// Writes to [buffer] top-level declarations that are used by the code |
146 /// generated in [writeStaticConfiguration]. These are typically declarations | 152 /// generated in [writeStaticConfiguration]. These are typically declarations |
147 /// of empty classes that are then used as placeholders for mixin | 153 /// of empty classes that are then used as placeholders for mixin |
148 /// superclasses. | 154 /// superclasses. |
149 void writeTopLevelDeclarations(StringBuffer buffer) { | 155 void writeTopLevelDeclarations(StringBuffer buffer) { |
150 var types = new Set() | 156 var types = new Set() |
151 ..addAll(_parents.keys) | 157 ..addAll(_parents.keys) |
152 ..addAll(_parents.values) | 158 ..addAll(_parents.values) |
153 ..addAll(_declarations.keys) | 159 ..addAll(_declarations.keys) |
154 ..addAll(_declarations.values.expand( | 160 ..addAll(_declarations.values.expand((m) => m.values.map((d) => d.type))) |
155 (m) => m.values.map((d) => d.type))) | 161 ..removeWhere((t) => t.importUrl != null); |
156 ..removeWhere((t) => t.importUrl != null); | |
157 for (var type in types) { | 162 for (var type in types) { |
158 buffer.write('abstract class ${type.name} {}'); | 163 buffer.write('abstract class ${type.name} {}'); |
159 if (type.comment != null) buffer.write(' // ${type.comment}'); | 164 if (type.comment != null) buffer.write(' // ${type.comment}'); |
160 buffer.writeln(); | 165 buffer.writeln(); |
161 } | 166 } |
162 } | 167 } |
163 | 168 |
164 /// Appends to [buffer] code that will create smoke's static configuration. | 169 /// Appends to [buffer] code that will create smoke's static configuration. |
165 /// For example, the code might be of the form: | 170 /// For example, the code might be of the form: |
166 /// | 171 /// |
(...skipping 16 matching lines...) Expand all Loading... |
183 /// declarations from [writeTopLevelDeclarations] are included in the same | 188 /// declarations from [writeTopLevelDeclarations] are included in the same |
184 /// library where this code will live. | 189 /// library where this code will live. |
185 void writeStaticConfiguration(StringBuffer buffer, [int indent = 2]) { | 190 void writeStaticConfiguration(StringBuffer buffer, [int indent = 2]) { |
186 final spaces = ' ' * (indent + 4); | 191 final spaces = ' ' * (indent + 4); |
187 var args = {}; | 192 var args = {}; |
188 | 193 |
189 if (_getters.isNotEmpty) { | 194 if (_getters.isNotEmpty) { |
190 args['getters'] = _getters.map((n) => '${_symbol(n)}: (o) => o.$n'); | 195 args['getters'] = _getters.map((n) => '${_symbol(n)}: (o) => o.$n'); |
191 } | 196 } |
192 if (_setters.isNotEmpty) { | 197 if (_setters.isNotEmpty) { |
193 args['setters'] = _setters.map( | 198 args['setters'] = |
194 (n) => '${_symbol(n)}: (o, v) { o.$n = v; }'); | 199 _setters.map((n) => '${_symbol(n)}: (o, v) { o.$n = v; }'); |
195 } | 200 } |
196 | 201 |
197 if (_parents.isNotEmpty) { | 202 if (_parents.isNotEmpty) { |
198 var parentsMap = []; | 203 var parentsMap = []; |
199 _parents.forEach((child, parent) { | 204 _parents.forEach((child, parent) { |
200 var parent = _parents[child]; | 205 var parent = _parents[child]; |
201 parentsMap.add('${child.asCode(_libraryPrefix)}: ' | 206 parentsMap.add('${child.asCode(_libraryPrefix)}: ' |
202 '${parent.asCode(_libraryPrefix)}'); | 207 '${parent.asCode(_libraryPrefix)}'); |
203 }); | 208 }); |
204 args['parents'] = parentsMap; | 209 args['parents'] = parentsMap; |
205 } | 210 } |
206 | 211 |
207 if (_declarations.isNotEmpty) { | 212 if (_declarations.isNotEmpty) { |
208 var declarations = []; | 213 var declarations = []; |
209 _declarations.forEach((type, members) { | 214 _declarations.forEach((type, members) { |
210 final sb = new StringBuffer() | 215 final sb = new StringBuffer() |
211 ..write(type.asCode(_libraryPrefix)) | 216 ..write(type.asCode(_libraryPrefix)) |
212 ..write(': '); | 217 ..write(': '); |
213 if (members.isEmpty) { | 218 if (members.isEmpty) { |
214 sb.write('{}'); | 219 sb.write('{}'); |
215 } else { | 220 } else { |
216 sb.write('{\n'); | 221 sb.write('{\n'); |
217 members.forEach((name, decl) { | 222 members.forEach((name, decl) { |
218 var decl = members[name].asCode(_libraryPrefix); | 223 var decl = members[name].asCode(_libraryPrefix); |
219 sb.write('${spaces} ${_symbol(name)}: $decl,\n'); | 224 sb.write('${spaces} ${_symbol(name)}: $decl,\n'); |
220 }); | 225 }); |
221 sb.write('${spaces} }'); | 226 sb.write('${spaces} }'); |
222 } | 227 } |
223 declarations.add(sb.toString()); | 228 declarations.add(sb.toString()); |
224 }); | 229 }); |
225 args['declarations'] = declarations; | 230 args['declarations'] = declarations; |
226 } | 231 } |
227 | 232 |
228 if (_staticMethods.isNotEmpty) { | 233 if (_staticMethods.isNotEmpty) { |
229 var methods = []; | 234 var methods = []; |
230 _staticMethods.forEach((type, members) { | 235 _staticMethods.forEach((type, members) { |
231 var className = type.asCode(_libraryPrefix); | 236 var className = type.asCode(_libraryPrefix); |
232 final sb = new StringBuffer() | 237 final sb = new StringBuffer() |
233 ..write(className) | 238 ..write(className) |
234 ..write(': '); | 239 ..write(': '); |
235 if (members.isEmpty) { | 240 if (members.isEmpty) { |
236 sb.write('{}'); | 241 sb.write('{}'); |
237 } else { | 242 } else { |
238 sb.write('{\n'); | 243 sb.write('{\n'); |
239 for (var name in members) { | 244 for (var name in members) { |
240 sb.write('${spaces} ${_symbol(name)}: $className.$name,\n'); | 245 sb.write('${spaces} ${_symbol(name)}: $className.$name,\n'); |
241 } | 246 } |
242 sb.write('${spaces} }'); | 247 sb.write('${spaces} }'); |
243 } | 248 } |
244 methods.add(sb.toString()); | 249 methods.add(sb.toString()); |
245 }); | 250 }); |
246 args['staticMethods'] = methods; | 251 args['staticMethods'] = methods; |
247 } | 252 } |
248 | 253 |
249 if (_names.isNotEmpty) { | 254 if (_names.isNotEmpty) { |
250 args['names'] = _names.map((n) => "${_symbol(n)}: r'$n'"); | 255 args['names'] = _names.map((n) => "${_symbol(n)}: r'$n'"); |
251 } | 256 } |
252 | 257 |
253 buffer..writeln('new StaticConfiguration(') | 258 buffer |
254 ..write('${spaces}checkedMode: false'); | 259 ..writeln('new StaticConfiguration(') |
| 260 ..write('${spaces}checkedMode: false'); |
255 | 261 |
256 args.forEach((name, mapContents) { | 262 args.forEach((name, mapContents) { |
257 buffer.writeln(','); | 263 buffer.writeln(','); |
258 // TODO(sigmund): use const map when Type can be keys (dartbug.com/17123) | 264 // TODO(sigmund): use const map when Type can be keys (dartbug.com/17123) |
259 buffer.writeln('${spaces}$name: {'); | 265 buffer.writeln('${spaces}$name: {'); |
260 for (var entry in mapContents) { | 266 for (var entry in mapContents) { |
261 buffer.writeln('${spaces} $entry,'); | 267 buffer.writeln('${spaces} $entry,'); |
262 } | 268 } |
263 buffer.write('${spaces}}'); | 269 buffer.write('${spaces}}'); |
264 }); | 270 }); |
(...skipping 13 matching lines...) Expand all Loading... |
278 final TypeIdentifier type; | 284 final TypeIdentifier type; |
279 final String kind; | 285 final String kind; |
280 final bool isFinal; | 286 final bool isFinal; |
281 final bool isStatic; | 287 final bool isStatic; |
282 final List<ConstExpression> annotations; | 288 final List<ConstExpression> annotations; |
283 | 289 |
284 _DeclarationCode(this.name, this.type, this.kind, this.isFinal, this.isStatic, | 290 _DeclarationCode(this.name, this.type, this.kind, this.isFinal, this.isStatic, |
285 this.annotations); | 291 this.annotations); |
286 | 292 |
287 List<String> get librariesUsed => [] | 293 List<String> get librariesUsed => [] |
288 ..addAll(type.librariesUsed) | 294 ..addAll(type.librariesUsed) |
289 ..addAll(annotations.expand((a) => a.librariesUsed)); | 295 ..addAll(annotations.expand((a) => a.librariesUsed)); |
290 | 296 |
291 String asCode(Map<String, String> libraryPrefixes) { | 297 String asCode(Map<String, String> libraryPrefixes) { |
292 var sb = new StringBuffer(); | 298 var sb = new StringBuffer(); |
293 sb.write('const Declaration(${_symbol(name)}, ' | 299 sb.write('const Declaration(${_symbol(name)}, ' |
294 '${type.asCode(libraryPrefixes)}'); | 300 '${type.asCode(libraryPrefixes)}'); |
295 if (kind != 'FIELD') sb.write(', kind: $kind'); | 301 if (kind != 'FIELD') sb.write(', kind: $kind'); |
296 if (isFinal) sb.write(', isFinal: true'); | 302 if (isFinal) sb.write(', isFinal: true'); |
297 if (isStatic) sb.write(', isStatic: true'); | 303 if (isStatic) sb.write(', isStatic: true'); |
298 if (annotations != null && annotations.isNotEmpty) { | 304 if (annotations != null && annotations.isNotEmpty) { |
299 sb.write(', annotations: const ['); | 305 sb.write(', annotations: const ['); |
300 bool first = true; | 306 bool first = true; |
301 for (var e in annotations) { | 307 for (var e in annotations) { |
302 if (!first) sb.write(', '); | 308 if (!first) sb.write(', '); |
303 first = false; | 309 first = false; |
304 sb.write(e.asCode(libraryPrefixes)); | 310 sb.write(e.asCode(libraryPrefixes)); |
305 } | 311 } |
306 sb.write(']'); | 312 sb.write(']'); |
307 } | 313 } |
308 sb.write(')'); | 314 sb.write(')'); |
309 return sb.toString(); | 315 return sb.toString(); |
310 } | 316 } |
311 | 317 |
312 String toString() => | 318 String toString() => |
313 '(decl: $type.$name - $kind, $isFinal, $isStatic, $annotations)'; | 319 '(decl: $type.$name - $kind, $isFinal, $isStatic, $annotations)'; |
314 operator== (other) => other is _DeclarationCode && name == other.name && | 320 operator ==(other) => other is _DeclarationCode && |
315 type == other.type && kind == other.kind && isFinal == other.isFinal && | 321 name == other.name && |
| 322 type == other.type && |
| 323 kind == other.kind && |
| 324 isFinal == other.isFinal && |
316 isStatic == other.isStatic && | 325 isStatic == other.isStatic && |
317 compareLists(annotations, other.annotations); | 326 compareLists(annotations, other.annotations); |
318 int get hashCode => name.hashCode + (31 * type.hashCode); | 327 int get hashCode => name.hashCode + (31 * type.hashCode); |
319 } | 328 } |
320 | 329 |
321 /// A constant expression that can be used as an annotation. | 330 /// A constant expression that can be used as an annotation. |
322 abstract class ConstExpression { | 331 abstract class ConstExpression { |
323 | 332 |
324 /// Returns the library URLs that needs to be imported for this | 333 /// Returns the library URLs that needs to be imported for this |
325 /// [ConstExpression] to be a valid annotation. | 334 /// [ConstExpression] to be a valid annotation. |
(...skipping 12 matching lines...) Expand all Loading... |
338 var value = string.replaceAll(r'\', r'\\').replaceAll(r"'", r"\'"); | 347 var value = string.replaceAll(r'\', r'\\').replaceAll(r"'", r"\'"); |
339 return new CodeAsConstExpression("'$value'"); | 348 return new CodeAsConstExpression("'$value'"); |
340 } | 349 } |
341 | 350 |
342 /// Create an expression of the form `prefix.variable_name`. | 351 /// Create an expression of the form `prefix.variable_name`. |
343 factory ConstExpression.identifier(String importUrl, String name) => | 352 factory ConstExpression.identifier(String importUrl, String name) => |
344 new TopLevelIdentifier(importUrl, name); | 353 new TopLevelIdentifier(importUrl, name); |
345 | 354 |
346 /// Create an expression of the form `prefix.Constructor(v1, v2, p3: v3)`. | 355 /// Create an expression of the form `prefix.Constructor(v1, v2, p3: v3)`. |
347 factory ConstExpression.constructor(String importUrl, String name, | 356 factory ConstExpression.constructor(String importUrl, String name, |
348 List<ConstExpression> positionalArgs, | 357 List<ConstExpression> positionalArgs, |
349 Map<String, ConstExpression> namedArgs) => | 358 Map<String, ConstExpression> namedArgs) => |
350 new ConstructorExpression(importUrl, name, positionalArgs, namedArgs); | 359 new ConstructorExpression(importUrl, name, positionalArgs, namedArgs); |
351 } | 360 } |
352 | 361 |
353 /// A constant expression written as a String. Used when the code is self | 362 /// A constant expression written as a String. Used when the code is self |
354 /// contained and it doesn't depend on any imported libraries. | 363 /// contained and it doesn't depend on any imported libraries. |
355 class CodeAsConstExpression extends ConstExpression { | 364 class CodeAsConstExpression extends ConstExpression { |
356 String code; | 365 String code; |
357 List<String> get librariesUsed => const []; | 366 List<String> get librariesUsed => const []; |
358 | 367 |
359 CodeAsConstExpression(this.code); | 368 CodeAsConstExpression(this.code); |
360 | 369 |
361 String asCode(Map<String, String> libraryPrefixes) => code; | 370 String asCode(Map<String, String> libraryPrefixes) => code; |
362 | 371 |
363 String toString() => '(code: $code)'; | 372 String toString() => '(code: $code)'; |
364 operator== (other) => other is CodeAsConstExpression && code == other.code; | 373 operator ==(other) => other is CodeAsConstExpression && code == other.code; |
365 int get hashCode => code.hashCode; | 374 int get hashCode => code.hashCode; |
366 } | 375 } |
367 | 376 |
368 /// Describes a reference to some symbol that is exported from a library. This | 377 /// Describes a reference to some symbol that is exported from a library. This |
369 /// is typically used to refer to a type or a top-level variable from that | 378 /// is typically used to refer to a type or a top-level variable from that |
370 /// library. | 379 /// library. |
371 class TopLevelIdentifier extends ConstExpression { | 380 class TopLevelIdentifier extends ConstExpression { |
372 final String importUrl; | 381 final String importUrl; |
373 final String name; | 382 final String name; |
374 TopLevelIdentifier(this.importUrl, this.name); | 383 TopLevelIdentifier(this.importUrl, this.name); |
375 | 384 |
376 List<String> get librariesUsed => [importUrl]; | 385 List<String> get librariesUsed => [importUrl]; |
377 String asCode(Map<String, String> libraryPrefixes) { | 386 String asCode(Map<String, String> libraryPrefixes) { |
378 if (importUrl == 'dart:core' || importUrl == null) return name; | 387 if (importUrl == 'dart:core' || importUrl == null) return name; |
379 return '${libraryPrefixes[importUrl]}.$name'; | 388 return '${libraryPrefixes[importUrl]}.$name'; |
380 } | 389 } |
381 | 390 |
382 String toString() => '(identifier: $importUrl, $name)'; | 391 String toString() => '(identifier: $importUrl, $name)'; |
383 operator== (other) => other is TopLevelIdentifier && name == other.name | 392 operator ==(other) => other is TopLevelIdentifier && |
384 && importUrl == other.importUrl; | 393 name == other.name && |
| 394 importUrl == other.importUrl; |
385 int get hashCode => 31 * importUrl.hashCode + name.hashCode; | 395 int get hashCode => 31 * importUrl.hashCode + name.hashCode; |
386 } | 396 } |
387 | 397 |
388 /// Represents an expression that invokes a const constructor. | 398 /// Represents an expression that invokes a const constructor. |
389 class ConstructorExpression extends ConstExpression { | 399 class ConstructorExpression extends ConstExpression { |
390 final String importUrl; | 400 final String importUrl; |
391 final String name; | 401 final String name; |
392 final List<ConstExpression> positionalArgs; | 402 final List<ConstExpression> positionalArgs; |
393 final Map<String, ConstExpression> namedArgs; | 403 final Map<String, ConstExpression> namedArgs; |
394 ConstructorExpression(this.importUrl, this.name, this.positionalArgs, | 404 ConstructorExpression( |
395 this.namedArgs); | 405 this.importUrl, this.name, this.positionalArgs, this.namedArgs); |
396 | 406 |
397 List<String> get librariesUsed => [importUrl] | 407 List<String> get librariesUsed => [importUrl] |
398 ..addAll(positionalArgs.expand((e) => e.librariesUsed)) | 408 ..addAll(positionalArgs.expand((e) => e.librariesUsed)) |
399 ..addAll(namedArgs.values.expand((e) => e.librariesUsed)); | 409 ..addAll(namedArgs.values.expand((e) => e.librariesUsed)); |
400 | 410 |
401 String asCode(Map<String, String> libraryPrefixes) { | 411 String asCode(Map<String, String> libraryPrefixes) { |
402 var sb = new StringBuffer(); | 412 var sb = new StringBuffer(); |
403 sb.write('const '); | 413 sb.write('const '); |
404 if (importUrl != 'dart:core' && importUrl != null) { | 414 if (importUrl != 'dart:core' && importUrl != null) { |
405 sb.write('${libraryPrefixes[importUrl]}.'); | 415 sb.write('${libraryPrefixes[importUrl]}.'); |
406 } | 416 } |
407 sb.write('$name('); | 417 sb.write('$name('); |
408 bool first = true; | 418 bool first = true; |
409 for (var e in positionalArgs) { | 419 for (var e in positionalArgs) { |
410 if (!first) sb.write(', '); | 420 if (!first) sb.write(', '); |
411 first = false; | 421 first = false; |
412 sb.write(e.asCode(libraryPrefixes)); | 422 sb.write(e.asCode(libraryPrefixes)); |
413 } | 423 } |
414 namedArgs.forEach((name, value) { | 424 namedArgs.forEach((name, value) { |
415 if (!first) sb.write(', '); | 425 if (!first) sb.write(', '); |
416 first = false; | 426 first = false; |
417 sb.write('$name: '); | 427 sb.write('$name: '); |
418 sb.write(value.asCode(libraryPrefixes)); | 428 sb.write(value.asCode(libraryPrefixes)); |
419 }); | 429 }); |
420 sb.write(')'); | 430 sb.write(')'); |
421 return sb.toString(); | 431 return sb.toString(); |
422 } | 432 } |
423 | 433 |
424 String toString() => '(ctor: $importUrl, $name, $positionalArgs, $namedArgs)'; | 434 String toString() => '(ctor: $importUrl, $name, $positionalArgs, $namedArgs)'; |
425 operator== (other) => other is ConstructorExpression && name == other.name | 435 operator ==(other) => other is ConstructorExpression && |
426 && importUrl == other.importUrl && | 436 name == other.name && |
| 437 importUrl == other.importUrl && |
427 compareLists(positionalArgs, other.positionalArgs) && | 438 compareLists(positionalArgs, other.positionalArgs) && |
428 compareMaps(namedArgs, other.namedArgs); | 439 compareMaps(namedArgs, other.namedArgs); |
429 int get hashCode => 31 * importUrl.hashCode + name.hashCode; | 440 int get hashCode => 31 * importUrl.hashCode + name.hashCode; |
430 } | 441 } |
431 | 442 |
432 | |
433 /// Describes a type identifier, with the library URL where the type is defined. | 443 /// Describes a type identifier, with the library URL where the type is defined. |
434 // TODO(sigmund): consider adding support for imprecise TypeIdentifiers, which | 444 // TODO(sigmund): consider adding support for imprecise TypeIdentifiers, which |
435 // may be used by tools that want to generate code without using the analyzer | 445 // may be used by tools that want to generate code without using the analyzer |
436 // (they can syntactically tell the type comes from one of N imports). | 446 // (they can syntactically tell the type comes from one of N imports). |
437 class TypeIdentifier extends TopLevelIdentifier | 447 class TypeIdentifier extends TopLevelIdentifier |
438 implements Comparable<TypeIdentifier> { | 448 implements Comparable<TypeIdentifier> { |
439 final String comment; | 449 final String comment; |
440 TypeIdentifier(importUrl, typeName, [this.comment]) | 450 TypeIdentifier(importUrl, typeName, [this.comment]) |
441 : super(importUrl, typeName); | 451 : super(importUrl, typeName); |
442 | 452 |
443 // We implement [Comparable] to sort out entries in the generated code. | 453 // We implement [Comparable] to sort out entries in the generated code. |
444 int compareTo(TypeIdentifier other) { | 454 int compareTo(TypeIdentifier other) { |
445 if (importUrl == null && other.importUrl != null) return 1; | 455 if (importUrl == null && other.importUrl != null) return 1; |
446 if (importUrl != null && other.importUrl == null) return -1; | 456 if (importUrl != null && other.importUrl == null) return -1; |
447 var c1 = importUrl == null ? 0 : importUrl.compareTo(other.importUrl); | 457 var c1 = importUrl == null ? 0 : importUrl.compareTo(other.importUrl); |
448 return c1 != 0 ? c1 : name.compareTo(other.name); | 458 return c1 != 0 ? c1 : name.compareTo(other.name); |
449 } | 459 } |
450 | 460 |
451 String toString() => '(type-identifier: $importUrl, $name, $comment)'; | 461 String toString() => '(type-identifier: $importUrl, $name, $comment)'; |
452 bool operator ==(other) => other is TypeIdentifier && | 462 bool operator ==(other) => other is TypeIdentifier && |
453 importUrl == other.importUrl && name == other.name && | 463 importUrl == other.importUrl && |
| 464 name == other.name && |
454 comment == other.comment; | 465 comment == other.comment; |
455 int get hashCode => super.hashCode; | 466 int get hashCode => super.hashCode; |
456 } | 467 } |
457 | 468 |
458 /// Default set of imports added by [SmokeCodeGenerator]. | 469 /// Default set of imports added by [SmokeCodeGenerator]. |
459 const DEFAULT_IMPORTS = const [ | 470 const DEFAULT_IMPORTS = const [ |
460 "import 'package:smoke/smoke.dart' show Declaration, PROPERTY, METHOD;", | 471 "import 'package:smoke/smoke.dart' show Declaration, PROPERTY, METHOD;", |
461 "import 'package:smoke/static.dart' show " | 472 "import 'package:smoke/static.dart' show " |
462 "useGeneratedCode, StaticConfiguration;", | 473 "useGeneratedCode, StaticConfiguration;", |
463 ]; | 474 ]; |
464 | 475 |
465 _symbol(String name) { | 476 _symbol(String name) { |
466 if (!_publicSymbolPattern.hasMatch(name)) { | 477 if (!_publicSymbolPattern.hasMatch(name)) { |
467 throw new StateError('invalid symbol name: "$name"'); | 478 throw new StateError('invalid symbol name: "$name"'); |
468 } | 479 } |
469 return _literalSymbolPattern.hasMatch(name) | 480 return _literalSymbolPattern.hasMatch(name) |
470 ? '#$name' : "const Symbol('$name')"; | 481 ? '#$name' |
| 482 : "const Symbol('$name')"; |
471 } | 483 } |
472 | 484 |
473 // TODO(sigmund): is this included in some library we can import? I derived the | 485 // TODO(sigmund): is this included in some library we can import? I derived the |
474 // definitions below from sdk/lib/internal/symbol.dart. | 486 // definitions below from sdk/lib/internal/symbol.dart. |
475 | 487 |
476 /// Reserved words in Dart. | 488 /// Reserved words in Dart. |
477 const String _reservedWordRE = | 489 const String _reservedWordRE = |
478 r'(?:assert|break|c(?:a(?:se|tch)|lass|on(?:st|tinue))|d(?:efault|o)|' | 490 r'(?:assert|break|c(?:a(?:se|tch)|lass|on(?:st|tinue))|d(?:efault|o)|' |
479 r'e(?:lse|num|xtends)|f(?:alse|inal(?:ly)?|or)|i[fns]|n(?:ew|ull)|' | 491 r'e(?:lse|num|xtends)|f(?:alse|inal(?:ly)?|or)|i[fns]|n(?:ew|ull)|' |
480 r'ret(?:hrow|urn)|s(?:uper|witch)|t(?:h(?:is|row)|r(?:ue|y))|' | 492 r'ret(?:hrow|urn)|s(?:uper|witch)|t(?:h(?:is|row)|r(?:ue|y))|' |
481 r'v(?:ar|oid)|w(?:hile|ith))'; | 493 r'v(?:ar|oid)|w(?:hile|ith))'; |
482 | 494 |
483 /// Public identifier: a valid identifier (not a reserved word) that doesn't | 495 /// Public identifier: a valid identifier (not a reserved word) that doesn't |
484 /// start with '_'. | 496 /// start with '_'. |
485 const String _publicIdentifierRE = | 497 const String _publicIdentifierRE = |
486 r'(?!' '$_reservedWordRE' r'\b(?!\$))[a-zA-Z$][\w$]*'; | 498 r'(?!' '$_reservedWordRE' r'\b(?!\$))[a-zA-Z$][\w$]*'; |
487 | 499 |
488 /// Pattern that matches operators only. | 500 /// Pattern that matches operators only. |
489 final RegExp _literalSymbolPattern = new RegExp( | 501 final RegExp _literalSymbolPattern = |
490 '^(?:$_publicIdentifierRE(?:\$|[.](?!\$)))+?\$'); | 502 new RegExp('^(?:$_publicIdentifierRE(?:\$|[.](?!\$)))+?\$'); |
491 | 503 |
492 /// Operator names allowed as symbols. The name of the oeprators is the same as | 504 /// Operator names allowed as symbols. The name of the oeprators is the same as |
493 /// the operator itself except for unary minus, where the name is "unary-". | 505 /// the operator itself except for unary minus, where the name is "unary-". |
494 const String _operatorRE = | 506 const String _operatorRE = |
495 r'(?:[\-+*/%&|^]|\[\]=?|==|~/?|<[<=]?|>[>=]?|unary-)'; | 507 r'(?:[\-+*/%&|^]|\[\]=?|==|~/?|<[<=]?|>[>=]?|unary-)'; |
496 | 508 |
497 /// Pattern that matches public symbols. | 509 /// Pattern that matches public symbols. |
498 final RegExp _publicSymbolPattern = new RegExp( | 510 final RegExp _publicSymbolPattern = new RegExp( |
499 '^(?:$_operatorRE\$|$_publicIdentifierRE(?:=?\$|[.](?!\$)))+?\$'); | 511 '^(?:$_operatorRE\$|$_publicIdentifierRE(?:=?\$|[.](?!\$)))+?\$'); |
OLD | NEW |