Мой вопрос короткий. Предусмотрены ли предварительные условия и постусловия метода компилятором?Java - метод Предпосылки и постусловие
0
A
ответ
1
Посмотрите на Contracts for Java, что помогает обеспечить предварительные и постконвенции, а также инварианты посредством аннотаций. Насколько я знаю, проверки времени компиляции не существует.
3
Нет. Java не имеет явной поддержки для предварительных условий/постусловий, например (Adad). См. the java docs
Вы должны уточнить, что вы имеете в виду, может быть, с простым примером ... – assylias
Вопрос действительно снят. Предпосылки и постусловия могут быть практически любыми, и компилятор не может читать ваш разум. – chrylis
Это настоящий ложный вопрос в моем учебном пособии! Очень смущает. – JungleJeem