library dynamic_check;
import "expect.dart";

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

checkTypeError(f()) {
  if(isCheckedMode()) {
    try {
      f();
      Expect.fail("Type error expected in checking mode");
    } on TypeError catch(ok) {
    }
  } else {
    try {
      f();
    } on TypeError catch(bad) {
      Expect.fail("Unexpected type error in scripting mode: $bad");
    }
  }
}

checkAssertionError(f()) {
  if(isCheckedMode()) {
    try {
      f();
      Expect.fail("Assertion error expected in checking mode");
    } on AssertionError catch(ok) {
    }
  } else {
    try {
      f();
    } on AssertionError catch(bad) {
      Expect.fail("Unexpected assertion error in scripting mode: $bad");
    }
  }
}