OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, 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 import 'dart:async'; | 5 import 'dart:async'; |
6 import 'dart:convert'; | 6 import 'dart:convert'; |
7 import 'dart:io'; | 7 import 'dart:io'; |
8 | 8 |
9 import 'package:analyzer/dart/ast/ast.dart'; | 9 import 'package:analyzer/dart/ast/ast.dart'; |
10 import 'package:analyzer/dart/ast/token.dart'; | 10 import 'package:analyzer/dart/ast/token.dart'; |
11 import 'package:analyzer/dart/ast/visitor.dart'; | 11 import 'package:analyzer/dart/ast/visitor.dart'; |
12 import 'package:analyzer/dart/element/element.dart'; | 12 import 'package:analyzer/dart/element/element.dart'; |
13 import 'package:analyzer/dart/element/type.dart'; | 13 import 'package:analyzer/dart/element/type.dart'; |
14 import 'package:analyzer/src/dart/analysis/driver.dart'; | 14 import 'package:analyzer/src/dart/analysis/driver.dart'; |
| 15 import 'package:analyzer/src/generated/engine.dart' show AnalysisOptionsImpl; |
15 import 'package:analyzer/src/generated/parser.dart'; | 16 import 'package:analyzer/src/generated/parser.dart'; |
16 import 'package:analyzer/src/generated/scanner.dart'; | 17 import 'package:analyzer/src/generated/scanner.dart'; |
17 import 'package:analyzer/src/generated/source.dart'; | 18 import 'package:analyzer/src/generated/source.dart'; |
18 import 'package:analyzer/src/generated/utilities_dart.dart'; | 19 import 'package:analyzer/src/generated/utilities_dart.dart'; |
19 import 'package:front_end/src/base/instrumentation.dart' as fasta; | 20 import 'package:front_end/src/base/instrumentation.dart' as fasta; |
20 import 'package:front_end/src/fasta/compiler_context.dart' as fasta; | 21 import 'package:front_end/src/fasta/compiler_context.dart' as fasta; |
21 import 'package:front_end/src/fasta/testing/validating_instrumentation.dart' | 22 import 'package:front_end/src/fasta/testing/validating_instrumentation.dart' |
22 as fasta; | 23 as fasta; |
23 import 'package:front_end/src/fasta/util/relativize.dart' show relativizeUri; | 24 import 'package:front_end/src/fasta/util/relativize.dart' show relativizeUri; |
24 import 'package:kernel/kernel.dart' as fasta; | 25 import 'package:kernel/kernel.dart' as fasta; |
(...skipping 101 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
126 } else if (name.endsWith('=') && | 127 } else if (name.endsWith('=') && |
127 element is PropertyAccessorElement && | 128 element is PropertyAccessorElement && |
128 element.isSetter) { | 129 element.isSetter) { |
129 name = name.substring(0, name.length - 1); | 130 name = name.substring(0, name.length - 1); |
130 } | 131 } |
131 buffer.write(name); | 132 buffer.write(name); |
132 } | 133 } |
133 } | 134 } |
134 | 135 |
135 class _FrontEndInferenceTest extends BaseAnalysisDriverTest { | 136 class _FrontEndInferenceTest extends BaseAnalysisDriverTest { |
| 137 @override |
| 138 AnalysisOptionsImpl createAnalysisOptions() => |
| 139 super.createAnalysisOptions()..enableAssertInitializer = true; |
| 140 |
136 Future<String> runTest(String path, String code) { | 141 Future<String> runTest(String path, String code) { |
137 return fasta.CompilerContext.runWithDefaultOptions((_) async { | 142 return fasta.CompilerContext.runWithDefaultOptions((_) async { |
138 Uri uri = provider.pathContext.toUri(path); | 143 Uri uri = provider.pathContext.toUri(path); |
139 | 144 |
140 List<int> lineStarts = new LineInfo.fromContent(code).lineStarts; | 145 List<int> lineStarts = new LineInfo.fromContent(code).lineStarts; |
141 fasta.CompilerContext.current.uriToSource[relativizeUri(uri).toString()] = | 146 fasta.CompilerContext.current.uriToSource[relativizeUri(uri).toString()] = |
142 new fasta.Source(lineStarts, UTF8.encode(code)); | 147 new fasta.Source(lineStarts, UTF8.encode(code)); |
143 | 148 |
144 var validation = new fasta.ValidatingInstrumentation(); | 149 var validation = new fasta.ValidatingInstrumentation(); |
145 await validation.loadExpectations(uri); | 150 await validation.loadExpectations(uri); |
(...skipping 494 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
640 | 645 |
641 /// Based on DDC code generator's `_recoverTypeArguments` | 646 /// Based on DDC code generator's `_recoverTypeArguments` |
642 Iterable<DartType> _recoverTypeArguments(FunctionType g, FunctionType f) { | 647 Iterable<DartType> _recoverTypeArguments(FunctionType g, FunctionType f) { |
643 assert(identical(g.element, f.element)); | 648 assert(identical(g.element, f.element)); |
644 assert(g.typeFormals.isNotEmpty && f.typeFormals.isEmpty); | 649 assert(g.typeFormals.isNotEmpty && f.typeFormals.isEmpty); |
645 assert(g.typeFormals.length + g.typeArguments.length == | 650 assert(g.typeFormals.length + g.typeArguments.length == |
646 f.typeArguments.length); | 651 f.typeArguments.length); |
647 return f.typeArguments.skip(g.typeArguments.length); | 652 return f.typeArguments.skip(g.typeArguments.length); |
648 } | 653 } |
649 } | 654 } |
OLD | NEW |