Paul Berry
0c7585c907
This commit introduces the following new classes: - SharedType, which represents the common interface between the DartType classes in the analyzer and the CFE. - SharedRecordType, which represents the common interface between the RecordType classes in the analyzer and the CFE. - SharedNamedType, which represents the common interface between the analyzer and CFE representations of a name/type pair. - SharedUnknownType, which represents the common interface between the analyzer and CFE representations of the unknown type (`_`). This allowed three methods to be removed from the `TypeAnalyzerOperations` class: - `areStructurallyEqual`, which is replaced by `SharedType.isStructurallyEqualTo`. - `asRecordType`, which is no longer needed because `is SharedRecordType` can be used instead. - `isUnknownType`, which is no longer needed because `is SharedUnknownType` can be used instead. And one method to be removed from the `FlowAnalysisTypeOperations` class: - `isSameType`, which is replaced by `operator ==`. (Technically this could have been done even without introducing a shared class hierarchy, since `operator ==` is defined in the shared base class `Object`). The long term goal is to fill out the shared class hierarchy to cover other kinds of types (interface types, function types, void, etc.), and to move most of the shared logic from the analyzer and CFE DartType class hierarchies into shared code. This should reduce the risk of implementation skew between the analyzer and CFE, and to streamline the implementation of future features. Additionally, the hope is to eventually remove, or drastically simplify, classes like `TypeAnalyzerOperations`, so that the code in `_fe_analyzer_shared` can be written in simpler and more straightforward way. Change-Id: I5d3a929057959f77ccff8dbed5671f9bca6259c5 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/362481 Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Reviewed-by: Chloe Stefantsova <cstefantsova@google.com> Commit-Queue: Paul Berry <paulberry@google.com>
Dart Kernel
Dart Kernel is a small high-level language derived from Dart. It is designed for use as an intermediate format for whole-program analysis and transformations, and to be consumed by codegen and execution backends.
The kernel language has an in-memory representation in Dart and can be serialized as binary or text.
Both the kernel language and its implementations are unstable and are under development.
This package contains the Dart part of the implementation and contains:
- A transformable IR for the kernel language
- Serialization of kernel code
Note: The APIs in this package are in an early state; developers should be careful about depending on this package. In particular, there is no semver contract for release versions of this package. Please depend directly on individual versions.
See ast.dart for the in-memory IR, or binary.md for a description of the binary format. For now, the textual format is very ad-hoc and cannot be parsed back in.