Language/Overview/runtime_type_t01.dart

// 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);

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