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

// This tests uses the multi-test "ok" feature:
// none: Trimmed behaviour. Passing on the VM.
// 01: Trimmed version for dart2js.
// 02: Full version passing in the VM.
//
// TODO(rmacnak,ahe): Remove multi-test when VM and dart2js are on par.

library test.class_equality_test;

import 'dart:mirrors';

import 'package:expect/expect.dart';

class A<T> {}
class B extends A<int> {}

class BadEqualityHash {
  int count = 0;
  bool operator ==(other) => true;
  int get hashCode => count++;
}

typedef bool Predicate(Object o);
Predicate somePredicate;

checkEquality(List<Map> equivalenceClasses) {
  for (var equivalenceClass in equivalenceClasses) {
    equivalenceClass.forEach((name, member) {
      equivalenceClass.forEach((otherName, otherMember) {
        // Reflexivity, symmetry and transitivity.
        Expect.equals(member, 
                      otherMember,
                      "$name == $otherName");
        Expect.equals(member.hashCode,
                      otherMember.hashCode,
                      "$name.hashCode == $otherName.hashCode");
      });
      for (var otherEquivalenceClass in equivalenceClasses) {
        if (otherEquivalenceClass == equivalenceClass) continue;
        otherEquivalenceClass.forEach((otherName, otherMember) {
          Expect.notEquals(member,
                           otherMember,
                           "$name != $otherName");  // Exclusion.
          // Hash codes may or may not be equal.
        });
      }
    });
  }
}

void subroutine() {
}

main() {
  LibraryMirror thisLibrary =
      currentMirrorSystem()
      .findLibrary(const Symbol('test.class_equality_test'));

  var o1 = new Object();
  var o2 = new Object();

  var badEqualityHash1 = new BadEqualityHash();
  var badEqualityHash2 = new BadEqualityHash();

  checkEquality([
    {'reflect(o1)' : reflect(o1),
     'reflect(o1), again' : reflect(o1)},

    {'reflect(o2)' : reflect(o2),
     'reflect(o2), again' : reflect(o2)},

    {'reflect(badEqualityHash1)' : reflect(badEqualityHash1),
     'reflect(badEqualityHash1), again' : reflect(badEqualityHash1)},

    {'reflect(badEqualityHash2)' : reflect(badEqualityHash2),
     'reflect(badEqualityHash2), again' : reflect(badEqualityHash2)},

    {'reflect(true)' : reflect(true),
     'reflect(true), again' : reflect(true)},

    {'reflect(false)' : reflect(false),
     'reflect(false), again' : reflect(false)},

    {'reflect(null)' : reflect(null),
     'reflect(null), again' : reflect(null)},

    {'reflect(3.5+4.5)' : reflect(3.5+4.5),
     'reflect(6.5+1.5)' : reflect(6.5+1.5)},

    {'reflect(3+4)' : reflect(3+4),
     'reflect(6+1)' : reflect(6+1)},

    {'reflect("foo")' : reflect("foo"),
     'reflect("foo"), again' : reflect("foo")},

    {'currentMirrorSystem().voidType' : currentMirrorSystem().voidType},  /// 01: ok

    {'currentMirrorSystem().voidType' : currentMirrorSystem().voidType,   /// 02: ok
     'thisLibrary.declarations[#subroutine].returnType' :                    /// 02: ok
          (thisLibrary.declarations[#subroutine] as MethodMirror).returnType},  /// 02: ok

    {'currentMirrorSystem().dynamicType' : currentMirrorSystem().dynamicType,
     'thisLibrary.declarations[#main].returnType' :
          (thisLibrary.declarations[#main] as MethodMirror).returnType},

    {'reflectClass(A)' : reflectClass(A),
     'thisLibrary.declarations[#A]' : thisLibrary.declarations[#A],
     'reflect(new A<int>()).type.originalDeclaration' :
          reflect(new A<int>()).type.originalDeclaration},

    {'reflectClass(B).superclass' : reflectClass(B).superclass,  /// 02: ok
     'reflect(new A<int>()).type' : reflect(new A<int>()).type}, /// 02: ok

    {'reflectClass(B)' : reflectClass(B),
     'thisLibrary.declarations[#B]' : thisLibrary.declarations[#B],
     'reflect(new B()).type' : reflect(new B()).type},

    {'reflectClass(BadEqualityHash).declarations[#==]'  /// 02: ok
        : reflectClass(BadEqualityHash).declarations[#==],  /// 02: ok
     'reflect(new BadEqualityHash()).type.declarations[#==]'  /// 02: ok
        : reflect(new BadEqualityHash()).type.declarations[#==]},  /// 02: ok

    {'reflectClass(BadEqualityHash).declarations[#==].parameters[0]'  /// 02: ok
        : (reflectClass(BadEqualityHash).declarations[#==] as MethodMirror).parameters[0],  /// 02: ok
     'reflect(new BadEqualityHash()).type.declarations[#==].parameters[0]'  /// 02: ok
        : (reflect(new BadEqualityHash()).type.declarations[#==] as MethodMirror).parameters[0]},  /// 02: ok

    {'reflectClass(BadEqualityHash).declarations[#count]'  /// 02: ok
        : reflectClass(BadEqualityHash).declarations[#count],  /// 02: ok
     'reflect(new BadEqualityHash()).type.declarations[#count]'  /// 02: ok
        : reflect(new BadEqualityHash()).type.declarations[#count]},  /// 02: ok

    {'reflectType(Predicate)' : reflectType(Predicate),  /// 02: ok
     'thisLibrary.declarations[#somePredicate].type'  /// 02: ok
        : (thisLibrary.declarations[#somePredicate] as VariableMirror).type},  /// 02: ok

    {'reflectType(Predicate).referent' : (reflectType(Predicate) as TypedefMirror).referent,  /// 02: ok
     'thisLibrary.declarations[#somePredicate].type.referent'  /// 02: ok
        : ((thisLibrary.declarations[#somePredicate] as VariableMirror).type as TypedefMirror).referent},  /// 02: ok

    {'reflectClass(A).typeVariables.single'  /// 02: ok
        : reflectClass(A).typeVariables.single,  /// 02: ok
     'reflect(new A<int>()).type.originalDeclaration.typeVariables.single'  /// 02: ok
        : reflect(new A<int>()).type.originalDeclaration.typeVariables.single},  /// 02: ok

    {'currentMirrorSystem()' : currentMirrorSystem()},

    {'currentMirrorSystem().isolate' : currentMirrorSystem().isolate},

    {'thisLibrary' : thisLibrary,
     'reflectClass(A).owner' : reflectClass(A).owner,
     'reflectClass(B).owner' : reflectClass(B).owner,
     'reflect(new A()).type.owner' : reflect(new A()).type.owner,
     'reflect(new B()).type.owner' : reflect(new B()).type.owner},
  ]);
}