Paul Berry
925e3fe782
This change adds the ability to detect when one branch of a conditional expression is weak-only due to nullability. For example, in the following code: int f(int/*!*/ i) => i == null ? g(null) : i; int g(int j) => ...; the call to `g` can only happen in weak checking mode. The migrator also now understands that j only needs to be nullable if i is nullable. Fixes #41555. Partially addresses #41551. Bug: https://github.com/dart-lang/sdk/issues/41555 Change-Id: I02c9c3072f0104db0f1a5b432fb1f2f8f06d5282 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/144120 Reviewed-by: Mike Fairhurst <mfairhurst@google.com>
analysis_server
A long-running process that provides analysis results to other tools.
The analysis server is designed to provide on-going analysis of one or more code bases as those code bases are changing.
Using the server
The analysis server is not intended to be used stand-alone, and therefore does not have a human-friendly user interface.
Clients (typically tools, such as an editor) are expected to run the analysis
server in a separate process and communicate with it using a JSON protocol. The
original protocol is specified in the file analysis_server/doc/api.html
and (less complete) Language Server Protocol support is documented
in tool/lsp_spec/README.md.
Features and bugs
Please file feature requests and bugs at the issue tracker.