sdk/pkg/_fe_analyzer_shared/test at 10bf1cfe586d48a331e2ddf79a2fa48c15657f97 - sdk

Files

T

Paul Berry d1dcbeb973 Flow analysis: move _promotableFields out of PromotionKeyStore.

This improves separation of concerns, since the `PromotionKeyStore`
class isn't really concerned with what fields are promotable; it's
just a mechanism for assigning unique integer identifiers to
promotable things.

I've moved `_promotableFields` to the main `_FlowAnalysisImpl` class.
To avoid having to add it as a separate argument to a lot of
[FlowModel] methods, I've created a new [FlowModelHelper] interface
that provides these methods with access to several fields in
`_FlowAnalysisImpl`.

Change-Id: I0280d0c0b95714521afbe68a07e7b3b54f23b7df
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/254003
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>

2022-08-08 18:18:10 +00:00

constants

[cfe] Implement weak mode constant canonicalization update

2021-01-22 12:06:49 +00:00

exhaustiveness

Import exhaustiveness checker prototype into _fe_analyzer_shared.

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

flow_analysis

Flow analysis: move _promotableFields out of PromotionKeyStore.

2022-08-08 18:18:10 +00:00

inference

Analyzer: Add id testing for inferred variable types