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 dart2js.source_information; | 5 library dart2js.source_information; |
6 | 6 |
7 import '../dart2jslib.dart' show SourceSpan, MessageKind; | 7 import '../dart2jslib.dart' show SourceSpan, MessageKind; |
8 import '../elements/elements.dart' show | 8 import '../elements/elements.dart' show |
9 AstElement, | 9 AstElement, |
10 LocalElement; | 10 LocalElement; |
11 import '../scanner/scannerlib.dart' show Token; | 11 import '../tree/tree.dart' show Node, Send; |
12 import '../tree/tree.dart' show Node; | 12 import '../js/js.dart' show |
13 import '../js/js.dart' show JavaScriptNodeSourceInformation; | 13 JavaScriptNodeSourceInformation; |
14 import 'source_file.dart'; | 14 import 'source_file.dart'; |
15 | 15 |
| 16 bool useNewSourceInfo = |
| 17 const bool.fromEnvironment('USE_NEW_SOURCE_INFO', defaultValue: false); |
| 18 |
16 /// Interface for passing source information, for instance for use in source | 19 /// Interface for passing source information, for instance for use in source |
17 /// maps, through the backend. | 20 /// maps, through the backend. |
18 abstract class SourceInformation extends JavaScriptNodeSourceInformation { | 21 abstract class SourceInformation extends JavaScriptNodeSourceInformation { |
19 SourceSpan get sourceSpan; | 22 SourceSpan get sourceSpan; |
20 | 23 |
21 /// The source location associated with the start of the JS node. | 24 /// The source location associated with the start of the JS node. |
22 SourceLocation get startPosition => null; | 25 SourceLocation get startPosition => null; |
23 | 26 |
24 /// The source location associated with the closing of the JS node. | 27 /// The source location associated with the closing of the JS node. |
25 SourceLocation get closingPosition => null; | 28 SourceLocation get closingPosition => null; |
26 | 29 |
27 /// The source location associated with the end of the JS node. | 30 /// The source location associated with the end of the JS node. |
28 SourceLocation get endPosition => null; | 31 SourceLocation get endPosition => null; |
| 32 |
| 33 /// All source locations associated with this source information. |
| 34 List<SourceLocation> get sourceLocations; |
| 35 |
| 36 /// Return a short textual representation of the source location. |
| 37 String get shortText; |
29 } | 38 } |
30 | 39 |
31 /// Factory for creating [SourceInformationBuilder]s. | 40 /// Strategy for creating, processing and applying [SourceInformation]. |
32 class SourceInformationFactory { | 41 class SourceInformationStrategy { |
33 const SourceInformationFactory(); | 42 const SourceInformationStrategy(); |
34 | 43 |
35 /// Create a [SourceInformationBuilder] for [element]. | 44 /// Create a [SourceInformationBuilder] for [element]. |
36 SourceInformationBuilder forContext(AstElement element) { | 45 SourceInformationBuilder createBuilderForContext(AstElement element) { |
37 return const SourceInformationBuilder(); | 46 return const SourceInformationBuilder(); |
38 } | 47 } |
39 } | 48 } |
40 | 49 |
41 /// Interface for generating [SourceInformation]. | 50 /// Interface for generating [SourceInformation]. |
42 class SourceInformationBuilder { | 51 class SourceInformationBuilder { |
43 const SourceInformationBuilder(); | 52 const SourceInformationBuilder(); |
44 | 53 |
45 /// Create a [SourceInformationBuilder] for [element]. | 54 /// Create a [SourceInformationBuilder] for [element]. |
46 SourceInformationBuilder forContext(AstElement element) { | 55 SourceInformationBuilder forContext(AstElement element) => this; |
47 return this; | |
48 } | |
49 | 56 |
50 /// Generate [SourceInformation] the declaration of [element]. | 57 /// Generate [SourceInformation] the declaration of [element]. |
51 SourceInformation buildDeclaration(AstElement element) => null; | 58 SourceInformation buildDeclaration(AstElement element) => null; |
52 | 59 |
53 /// Generate [SourceInformation] for the generic [node]. | 60 /// Generate [SourceInformation] for the generic [node]. |
54 @deprecated | 61 @deprecated |
55 SourceInformation buildGeneric(Node node) => null; | 62 SourceInformation buildGeneric(Node node) => null; |
56 | 63 |
57 /// Generate [SourceInformation] for the return [node]. | 64 /// Generate [SourceInformation] for the return [node]. |
58 SourceInformation buildReturn(Node node) => null; | 65 SourceInformation buildReturn(Node node) => null; |
59 | 66 |
| 67 /// Generate [SourceInformation] for an implicit return in [element]. |
| 68 SourceInformation buildImplicitReturn(AstElement element) => null; |
| 69 |
60 /// Generate [SourceInformation] for the loop [node]. | 70 /// Generate [SourceInformation] for the loop [node]. |
61 SourceInformation buildLoop(Node node) => null; | 71 SourceInformation buildLoop(Node node) => null; |
62 | 72 |
63 /// Generate [SourceInformation] for the read access in [node]. | 73 /// Generate [SourceInformation] for the read access in [node]. |
64 SourceInformation buildGet(Node node) => null; | 74 SourceInformation buildGet(Node node) => null; |
65 | 75 |
66 /// Generate [SourceInformation] for the invocation in [node]. | 76 /// Generate [SourceInformation] for an invocation like `a.b()` where |
67 SourceInformation buildCall(Node node) => null; | 77 /// [receiver] points to the left-most part of the invocation, `a` in the |
68 } | 78 /// example, and [call] points the 'name' of the call, `b` or `()` depending |
| 79 /// on whether `b` is a method or a field/getter. |
| 80 SourceInformation buildCall(Node receiver, Node call) => null; |
69 | 81 |
70 /// Source information that contains start source position and optionally an | 82 /// Generate [SourceInformation] for the if statement in [node]. |
71 /// end source position. | 83 SourceInformation buildIf(Node node) => null; |
72 class StartEndSourceInformation extends SourceInformation { | |
73 @override | |
74 final SourceLocation startPosition; | |
75 | 84 |
76 @override | 85 /// Generate [SourceInformation] for the constructor invocation in [node]. |
77 final SourceLocation endPosition; | 86 SourceInformation buildNew(Node node) => null; |
78 | 87 |
79 StartEndSourceInformation(this.startPosition, [this.endPosition]); | 88 /// Generate [SourceInformation] for the throw in [node]. |
| 89 SourceInformation buildThrow(Node node) => null; |
80 | 90 |
81 @override | 91 /// Generate [SourceInformation] for the assignment in [node]. |
82 SourceSpan get sourceSpan { | 92 SourceInformation buildAssignment(Node node) => null; |
83 Uri uri = startPosition.sourceUri; | |
84 int begin = startPosition.offset; | |
85 int end = endPosition == null ? begin : endPosition.offset; | |
86 return new SourceSpan(uri, begin, end); | |
87 } | |
88 | |
89 int get hashCode { | |
90 return 0x7FFFFFFF & | |
91 (startPosition.hashCode * 17 + endPosition.hashCode * 19); | |
92 } | |
93 | |
94 bool operator ==(other) { | |
95 if (identical(this, other)) return true; | |
96 if (other is! StartEndSourceInformation) return false; | |
97 return startPosition == other.startPosition && | |
98 endPosition == other.endPosition; | |
99 } | |
100 | |
101 // TODO(johnniwinther): Remove this method. Source information should be | |
102 // computed based on the element by provided from statements and expressions. | |
103 static StartEndSourceInformation computeSourceInformation( | |
104 AstElement element) { | |
105 | |
106 AstElement implementation = element.implementation; | |
107 SourceFile sourceFile = implementation.compilationUnit.script.file; | |
108 String name = computeElementNameForSourceMaps(element); | |
109 Node node = implementation.node; | |
110 Token beginToken; | |
111 Token endToken; | |
112 if (node == null) { | |
113 // Synthesized node. Use the enclosing element for the location. | |
114 beginToken = endToken = element.position; | |
115 } else { | |
116 beginToken = node.getBeginToken(); | |
117 endToken = node.getEndToken(); | |
118 } | |
119 // TODO(podivilov): find the right sourceFile here and remove offset | |
120 // checks below. | |
121 SourceLocation sourcePosition, endSourcePosition; | |
122 if (beginToken.charOffset < sourceFile.length) { | |
123 sourcePosition = | |
124 new OffsetSourceLocation(sourceFile, beginToken.charOffset, name); | |
125 } | |
126 if (endToken.charOffset < sourceFile.length) { | |
127 endSourcePosition = | |
128 new OffsetSourceLocation(sourceFile, endToken.charOffset, name); | |
129 } | |
130 return new StartEndSourceInformation(sourcePosition, endSourcePosition); | |
131 } | |
132 | |
133 String toString() { | |
134 StringBuffer sb = new StringBuffer(); | |
135 sb.write('${startPosition.sourceUri}:'); | |
136 // Use 1-based line/column info to match usual dart tool output. | |
137 sb.write('[${startPosition.line + 1},${startPosition.column + 1}]'); | |
138 if (endPosition != null) { | |
139 sb.write('-[${endPosition.line + 1},${endPosition.column + 1}]'); | |
140 } | |
141 return sb.toString(); | |
142 } | |
143 } | |
144 | |
145 class StartEndSourceInformationFactory implements SourceInformationFactory { | |
146 const StartEndSourceInformationFactory(); | |
147 | |
148 @override | |
149 SourceInformationBuilder forContext(AstElement element) { | |
150 return new StartEndSourceInformationBuilder(element); | |
151 } | |
152 } | |
153 | |
154 /// [SourceInformationBuilder] that generates [PositionSourceInformation]. | |
155 class StartEndSourceInformationBuilder extends SourceInformationBuilder { | |
156 final SourceFile sourceFile; | |
157 final String name; | |
158 | |
159 StartEndSourceInformationBuilder(AstElement element) | |
160 : sourceFile = element.compilationUnit.script.file, | |
161 name = computeElementNameForSourceMaps(element); | |
162 | |
163 SourceInformation buildDeclaration(AstElement element) { | |
164 return StartEndSourceInformation.computeSourceInformation(element); | |
165 } | |
166 | |
167 SourceLocation sourceFileLocationForToken(Token token) { | |
168 SourceLocation location = | |
169 new OffsetSourceLocation(sourceFile, token.charOffset, name); | |
170 checkValidSourceFileLocation(location, sourceFile, token.charOffset); | |
171 return location; | |
172 } | |
173 | |
174 void checkValidSourceFileLocation( | |
175 SourceLocation location, SourceFile sourceFile, int offset) { | |
176 if (!location.isValid) { | |
177 throw MessageKind.INVALID_SOURCE_FILE_LOCATION.message( | |
178 {'offset': offset, | |
179 'fileName': sourceFile.filename, | |
180 'length': sourceFile.length}); | |
181 } | |
182 } | |
183 | |
184 @override | |
185 SourceInformation buildLoop(Node node) { | |
186 return new StartEndSourceInformation( | |
187 sourceFileLocationForToken(node.getBeginToken()), | |
188 sourceFileLocationForToken(node.getEndToken())); | |
189 } | |
190 | |
191 @override | |
192 SourceInformation buildGeneric(Node node) { | |
193 return new StartEndSourceInformation( | |
194 sourceFileLocationForToken(node.getBeginToken())); | |
195 } | |
196 | |
197 @override | |
198 SourceInformation buildReturn(Node node) => buildGeneric(node); | |
199 | |
200 @override | |
201 SourceInformation buildGet(Node node) => buildGeneric(node); | |
202 | |
203 @override | |
204 SourceInformation buildCall(Node node) => buildGeneric(node); | |
205 | |
206 @override | |
207 SourceInformationBuilder forContext( | |
208 AstElement element, {SourceInformation sourceInformation}) { | |
209 return new StartEndSourceInformationBuilder(element); | |
210 } | |
211 } | |
212 | |
213 /// [SourceInformation] that consists of an offset position into the source | |
214 /// code. | |
215 class PositionSourceInformation extends SourceInformation { | |
216 @override | |
217 final SourceLocation startPosition; | |
218 | |
219 @override | |
220 final SourceLocation closingPosition; | |
221 | |
222 PositionSourceInformation(this.startPosition, | |
223 [this.closingPosition]); | |
224 | |
225 @override | |
226 SourceSpan get sourceSpan { | |
227 SourceLocation location = | |
228 startPosition != null ? startPosition : closingPosition; | |
229 Uri uri = location.sourceUri; | |
230 int offset = location.offset; | |
231 return new SourceSpan(uri, offset, offset); | |
232 } | |
233 | |
234 int get hashCode { | |
235 return 0x7FFFFFFF & | |
236 (startPosition.hashCode * 17 + closingPosition.hashCode * 19); | |
237 } | |
238 | |
239 bool operator ==(other) { | |
240 if (identical(this, other)) return true; | |
241 if (other is! PositionSourceInformation) return false; | |
242 return startPosition == other.startPosition && | |
243 closingPosition == other.closingPosition; | |
244 } | |
245 | |
246 String toString() { | |
247 StringBuffer sb = new StringBuffer(); | |
248 if (startPosition != null) { | |
249 sb.write('${startPosition.sourceUri}:'); | |
250 } else { | |
251 sb.write('${closingPosition.sourceUri}:'); | |
252 } | |
253 // Use 1-based line/column info to match usual dart tool output. | |
254 if (startPosition != null) { | |
255 sb.write('[${startPosition.line + 1},' | |
256 '${startPosition.column + 1}]'); | |
257 } | |
258 if (closingPosition != null) { | |
259 sb.write('-[${closingPosition.line + 1},' | |
260 '${closingPosition.column + 1}]'); | |
261 } | |
262 return sb.toString(); | |
263 } | |
264 } | 93 } |
265 | 94 |
266 /// A location in a source file. | 95 /// A location in a source file. |
267 abstract class SourceLocation { | 96 abstract class SourceLocation { |
268 final SourceFile _sourceFile; | 97 final SourceFile _sourceFile; |
269 int _line; | 98 int _line; |
270 | 99 |
271 SourceLocation(this._sourceFile) { | 100 SourceLocation(this._sourceFile) { |
272 assert(isValid); | 101 assert(isValid); |
273 } | 102 } |
(...skipping 26 matching lines...) Expand all Loading... |
300 } | 129 } |
301 | 130 |
302 bool operator ==(other) { | 131 bool operator ==(other) { |
303 if (identical(this, other)) return true; | 132 if (identical(this, other)) return true; |
304 if (other is! SourceLocation) return false; | 133 if (other is! SourceLocation) return false; |
305 return sourceUri == other.sourceUri && | 134 return sourceUri == other.sourceUri && |
306 offset == other.offset && | 135 offset == other.offset && |
307 sourceName == other.sourceName; | 136 sourceName == other.sourceName; |
308 } | 137 } |
309 | 138 |
| 139 String get shortText { |
| 140 // Use 1-based line/column info to match usual dart tool output. |
| 141 return '${sourceUri.pathSegments.last}:[${line + 1},${column + 1}]'; |
| 142 } |
| 143 |
310 String toString() { | 144 String toString() { |
311 // Use 1-based line/column info to match usual dart tool output. | 145 // Use 1-based line/column info to match usual dart tool output. |
312 return '${sourceUri}:[${line + 1},${column + 1}]'; | 146 return '${sourceUri}:[${line + 1},${column + 1}]'; |
313 } | 147 } |
314 } | 148 } |
315 | 149 |
316 class OffsetSourceLocation extends SourceLocation { | 150 class OffsetSourceLocation extends SourceLocation { |
317 final int offset; | 151 final int offset; |
318 final String sourceName; | 152 final String sourceName; |
319 | 153 |
320 OffsetSourceLocation(SourceFile sourceFile, this.offset, this.sourceName) | 154 OffsetSourceLocation(SourceFile sourceFile, this.offset, this.sourceName) |
321 : super(sourceFile); | 155 : super(sourceFile); |
322 | 156 |
| 157 String get shortText { |
| 158 return '${super.shortText}:$sourceName'; |
| 159 } |
| 160 |
323 String toString() { | 161 String toString() { |
324 return '${super.toString()}:$sourceName'; | 162 return '${super.toString()}:$sourceName'; |
325 } | 163 } |
326 } | 164 } |
327 | 165 |
328 class PositionSourceInformationFactory implements SourceInformationFactory { | |
329 const PositionSourceInformationFactory(); | |
330 | |
331 @override | |
332 SourceInformationBuilder forContext(AstElement element) { | |
333 return new PositionSourceInformationBuilder(element); | |
334 } | |
335 } | |
336 | |
337 /// [SourceInformationBuilder] that generates [PositionSourceInformation]. | |
338 class PositionSourceInformationBuilder implements SourceInformationBuilder { | |
339 final SourceFile sourceFile; | |
340 final String name; | |
341 | |
342 PositionSourceInformationBuilder(AstElement element) | |
343 : sourceFile = element.implementation.compilationUnit.script.file, | |
344 name = computeElementNameForSourceMaps(element); | |
345 | |
346 SourceInformation buildDeclaration(AstElement element) { | |
347 if (element.isSynthesized) { | |
348 return new PositionSourceInformation( | |
349 new OffsetSourceLocation( | |
350 sourceFile, element.position.charOffset, name)); | |
351 } else { | |
352 return new PositionSourceInformation( | |
353 null, | |
354 new OffsetSourceLocation(sourceFile, | |
355 element.resolvedAst.node.getEndToken().charOffset, name)); | |
356 } | |
357 } | |
358 | |
359 SourceInformation buildBegin(Node node) { | |
360 return new PositionSourceInformation(new OffsetSourceLocation( | |
361 sourceFile, node.getBeginToken().charOffset, name)); | |
362 } | |
363 | |
364 @override | |
365 SourceInformation buildGeneric(Node node) => buildBegin(node); | |
366 | |
367 @override | |
368 SourceInformation buildReturn(Node node) => buildBegin(node); | |
369 | |
370 @override | |
371 SourceInformation buildLoop(Node node) => buildBegin(node); | |
372 | |
373 @override | |
374 SourceInformation buildGet(Node node) => buildBegin(node); | |
375 | |
376 @override | |
377 SourceInformation buildCall(Node node) => buildBegin(node); | |
378 | |
379 @override | |
380 SourceInformationBuilder forContext(AstElement element) { | |
381 return new PositionSourceInformationBuilder(element); | |
382 } | |
383 } | |
384 | |
385 /// Compute the source map name for [element]. | 166 /// Compute the source map name for [element]. |
386 String computeElementNameForSourceMaps(AstElement element) { | 167 String computeElementNameForSourceMaps(AstElement element) { |
387 if (element.isClosure) { | 168 if (element.isClosure) { |
388 return computeElementNameForSourceMaps(element.enclosingElement); | 169 return computeElementNameForSourceMaps(element.enclosingElement); |
389 } else if (element.isClass) { | 170 } else if (element.isClass) { |
390 return element.name; | 171 return element.name; |
391 } else if (element.isConstructor || element.isGenerativeConstructorBody) { | 172 } else if (element.isConstructor || element.isGenerativeConstructorBody) { |
392 String className = element.enclosingClass.name; | 173 String className = element.enclosingClass.name; |
393 if (element.name == '') { | 174 if (element.name == '') { |
394 return className; | 175 return className; |
395 } | 176 } |
396 return '$className.${element.name}'; | 177 return '$className.${element.name}'; |
397 } else if (element.isLocal) { | 178 } else if (element.isLocal) { |
398 LocalElement local = element; | 179 LocalElement local = element; |
399 String name = local.name; | 180 String name = local.name; |
400 if (name == '') { | 181 if (name == '') { |
401 name = '<anonymous function>'; | 182 name = '<anonymous function>'; |
402 } | 183 } |
403 return '${computeElementNameForSourceMaps(local.executableContext)}.$name'; | 184 return '${computeElementNameForSourceMaps(local.executableContext)}.$name'; |
404 } else if (element.enclosingClass != null) { | 185 } else if (element.enclosingClass != null) { |
405 if (element.enclosingClass.isClosure) { | 186 if (element.enclosingClass.isClosure) { |
406 return computeElementNameForSourceMaps(element.enclosingClass); | 187 return computeElementNameForSourceMaps(element.enclosingClass); |
407 } | 188 } |
408 return '${element.enclosingClass.name}.${element.name}'; | 189 return '${element.enclosingClass.name}.${element.name}'; |
409 } else { | 190 } else { |
410 return element.name; | 191 return element.name; |
411 } | 192 } |
412 } | 193 } |
OLD | NEW |