// Copyright (c) 2015, 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 program has many similar constants that should all have distinct
// identities. They are sufficiently similar to have name collisions and need
// ordering by constant value.

import "package:expect/expect.dart";

enum E { A, B, C, D }

class Z {
  final a, b, c, d, e, f;
  const Z({this.a: 1, this.b: 1, this.c: 1, this.d: 1, this.e: 1, this.f: 1});
}

const c1 = const {};
const c2 = const <int, int>{};
const c3 = const <dynamic, int>{};
const c4 = const <int, dynamic>{};
const l1 = const [];
const l2 = const <int>[];
const l3 = const <String>[];
const l4 = const <num>[];

const ll1 = const [1, 2, 3, 4, 5, 6, 7];
const ll2 = const [1, 8, 3, 4, 5, 6, 7];
const ll3 = const [1, 2, 8, 4, 5, 6, 7];
const ll4 = const [1, 2, 3, 4, 8, 6, 7];

const m1 = const {1: 1, 2: 2};
const m2 = const {1: 2, 2: 1};
const m3 = const {1: 1, 2: 1};
const m4 = const {1: 2, 2: 2};
const m5 = const {2: 1, 1: 2};
const m6 = const {2: 2, 1: 1};
const m7 = const {2: 1, 1: 1};
const m8 = const {2: 2, 1: 2};
const m9 = const <int,int>{1: 1, 2: 2};
const mA = const <int,int>{1: 2, 2: 1};
const mB = const <int,int>{1: 1, 2: 1};
const mC = const <int,int>{1: 2, 2: 2};

const mE1 = const {E.A: E.B};
const mE2 = const {E.A: E.C};
const mE3 = const {E.A: 0, E.B: 0};
const mE4 = const {E.A: 0, E.C: 0};
const mE5 = const {E.A: 0, E.B: 0, E.C: 4};
const mE6 = const {E.A: 0, E.B: 0, E.C: 2};
const mE7 = const {E.A: 0, E.B: 0, E.C: 3};
const mE8 = const {E.A: 0, E.B: 0, E.C: 1};

const z1 = const Z(f: 3);
const z2 = const Z(f: 2);
const z3 = const Z(f: 1);
const z4 = const Z(e: 2);
const z5 = const Z(d: 3);
const z6 = const Z(d: 2);

makeAll() => {
  'E.A': E.A, 'E.B': E.B, 'E.C': E.C, 'E.D': E.D,
  'c1': c1, 'c2': c2, 'c3': c3, 'c4': c4,
  'l1': l1, 'l2': l2, 'l3': l3, 'l4': l4,
  'll1': ll1, 'll2': ll2, 'll3': ll3, 'l4': ll4,
  'm1': m1, 'm2': m2, 'm3': m3, 'm4': m4,
  'm5': m5, 'm6': m6, 'm7': m7, 'm8': m8,
  'm9': m9, 'mA': mA, 'mB': mB, 'mC': mC,
  'mE1': mE1, 'mE2': mE2, 'mE3': mE3, 'mE4': mE4,
  'mE5': mE5, 'mE6': mE6, 'mE7': mE7, 'mE8': mE8,
  'z1': z1, 'z2': z2, 'z3': z3, 'z4': z4, 'z5': z5, 'z6': z6,
};

main() {
  var all1 = makeAll();
  var all2 = makeAll();

  for (var name1 in all1.keys) {
    var e1 = all1[name1];
    for (var name2 in all2.keys) {
      if (name1 == name2) continue;
      var e2 = all2[name2];
      Expect.isFalse(identical(e1, e2),
                     'Different instances  $name1: $e1  $name2: $e2');
    }
  }
}