| Index: pkg/compiler/lib/src/types/constants.dart
|
| diff --git a/pkg/compiler/lib/src/types/constants.dart b/pkg/compiler/lib/src/types/constants.dart
|
| index 7ba262165aec0e36e6940718b68e8a738b795e68..d07c819ea6a25724ae57ef0f5c442202a7928a94 100644
|
| --- a/pkg/compiler/lib/src/types/constants.dart
|
| +++ b/pkg/compiler/lib/src/types/constants.dart
|
| @@ -1,100 +1,100 @@
|
| -// Copyright (c) 2014, 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 types.constants;
|
| -
|
| -import '../constants/values.dart';
|
| -import '../dart2jslib.dart';
|
| -import 'types.dart';
|
| -
|
| -/// Computes the [TypeMask] for the constant [value].
|
| -TypeMask computeTypeMask(Compiler compiler, ConstantValue value) {
|
| - return value.accept(const ConstantValueTypeMasks(), compiler);
|
| -}
|
| -
|
| -class ConstantValueTypeMasks extends ConstantValueVisitor<TypeMask, Compiler> {
|
| - const ConstantValueTypeMasks();
|
| -
|
| - @override
|
| - TypeMask visitConstructed(ConstructedConstantValue constant,
|
| - Compiler compiler) {
|
| - if (compiler.backend.isInterceptorClass(constant.type.element)) {
|
| - return compiler.typesTask.nonNullType;
|
| - }
|
| - return new TypeMask.nonNullExact(constant.type.element, compiler.world);
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitDeferred(DeferredConstantValue constant, Compiler compiler) {
|
| - return constant.referenced.accept(this, compiler);
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitDouble(DoubleConstantValue constant, Compiler compiler) {
|
| - // We have to distinguish -0.0 from 0, but for all practical purposes
|
| - // -0.0 is an integer.
|
| - // TODO(17235): this kind of special casing should only happen in the
|
| - // backend.
|
| - if (constant.isMinusZero &&
|
| - compiler.backend.constantSystem.isInt(constant)) {
|
| - return compiler.typesTask.uint31Type;
|
| - }
|
| - assert(!compiler.backend.constantSystem.isInt(constant));
|
| - return compiler.typesTask.doubleType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitDummy(DummyConstantValue constant, Compiler compiler) {
|
| - return constant.typeMask;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitBool(BoolConstantValue constant, Compiler compiler) {
|
| - return compiler.typesTask.boolType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitFunction(FunctionConstantValue constant, Compiler compiler) {
|
| - return compiler.typesTask.functionType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitInt(IntConstantValue constant, Compiler compiler) {
|
| - if (constant.isUInt31()) return compiler.typesTask.uint31Type;
|
| - if (constant.isUInt32()) return compiler.typesTask.uint32Type;
|
| - if (constant.isPositive()) return compiler.typesTask.positiveIntType;
|
| - return compiler.typesTask.intType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitInterceptor(InterceptorConstantValue constant,
|
| - Compiler compiler) {
|
| - return compiler.typesTask.nonNullType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitList(ListConstantValue constant, Compiler compiler) {
|
| - return compiler.typesTask.constListType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitMap(MapConstantValue constant, Compiler compiler) {
|
| - return compiler.typesTask.constMapType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitNull(NullConstantValue constant, Compiler compiler) {
|
| - return compiler.typesTask.nullType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitString(StringConstantValue constant, Compiler compiler) {
|
| - return compiler.typesTask.stringType;
|
| - }
|
| -
|
| - @override
|
| - TypeMask visitType(TypeConstantValue constant, Compiler compiler) {
|
| - return compiler.typesTask.typeType;
|
| - }
|
| -}
|
| +// Copyright (c) 2014, 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 types.constants;
|
| +
|
| +import '../constants/values.dart';
|
| +import '../dart2jslib.dart';
|
| +import 'types.dart';
|
| +
|
| +/// Computes the [TypeMask] for the constant [value].
|
| +TypeMask computeTypeMask(Compiler compiler, ConstantValue value) {
|
| + return value.accept(const ConstantValueTypeMasks(), compiler);
|
| +}
|
| +
|
| +class ConstantValueTypeMasks extends ConstantValueVisitor<TypeMask, Compiler> {
|
| + const ConstantValueTypeMasks();
|
| +
|
| + @override
|
| + TypeMask visitConstructed(ConstructedConstantValue constant,
|
| + Compiler compiler) {
|
| + if (compiler.backend.isInterceptorClass(constant.type.element)) {
|
| + return compiler.typesTask.nonNullType;
|
| + }
|
| + return new TypeMask.nonNullExact(constant.type.element, compiler.world);
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitDeferred(DeferredConstantValue constant, Compiler compiler) {
|
| + return constant.referenced.accept(this, compiler);
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitDouble(DoubleConstantValue constant, Compiler compiler) {
|
| + // We have to distinguish -0.0 from 0, but for all practical purposes
|
| + // -0.0 is an integer.
|
| + // TODO(17235): this kind of special casing should only happen in the
|
| + // backend.
|
| + if (constant.isMinusZero &&
|
| + compiler.backend.constantSystem.isInt(constant)) {
|
| + return compiler.typesTask.uint31Type;
|
| + }
|
| + assert(!compiler.backend.constantSystem.isInt(constant));
|
| + return compiler.typesTask.doubleType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitDummy(DummyConstantValue constant, Compiler compiler) {
|
| + return constant.typeMask;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitBool(BoolConstantValue constant, Compiler compiler) {
|
| + return compiler.typesTask.boolType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitFunction(FunctionConstantValue constant, Compiler compiler) {
|
| + return compiler.typesTask.functionType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitInt(IntConstantValue constant, Compiler compiler) {
|
| + if (constant.isUInt31()) return compiler.typesTask.uint31Type;
|
| + if (constant.isUInt32()) return compiler.typesTask.uint32Type;
|
| + if (constant.isPositive()) return compiler.typesTask.positiveIntType;
|
| + return compiler.typesTask.intType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitInterceptor(InterceptorConstantValue constant,
|
| + Compiler compiler) {
|
| + return compiler.typesTask.nonNullType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitList(ListConstantValue constant, Compiler compiler) {
|
| + return compiler.typesTask.constListType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitMap(MapConstantValue constant, Compiler compiler) {
|
| + return compiler.typesTask.constMapType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitNull(NullConstantValue constant, Compiler compiler) {
|
| + return compiler.typesTask.nullType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitString(StringConstantValue constant, Compiler compiler) {
|
| + return compiler.typesTask.stringType;
|
| + }
|
| +
|
| + @override
|
| + TypeMask visitType(TypeConstantValue constant, Compiler compiler) {
|
| + return compiler.typesTask.typeType;
|
| + }
|
| +}
|
|
|