| OLD | NEW |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library related_types; | 5 library related_types; |
| 6 | 6 |
| 7 import 'package:compiler/src/commandline_options.dart'; | 7 import 'package:compiler/src/commandline_options.dart'; |
| 8 import 'package:compiler/src/compiler.dart'; | 8 import 'package:compiler/src/compiler.dart'; |
| 9 import 'package:compiler/src/core_types.dart'; | 9 import 'package:compiler/src/core_types.dart'; |
| 10 import 'package:compiler/src/elements/resolution_types.dart'; | 10 import 'package:compiler/src/elements/resolution_types.dart'; |
| (...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 71 | 71 |
| 72 class RelatedTypesChecker | 72 class RelatedTypesChecker |
| 73 extends TraversalVisitor<ResolutionDartType, dynamic> { | 73 extends TraversalVisitor<ResolutionDartType, dynamic> { |
| 74 final Compiler compiler; | 74 final Compiler compiler; |
| 75 final ResolvedAst resolvedAst; | 75 final ResolvedAst resolvedAst; |
| 76 | 76 |
| 77 RelatedTypesChecker(this.compiler, ResolvedAst resolvedAst) | 77 RelatedTypesChecker(this.compiler, ResolvedAst resolvedAst) |
| 78 : this.resolvedAst = resolvedAst, | 78 : this.resolvedAst = resolvedAst, |
| 79 super(resolvedAst.elements); | 79 super(resolvedAst.elements); |
| 80 | 80 |
| 81 ClosedWorld get world => compiler.resolverWorld.closedWorldForTesting; | 81 ClosedWorld get world => |
| 82 compiler.resolutionWorldBuilder.closedWorldForTesting; |
| 82 | 83 |
| 83 CommonElements get commonElements => compiler.commonElements; | 84 CommonElements get commonElements => compiler.commonElements; |
| 84 | 85 |
| 85 DiagnosticReporter get reporter => compiler.reporter; | 86 DiagnosticReporter get reporter => compiler.reporter; |
| 86 | 87 |
| 87 ResolutionInterfaceType get thisType => | 88 ResolutionInterfaceType get thisType => |
| 88 resolvedAst.element.enclosingClass.thisType; | 89 resolvedAst.element.enclosingClass.thisType; |
| 89 | 90 |
| 90 /// Returns `true` if there exists no common subtype of [left] and [right]. | 91 /// Returns `true` if there exists no common subtype of [left] and [right]. |
| 91 bool hasEmptyIntersection(ResolutionDartType left, ResolutionDartType right) { | 92 bool hasEmptyIntersection(ResolutionDartType left, ResolutionDartType right) { |
| (...skipping 336 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 428 ClassElement findClass(ResolutionDartType type) => type.accept(this, null); | 429 ClassElement findClass(ResolutionDartType type) => type.accept(this, null); |
| 429 | 430 |
| 430 @override | 431 @override |
| 431 ClassElement visitType(ResolutionDartType type, _) => null; | 432 ClassElement visitType(ResolutionDartType type, _) => null; |
| 432 | 433 |
| 433 @override | 434 @override |
| 434 ClassElement visitInterfaceType(ResolutionInterfaceType type, _) { | 435 ClassElement visitInterfaceType(ResolutionInterfaceType type, _) { |
| 435 return type.element; | 436 return type.element; |
| 436 } | 437 } |
| 437 } | 438 } |
| OLD | NEW |