blob: 8fbc940a43b987b2fa70748d99a60583b8e743f3 [file] [log] [blame]
// Copyright (c) 2016, 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 int checkValidRange(int start, int end, int length,
/// [String startName, String endName, String message])
/// Check that a range represents a slice of an indexable object.
/// @description Checks that if startName, endName and message are set then name
/// and message have appropriate values
/// @issue 28116
/// @author sgrekhov@unipro.ru
import "../../../Utils/expect.dart";
check(int start, int end, int length, String? startName, String? endName,
String? message) {
try {
RangeError.checkValidRange(start, end, length, startName, endName, message);
Expect.fail("RangeError expected");
} on RangeError catch (e) {
if (start < 0 || start > length) {
if (startName != null) {
Expect.equals(startName, e.name);
} else {
Expect.equals("start", e.name);
}
} else {
if (endName != null) {
Expect.equals(endName, e.name);
} else {
Expect.equals("end", e.name);
}
}
if (message != null) {
Expect.equals(message, e.message);
} else {
Expect.equals("Invalid value", e.message);
}
} catch (e) {
Expect.fail("Wrong exception type $e");
}
}
main() {
// start value breaks the range
check(-1, 2, 5, "Start name", "End name", "Just message");
check(6, 2, 5, "Start name", "End name", null);
check(6, 2, 5, null, "End name", null);
check(6, 2, 5, null, null, null);
check(-1, 2, 5, "Start name", null, "Just message");
// end value breaks the range
check(0, 20, 5, "Start name", "End name", "Just message");
check(3, 20, 5, "Start name", "End name", null);
check(3, 20, 5, null, "End name", null);
check(3, 20, 5, null, null, null);
check(3, 20, 5, "Start name", null, "Just message");
}