Index: sdk/lib/_internal/compiler/implementation/inferrer/ir_type_inferrer.dart |
diff --git a/sdk/lib/_internal/compiler/implementation/inferrer/ir_type_inferrer.dart b/sdk/lib/_internal/compiler/implementation/inferrer/ir_type_inferrer.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..b04c34e193a70976e7dd92dec242e1f5e90221d5 |
--- /dev/null |
+++ b/sdk/lib/_internal/compiler/implementation/inferrer/ir_type_inferrer.dart |
@@ -0,0 +1,82 @@ |
+// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
+library ir_type_inferrer; |
+ |
+import '../ir/ir_nodes.dart'; |
+import 'inferrer_visitor.dart' show |
+ TypeSystem; |
+import 'simple_types_inferrer.dart' show |
+ InferrerEngine; |
+import '../elements/elements.dart' show |
+ Element, FunctionElement, FunctionSignature; |
+import '../dart2jslib.dart' show |
+ Compiler, Constant, ConstantSystem; |
+ |
+class IrTypeInferrerVisitor<T> extends IrNodesVisitor<T> { |
+ final Compiler compiler; |
+ final Element analyzedElement; |
+ final TypeSystem<T> types; |
+ final InferrerEngine<T, TypeSystem<T>> inferrer; |
+ |
+ IrTypeInferrerVisitor(this.compiler, this.analyzedElement, |
+ InferrerEngine<T, TypeSystem<T>> inferrer) : |
+ inferrer = inferrer, |
+ types = inferrer.types; |
+ |
+ T returnType; |
ngeoffray
2013/11/20 14:55:27
Not used.
lukas
2013/11/21 12:20:21
Done.
|
+ |
+ T run() { |
+ if (analyzedElement.isField()) { |
+ // TODO(lry): handle fields. |
+ throw "Type infer from IR for field $analyzedElement"; |
+ } |
+ FunctionElement function = analyzedElement; |
+ FunctionSignature signature = function.computeSignature(compiler); |
+ IrFunction node = function.irNode(compiler); |
+ // TODO(lry): handle parameters. |
+ |
+ if (function.isNative()) { |
+ // TODO(lry): handle native. |
+ throw "Type infer from IR for natvie $analyzedElement"; |
ngeoffray
2013/11/20 14:55:27
natvie -> native
lukas
2013/11/21 12:20:21
Done.
|
+ } |
+ |
+ if (analyzedElement.isGenerativeConstructor()) { |
+ // TODO(lry): handle constructors. |
+ throw "Type infer from IR for constructor $analyzedElement"; |
+ } |
+ |
+ if (analyzedElement.isSynthesized) { |
+ // TODO(lry): handle synthethics. |
+ throw "Type infer from IR for synthetic $analyzedElement"; |
+ } |
+ |
+ visitAll(node.statements); |
+ } |
+ |
+ T typeOfConstant(Constant constant) { |
+ if (constant.isBool()) return types.boolType; |
+ if (constant.isNum()) { |
+ ConstantSystem constantSystem = compiler.backend.constantSystem; |
+ // The JavaScript backend may turn this literal into a double at runtime. |
+ if (constantSystem.isDouble(constant)) return types.doubleType; |
+ return types.intType; |
+ } |
+ if (constant.isString()) return types.stringType; |
+ if (constant.isNull()) return types.nullType; |
+ compiler.internalError("Unexpected constant: $constant"); |
+ } |
+ |
+ T visitIrConstant(IrConstant node) { |
+ return typeOfConstant(node.value); |
+ } |
+ |
+ T visitIrReturn(IrReturn node) { |
+ inferrer.addReturnTypeFor(analyzedElement, null, node.value.accept(this)); |
ngeoffray
2013/11/20 14:55:27
Hasn't the node been visited already?
lukas
2013/11/21 12:20:21
Done.
|
+ } |
+ |
+ T visitNode(IrNode node) { |
+ compiler.internalError('Unexpected IrNode $node'); |
+ } |
+} |