LibTest/collection/SplayTreeMap/SplayTreeMap_class_A03_t02.dart

// Copyright (c) 2017, 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 SplayTreeMap([int compare(K key1, K key2),
 * bool isValidKey(potentialKey)])
 * ...
 * If the map contains only the key [a], then [map.containsKey(b)] will return
 * [true] if and only if [compare(a, b) == 0], and the value of [a == b] is not
 * even checked.
 * @description Checks that if [compare(a, b)] does not return 0 then [a ==b] is
 * not checked and [map.containsKey] always returns [false]
 * @author iarkh@unipro.ru
 */
import "dart:collection";
import "../../../Utils/expect.dart";

class C {
  int value;
  C(this.value);
}

int compare(var key1, var key2) {
  return -1;
}

main() {
  SplayTreeMap map = new SplayTreeMap(compare);
  C c1 = new C(1);
  C c2 = new C(1);

  map[c1] = 1;
  Expect.isFalse(map.containsKey(c1));
  Expect.isFalse(map.containsKey(c2));
}