Files

T

Paul Berry 0f11c4ed5a front_end: make use of TypeAnalyzer.analyzeConstantPattern.

This will allow the front end to take advantage of flow analysis
implied by a constant pattern (e.g. `case null` cause the scrutinee to
be promoted in later cases).

Fixes #51206.

Change-Id: Ic8516abb4e051ffca0d4e7698339282812020cae
Bug: https://github.com/dart-lang/sdk/issues/51206
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/281261
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>

2023-02-09 18:41:01 +00:00

benchmark

[patterns] Handle nullability in StaticType for top/nullType

2022-12-14 09:21:27 +00:00

lib/src

front_end: make use of TypeAnalyzer.analyzeConstantPattern.

2023-02-09 18:41:01 +00:00

test

Flow analysis: fix reachability for cast patterns.

2023-02-09 14:47:48 +00:00

tool

Change : to = for default values in pkg.

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

analysis_options_no_lints.yaml

[_fe_analyzer_shared][cfe][analyzer] Initial implementation of exhaustiveness checking

2023-01-24 13:34:46 +00:00

analysis_options.yaml

Enable annotate_overrides lint in _fe_analyzer_shared/

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

LICENSE

…

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.4.0 and _fe_analyzer_shared 52.0.0

2023-01-04 19:33:48 +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.