languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-05 00:13:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tweaks for mixin inference.

Browse source 
I started initially with the idea to move 'mixinInferenceCallback'
to `ClassElementImpl`, but then realized that we do it for enums too.
So, it should stay in `InterfaceElementImpl`.

I left with code that I think slightly modernized, so decided to
send it for review.

Change-Id: Ib990392dc4985a71ffba1f4080237872d9a65ad2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/312521
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
This commit is contained in:
Konstantin Shcheglov 2023-07-05 18:04:37 +00:00 committed by Commit Queue
parent 2b36ef12e6
commit fb9d0e6dc3
1 changed files with 33 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

53
pkg/analyzer/lib/src/summary2/types_builder.dart
View file

@ -516,11 +516,19 @@ class _MixinsInference {
_MixinsInference(this._linker);
void perform(List<AstNode> declarations) {
for (var node in declarations) {
if (node is ClassDeclaration || node is ClassTypeAlias) {
var element = (node as Declaration).declaredElement as ClassElementImpl;
element.mixinInferenceCallback = _callbackWhenRecursion;
for (var declaration in declarations) {
InterfaceElementImpl declaredElement;
switch (declaration) {
case ClassDeclarationImpl():
declaredElement = declaration.declaredElement!;
case ClassTypeAliasImpl():
declaredElement = declaration.declaredElement!;
case EnumDeclarationImpl():
declaredElement = declaration.declaredElement!;
default:
continue;
}
declaredElement.mixinInferenceCallback = _callbackWhenRecursion;
}
for (var declaration in declarations) {
@ -566,15 +574,13 @@ class _MixinsInference {
}
void _inferDeclaration(AstNode node) {
if (node is ClassDeclaration) {
var element = node.declaredElement as ClassElementImpl;
_infer(element, node.withClause);
} else if (node is ClassTypeAlias) {
var element = node.declaredElement as ClassElementImpl;
_infer(element, node.withClause);
} else if (node is EnumDeclaration) {
var element = node.declaredElement as EnumElementImpl;
_infer(element, node.withClause);
switch (node) {
case ClassDeclarationImpl():
_infer(node.declaredElement!, node.withClause);
case ClassTypeAliasImpl():
_infer(node.declaredElement!, node.withClause);
case EnumDeclarationImpl():
_infer(node.declaredElement!, node.withClause);
}
}
@ -583,14 +589,21 @@ class _MixinsInference {
/// class hierarchy, we cache such incomplete hierarchy. So, here we reset
/// hierarchies for all classes being linked, indiscriminately.
void _resetHierarchies(List<AstNode> declarations) {
for (var declaration in declarations) {
if (declaration is ClassDeclaration) {
var element = declaration.declaredElement as ClassElementImpl;
element.library.session.classHierarchy.remove(element);
} else if (declaration is MixinDeclaration) {
var element = declaration.declaredElement as MixinElementImpl;
element.library.session.classHierarchy.remove(element);
for (final declaration in declarations) {
InterfaceElementImpl declaredElement;
switch (declaration) {
case ClassDeclarationImpl():
declaredElement = declaration.declaredElement!;
case ClassTypeAliasImpl():
declaredElement = declaration.declaredElement!;
case EnumDeclarationImpl():
declaredElement = declaration.declaredElement!;
default:
continue;
}
final analysisSession = declaredElement.library.session;
final classHierarchy = analysisSession.classHierarchy;
classHierarchy.remove(declaredElement);
}
}
}