Paul Berry 01ad9f1e8d Make flow analysis tests use a more sophisticated Type data structure. ...

Rather than represent types by strings in the flow analysis tests, we
have a "mini type" language that can represent function types, type
parameters, nullabilities, and promotions.  This should make it easier
to build more sophisticated tests for shared code.

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

2021-03-10 14:53:58 +00:00

..

assigned_variables/data

Flow analysis: hardcode allowLocalBooleanVarsToPromote flag.

2021-02-26 18:28:57 +00:00

definite_assignment/data

Fix flow analysis handling of late variables with initializers.

2020-09-28 14:40:02 +00:00

definite_unassignment/data

Fix flow analysis of a late initializer that is an assignment expression

2020-10-02 12:09:08 +00:00

nullability/data

Flow analysis: switch on inference based on local boolean variables.

2021-01-08 18:57:02 +00:00

reachability/data

Make flow analysis handling of is/==/??=/?. consistent with mixed mode semantics

2020-09-25 08:35:03 +00:00

type_promotion/data

Don't promote this inside extension methods.

2021-01-13 16:48:08 +00:00

why_not_promoted/data

Front end: Additional "why not promoted" functionality.

2021-03-10 14:52:19 +00:00

assigned_variables_test.dart

Add an implementation of legacy type promotion to _fe_analyzer_shared.

2021-01-16 17:07:23 +00:00

flow_analysis_mini_ast.dart

Make flow analysis tests use a more sophisticated Type data structure.

2021-03-10 14:53:58 +00:00

flow_analysis_test.dart

Make flow analysis tests use a more sophisticated Type data structure.

2021-03-10 14:53:58 +00:00