OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 abstract class ResolvedVisitor<R> extends Visitor<R> { | 5 abstract class ResolvedVisitor<R> extends Visitor<R> { |
6 TreeElements elements; | 6 TreeElements elements; |
7 | 7 |
8 ResolvedVisitor(this.elements); | 8 ResolvedVisitor(this.elements); |
9 | 9 |
10 R visitSend(Send node) { | 10 R visitSend(Send node) { |
11 if (node.isSuperCall) { | 11 if (node.isSuperCall) { |
12 return visitSuperSend(node); | 12 return visitSuperSend(node); |
13 } else if (node.isOperator) { | 13 } else if (node.isOperator) { |
14 return visitOperatorSend(node); | 14 return visitOperatorSend(node); |
15 } else if (node.isPropertyAccess) { | 15 } else if (node.isPropertyAccessOrTypeReference) { |
16 return visitGetterSend(node); | 16 Element element = elements[node]; |
| 17 if (!Elements.isUnresolved(element) |
| 18 && element.kind == ElementKind.CLASS) { |
| 19 return visitClassLiteralSend(node); |
| 20 } else { |
| 21 return visitGetterSend(node); |
| 22 } |
| 23 // TODO(karlklose): implement reference to type variable. |
17 } else if (Elements.isClosureSend(node, elements[node])) { | 24 } else if (Elements.isClosureSend(node, elements[node])) { |
18 return visitClosureSend(node); | 25 return visitClosureSend(node); |
19 } else { | 26 } else { |
20 Element element = elements[node]; | 27 Element element = elements[node]; |
21 if (Elements.isUnresolved(element)) { | 28 if (Elements.isUnresolved(element)) { |
22 if (element == null) { | 29 if (element == null) { |
23 // Example: f() with 'f' unbound. | 30 // Example: f() with 'f' unbound. |
24 // This can only happen inside an instance method. | 31 // This can only happen inside an instance method. |
25 return visitDynamicSend(node); | 32 return visitDynamicSend(node); |
26 } else { | 33 } else { |
(...skipping 17 matching lines...) Expand all Loading... |
44 } | 51 } |
45 } | 52 } |
46 | 53 |
47 abstract R visitSuperSend(Send node); | 54 abstract R visitSuperSend(Send node); |
48 abstract R visitOperatorSend(Send node); | 55 abstract R visitOperatorSend(Send node); |
49 abstract R visitGetterSend(Send node); | 56 abstract R visitGetterSend(Send node); |
50 abstract R visitClosureSend(Send node); | 57 abstract R visitClosureSend(Send node); |
51 abstract R visitDynamicSend(Send node); | 58 abstract R visitDynamicSend(Send node); |
52 abstract R visitForeignSend(Send node); | 59 abstract R visitForeignSend(Send node); |
53 abstract R visitStaticSend(Send node); | 60 abstract R visitStaticSend(Send node); |
| 61 abstract R visitClassLiteralSend(Send node); |
54 | 62 |
55 abstract void internalError(String reason, [Node node]); | 63 abstract void internalError(String reason, [Node node]); |
56 | 64 |
57 R visitNode(Node node) { | 65 R visitNode(Node node) { |
58 internalError("Unhandled node", node); | 66 internalError("Unhandled node", node); |
59 } | 67 } |
60 } | 68 } |
OLD | NEW |