// Copyright (c) 2017, 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.

library fasta.dill_typedef_builder;

import 'package:kernel/ast.dart' show DartType, Typedef, TypeParameter, Class;

import 'package:kernel/type_algebra.dart' show calculateBounds;

import '../kernel/kernel_builder.dart'
    show
        KernelFunctionTypeAliasBuilder,
        KernelFunctionTypeBuilder,
        LibraryBuilder,
        MetadataBuilder,
        TypeBuilder;

import '../problems.dart' show unimplemented;

import 'dill_library_builder.dart' show DillLibraryBuilder;

import 'dill_class_builder.dart' show DillClassBuilder;

import 'built_type_builder.dart' show BuiltTypeBuilder;

class DillFunctionTypeAliasBuilder extends KernelFunctionTypeAliasBuilder {
  DillFunctionTypeAliasBuilder(Typedef typedef, DillLibraryBuilder parent)
      : super(null, typedef.name, null, null, parent, typedef.fileOffset,
            typedef);

  List<MetadataBuilder> get metadata {
    return unimplemented("metadata", -1, null);
  }

  List<TypeBuilder> get calculatedBounds {
    if (super.calculatedBounds != null) {
      return super.calculatedBounds;
    }
    DillLibraryBuilder parentLibraryBuilder = parent;
    DillClassBuilder objectClassBuilder =
        parentLibraryBuilder.loader.coreLibrary["Object"];
    Class objectClass = objectClassBuilder.cls;
    List<TypeParameter> targetTypeParameters = target.typeParameters;
    List<DartType> calculatedBoundTypes =
        calculateBounds(targetTypeParameters, objectClass);
    List<TypeBuilder> result =
        new List<BuiltTypeBuilder>(targetTypeParameters.length);
    for (int i = 0; i < result.length; i++) {
      result[i] = new BuiltTypeBuilder(calculatedBoundTypes[i]);
    }
    super.calculatedBounds = result;
    return super.calculatedBounds;
  }

  @override
  KernelFunctionTypeBuilder get type {
    return unimplemented("type", -1, null);
  }

  @override
  DartType buildThisType(LibraryBuilder library) => thisType ??= target.type;
}