blob: d90b97ead9ee46d4460b720a9f051045ffc18669 [file] [log] [blame]
// 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.
// Test that instanceof works correctly with type variables.
part of GenericInstanceofTest.dart;
class Foo<T> {
Foo() {}
bool isT(x) {
// Untyped parameter to ensure that the static type
// does not affect the result.
return x is T;
}
bool isListT(x) {
return x is List<T>;
}
}
class GenericInstanceof {
static void testMain() {
// Using Object instead of String to ensure that the static type
// does not affect the result.
Foo<Object> fooObject = new Foo<String>();
Expect.equals(true, fooObject.isT("string"));
Expect.equals(false, fooObject.isT(1));
Foo<String> fooString = new Foo<String>();
Expect.equals(true, fooString.isT("string"));
Expect.equals(false, fooString.isT(1));
// Not providing a type argument to ensure that the static type
// does not affect the result.
{
Foo foo = new Foo<String>();
Expect.equals(true, foo.isT("string"));
Expect.equals(false, foo.isT(1));
}
{
Foo foo = new Foo();
Expect.equals(true, foo.isT(new List.filled(5, null)));
Expect.equals(true, foo.isT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isT(new List<int>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<num>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<List>();
Expect.equals(true, foo.isT(new List.filled(5, null)));
Expect.equals(true, foo.isT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isT(new List<int>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<num>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<List<Object>>();
Expect.equals(hasUnsoundNullSafety, foo.isT(new List.filled(5, null)));
Expect.equals(true, foo.isT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isT(new List<int>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<num>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<List<int>>();
Expect.equals(hasUnsoundNullSafety, foo.isT(new List.filled(5, null)));
Expect.equals(false, foo.isT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isT(new List<int>.filled(5, 0)));
Expect.equals(false, foo.isT(new List<num>.filled(5, 0)));
Expect.equals(false, foo.isT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<List<num>>();
Expect.equals(hasUnsoundNullSafety, foo.isT(new List.filled(5, null)));
Expect.equals(false, foo.isT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isT(new List<int>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<num>.filled(5, 0)));
Expect.equals(false, foo.isT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<List<String>>();
Expect.equals(hasUnsoundNullSafety, foo.isT(new List.filled(5, null)));
Expect.equals(false, foo.isT(new List<Object>.filled(5, "o")));
Expect.equals(false, foo.isT(new List<int>.filled(5, 0)));
Expect.equals(false, foo.isT(new List<num>.filled(5, 0)));
Expect.equals(true, foo.isT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo();
Expect.equals(true, foo.isListT(new List.filled(5, null)));
Expect.equals(true, foo.isListT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isListT(new List<int>.filled(5, 0)));
Expect.equals(true, foo.isListT(new List<num>.filled(5, 0)));
Expect.equals(true, foo.isListT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<Object>();
Expect.equals(
hasUnsoundNullSafety, foo.isListT(new List.filled(5, null)));
Expect.equals(true, foo.isListT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isListT(new List<int>.filled(5, 0)));
Expect.equals(true, foo.isListT(new List<num>.filled(5, 0)));
Expect.equals(true, foo.isListT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<int>();
Expect.equals(
hasUnsoundNullSafety, foo.isListT(new List.filled(5, null)));
Expect.equals(false, foo.isListT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isListT(new List<int>.filled(5, 0)));
Expect.equals(false, foo.isListT(new List<num>.filled(5, 0)));
Expect.equals(false, foo.isListT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<num>();
Expect.equals(
hasUnsoundNullSafety, foo.isListT(new List.filled(5, null)));
Expect.equals(false, foo.isListT(new List<Object>.filled(5, "o")));
Expect.equals(true, foo.isListT(new List<int>.filled(5, 0)));
Expect.equals(true, foo.isListT(new List<num>.filled(5, 0)));
Expect.equals(false, foo.isListT(new List<String>.filled(5, "s")));
}
{
Foo foo = new Foo<String>();
Expect.equals(
hasUnsoundNullSafety, foo.isListT(new List.filled(5, null)));
Expect.equals(false, foo.isListT(new List<Object>.filled(5, "o")));
Expect.equals(false, foo.isListT(new List<int>.filled(5, 0)));
Expect.equals(false, foo.isListT(new List<num>.filled(5, 0)));
Expect.equals(true, foo.isListT(new List<String>.filled(5, "s")));
}
}
}