Questions tagged [eiffel-scoop]
3 questions
0
votes
2 answers
eiffel type conformance and attachement check not working
Trying to solve one of the SCOOP consequences with make_from_separate I'm running into an issue where at runtime types seem to be the same and won't pass the attached statement.
non_separate_from_any
non_separate_from_any, any_from_separate (v:…
Pipo
- 4,653
- 38
- 47
0
votes
1 answer
non-compatible actual argument in feature call in collection make_from_separate
Don't understand where I'm wrong here...
class
LINKED_LIST_SEP[G]
inherit
LINKED_LIST [G]
create
make,
make_from_iterable,
make_from_separate
feature {NONE} -- Initialization
make_from_separate (other: separate like…
Pipo
- 4,653
- 38
- 47
0
votes
1 answer
Eiffel separate object into ensure statement
Is there a way to have a separate object to be checked as ensure with the separate obj as l_obj statement?
I guess having a boolean function should work.
Any reason for that I don't understand?
set_position (a_pos: like position)
do
…
Pipo
- 4,653
- 38
- 47