| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 /** | 5 /** |
| 6 * This library contains the infrastructure to parse and integrate patch files. | 6 * This library contains the infrastructure to parse and integrate patch files. |
| 7 * | 7 * |
| 8 * Three types of elements can be patched: [LibraryElement], [ClassElement], | 8 * Three types of elements can be patched: [LibraryElement], [ClassElement], |
| 9 * [FunctionElement]. Patches are introduced in patch libraries which are loaded | 9 * [FunctionElement]. Patches are introduced in patch libraries which are loaded |
| 10 * together with the corresponding origin library. Which libraries that are | 10 * together with the corresponding origin library. Which libraries that are |
| (...skipping 115 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 126 import 'diagnostics/messages.dart' show | 126 import 'diagnostics/messages.dart' show |
| 127 MessageKind; | 127 MessageKind; |
| 128 import 'elements/elements.dart'; | 128 import 'elements/elements.dart'; |
| 129 import 'elements/modelx.dart' show | 129 import 'elements/modelx.dart' show |
| 130 BaseFunctionElementX, | 130 BaseFunctionElementX, |
| 131 ClassElementX, | 131 ClassElementX, |
| 132 GetterElementX, | 132 GetterElementX, |
| 133 LibraryElementX, | 133 LibraryElementX, |
| 134 MetadataAnnotationX, | 134 MetadataAnnotationX, |
| 135 SetterElementX; | 135 SetterElementX; |
| 136 import 'js_backend/js_backend.dart' show |
| 137 JavaScriptBackend; |
| 136 import 'library_loader.dart' show | 138 import 'library_loader.dart' show |
| 137 LibraryLoader; | 139 LibraryLoader; |
| 138 import 'parser/listener.dart' show | 140 import 'parser/listener.dart' show |
| 139 Listener, | 141 Listener, |
| 140 ParserError; | 142 ParserError; |
| 141 import 'parser/element_listener.dart' show | 143 import 'parser/element_listener.dart' show |
| 142 ElementListener; | 144 ElementListener; |
| 143 import 'parser/member_listener.dart' show | 145 import 'parser/member_listener.dart' show |
| 144 MemberListener; | 146 MemberListener; |
| 145 import 'parser/partial_elements.dart' show | 147 import 'parser/partial_elements.dart' show |
| (...skipping 151 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 297 } | 299 } |
| 298 | 300 |
| 299 void patchElement(Compiler compiler, | 301 void patchElement(Compiler compiler, |
| 300 Element origin, | 302 Element origin, |
| 301 Element patch) { | 303 Element patch) { |
| 302 if (origin == null) { | 304 if (origin == null) { |
| 303 compiler.reportError( | 305 compiler.reportError( |
| 304 patch, MessageKind.PATCH_NON_EXISTING, {'name': patch.name}); | 306 patch, MessageKind.PATCH_NON_EXISTING, {'name': patch.name}); |
| 305 return; | 307 return; |
| 306 } | 308 } |
| 309 |
| 307 if (!(origin.isClass || | 310 if (!(origin.isClass || |
| 308 origin.isConstructor || | 311 origin.isConstructor || |
| 309 origin.isFunction || | 312 origin.isFunction || |
| 310 origin.isAbstractField)) { | 313 origin.isAbstractField)) { |
| 311 // TODO(ahe): Remove this error when the parser rejects all bad modifiers. | 314 // TODO(ahe): Remove this error when the parser rejects all bad modifiers. |
| 312 compiler.reportError(origin, MessageKind.PATCH_NONPATCHABLE); | 315 compiler.reportError(origin, MessageKind.PATCH_NONPATCHABLE); |
| 313 return; | 316 return; |
| 314 } | 317 } |
| 315 if (patch.isClass) { | 318 if (patch.isClass) { |
| 316 tryPatchClass(compiler, origin, patch); | 319 tryPatchClass(compiler, origin, patch); |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 352 checkNativeAnnotation(compiler, patch); | 355 checkNativeAnnotation(compiler, patch); |
| 353 } | 356 } |
| 354 | 357 |
| 355 /// Check whether [cls] has a `@Native(...)` annotation, and if so, set its | 358 /// Check whether [cls] has a `@Native(...)` annotation, and if so, set its |
| 356 /// native name from the annotation. | 359 /// native name from the annotation. |
| 357 checkNativeAnnotation(Compiler compiler, ClassElement cls) { | 360 checkNativeAnnotation(Compiler compiler, ClassElement cls) { |
| 358 EagerAnnotationHandler.checkAnnotation(compiler, cls, | 361 EagerAnnotationHandler.checkAnnotation(compiler, cls, |
| 359 const NativeAnnotationHandler()); | 362 const NativeAnnotationHandler()); |
| 360 } | 363 } |
| 361 | 364 |
| 365 checkJsInteropAnnotation(Compiler compiler, element) { |
| 366 EagerAnnotationHandler.checkAnnotation(compiler, element, |
| 367 const JsInteropAnnotationHandler()); |
| 368 } |
| 369 |
| 370 |
| 362 /// Abstract interface for pre-resolution detection of metadata. | 371 /// Abstract interface for pre-resolution detection of metadata. |
| 363 /// | 372 /// |
| 364 /// The detection is handled in two steps: | 373 /// The detection is handled in two steps: |
| 365 /// - match the annotation syntactically and assume that the annotation is valid | 374 /// - match the annotation syntactically and assume that the annotation is valid |
| 366 /// if it looks correct, | 375 /// if it looks correct, |
| 367 /// - setup a deferred action to check that the annotation has a valid constant | 376 /// - setup a deferred action to check that the annotation has a valid constant |
| 368 /// value and report an internal error if not. | 377 /// value and report an internal error if not. |
| 369 abstract class EagerAnnotationHandler<T> { | 378 abstract class EagerAnnotationHandler<T> { |
| 370 /// Checks that [annotation] looks like a matching annotation and optionally | 379 /// Checks that [annotation] looks like a matching annotation and optionally |
| 371 /// applies actions on [element]. Returns a non-null annotation marker if the | 380 /// applies actions on [element]. Returns a non-null annotation marker if the |
| (...skipping 15 matching lines...) Expand all Loading... |
| 387 Element element, | 396 Element element, |
| 388 EagerAnnotationHandler handler) { | 397 EagerAnnotationHandler handler) { |
| 389 for (Link<MetadataAnnotation> link = element.metadata; | 398 for (Link<MetadataAnnotation> link = element.metadata; |
| 390 !link.isEmpty; | 399 !link.isEmpty; |
| 391 link = link.tail) { | 400 link = link.tail) { |
| 392 MetadataAnnotation annotation = link.head; | 401 MetadataAnnotation annotation = link.head; |
| 393 var result = handler.apply(compiler, element, annotation); | 402 var result = handler.apply(compiler, element, annotation); |
| 394 if (result != null) { | 403 if (result != null) { |
| 395 // TODO(johnniwinther): Perform this check in | 404 // TODO(johnniwinther): Perform this check in |
| 396 // [Compiler.onLibrariesLoaded]. | 405 // [Compiler.onLibrariesLoaded]. |
| 397 compiler.enqueuer.resolution.addDeferredAction(element, () { | 406 // TODO(jacobr): annotation resolution needs to be refactored. |
| 407 actionCallback() { |
| 398 annotation.ensureResolved(compiler); | 408 annotation.ensureResolved(compiler); |
| 399 handler.validate( | 409 handler.validate( |
| 400 compiler, element, annotation, | 410 compiler, element, annotation, |
| 401 compiler.constants.getConstantValue(annotation.constant)); | 411 compiler.constants.getConstantValue(annotation.constant)); |
| 402 }); | 412 } |
| 413 if (compiler.enqueuer.resolution.queueIsClosed) { |
| 414 actionCallback(); |
| 415 } else { |
| 416 compiler.enqueuer.resolution.addDeferredAction(element, |
| 417 actionCallback); |
| 418 } |
| 403 return result; | 419 return result; |
| 404 } | 420 } |
| 405 } | 421 } |
| 406 return null; | 422 return null; |
| 407 } | 423 } |
| 408 } | 424 } |
| 409 | 425 |
| 410 /// Annotation handler for pre-resolution detection of `@Native(...)` | 426 /// Annotation handler for pre-resolution detection of `@Native(...)` |
| 411 /// annotations. | 427 /// annotations. |
| 412 class NativeAnnotationHandler implements EagerAnnotationHandler<String> { | 428 class NativeAnnotationHandler implements EagerAnnotationHandler<String> { |
| (...skipping 29 matching lines...) Expand all Loading... |
| 442 Element element, | 458 Element element, |
| 443 MetadataAnnotation annotation, | 459 MetadataAnnotation annotation, |
| 444 ConstantValue constant) { | 460 ConstantValue constant) { |
| 445 if (constant.getType(compiler.coreTypes).element != | 461 if (constant.getType(compiler.coreTypes).element != |
| 446 compiler.nativeAnnotationClass) { | 462 compiler.nativeAnnotationClass) { |
| 447 compiler.internalError(annotation, 'Invalid @Native(...) annotation.'); | 463 compiler.internalError(annotation, 'Invalid @Native(...) annotation.'); |
| 448 } | 464 } |
| 449 } | 465 } |
| 450 } | 466 } |
| 451 | 467 |
| 468 /// Annotation handler for pre-resolution detection of `@Js(...)` |
| 469 /// annotations. |
| 470 class JsInteropAnnotationHandler implements EagerAnnotationHandler<String> { |
| 471 const JsInteropAnnotationHandler(); |
| 472 |
| 473 // TODO(jacobr): this method is pure technical debt. |
| 474 String dietResolveStringToken(StringToken token) { |
| 475 String value = token.value; |
| 476 if ((value.startsWith('"') && value.endsWith('"')) || |
| 477 value.startsWith("'") && value.endsWith("'")) { |
| 478 return value.substring(1, value.length - 1); |
| 479 } else { |
| 480 throw 'Invalid @Js(...) annotation. Unexpected name: $value'; |
| 481 } |
| 482 } |
| 483 |
| 484 String getJsNameAnnotation(MetadataAnnotation annotation) { |
| 485 if (annotation.beginToken != null && |
| 486 annotation.beginToken.next.value == 'Js') { |
| 487 // Skipping '@', 'Js', and '('. |
| 488 Token argument = annotation.beginToken.next.next.next; |
| 489 return (argument is StringToken) ? dietResolveStringToken(argument) : ''; |
| 490 } |
| 491 |
| 492 return null; |
| 493 } |
| 494 |
| 495 String apply(Compiler compiler, |
| 496 Element element, |
| 497 MetadataAnnotation annotation) { |
| 498 String jsName = getJsNameAnnotation(annotation); |
| 499 if (jsName != null) { |
| 500 element.setJsInterop(jsName); |
| 501 element.declaration.setJsInterop(jsName); |
| 502 } |
| 503 return jsName; |
| 504 } |
| 505 |
| 506 @override |
| 507 void validate(Compiler compiler, |
| 508 Element element, |
| 509 MetadataAnnotation annotation, |
| 510 ConstantValue constant) { |
| 511 JavaScriptBackend backend = compiler.backend; |
| 512 if (constant.getType(compiler.coreTypes).element != |
| 513 backend.jsAnnotationClass) { |
| 514 compiler.internalError(annotation, 'Invalid @Js(...) annotation.'); |
| 515 } |
| 516 } |
| 517 } |
| 518 |
| 452 /// Annotation handler for pre-resolution detection of `@patch` annotations. | 519 /// Annotation handler for pre-resolution detection of `@patch` annotations. |
| 453 class PatchAnnotationHandler implements EagerAnnotationHandler<PatchVersion> { | 520 class PatchAnnotationHandler implements EagerAnnotationHandler<PatchVersion> { |
| 454 const PatchAnnotationHandler(); | 521 const PatchAnnotationHandler(); |
| 455 | 522 |
| 456 PatchVersion getPatchVersion(MetadataAnnotation annotation) { | 523 PatchVersion getPatchVersion(MetadataAnnotation annotation) { |
| 457 if (annotation.beginToken != null) { | 524 if (annotation.beginToken != null) { |
| 458 if (annotation.beginToken.next.value == 'patch') { | 525 if (annotation.beginToken.next.value == 'patch') { |
| 459 return const PatchVersion(null); | 526 return const PatchVersion(null); |
| 460 } else if (annotation.beginToken.next.value == 'patch_full') { | 527 } else if (annotation.beginToken.next.value == 'patch_full') { |
| 461 return const PatchVersion('full'); | 528 return const PatchVersion('full'); |
| (...skipping 129 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 591 | 658 |
| 592 class PatchVersion { | 659 class PatchVersion { |
| 593 final String tag; | 660 final String tag; |
| 594 | 661 |
| 595 const PatchVersion(this.tag); | 662 const PatchVersion(this.tag); |
| 596 | 663 |
| 597 bool isActive(String patchTag) => tag == null || tag == patchTag; | 664 bool isActive(String patchTag) => tag == null || tag == patchTag; |
| 598 | 665 |
| 599 String toString() => 'PatchVersion($tag)'; | 666 String toString() => 'PatchVersion($tag)'; |
| 600 } | 667 } |
| OLD | NEW |