/*
 * Copyright (c) 2011, 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 Operator precedence is given implicitly by the grammar.
 * @description Checks that operator precedence given implicitly by the grammar
 * holds true (logical AND higher than logical OR and logical negation higher
 * than both).
 * @author vasya
 */
import "../../../Utils/expect.dart";

check(bool A, bool B, bool C, [bool D=true]) {
  Expect.equals(A || (B && C), A || B && C);
  Expect.equals((A && B) || (C && D), A && B || C && D);
  Expect.equals(((A && B) && C) || D, A && B && C || D);
  Expect.equals(((!A) && B) || C, !A && B || C);
}

main() {
  check(true, true, true);
  check(true, true, true, false);
  check(true, true, false, false);
  check(true, false, false, false);
  check(false, false, false, false);
  check(false, false, false);
  check(false, false, true);
  check(false, true, true);
}