blob: e448b57677be5e18e56785a307c65becefc1b6b2 [file] [log] [blame]
// 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.
import 'package:expect/expect.dart';
import "package:async_helper/async_helper.dart";
import 'package:compiler/src/types/types.dart' show ContainerTypeMask, TypeMask;
import 'compiler_helper.dart';
import 'type_mask_test_helper.dart';
String generateTest(String listAllocation) {
return """
int anInt = 42;
double aDouble = 42.5;
class A {
final field;
var nonFinalField;
A(this.field);
A.bar(list) {
nonFinalField = list;
}
receiveIt(list) {
list[0] = aDouble;
}
returnIt() {
return listReturnedFromSelector;
}
useField() {
field[0] = aDouble;
}
set callSetter(list) {
list[0] = aDouble;
}
operator[](index) {
index[0] = aDouble;
}
operator[]=(index, value) {
index[0] = anInt;
if (value == listEscapingTwiceInIndexSet) {
value[0] = aDouble;
}
}
}
class B extends A {
B(list) : super.bar(list);
set nonFinalField(value) {
value[0] = aDouble;
}
}
var listInField = $listAllocation;
var listPassedToClosure = $listAllocation;
var listReturnedFromClosure = $listAllocation;
var listPassedToMethod = $listAllocation;
var listReturnedFromMethod = $listAllocation;
var listUsedWithCascade = $listAllocation;
var listUsedInClosure = $listAllocation;
var listPassedToSelector = $listAllocation;
var listReturnedFromSelector = $listAllocation;
var listUsedWithAddAndInsert = $listAllocation;
var listUsedWithNonOkSelector = $listAllocation;
var listUsedWithConstraint = $listAllocation;
var listEscapingFromSetter = $listAllocation;
var listUsedInLocal = $listAllocation;
var listUnset = $listAllocation;
var listOnlySetWithConstraint = $listAllocation;
var listEscapingInSetterValue = $listAllocation;
var listEscapingInIndex = $listAllocation;
var listEscapingInIndexSet = $listAllocation;
var listEscapingTwiceInIndexSet = $listAllocation;
var listPassedAsOptionalParameter = $listAllocation;
var listPassedAsNamedParameter = $listAllocation;
var listSetInNonFinalField = $listAllocation;
var listWithChangedLength = $listAllocation;
var listStoredInList = $listAllocation;
var listStoredInListButEscapes = $listAllocation;
foo(list) {
list[0] = aDouble;
}
bar() {
return listReturnedFromMethod;
}
takeOptional([list]) {
list[0] = aDouble;
}
takeNamed({list}) {
list[0] = aDouble;
}
main() {
listReturnedFromMethod[0] = anInt;
bar()[0] = aDouble;
listPassedToMethod[0] = anInt;
foo(listPassedToMethod);
listPassedToClosure[0] = anInt;
((a) => a[0] = aDouble)(listPassedToClosure);
listReturnedFromClosure[0] = anInt;
(() => listReturnedFromClosure)()[0] = aDouble;
listInField[0] = anInt;
new A(listInField).useField();
listUsedWithCascade[0] = anInt;
listUsedWithCascade..[0] = aDouble;
listUsedInClosure[0] = anInt;
(() => listUsedInClosure[0] = aDouble)();
listPassedToSelector[0] = anInt;
new A(null).receiveIt(listPassedToSelector);
listReturnedFromSelector[0] = anInt;
new A(null).returnIt()[0] = aDouble;
listUsedWithAddAndInsert.add(anInt);
listUsedWithAddAndInsert.insert(0, aDouble);
listUsedWithNonOkSelector[0] = anInt;
listUsedWithNonOkSelector.addAll(listPassedToClosure);
listUsedWithConstraint[0] = anInt;
listUsedWithConstraint[0]++;
listUsedWithConstraint[0] += anInt;
listEscapingFromSetter[0] = anInt;
foo(new A(null).field = listEscapingFromSetter);
listUsedInLocal[0] = anInt;
var a = listUsedInLocal;
listUsedInLocal[1] = aDouble;
// At least use [listUnused] in a local to pretend it's used.
var b = listUnset;
listOnlySetWithConstraint[0]++;
listEscapingInSetterValue[0] = anInt;
new A(null).callSetter = listEscapingInSetterValue;
listEscapingInIndex[0] = anInt;
new A(null)[listEscapingInIndex];
new A(null)[listEscapingInIndexSet] = 42;
new A(null)[listEscapingTwiceInIndexSet] = listEscapingTwiceInIndexSet;
listPassedAsOptionalParameter[0] = anInt;
takeOptional(listPassedAsOptionalParameter);
listPassedAsNamedParameter[0] = anInt;
takeNamed(list: listPassedAsNamedParameter);
listSetInNonFinalField[0] = anInt;
new B(listSetInNonFinalField);
listWithChangedLength[0] = anInt;
listWithChangedLength.length = 54;
a = [listStoredInList];
a[0][0] = 42;
a = [listStoredInListButEscapes];
a[0][0] = 42;
a.forEach((e) => print(e));
}
""";
}
void main() {
doTest('[]', nullify: false); // Test literal list.
doTest('new List()', nullify: false); // Test growable list.
doTest('new List(1)', nullify: true); // Test fixed list.
doTest('new List.filled(1, 0)', nullify: false); // Test List.filled.
doTest('new List.filled(1, null)', nullify: true); // Test List.filled.
}
void doTest(String allocation, {bool nullify}) {
Uri uri = new Uri(scheme: 'source');
var compiler = compilerFor(generateTest(allocation), uri,
expectedErrors: 0, expectedWarnings: 1);
asyncTest(() => compiler.run(uri).then((_) {
var typesInferrer = compiler.globalInference.typesInferrerInternal;
var closedWorld = typesInferrer.closedWorld;
var commonMasks = closedWorld.commonMasks;
checkType(String name, type) {
MemberElement element = findElement(compiler, name);
ContainerTypeMask mask = typesInferrer.getTypeOfMember(element);
if (nullify) type = type.nullable();
Expect.equals(type, simplify(mask.elementType, closedWorld), name);
}
checkType('listInField', commonMasks.numType);
checkType('listPassedToMethod', commonMasks.numType);
checkType('listReturnedFromMethod', commonMasks.numType);
checkType('listUsedWithCascade', commonMasks.numType);
checkType('listUsedInClosure', commonMasks.numType);
checkType('listPassedToSelector', commonMasks.numType);
checkType('listReturnedFromSelector', commonMasks.numType);
checkType('listUsedWithAddAndInsert', commonMasks.numType);
checkType('listUsedWithConstraint', commonMasks.positiveIntType);
checkType('listEscapingFromSetter', commonMasks.numType);
checkType('listUsedInLocal', commonMasks.numType);
checkType('listEscapingInSetterValue', commonMasks.numType);
checkType('listEscapingInIndex', commonMasks.numType);
checkType('listEscapingInIndexSet', commonMasks.uint31Type);
checkType('listEscapingTwiceInIndexSet', commonMasks.numType);
checkType('listSetInNonFinalField', commonMasks.numType);
checkType('listWithChangedLength', commonMasks.uint31Type.nullable());
checkType('listPassedToClosure', commonMasks.dynamicType);
checkType('listReturnedFromClosure', commonMasks.dynamicType);
checkType('listUsedWithNonOkSelector', commonMasks.dynamicType);
checkType('listPassedAsOptionalParameter', commonMasks.numType);
checkType('listPassedAsNamedParameter', commonMasks.numType);
checkType('listStoredInList', commonMasks.uint31Type);
checkType('listStoredInListButEscapes', commonMasks.dynamicType);
if (!allocation.contains('filled')) {
checkType('listUnset', new TypeMask.nonNullEmpty());
checkType('listOnlySetWithConstraint', new TypeMask.nonNullEmpty());
}
}));
}