Konstantin Shcheglov
56706b715d
Report new diagnostics when an introductory function, member, or factory constructor is still incomplete after applying all augmentations. Keep the existing missing-body diagnostics for declarations that have no augmentations, but report augmentation-specific diagnostics when an augmentation chain exists and none of the fragments provides a body or factory redirection. Move the checks into error verification so that extension and extension type members can participate in augmentation completion before reporting the existing abstract-member diagnostics. Also suppress the corresponding shared parser diagnostic when it is reported by the verifier. Consolidate body-related tests by declaration shape instead of by individual diagnostic. This keeps missing bodies, external bodies, augmentation completion, and already-complete checks side by side, making the interaction between these rules easier to review and extend. Move the constructorAlreadyComplete coverage from its dedicated test file into constructor_body_test.dart, and add the factory body completeness cases there as well. Add executable_body_test.dart for function and member body coverage, including top-level declarations, static members, extension members, and extension type members. Add diagnostic definitions and fix-status entries for the new diagnostics. Change-Id: I9ee803c1e767ff47a608c86413ef7ffc71518cfd Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/503540 Reviewed-by: Paul Berry <paulberry@google.com> Commit-Queue: Konstantin Shcheglov <scheglov@google.com> Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
FE/analyzer shared code
This package contains logic that is shared between the front_end and analyzer packages. It is intended solely to facilitate development of the Dart SDK, and is not intended for use by end users. In particular, this package has no public API, so no guarantee is made of compatibility between one version of the package and the next.
End users should consider using the analyzer package to analyze Dart source code.