Eiffel exception not work

Question

Я пытаюсь использовать исключение, как в приведенном ниже классе, но программа всегда терпит неудачу, когда я вызываю метод kivetel. Я думаю, что он просто назовет часть повтора, чем удовлетворит постусловие. Но он не работает с нарушением postcond «y_above_zero».

class 
KEYWORDS 
create 
    make 
feature 
    y:INTEGER 

make 
do 
end 

kivetel 
do 
ensure 
    y__above_zero: y > 0 
rescue 
    y := 20 
    retry 
end 
end 

Answer 1

Это ожидаемое поведение, когда вы запускаете его под EiffelStudio, то есть под отладчиком. Если вы запустите его за пределами ... из консоли, вы ничего не заметите, выполнение будет проходить через предложение rescue и повторить попытку и продолжить, как ожидалось.

Но при отладчике в любое время, когда есть нарушение утверждения или исключение, отладчик поймает его и отобразит диалоговое окно.

(обратите внимание, что можно игнорировать конкретный вид исключения, если это действительно вас беспокоит).