Files

T

Paul Berry ea9b19c2c4 Begin implementing flow analysis for patterns.

This CL adds support for flow analysis with variable patterns and
guards, and integrates it with if-case elements, if-case statements,
pattern variable declarations, switch expressions, and switch
statements.  It includes support for guards.

No other types of patterns are handled yet.

Bug: https://github.com/dart-lang/sdk/issues/50419
Change-Id: Iacad82b472cba0e2e670981847258e4046017576
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/274162
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>

2022-12-09 06:00:36 +00:00

benchmark

Import exhaustiveness checker prototype into _fe_analyzer_shared.

2022-05-17 17:46:39 +00:00

lib/src

Begin implementing flow analysis for patterns.

2022-12-09 06:00:36 +00:00

test

Begin implementing flow analysis for patterns.

2022-12-09 06:00:36 +00:00

tool

Change : to = for default values in pkg.

2022-08-24 15:57:16 +00:00

analysis_options_no_lints.yaml

[cfe] Add macro api test

2022-02-10 16:08:00 +00:00

analysis_options.yaml

Enable annotate_overrides lint in _fe_analyzer_shared/

2022-11-17 15:13:39 +00:00

LICENSE

Update LICENSE

2021-04-07 10:28:38 +00:00

OWNERS

[infra] Add OWNERS to the Dart SDK

2022-02-14 14:06:34 +00:00

PRESUBMIT.py

[python3] Migrate PRESUBMIT.py files

2021-08-16 08:29:54 +00:00

pubspec.yaml

Prepare to publish analyzer 5.3.0 and _fe_analyzer_shared 51.0.0

2022-12-07 22:18:37 +00:00

README.md

…

README.md

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.