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

[cfe] Remove TypeBuilderConstraintGatherer

Browse source 
The removed class is not used since
https://dart-review.googlesource.com/c/sdk/+/343920

Change-Id: If8e7daf1493feeee2638874b164157aa697c2243
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/349881
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>
This commit is contained in:
Chloe Stefantsova 2024-02-02 12:09:30 +00:00 committed by Commit Queue
parent 32c22da2b6
commit b6d69bd296
1 changed files with 0 additions and 76 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

76
pkg/front_end/lib/src/fasta/kernel/hierarchy/mixin_inferrer.dart
View file

@ -7,23 +7,14 @@ library fasta.class_hierarchy_builder;
import 'package:kernel/ast.dart';
import 'package:kernel/class_hierarchy.dart' show ClassHierarchyBase;
import 'package:kernel/core_types.dart' show CoreTypes;
import 'package:kernel/src/standard_bounds.dart';
import 'package:kernel/type_algebra.dart';
import 'package:kernel/type_environment.dart';
import 'package:kernel/src/bounds_checks.dart';
import '../../builder/declaration_builders.dart';
import '../../messages.dart'
show Message, templateMixinInferenceNoMatchingClass;
import '../../problems.dart' show unexpected, unsupported;
import '../../type_inference/standard_bounds.dart'
show TypeSchemaStandardBounds;
import '../../type_inference/type_constraint_gatherer.dart'
show TypeConstraintGatherer;
import '../../type_inference/type_inference_engine.dart';
import '../../type_inference/type_schema.dart';
import '../../type_inference/type_schema_environment.dart' show TypeConstraint;
import 'hierarchy_builder.dart';
class BuilderMixinInferrer {
final CoreTypes coreTypes;
@ -491,70 +482,3 @@ class _MixinInferenceSolution {
}
}
}
class TypeBuilderConstraintGatherer extends TypeConstraintGatherer
with StandardBounds, TypeSchemaStandardBounds {
@override
final ClassHierarchyBuilder hierarchy;
TypeBuilderConstraintGatherer(
this.hierarchy, Iterable<StructuralParameter> typeParameters,
{required bool isNonNullableByDefault,
required OperationsCfe typeOperations})
: super.subclassing(typeParameters,
isNonNullableByDefault: isNonNullableByDefault,
typeOperations: typeOperations);
@override
CoreTypes get coreTypes => hierarchy.coreTypes;
@override
void addLowerBound(TypeConstraint constraint, DartType lower,
{required bool isNonNullableByDefault}) {
constraint.lower = getStandardUpperBound(constraint.lower, lower,
isNonNullableByDefault: isNonNullableByDefault);
}
@override
void addUpperBound(TypeConstraint constraint, DartType upper,
{required bool isNonNullableByDefault}) {
constraint.upper = getStandardLowerBound(constraint.upper, upper,
isNonNullableByDefault: isNonNullableByDefault);
}
@override
Member? getInterfaceMember(Class class_, Name name, {bool setter = false}) {
return null;
}
@override
List<DartType>? getTypeArgumentsAsInstanceOf(
TypeDeclarationType type, TypeDeclaration typeDeclaration) {
return hierarchy.getTypeArgumentsAsInstanceOf(type, typeDeclaration);
}
@override
List<DartType>? getExtensionTypeArgumentsAsInstanceOf(
ExtensionType type, ExtensionTypeDeclaration superclass) {
return hierarchy
.getExtensionTypeArgumentsAsInstanceOfExtensionTypeDeclaration(
type, superclass);
}
@override
InterfaceType futureType(DartType type, Nullability nullability) {
return new InterfaceType(
hierarchy.futureClass, nullability, <DartType>[type]);
}
@override
bool isSubtypeOf(
DartType subtype, DartType supertype, SubtypeCheckMode mode) {
return hierarchy.types.isSubtypeOf(subtype, supertype, mode);
}
@override
bool areMutualSubtypes(DartType s, DartType t, SubtypeCheckMode mode) {
return isSubtypeOf(s, t, mode) && isSubtypeOf(t, s, mode);
}
}