LibTest/typed_data/ByteData/getFloat64_A02_t02.dart

/*
 * 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.
 */
/**
 * @assertion
 * double getFloat64(
 *     int byteOffset, [
 *     Endian endian = Endian.big
 * ])
 * ...
 * Throws [RangeError] if [byteOffset] is negative, or `byteOffset + 8` is
 * greater than the length of this object.
 * @description Checks that [RangeError] is thrown if `byteOffset + 8` is
 * greater than the length of this object.
 * @issue 12880
 * @author msyabro
 */

import "dart:typed_data";
import "../../../Utils/expect.dart";

main() {
  var byteData = new ByteData(10);
  try {
    byteData.getFloat64(3);
    Expect.fail("RangeError is expected");
  } on RangeError {}

  try {
    byteData.getFloat64(20);
    Expect.fail("RangeError is expected");
  } on RangeError {}
}