Eiffel: неизвестный идентификатор при прикрепленной регистрации в требовании - PullRequest
0 голосов
/ 12 октября 2018
    require
        valid_item: attached item as l_i and then l_i.valid_for_insert or l_i.valid_for_update

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

1 Ответ

0 голосов
/ 12 октября 2018

Попробуйте с

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 из предыдущего предварительного условия.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...