Изменения
→Решение 2
@Contracted // говорит о том, что класс использует контракты – для отображения в IDE
class Time
{ @Ensures void setHours({“result >= 0”,“result <= 23” }) int getHours(newHours);
{
}
@Requires ({“newHOURS>= 0”,“newHOURS<= 23” })
@Ensures (“HOURS “hours == newHOURS”)
}
@Requires – буквально означает, «Убедиться, что ДО выполнения подпрограммы («условие выполняется»)» Иначе – бросить исключение.
