LanguageFeatures/Patterns/execution_pattern_if_case_element_A01_t07.dart

// 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.

/// @assertion If-case element
/// 1. Evaluate the expression producing v.
/// 2. Match the pattern in the guardedPattern against v.
/// 3. If the match succeeds:
///   i. If there is a guard clause:
///     a. Evaluate it. If it does not evaluate to a bool, throw a runtime error
///     b. If the guard evaluates to true, evaluate the then element and yield
///       the result into the collection.
///     c. Else, evaluate the else element if there is one and yield the result
///       into the collection.
///   ii. Else there is no guard clause. Evaluate the then element and yield the
///     result into the collection.
/// 4. Else the match failed. Evaluate the else element if there is one and
///   yield the result into the collection.
///
/// @description Check that it is a runtime error if a guard clause doesn't
/// evaluate to bool. If a guard clause does evaluate to bool then there is no
/// runtime error. Test a set literal
/// @author sgrekhov22@gmail.com

import "../../Utils/expect.dart";
import "patterns_lib.dart";

String log = "";

dynamic guard(Object? v) {
  log += "guard($v);";
  return v;
}

void logger(String s) {
  log += s;
}

const unit4 = const Unit(4, logger);

main() {
  Expect.throws(() {
    var s = {
      if (Square(2, logger) case Square(area: unit4) when guard(42)) 1
      else 2
    };
  });
  Expect.equals("Square.area:(4==4);guard(42);", log);

  log = "";
  Expect.throws(() {
    var s = {
      if (Square(2, logger) case Square(area: unit4) when guard(null)) 1
      else 2
    };
  });
  Expect.equals("Square.area:(4==4);guard(null);", log);

  log = "";
  var s1 = {
    0,
    if (Square(2, logger) case Square(area: unit4) when guard(false)) 1,
    2
  };
  Expect.equals("Square.area:(4==4);guard(false);", log);
  Expect.setEquals({0, 2}, s1);

  log = "";
  var s2 = {
    0,
    if (Square(2, logger) case Square(area: unit4) when guard(true)) 1,
    2
  };
  Expect.equals("Square.area:(4==4);guard(true);", log);
  Expect.setEquals({0, 1, 2}, s2);

  log = "";
  var s3 = {
    0,
    if (Square(2, logger) case Square(area: unit4) when guard(false)) 1 else 2,
    3
  };
  Expect.equals("Square.area:(4==4);guard(false);", log);
  Expect.setEquals({0, 2, 3}, s3);
}