// 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 run-time type of every object is represented as an instance
/// of class Type which can be obtained by calling the getter runtimeType 
/// declared in class Object, the root of the Dart class hierarchy.
/// @description Checks that this getter indeed returns an instance of class 
/// Type that is not null for non-null values of various types and doesn't 
/// cause any errors.
/// @author rodionov

import "../../Utils/expect.dart";

main() {
  Expect.isTrue(1.runtimeType is Type);
  Expect.isTrue((1.1).runtimeType is Type);
  Expect.isTrue("foo".runtimeType is Type);
  Expect.isTrue(true.runtimeType is Type);
  Expect.isTrue(main.runtimeType is Type);
  Expect.isTrue((const [1, 2, 3]).runtimeType is Type);

  Expect.runtimeIsType<Type>(1.runtimeType);
  Expect.runtimeIsType<Type>((1.1).runtimeType);
  Expect.runtimeIsType<Type>("foo".runtimeType);
  Expect.runtimeIsType<Type>(true.runtimeType);
  Expect.runtimeIsType<Type>(main.runtimeType);
  Expect.runtimeIsType<Type>(const [1, 2, 3].runtimeType);
}