✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
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?