| Index: dart/compiler/javatests/com/google/dart/compiler/type/TypeTest.java
|
| diff --git a/dart/compiler/javatests/com/google/dart/compiler/type/TypeTest.java b/dart/compiler/javatests/com/google/dart/compiler/type/TypeTest.java
|
| deleted file mode 100644
|
| index cbb60e959f0ac44a5419948046d0726f76cd2776..0000000000000000000000000000000000000000
|
| --- a/dart/compiler/javatests/com/google/dart/compiler/type/TypeTest.java
|
| +++ /dev/null
|
| @@ -1,107 +0,0 @@
|
| -// Copyright (c) 2011, 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.
|
| -
|
| -package com.google.dart.compiler.type;
|
| -
|
| -
|
| -import org.junit.Assert;
|
| -
|
| -import java.util.Arrays;
|
| -import java.util.List;
|
| -
|
| -public class TypeTest extends TypeTestCase {
|
| - private final Types types = Types.getInstance(null);
|
| -
|
| - @Override
|
| - Types getTypes() {
|
| - return types;
|
| - }
|
| -
|
| - public void testToString() {
|
| - Assert.assertEquals("Object", itype(object).toString());
|
| - Assert.assertEquals("List<Object>", objectList.toString());
|
| - Assert.assertEquals("Map<Object, Object>", objectMap.toString());
|
| - Assert.assertEquals("ReverseMap<Object, Object>", reverseObjectMap.toString());
|
| -
|
| - Assert.assertEquals("CLASS Object", object.toString());
|
| - Assert.assertEquals("CLASS List", list.toString());
|
| - Assert.assertEquals("CLASS Map", map.toString());
|
| - Assert.assertEquals("CLASS ReverseMap", reverseMap.toString());
|
| -
|
| - Assert.assertEquals("Object", object.getType().toString());
|
| - Assert.assertEquals("List<E>", list.getType().toString());
|
| - Assert.assertEquals("Map<K, V>", map.getType().toString());
|
| - Assert.assertEquals("ReverseMap<K, V>", reverseMap.getType().toString());
|
| - }
|
| -
|
| - public void testRaw() {
|
| - Assert.assertFalse(itype(object).isRaw());
|
| - Assert.assertFalse(objectList.isRaw());
|
| - Assert.assertFalse(objectMap.isRaw());
|
| - Assert.assertFalse(reverseObjectMap.isRaw());
|
| -
|
| - Assert.assertTrue(itype(list).isRaw());
|
| - Assert.assertTrue(itype(list, itype(object), itype(object)).isRaw());
|
| -
|
| - Assert.assertFalse(itype(list, objectMap).isRaw());
|
| - }
|
| -
|
| - public void testAsInstanceOf() {
|
| - Assert.assertEquals(itype(object), types.asInstanceOf(objectList, object));
|
| - Assert.assertEquals(objectList, types.asInstanceOf(objectList, list));
|
| -
|
| - Assert.assertNull(types.asInstanceOf(objectList, map));
|
| -
|
| - Assert.assertNull(types.asInstanceOf(itype(object), list));
|
| -
|
| - Assert.assertEquals(intStringMap, types.asInstanceOf(stringIntReverseMap, map));
|
| -
|
| - Assert.assertFalse(stringIntMap.equals(types.asInstanceOf(stringIntReverseMap, map)));
|
| -
|
| - Assert.assertEquals(itype(list), types.asInstanceOf(itype(list), list));
|
| - }
|
| -
|
| - public void testSubst() {
|
| - List<Type> vars = Arrays.<Type>asList(typeVar("K", itype(object)), typeVar("V", itype(object)));
|
| - Type canonMap = map.getType();
|
| - Type substMap = canonMap.subst(vars, map.getTypeParameters());
|
| - checkNotAssignable(canonMap, substMap);
|
| - Assert.assertFalse(canonMap.equals(substMap));
|
| - Assert.assertFalse(substMap.equals(canonMap));
|
| -
|
| - List<Type> args = Arrays.<Type>asList(itype(string), itype(intElement));
|
| - Assert.assertTrue(types.isSubtype(canonMap.subst(args, map.getTypeParameters()), stringIntMap));
|
| - Assert.assertTrue(types.isSubtype(substMap.subst(args, vars), stringIntMap));
|
| -
|
| - TypeVariable tv = typeVar("T", itype(object));
|
| - Assert.assertSame(tv, tv.subst(vars, args));
|
| - }
|
| -
|
| - public void testEquals() {
|
| - Assert.assertEquals(object.getType(), itype(object));
|
| - Assert.assertNotSame(object.getType(), itype(object));
|
| - Assert.assertFalse(object.getType().equals(map.getTypeParameters().get(0)));
|
| - }
|
| -
|
| - public void testIsSubtype() {
|
| - checkSubtype(itype(object), itype(object));
|
| -
|
| - checkStrictSubtype(itype(string), itype(object));
|
| - checkStrictSubtype(itype(intElement), itype(object));
|
| - checkNotAssignable(itype(string), itype(intElement));
|
| -
|
| -
|
| - checkStrictSubtype(objectList, itype(object));
|
| -
|
| - checkStrictSubtype(objectMap, itype(object));
|
| -
|
| - checkStrictSubtype(reverseObjectMap, itype(object));
|
| - checkStrictSubtype(reverseObjectMap, objectMap);
|
| -
|
| - checkNotAssignable(objectMap, objectList);
|
| - checkNotAssignable(reverseObjectMap, objectList);
|
| - checkNotAssignable(objectMap, objectList);
|
| - checkNotAssignable(reverseObjectMap, objectList);
|
| - }
|
| -}
|
|
|