// Copyright (c) 2012, 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.

import "package:expect/expect.dart";

class C<T, U, V> {}

class D {}

typedef int Foo(bool b);

sameType(a, b) {
  Expect.equals(a.runtimeType, b.runtimeType);
}

main() {
  void foo(a) {}

  // Test that literals can be used in different contexts.
  [int];
  ([int]);
  foo([int]);
  [int].length;
  ({1: int});
  foo({1: int});
  ({1: int}).keys;

  // Test type literals.
  Expect.equals(int, int);
  Expect.notEquals(int, num);
  Expect.equals(Foo, Foo);
  Expect.equals(dynamic, dynamic);

  // Test that class literals return instances of Type.
  Expect.isTrue((D).runtimeType is Type);
  Expect.isTrue((dynamic).runtimeType is Type);

  // Test that types from runtimeType and literals agree.
  Expect.equals(int, 1.runtimeType);
  Expect.equals(String, 'hest'.runtimeType);
  Expect.equals(double, (0.5).runtimeType);
  Expect.equals(bool, true.runtimeType);
  Expect.equals(C, new C().runtimeType); // //# 01: ok
  Expect.equals(D, new D().runtimeType); // //# 02: ok

  // runtimeType on type is idempotent.
  Expect.equals((D).runtimeType, (D).runtimeType.runtimeType);

  // Test that operator calls on class literals go to Type.
  Expect.throws(() => C = 1, (e) => e is NoSuchMethodError); //# 03: static type warning
  Expect.throws(() => C++, (e) => e is NoSuchMethodError); //# 04: static type warning
  Expect.throws(() => C + 1, (e) => e is NoSuchMethodError); //# 05: static type warning
  Expect.throws(() => C[2], (e) => e is NoSuchMethodError); //# 06: static type warning
  Expect.throws(() => C[2] = 'hest', (e) => e is NoSuchMethodError); //# 07: static type warning
  Expect.throws(() => dynamic = 1, (e) => e is NoSuchMethodError); //# 08: static type warning
  Expect.throws(() => dynamic++, (e) => e is NoSuchMethodError); //# 09: static type warning
  Expect.throws(() => dynamic + 1, (e) => e is NoSuchMethodError); //# 10: static type warning
  Expect.throws(() => dynamic[2], (e) => e is NoSuchMethodError); //# 11: static type warning
  Expect.throws(() => dynamic[2] = 'hest', (e) => e is NoSuchMethodError); //# 12: static type warning

  Expect.equals((dynamic).toString(), 'dynamic');
}