blob: 17466684a3d8b68562a09686337ca5b1028ccb29 [file] [log] [blame]
// 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
import "dart:collection";
import "../../../Utils/expect.dart";
class C {
int 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;