| // Copyright (c) 2019, 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.never_type_builder; |
| |
| import 'package:kernel/ast.dart' show DartType, InterfaceType, Nullability; |
| |
| import 'builtin_type_declaration_builder.dart'; |
| import 'class_builder.dart'; |
| import 'library_builder.dart'; |
| import 'nullability_builder.dart'; |
| import 'type_builder.dart'; |
| |
| class NeverTypeDeclarationBuilder extends BuiltinTypeDeclarationBuilder { |
| final LibraryBuilder coreLibrary; |
| DartType _nullType; |
| |
| NeverTypeDeclarationBuilder(DartType type, this.coreLibrary, int charOffset) |
| : super("Never", type, coreLibrary, charOffset) { |
| assert(coreLibrary.importUri == Uri.parse('dart:core')); |
| } |
| |
| String get debugName => "NeverTypeDeclarationBuilder"; |
| |
| DartType get nullType { |
| if (_nullType == null) { |
| ClassBuilder nullClass = coreLibrary.lookupLocalMember('Null'); |
| _nullType = new InterfaceType(nullClass.cls, Nullability.nullable, []); |
| } |
| return _nullType; |
| } |
| |
| DartType buildType(LibraryBuilder library, |
| NullabilityBuilder nullabilityBuilder, List<TypeBuilder> arguments, |
| [bool notInstanceContext]) { |
| if (!library.isNonNullableByDefault) { |
| return nullType; |
| } |
| return type.withDeclaredNullability(nullabilityBuilder.build(library)); |
| } |
| |
| DartType buildTypesWithBuiltArguments(LibraryBuilder library, |
| Nullability nullability, List<DartType> arguments) { |
| if (!library.isNonNullableByDefault) { |
| return nullType; |
| } |
| return type.withDeclaredNullability(nullability); |
| } |
| } |