Index: pkg/compiler/lib/src/ssa/types.dart |
diff --git a/pkg/compiler/lib/src/ssa/types.dart b/pkg/compiler/lib/src/ssa/types.dart |
deleted file mode 100644 |
index cc950236c68c770b4cc201a8159d353ad413cafb..0000000000000000000000000000000000000000 |
--- a/pkg/compiler/lib/src/ssa/types.dart |
+++ /dev/null |
@@ -1,70 +0,0 @@ |
-// Copyright (c) 2012, 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. |
- |
-part of ssa; |
- |
-class TypeMaskFactory { |
- static TypeMask fromInferredType(TypeMask mask, Compiler compiler) { |
- JavaScriptBackend backend = compiler.backend; |
- if (mask == null) return backend.dynamicType; |
- return mask; |
- } |
- |
- static TypeMask inferredReturnTypeForElement( |
- Element element, Compiler compiler) { |
- return fromInferredType( |
- compiler.typesTask.getGuaranteedReturnTypeOfElement(element), |
- compiler); |
- } |
- |
- static TypeMask inferredTypeForElement(Element element, Compiler compiler) { |
- return fromInferredType( |
- compiler.typesTask.getGuaranteedTypeOfElement(element), |
- compiler); |
- } |
- |
- static TypeMask inferredTypeForSelector(Selector selector, Compiler compiler) { |
- return fromInferredType( |
- compiler.typesTask.getGuaranteedTypeOfSelector(selector), |
- compiler); |
- } |
- |
- static TypeMask inferredForNode(Element owner, ast.Node node, |
- Compiler compiler) { |
- return fromInferredType( |
- compiler.typesTask.getGuaranteedTypeOfNode(owner, node), |
- compiler); |
- } |
- |
- static TypeMask fromNativeBehavior(native.NativeBehavior nativeBehavior, |
- Compiler compiler) { |
- ClassWorld classWorld = compiler.world; |
- JavaScriptBackend backend = compiler.backend; |
- if (nativeBehavior.typesReturned.isEmpty) return backend.dynamicType; |
- |
- TypeMask result = nativeBehavior.typesReturned |
- .map((type) => fromNativeType(type, compiler)) |
- .reduce((t1, t2) => t1.union(t2, classWorld)); |
- assert(!(result.isEmpty && !result.isNullable)); |
- return result; |
- } |
- |
- // [type] is either an instance of [DartType] or special objects |
- // like [native.SpecialType.JsObject]. |
- static TypeMask fromNativeType(type, Compiler compiler) { |
- ClassWorld classWorld = compiler.world; |
- JavaScriptBackend backend = compiler.backend; |
- if (type == native.SpecialType.JsObject) { |
- return new TypeMask.nonNullExact(compiler.objectClass, classWorld); |
- } else if (type.isVoid) { |
- return backend.nullType; |
- } else if (type.element == compiler.nullClass) { |
- return backend.nullType; |
- } else if (type.treatAsDynamic) { |
- return backend.dynamicType; |
- } else { |
- return new TypeMask.nonNullSubtype(type.element, classWorld); |
- } |
- } |
-} |