Preconditions

• Method may throw exception if precondition violated–more on Chapter 15

  if (amount < 0) throw new IllegalArgumentException();
  balance = balance + amount;

• Method doesn't have to test for precondition. (Test may be costly)

  // if this makes the balance negative, it's the caller's fault
  balance = balance + amount;