Linter Demo

Errors: 0

Warnings: 2

File: /home/fstrocco/Dart/dart/benchmark/compiler/lib/src/types/constants.dart

// 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; } }