// 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.

/// @assertion The is-expression e is! T is equivalent to !(e is T).
/// @description Checks that the is!-expression is evaluated correctly.
/// @author msyabro

import '../../../Utils/expect.dart';

abstract class I {
  factory I() {return new C();}
}

class A {
  A() {}
}
class B extends A {}
class C extends B implements I {}

main() {
  Expect.isFalse(1 is! int);
  Expect.isFalse(1.0 is! double);
  Expect.isFalse("string" is! String);
  Expect.isFalse(null is! Object?);
  Expect.isFalse(() {} is! Function);
  Expect.isFalse(new Object() is! dynamic);

  Expect.isFalse(new I() is! I);
  Expect.isFalse(new I() is! A);
  Expect.isFalse(new I() is! C);
  Expect.isFalse(new A() is! A);
  Expect.isFalse(new B() is! B);
  Expect.isFalse(new B() is! A);
  Expect.isFalse(new C() is! I);
  Expect.isFalse(new C() is! A);
  Expect.isFalse(new C() is! B);
  Expect.isFalse(new C() is! C);

  Expect.isFalse(new I() is! Object);
  Expect.isFalse(new A() is! Object);
  Expect.isFalse(new B() is! Object);
  Expect.isFalse(new C() is! Object);

  Expect.isTrue(null is! int);
  Expect.isTrue(1 is! String);
  Expect.isTrue("" is! List);

  Expect.isTrue(new A() is! C);
  Expect.isTrue(new B() is! C);
  Expect.isTrue(new A() is! I);

}