OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 fasta.verifier; | 5 library fasta.verifier; |
6 | 6 |
7 import 'package:front_end/src/fasta/type_inference/type_schema.dart' | 7 import 'package:front_end/src/fasta/type_inference/type_schema.dart' |
8 show TypeSchemaVisitor, UnknownType; | 8 show TypeSchemaVisitor, UnknownType; |
9 | 9 |
10 import 'package:kernel/ast.dart' | 10 import 'package:kernel/ast.dart' |
11 show | 11 show |
12 InvalidExpression, | 12 InvalidExpression, |
13 InvalidStatement, | 13 InvalidStatement, |
14 InvalidInitializer, | 14 InvalidInitializer, |
15 Class, | 15 Class, |
16 ExpressionStatement, | 16 ExpressionStatement, |
17 Field, | 17 Field, |
18 Library, | 18 Library, |
19 Procedure, | 19 Procedure, |
20 Program, | 20 Program, |
21 TreeNode; | 21 TreeNode; |
22 | 22 |
23 import 'package:kernel/verifier.dart' show VerificationError, VerifyingVisitor; | 23 import 'package:kernel/verifier.dart' show VerificationError, VerifyingVisitor; |
24 | 24 |
25 import '../errors.dart' show printUnexpected; | 25 import '../deprecated_problems.dart' show deprecated_printUnexpected; |
26 | 26 |
27 import 'redirecting_factory_body.dart' show RedirectingFactoryBody; | 27 import 'redirecting_factory_body.dart' show RedirectingFactoryBody; |
28 | 28 |
29 List<VerificationError> verifyProgram(Program program, | 29 List<VerificationError> verifyProgram(Program program, |
30 {bool isOutline: false}) { | 30 {bool isOutline: false}) { |
31 FastaVerifyingVisitor verifier = new FastaVerifyingVisitor(isOutline); | 31 FastaVerifyingVisitor verifier = new FastaVerifyingVisitor(isOutline); |
32 program.accept(verifier); | 32 program.accept(verifier); |
33 return verifier.errors; | 33 return verifier.errors; |
34 } | 34 } |
35 | 35 |
36 class FastaVerifyingVisitor extends VerifyingVisitor | 36 class FastaVerifyingVisitor extends VerifyingVisitor |
37 implements TypeSchemaVisitor { | 37 implements TypeSchemaVisitor { |
38 final List<VerificationError> errors = <VerificationError>[]; | 38 final List<VerificationError> errors = <VerificationError>[]; |
39 | 39 |
40 String fileUri; | 40 String fileUri; |
41 | 41 |
42 FastaVerifyingVisitor(bool isOutline) { | 42 FastaVerifyingVisitor(bool isOutline) { |
43 this.isOutline = isOutline; | 43 this.isOutline = isOutline; |
44 } | 44 } |
45 | 45 |
46 @override | 46 @override |
47 problem(TreeNode node, String details, {TreeNode context}) { | 47 problem(TreeNode node, String details, {TreeNode context}) { |
48 context ??= this.context; | 48 context ??= this.context; |
49 VerificationError error = new VerificationError(context, node, details); | 49 VerificationError error = new VerificationError(context, node, details); |
50 printUnexpected(Uri.parse(fileUri), node?.fileOffset ?? -1, "$error"); | 50 deprecated_printUnexpected( |
| 51 Uri.parse(fileUri), node?.fileOffset ?? -1, "$error"); |
51 errors.add(error); | 52 errors.add(error); |
52 } | 53 } |
53 | 54 |
54 @override | 55 @override |
55 visitExpressionStatement(ExpressionStatement node) { | 56 visitExpressionStatement(ExpressionStatement node) { |
56 // Bypass verification of the [StaticGet] in [RedirectingFactoryBody] as | 57 // Bypass verification of the [StaticGet] in [RedirectingFactoryBody] as |
57 // this is a static get without a getter. | 58 // this is a static get without a getter. |
58 if (node is! RedirectingFactoryBody) { | 59 if (node is! RedirectingFactoryBody) { |
59 super.visitExpressionStatement(node); | 60 super.visitExpressionStatement(node); |
60 } | 61 } |
(...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
98 visitInvalidInitializer(InvalidInitializer node) { | 99 visitInvalidInitializer(InvalidInitializer node) { |
99 problem(node, "Invalid initializer."); | 100 problem(node, "Invalid initializer."); |
100 } | 101 } |
101 | 102 |
102 @override | 103 @override |
103 visitUnknownType(UnknownType node) { | 104 visitUnknownType(UnknownType node) { |
104 // Note: we can't pass [node] to [problem] because it's not a [TreeNode]. | 105 // Note: we can't pass [node] to [problem] because it's not a [TreeNode]. |
105 problem(null, "Unexpected appearance of the unknown type."); | 106 problem(null, "Unexpected appearance of the unknown type."); |
106 } | 107 } |
107 } | 108 } |
OLD | NEW |