// Copyright (c) 2012, 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.
// Dart test for type checks involving the void type.

import "package:expect/expect.dart";

isCheckedMode() {
  try {
    var i = 1;
    String s = i;
    return false;
  } catch (e) {
    return true;
  }
}

void f() { return; }

void f_null() { return null; }

void f_1() { return 1; }

void f_dyn_null() {
  var x = null;
  return x;
}

void f_dyn_1() {
  var x = 1;
  return x;
}

void f_f() { return f(); }

void test(int n, void func(), bool must_get_error) {
  // Test as closure call.
  {
    bool got_type_error = false;
    try {
      var x = func();
    } on TypeError catch (error) {
      got_type_error = true;
    }
    // Never a type error in production mode.
    if (isCheckedMode()) {
      Expect.isTrue(got_type_error == must_get_error);
    } else {
      Expect.isFalse(got_type_error);
    }
  }
  // Test as direct call.
  {
    bool got_type_error = false;
    try {
      var x;
      switch (n) {
        case 0: x = f(); break;
        case 1: x = f_null(); break;
        case 2: x = f_1(); break;
        case 3: x = f_dyn_null(); break;
        case 4: x = f_dyn_1(); break;
        case 5: x = f_f(); break;
      }
    } on TypeError catch (error) {
      got_type_error = true;
    }
    // Never a type error in production mode.
    if (isCheckedMode()) {
      Expect.isTrue(got_type_error == must_get_error);
    } else {
      Expect.isFalse(got_type_error);
    }
  }
}

main() {
  test(0, f, false);
  test(1, f_null, false);
  test(2, f_1, true);
  test(3, f_dyn_null, false);
  test(4, f_dyn_1, true);
  test(5, f_f, false);
}