pkg/front_end/lib/src/fasta/builder/view_builder.dart

// Copyright (c) 2022, 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';

import '../scope.dart';
import 'builder.dart';
import 'builder_mixins.dart';
import 'declaration_builder.dart';
import 'library_builder.dart';
import 'metadata_builder.dart';
import 'type_builder.dart';
import 'type_variable_builder.dart';

abstract class ViewBuilder implements DeclarationBuilder {
  /// Type parameters declared on the view.
  ///
  /// This is `null` if the view is not generic.
  List<TypeVariableBuilder>? get typeParameters;

  /// The type of the underlying representation.
  DartType get representationType;

  /// Return the [View] built by this builder.
  View get view;

  /// Looks up extension member by [name] taking privacy into account.
  ///
  /// If [setter] is `true` the sought member is a setter or assignable field.
  /// If [required] is `true` and no member is found an internal problem is
  /// reported.
  ///
  /// If the extension member is a duplicate, `null` is returned.
  // TODO(johnniwinther): Support [AmbiguousBuilder] here and in instance
  // member lookup to avoid reporting that the member doesn't exist when it is
  // duplicate.
  Builder? lookupLocalMemberByName(Name name,
      {bool setter = false, bool required = false});

  /// Calls [f] for each member declared in this extension.
  void forEach(void f(String name, Builder builder));
}

abstract class ViewBuilderImpl extends DeclarationBuilderImpl
    with DeclarationBuilderMixin
    implements ViewBuilder {
  ViewBuilderImpl(List<MetadataBuilder>? metadata, int modifiers, String name,
      LibraryBuilder parent, int charOffset, Scope scope)
      : super(metadata, modifiers, name, parent, charOffset, scope);

  @override
  DartType buildAliasedTypeWithBuiltArguments(
      LibraryBuilder library,
      Nullability nullability,
      List<DartType> arguments,
      TypeUse typeUse,
      Uri fileUri,
      int charOffset,
      {required bool hasExplicitTypeArguments}) {
    return new ViewType(view, nullability, arguments);
  }

  @override
  String get debugName => "ViewBuilder";
}