Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(900)

Side by Side Diff: pkg/analyzer/test/src/task/strong/strong_test_helper.dart

Issue 1395853004: FYI: add strong mode checking to error verifier's task (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: format Created 5 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « pkg/analyzer/test/src/task/dart_test.dart ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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 // TODO(jmesserly): this file needs to be refactored, it's a port from 5 // TODO(jmesserly): this file needs to be refactored, it's a port from
6 // package:dev_compiler's tests 6 // package:dev_compiler's tests
7 library test.src.task.strong.strong_test_helper; 7 library test.src.task.strong.strong_test_helper;
8 8
9 import 'package:analyzer/file_system/file_system.dart'; 9 import 'package:analyzer/file_system/file_system.dart';
10 import 'package:analyzer/file_system/memory_file_system.dart'; 10 import 'package:analyzer/file_system/memory_file_system.dart';
11 import 'package:analyzer/src/context/context.dart' show SdkAnalysisContext; 11 import 'package:analyzer/src/context/context.dart' show SdkAnalysisContext;
12 import 'package:analyzer/src/generated/ast.dart'; 12 import 'package:analyzer/src/generated/ast.dart';
13 import 'package:analyzer/src/generated/element.dart'; 13 import 'package:analyzer/src/generated/element.dart';
14 import 'package:analyzer/src/generated/engine.dart' hide SdkAnalysisContext; 14 import 'package:analyzer/src/generated/engine.dart' hide SdkAnalysisContext;
15 import 'package:analyzer/src/generated/error.dart'; 15 import 'package:analyzer/src/generated/error.dart';
16 import 'package:analyzer/src/generated/sdk.dart'; 16 import 'package:analyzer/src/generated/sdk.dart';
17 import 'package:analyzer/src/generated/source.dart'; 17 import 'package:analyzer/src/generated/source.dart';
18 import 'package:analyzer/src/task/strong/checker.dart'; 18 import 'package:analyzer/src/task/strong/checker.dart';
19 import 'package:analyzer/src/task/strong/rules.dart'; 19 import 'package:analyzer/src/task/strong/rules.dart';
20 import 'package:logging/logging.dart'; // TODO(jmesserly): remove 20 import 'package:logging/logging.dart'; // TODO(jmesserly): remove
21 import 'package:source_span/source_span.dart'; // TODO(jmesserly): remove 21 import 'package:source_span/source_span.dart'; // TODO(jmesserly): remove
22 import 'package:unittest/unittest.dart'; 22 import 'package:unittest/unittest.dart';
23 23
24
25 /// Run the checker on a program with files contents as indicated in 24 /// Run the checker on a program with files contents as indicated in
26 /// [testFiles]. 25 /// [testFiles].
27 /// 26 ///
28 /// This function makes several assumptions to make it easier to describe error 27 /// This function makes several assumptions to make it easier to describe error
29 /// expectations: 28 /// expectations:
30 /// 29 ///
31 /// * a file named `/main.dart` exists in [testFiles]. 30 /// * a file named `/main.dart` exists in [testFiles].
32 /// * all expected failures are listed in the source code using comments 31 /// * all expected failures are listed in the source code using comments
33 /// immediately in front of the AST node that should contain the error. 32 /// immediately in front of the AST node that should contain the error.
34 /// * errors are formatted as a token `level:Type`, where `level` is the 33 /// * errors are formatted as a token `level:Type`, where `level` is the
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after
69 new MockDartSdk(mockSdkSources, reportMissing: true).resolver, 68 new MockDartSdk(mockSdkSources, reportMissing: true).resolver,
70 uriResolver 69 uriResolver
71 ]); 70 ]);
72 71
73 // Run the checker on /main.dart. 72 // Run the checker on /main.dart.
74 Source mainSource = uriResolver.resolveAbsolute(new Uri.file('/main.dart')); 73 Source mainSource = uriResolver.resolveAbsolute(new Uri.file('/main.dart'));
75 var initialLibrary = 74 var initialLibrary =
76 context.resolveCompilationUnit2(mainSource, mainSource); 75 context.resolveCompilationUnit2(mainSource, mainSource);
77 76
78 var collector = new _ErrorCollector(); 77 var collector = new _ErrorCollector();
79 var errorReporter = new ErrorReporter(collector, mainSource); 78 var checker =
80 var checker = new CodeChecker(new TypeRules(context.typeProvider), 79 new CodeChecker(new TypeRules(context.typeProvider), collector);
81 errorReporter);
82 80
83 // Extract expectations from the comments in the test files, and 81 // Extract expectations from the comments in the test files, and
84 // check that all errors we emit are included in the expected map. 82 // check that all errors we emit are included in the expected map.
85 var allLibraries = reachableLibraries(initialLibrary.element.library); 83 var allLibraries = reachableLibraries(initialLibrary.element.library);
86 for (var lib in allLibraries) { 84 for (var lib in allLibraries) {
87 for (var unit in lib.units) { 85 for (var unit in lib.units) {
88 var errors = <AnalysisError>[]; 86 var errors = <AnalysisError>[];
89 collector.errors = errors; 87 collector.errors = errors;
90 88
91 var source = unit.source; 89 var source = unit.source;
92 if (source.uri.scheme == 'dart') continue; 90 if (source.uri.scheme == 'dart') continue;
93 errorReporter.source = unit.source;
94 91
95 var librarySource = context.getLibrariesContaining(source).single; 92 var librarySource = context.getLibrariesContaining(source).single;
96 var resolved = context.resolveCompilationUnit2(source, librarySource); 93 var resolved = context.resolveCompilationUnit2(source, librarySource);
97 checker.visitCompilationUnit(resolved); 94 checker.visitCompilationUnit(resolved);
98 95
99 new _ExpectedErrorVisitor(errors).validate(resolved); 96 new _ExpectedErrorVisitor(errors).validate(resolved);
100 } 97 }
101 } 98 }
102 }); 99 });
103 } 100 }
(...skipping 175 matching lines...) Expand 10 before | Expand all | Expand 10 after
279 expect(tokens[2], "be", reason: 'invalid error descriptor'); 276 expect(tokens[2], "be", reason: 'invalid error descriptor');
280 if (tokens[0] == "pass") return null; 277 if (tokens[0] == "pass") return null;
281 // TODO(leafp) For now, we just use whatever the current expectation is, 278 // TODO(leafp) For now, we just use whatever the current expectation is,
282 // eventually we could do more automated reporting here. 279 // eventually we could do more automated reporting here.
283 return _parse(tokens[0]); 280 return _parse(tokens[0]);
284 } 281 }
285 282
286 String toString() => '$level $typeName'; 283 String toString() => '$level $typeName';
287 } 284 }
288 285
289
290 /// Dart SDK which contains a mock implementation of the SDK libraries. May be 286 /// Dart SDK which contains a mock implementation of the SDK libraries. May be
291 /// used to speed up execution when most of the core libraries is not needed. 287 /// used to speed up execution when most of the core libraries is not needed.
292 class MockDartSdk implements DartSdk { 288 class MockDartSdk implements DartSdk {
293 final Map<Uri, _MockSdkSource> _sources = {}; 289 final Map<Uri, _MockSdkSource> _sources = {};
294 final bool reportMissing; 290 final bool reportMissing;
295 final Map<String, SdkLibrary> _libs = {}; 291 final Map<String, SdkLibrary> _libs = {};
296 final String sdkVersion = '0'; 292 final String sdkVersion = '0';
297 List<String> get uris => _sources.keys.map((uri) => '$uri').toList(); 293 List<String> get uris => _sources.keys.map((uri) => '$uri').toList();
298 final AnalysisContext context = new SdkAnalysisContext(); 294 final AnalysisContext context = new SdkAnalysisContext();
299 DartUriResolver _resolver; 295 DartUriResolver _resolver;
(...skipping 149 matching lines...) Expand 10 before | Expand all | Expand 10 after
449 'dart:math': ''' 445 'dart:math': '''
450 library dart.math; 446 library dart.math;
451 class Random { 447 class Random {
452 bool nextBool() {} 448 bool nextBool() {}
453 } 449 }
454 num min(num x, num y) {} 450 num min(num x, num y) {}
455 num max(num x, num y) {} 451 num max(num x, num y) {}
456 ''', 452 ''',
457 }; 453 };
458 454
459
460 /// Returns all libraries transitively imported or exported from [start]. 455 /// Returns all libraries transitively imported or exported from [start].
461 List<LibraryElement> reachableLibraries(LibraryElement start) { 456 List<LibraryElement> reachableLibraries(LibraryElement start) {
462 var results = <LibraryElement>[]; 457 var results = <LibraryElement>[];
463 var seen = new Set(); 458 var seen = new Set();
464 void find(LibraryElement lib) { 459 void find(LibraryElement lib) {
465 if (seen.contains(lib)) return; 460 if (seen.contains(lib)) return;
466 seen.add(lib); 461 seen.add(lib);
467 results.add(lib); 462 results.add(lib);
468 lib.importedLibraries.forEach(find); 463 lib.importedLibraries.forEach(find);
469 lib.exportedLibraries.forEach(find); 464 lib.exportedLibraries.forEach(find);
(...skipping 25 matching lines...) Expand all
495 if (levelName == 'warning') return _MAGENTA_COLOR; 490 if (levelName == 'warning') return _MAGENTA_COLOR;
496 if (levelName == 'info') return _CYAN_COLOR; 491 if (levelName == 'info') return _CYAN_COLOR;
497 return null; 492 return null;
498 } 493 }
499 494
500 const String _RED_COLOR = '\u001b[31m'; 495 const String _RED_COLOR = '\u001b[31m';
501 const String _MAGENTA_COLOR = '\u001b[35m'; 496 const String _MAGENTA_COLOR = '\u001b[35m';
502 const String _CYAN_COLOR = '\u001b[36m'; 497 const String _CYAN_COLOR = '\u001b[36m';
503 const String GREEN_COLOR = '\u001b[32m'; 498 const String GREEN_COLOR = '\u001b[32m';
504 const String NO_COLOR = '\u001b[0m'; 499 const String NO_COLOR = '\u001b[0m';
OLDNEW
« no previous file with comments | « pkg/analyzer/test/src/task/dart_test.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698