✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
In a banking application, a withdraw(int amount) method requires that the amount must be greater than zero before the code begins execution. According to the principles of Design by Contract, what is the specific name for this type of obligation that the caller must satisfy?