// Copyright (c) 2014, 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 const Rectangle(T left, T top, T width, T height)
/// Create a rectangle spanned by (left, top) and (left+width, top+height).
/// @description Checks that coordinate properties of the created object
/// are equal to the constructor arguments.
/// @author kaigorodov

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

const List<num> values = const [
   0, 1, 1, 10, 10, 100, 100,
   1.7976931348623157e150, 3.273390607896142E15, 4.503599627370497E15,
   4.503599627370496E15, 4.5035996273704955E15, 4.294967296000001E9,
   4.294967296E9, 4.2949672959999995E9, 6031769.5, 101.0, 100.00000000000001,
   100.0, 99.99999999999999, 99.0, 10.0, 1.0000000000000002, 1.0,
   .9999999999999999, .7, 2.2250738585072014e-150, 4.9406564584124654e-150,
   .0, 4.9406564584124654e-150, 2.2250738585072014e-150, .7, .9999999999999999,
   1.0, 1.0000000000000002, 10.0, 99.0, 99.99999999999999, 100.0,
   100.00000000000001, 101.0, 6031769.5, 4.2949672959999995E9, 4.294967296E9,
   4.294967296000001E9, 4.5035996273704955E15, 4.503599627370496E15,
   4.503599627370497E15, 3.273390607896142E10, 1.7976931348623157e150
 ];
 
const EPS = 1.0e-10;

Random rand = new Random(2051);

num randomVal() {
  int k = rand.nextInt(values.length);
  return values[k];
}

void check(num x, num y, num z, num w) {
  Rectangle r = new Rectangle(x, y, z, w);
  Expect.equals(x, r.left);
  Expect.equals(y, r.top);
  Expect.equals(z, r.width);
  Expect.equals(w, r.height);
  // in order not to do separate tests against right and bottom properties
  Expect.equals(y + w, r.bottom);
  Expect.equals(x + z, r.right);
}

main() {
  for (int i = 0; i < 1000; i++) {
    num x = randomVal();
    num y = randomVal();
    num z = randomVal();
    num w = randomVal();
    check(x, y, z, w);
  }
}