d7f200b97d
(Part of https://github.com/dart-lang/sdk/issues/63288) This change migrates the kernel package to use the new constructor declaration syntax, described in https://github.com/dart-lang/language/blob/main/accepted/future-releases/primary-constructors/feature-specification.md#abbreviations-of-in-body-constructor-declarations. This change was performed in an automated fashion, by (a) bumping the package's SDK constraint to `3.13.0-0`, (b) enabling the lints `unnecessary_type_name_in_constructor` and `unnecessary_const_in_enum_constructor`, (c) fixing the resulting lint failures using `dart fix`, and then (d) reformatting the affected files. To ease code review, I've reverted unrelated formatting changes. Change-Id: I8d32a0b26450a44dfa2ebd9fe2dff9df6a6a6964 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/508426 Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Commit-Queue: Paul Berry <paulberry@google.com>
149 lines
4.6 KiB
Dart
149 lines
4.6 KiB
Dart
// Copyright (c) 2025, the Dart project authors. Please see the AUTHORS file
|
|
// for details. All rights reserved. Use of this source code is governed by a
|
|
// BSD-style license that can be found in the LICENSE file.
|
|
|
|
import 'package:kernel/ast.dart';
|
|
|
|
/// Lookup table that provides access to the descriptor for extension and
|
|
/// extension type members.
|
|
class ExtensionTable {
|
|
final Map<Library, _LibraryInfo> _infoMap = {};
|
|
|
|
/// Returns the [ExtensionMemberInfo] for [member].
|
|
///
|
|
/// [member] must be marked as an extension member.
|
|
ExtensionMemberInfo getExtensionMemberInfo(Member member) {
|
|
if (!member.isExtensionMember) {
|
|
throw new ArgumentError("Member $member must be an extension member.");
|
|
}
|
|
_LibraryInfo info = _getLibraryInfo(member.enclosingLibrary);
|
|
return info.getExtensionMemberInfo(member);
|
|
}
|
|
|
|
/// Returns the [ExtensionTypeMemberInfo] for [member].
|
|
///
|
|
/// [member] must be marked as an extension type member.
|
|
ExtensionTypeMemberInfo getExtensionTypeMemberInfo(Member member) {
|
|
if (!member.isExtensionTypeMember) {
|
|
throw new ArgumentError("Member $member must be an extension member.");
|
|
}
|
|
_LibraryInfo info = _getLibraryInfo(member.enclosingLibrary);
|
|
return info.getExtensionTypeMemberInfo(member);
|
|
}
|
|
|
|
_LibraryInfo _getLibraryInfo(Library library) {
|
|
return _infoMap[library] ??= new _LibraryInfo(library);
|
|
}
|
|
}
|
|
|
|
/// Information about an extension member lowered as a top level member.
|
|
class ExtensionMemberInfo {
|
|
/// The extension to which the member belongs.
|
|
final Extension extension;
|
|
|
|
/// The lowered top level member.
|
|
final Member member;
|
|
|
|
/// The [ExtensionMemberDescriptor] for the lowered [member].
|
|
final ExtensionMemberDescriptor descriptor;
|
|
|
|
new(this.extension, this.member, this.descriptor);
|
|
}
|
|
|
|
/// Information about an extension type member lowered as a top level member.
|
|
class ExtensionTypeMemberInfo {
|
|
/// The extension type declaration to which the member belongs.
|
|
final ExtensionTypeDeclaration extensionTypeDeclaration;
|
|
|
|
/// The lowered top level member.
|
|
final Member member;
|
|
|
|
/// The [ExtensionMemberDescriptor] for the lowered [member].
|
|
final ExtensionTypeMemberDescriptor descriptor;
|
|
|
|
new(this.extensionTypeDeclaration, this.member, this.descriptor);
|
|
}
|
|
|
|
class _LibraryInfo {
|
|
final Library _library;
|
|
late final _ExtensionTable _extensionTable = new _ExtensionTable(_library);
|
|
late final _ExtensionTypeTable _extensionTypeTable = new _ExtensionTypeTable(
|
|
_library,
|
|
);
|
|
|
|
new(this._library);
|
|
|
|
ExtensionMemberInfo getExtensionMemberInfo(Member member) {
|
|
return _extensionTable[member];
|
|
}
|
|
|
|
ExtensionTypeMemberInfo getExtensionTypeMemberInfo(Member member) {
|
|
return _extensionTypeTable[member];
|
|
}
|
|
}
|
|
|
|
class _ExtensionTable {
|
|
final Map<Member, ExtensionMemberInfo> _map = {};
|
|
|
|
new(Library library) {
|
|
for (Extension extension in library.extensions) {
|
|
for (ExtensionMemberDescriptor descriptor
|
|
in extension.memberDescriptors) {
|
|
Member? member = descriptor.memberReference?.asMember;
|
|
if (member != null) {
|
|
_map[member] = new ExtensionMemberInfo(extension, member, descriptor);
|
|
}
|
|
Member? tearOff = descriptor.tearOffReference?.asMember;
|
|
if (tearOff != null) {
|
|
_map[tearOff] = new ExtensionMemberInfo(
|
|
extension,
|
|
tearOff,
|
|
descriptor,
|
|
);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
ExtensionMemberInfo operator [](Member member) {
|
|
ExtensionMemberInfo? info = _map[member];
|
|
assert(info != null, "No info found for $member in ${_map.keys}");
|
|
return info!;
|
|
}
|
|
}
|
|
|
|
class _ExtensionTypeTable {
|
|
final Map<Member, ExtensionTypeMemberInfo> _map = {};
|
|
|
|
new(Library library) {
|
|
for (ExtensionTypeDeclaration extensionTypeDeclaration
|
|
in library.extensionTypeDeclarations) {
|
|
for (ExtensionTypeMemberDescriptor descriptor
|
|
in extensionTypeDeclaration.memberDescriptors) {
|
|
Member? member = descriptor.memberReference?.asMember;
|
|
if (member != null) {
|
|
_map[member] = new ExtensionTypeMemberInfo(
|
|
extensionTypeDeclaration,
|
|
member,
|
|
descriptor,
|
|
);
|
|
}
|
|
Member? tearOff = descriptor.tearOffReference?.asMember;
|
|
if (tearOff != null) {
|
|
_map[tearOff] = new ExtensionTypeMemberInfo(
|
|
extensionTypeDeclaration,
|
|
tearOff,
|
|
descriptor,
|
|
);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
ExtensionTypeMemberInfo operator [](Member member) {
|
|
ExtensionTypeMemberInfo? info = _map[member];
|
|
assert(info != null, "No info found for $member in ${_map.keys}");
|
|
return info!;
|
|
}
|
|
}
|