Eiffel: неизвестный идентификатор при прикрепленной проверке в требовании

Question

    require
        valid_item: attached item as l_i and then l_i.valid_for_insert or l_i.valid_for_update

почему у меня есть неизвестный идентификатор здесь с l_i??!!!

eiffel design-by-contract void-safety

Источник

user2118777 12 окт '18 в 16:38

1 ответ

Решение

Другие вопросы по тегам eiffel design-by-contract void-safety

user1057890 12 окт '18 в 17:03 2018-10-12 17:03 · Accepted Answer · 2018-10-12 17:03

Попробуй с

valid_item: attached item as l_i and then (l_i.valid_for_insert or l_i.valid_for_update)

Обратите внимание, вы также можете сделать

item_set: attached item as l_i 
valid_item: l_i.valid_for_insert or l_i.valid_for_update

Вы можете повторно использовать локальную переменную объектного теста l_i из предыдущего условия.