In FreeELKS and ECMA I have found slightly different semantics of the
deep_* features (also different names, but I am concerned more about the
semantics).
1. Within ECMA there are "is_deep_equal" and "default_is_deep_equal"
with the specification
frozen is_deep_equal (other: like Current): BOOLEAN
...
ensure
shallow_implies_deep: is_equal(other) implies Result
-- in FreeELKS standard_is_equal(other) implies Result
end
frozen default_is_deep_equal (other: like Current): BOOLEAN -- does not
exist in FreeELKS
...
ensure
shallow_implies_deep: default_is_equal(other) implies Result
end
2. ECMA does not have a deep_copy, FreeELKS has a deep_copy.
Is there a reason for the difference of semantics? Is there already an
agreement on the names or is it still unclear, if the ECMA names will be
used finally?
Regards
Helmut
The Eiffel Compiler:
http://www.sourceforge.net/projects/tecompDocumentation:
http://tecomp.sourceforge.net-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/_______________________________________________
freeelks-devel mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/freeelks-devel
