Files

T

Paul Berry dc639c13cb Patterns flow analysis: recognize [...] (and related patterns) as trivially exhaustive.

If a list pattern consists of a single rest pattern, and that rest
pattern is guaranteed to match, then the whole list pattern is
guaranteed to match as well (provided that the matched value type is a
subtype of the list pattern's required type).

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

2023-04-11 19:54:20 +00:00

benchmark

[_fe_analyzer_shared] Rename fields to properties

2023-04-03 12:16:43 +00:00

lib/src

Patterns flow analysis: recognize [...] (and related patterns) as trivially exhaustive.

2023-04-11 19:54:20 +00:00

test

Patterns flow analysis: recognize [...] (and related patterns) as trivially exhaustive.

2023-04-11 19:54:20 +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

…

pubspec.yaml

Prepare to publish analyzer 5.10.0 and _fe_analyzer_shared 58.0.0

2023-03-24 02:39:22 +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.