// Copyright (c) 2023, 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.

// Test that all the expression types permitted by the grammar are allowed
// inside a relational pattern.

import 'package:expect/expect.dart';

void usingEquals() {
  // bitwiseOrExpression
  Expect.isTrue(switch (7) {
    == 5 | 6 => true,
    _ => false,
  });

  // bitwiseXorExpression
  Expect.isTrue(switch (3) {
    == 5 ^ 6 => true,
    _ => false,
  });

  // bitwiseAndExpression
  Expect.isTrue(switch (4) {
    == 5 & 6 => true,
    _ => false,
  });

  // shiftExpression
  Expect.isTrue(switch (4) {
    == 1 << 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (1) {
    == 4 >> 2 => true,
    _ => false,
  });

  // additiveExpression
  Expect.isTrue(switch (4) {
    == 3 + 1 => true,
    _ => false,
  });
  Expect.isTrue(switch (2) {
    == 3 - 1 => true,
    _ => false,
  });

  // multiplicativeExpression
  Expect.isTrue(switch (10) {
    == 5 * 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (2.5) {
    == 5 / 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (1) {
    == 5 % 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (2) {
    == 5 ~/ 2 => true,
    _ => false,
  });

  // unaryExpression
  Expect.isTrue(switch (-3) {
    == -3 => true,
    _ => false,
  });
  Expect.isTrue(switch (true) {
    == !false => true,
    _ => false,
  });
  Expect.isTrue(switch (~3) {
    == ~3 => true,
    _ => false,
  });

  // assignableExpression
  Expect.isTrue(switch (3) {
    == 'foo'.length => true,
    _ => false,
  });

  // primary
  Expect.isTrue(switch ('xyz') {
    == 'xyz' => true,
    _ => false,
  });
}

void usingNotEquals() {
  // bitwiseOrExpression
  Expect.isFalse(switch (7) {
    != 5 | 6 => true,
    _ => false,
  });

  // bitwiseXorExpression
  Expect.isFalse(switch (3) {
    != 5 ^ 6 => true,
    _ => false,
  });

  // bitwiseAndExpression
  Expect.isFalse(switch (4) {
    != 5 & 6 => true,
    _ => false,
  });

  // shiftExpression
  Expect.isFalse(switch (4) {
    != 1 << 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (1) {
    != 4 >> 2 => true,
    _ => false,
  });

  // additiveExpression
  Expect.isFalse(switch (4) {
    != 3 + 1 => true,
    _ => false,
  });
  Expect.isFalse(switch (2) {
    != 3 - 1 => true,
    _ => false,
  });

  // multiplicativeExpression
  Expect.isFalse(switch (10) {
    != 5 * 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (2.5) {
    != 5 / 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (1) {
    != 5 % 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (2) {
    != 5 ~/ 2 => true,
    _ => false,
  });

  // unaryExpression
  Expect.isFalse(switch (-3) {
    != -3 => true,
    _ => false,
  });
  Expect.isFalse(switch (true) {
    != !false => true,
    _ => false,
  });
  Expect.isFalse(switch (~3) {
    != ~3 => true,
    _ => false,
  });

  // assignableExpression
  Expect.isFalse(switch (3) {
    != 'foo'.length => true,
    _ => false,
  });

  // primary
  Expect.isFalse(switch ('xyz') {
    != 'xyz' => true,
    _ => false,
  });
}

void usingLessThanOrEquals() {
  // bitwiseOrExpression
  Expect.isTrue(switch (7) {
    <= 5 | 6 => true,
    _ => false,
  });

  // bitwiseXorExpression
  Expect.isTrue(switch (3) {
    <= 5 ^ 6 => true,
    _ => false,
  });

  // bitwiseAndExpression
  Expect.isTrue(switch (4) {
    <= 5 & 6 => true,
    _ => false,
  });

  // shiftExpression
  Expect.isTrue(switch (4) {
    <= 1 << 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (1) {
    <= 4 >> 2 => true,
    _ => false,
  });

  // additiveExpression
  Expect.isTrue(switch (4) {
    <= 3 + 1 => true,
    _ => false,
  });
  Expect.isTrue(switch (2) {
    <= 3 - 1 => true,
    _ => false,
  });

  // multiplicativeExpression
  Expect.isTrue(switch (10) {
    <= 5 * 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (2.5) {
    <= 5 / 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (1) {
    <= 5 % 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (2) {
    <= 5 ~/ 2 => true,
    _ => false,
  });

  // unaryExpression
  Expect.isTrue(switch (-3) {
    <= -3 => true,
    _ => false,
  });
  Expect.isTrue(switch (~3) {
    <= ~3 => true,
    _ => false,
  });

  // assignableExpression
  Expect.isTrue(switch (3) {
    <= 'foo'.length => true,
    _ => false,
  });

  // primary
  Expect.isTrue(switch (3) {
    <= 3 => true,
    _ => false,
  });
}

void usingLessThan() {
  // bitwiseOrExpression
  Expect.isFalse(switch (7) {
    < 5 | 6 => true,
    _ => false,
  });

  // bitwiseXorExpression
  Expect.isFalse(switch (3) {
    < 5 ^ 6 => true,
    _ => false,
  });

  // bitwiseAndExpression
  Expect.isFalse(switch (4) {
    < 5 & 6 => true,
    _ => false,
  });

  // shiftExpression
  Expect.isFalse(switch (4) {
    < 1 << 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (1) {
    < 4 >> 2 => true,
    _ => false,
  });

  // additiveExpression
  Expect.isFalse(switch (4) {
    < 3 + 1 => true,
    _ => false,
  });
  Expect.isFalse(switch (2) {
    < 3 - 1 => true,
    _ => false,
  });

  // multiplicativeExpression
  Expect.isFalse(switch (10) {
    < 5 * 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (2.5) {
    < 5 / 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (1) {
    < 5 % 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (2) {
    < 5 ~/ 2 => true,
    _ => false,
  });

  // unaryExpression
  Expect.isFalse(switch (-3) {
    < -3 => true,
    _ => false,
  });
  Expect.isFalse(switch (~3) {
    < ~3 => true,
    _ => false,
  });

  // assignableExpression
  Expect.isFalse(switch (3) {
    < 'foo'.length => true,
    _ => false,
  });

  // primary
  Expect.isFalse(switch (3) {
    < 3 => true,
    _ => false,
  });
}

void usingGreaterThanOrEquals() {
  // bitwiseOrExpression
  Expect.isTrue(switch (7) {
    >= 5 | 6 => true,
    _ => false,
  });

  // bitwiseXorExpression
  Expect.isTrue(switch (3) {
    >= 5 ^ 6 => true,
    _ => false,
  });

  // bitwiseAndExpression
  Expect.isTrue(switch (4) {
    >= 5 & 6 => true,
    _ => false,
  });

  // shiftExpression
  Expect.isTrue(switch (4) {
    >= 1 << 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (1) {
    >= 4 >> 2 => true,
    _ => false,
  });

  // additiveExpression
  Expect.isTrue(switch (4) {
    >= 3 + 1 => true,
    _ => false,
  });
  Expect.isTrue(switch (2) {
    >= 3 - 1 => true,
    _ => false,
  });

  // multiplicativeExpression
  Expect.isTrue(switch (10) {
    >= 5 * 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (2.5) {
    >= 5 / 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (1) {
    >= 5 % 2 => true,
    _ => false,
  });
  Expect.isTrue(switch (2) {
    >= 5 ~/ 2 => true,
    _ => false,
  });

  // unaryExpression
  Expect.isTrue(switch (-3) {
    >= -3 => true,
    _ => false,
  });
  Expect.isTrue(switch (~3) {
    >= ~3 => true,
    _ => false,
  });

  // assignableExpression
  Expect.isTrue(switch (3) {
    >= 'foo'.length => true,
    _ => false,
  });

  // primary
  Expect.isTrue(switch (3) {
    >= 3 => true,
    _ => false,
  });
}

void usingGreaterThan() {
  // bitwiseOrExpression
  Expect.isFalse(switch (7) {
    > 5 | 6 => true,
    _ => false,
  });

  // bitwiseXorExpression
  Expect.isFalse(switch (3) {
    > 5 ^ 6 => true,
    _ => false,
  });

  // bitwiseAndExpression
  Expect.isFalse(switch (4) {
    > 5 & 6 => true,
    _ => false,
  });

  // shiftExpression
  Expect.isFalse(switch (4) {
    > 1 << 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (1) {
    > 4 >> 2 => true,
    _ => false,
  });

  // additiveExpression
  Expect.isFalse(switch (4) {
    > 3 + 1 => true,
    _ => false,
  });
  Expect.isFalse(switch (2) {
    > 3 - 1 => true,
    _ => false,
  });

  // multiplicativeExpression
  Expect.isFalse(switch (10) {
    > 5 * 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (2.5) {
    > 5 / 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (1) {
    > 5 % 2 => true,
    _ => false,
  });
  Expect.isFalse(switch (2) {
    > 5 ~/ 2 => true,
    _ => false,
  });

  // unaryExpression
  Expect.isFalse(switch (-3) {
    > -3 => true,
    _ => false,
  });
  Expect.isFalse(switch (~3) {
    > ~3 => true,
    _ => false,
  });

  // assignableExpression
  Expect.isFalse(switch (3) {
    > 'foo'.length => true,
    _ => false,
  });

  // primary
  Expect.isFalse(switch (3) {
    > 3 => true,
    _ => false,
  });
}

main() {
  usingEquals();
  usingNotEquals();
  usingLessThanOrEquals();
  usingLessThan();
  usingGreaterThanOrEquals();
  usingGreaterThan();
}