// 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.
// Dart test program for the "is" and "as" operator with malformed type.

import "package:expect/expect.dart";

var evalCount = 0;
testEval(x) {
  evalCount++;
  return x;
}

test99(e) {
  // Test that a runtime error is thrown when the 'is' operator checks for a
  // malformed type.
  try {
    if (e is Undefined) Expect.fail("unreachable"); //  //# 99: continued
    Expect.fail("unreachable");
  } catch (exc) {
    Expect.isTrue(exc is TypeError);
  }
}

test98(e) {
  // Test that a runtime error is thrown when the 'as' operator checks for a
  // malformed type.
  try {
    if (e as Undefined) Expect.fail("unreachable"); //  //# 98: continued
    Expect.fail("unreachable");
  } catch (exc) {
    Expect.isTrue(exc is TypeError);
  }
}

test97(e) {
  try {
    // Check that the remaining expression after the type test
    // with malformed type is parsed, but not executed at runtime.
    // Regression test for issue 16985.
    evalCount = 0;
    if (e is Undefined && testEval(e)) Expect.fail("unreachable"); //  //# 97: continued
    Expect.fail("unreachable");
  } catch (exc) {
    Expect.isTrue(exc is TypeError);
    Expect.equals(0, evalCount);
  }
}

test96(e) {
  try {
    // Check that the remaining expression after the type test
    // with malformed type is parsed, but not executed at runtime.
    // Regression test for issue 16985.
    evalCount = 0;
    if (e as Undefined && testEval(e)) Expect.fail("unreachable"); //  //# 96: continued
    Expect.fail("unreachable");
  } catch (exc) {
    Expect.isTrue(exc is TypeError);
    Expect.equals(0, evalCount);
  }
}

test95(e) {
  // Check that the type-tested expression is evaluated before the
  // runtime error is thrown.
  try {
    evalCount = 0;
    if (testEval(e) is Undefined) Expect.fail("unreachable"); //  //# 95: continued
    Expect.fail("unreachable");
  } catch (exc) {
    Expect.isTrue(exc is TypeError);
    Expect.equals(1, evalCount);
  }
}

test94(e) {
  // Check that the type-tested expression is evaluated before the
  // runtime error is thrown.
  try {
    evalCount = 0;
    if (testEval(e) as Undefined) Expect.fail("unreachable"); // //# 94: continued
    Expect.fail("unreachable");
  } catch (exc) {
    Expect.isTrue(exc is TypeError);
    Expect.equals(1, evalCount);
  }
}

main() {
  test99("99 bottles"); //# 99: static type warning
  test98("98 bottles"); //# 98: static type warning
  test97("97 bottles"); //# 97: static type warning
  test96("96 bottles"); //# 96: static type warning
  test95("95 bottles"); //# 95: static type warning
  test94("94 bottles"); //# 94: static type warning
}