Eiffel: Unknown identifier on attached check into require statement
Question
require
valid_item: attached item as l_i and then l_i.valid_for_insert or l_i.valid_for_update
why do I have an unknown identifier here with l_i??!!!
1 answers
solution1
3 ACCPTED 2018-10-12 17:03:16
Try with
valid_item: attached item as l_i and then (l_i.valid_for_insert or l_i.valid_for_update)
Note you can also do
item_set: attached item as l_i
valid_item: l_i.valid_for_insert or l_i.valid_for_update
you can reuse the object test local variable l_i from a previous precondition.
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.
Related Question
eiffel: a statement for explicitly executing code when assertions are on
estudio does not check `require` when it should?
Understanding Eiffel loop variant/invariant
What does Check.Assert(), Check.Ensure(), and Check.Require() do?
How does Racket Scheme's “design by contract” features different from Eiffel?
Eiffel: is there a way to express a double implies clause in eiffel?
What is the idiomatic way to check and document function preconditions and postconditions in R?
Optional PHP type hint/check for unit testing or static analysis?
How does .NET 4.0's design by contract compare to Eiffel?
Handling switch statement
Related Tags