Skip to Navigation | Skip to Content

Ref_impl_Eiffel mailing list archives

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

[ref_impl_eiffel] [868] Add a test demonstrating a bug in INTERVAL.is_eq

Revision: 868
Author:   peter.gummer
Date:     2009-05-25 00:39:06 +0100 (Mon, 25 May 2009)

Log Message:
-----------
Add a test demonstrating a bug in INTERVAL.is_equal. This returns True, 
where 'target' is of type INTERVAL:
    target.is_equal (create {MULTIPLICITY_INTERVAL}.make_from_interval 
(target))
It should return False. The 'symmetric' postcondition of ANY.is_equal 
fails because the two objects are of different types, and are therefore 
not equal. To fix this, either the implementation INTERVAL.is_equal has 
to be corrected to return False if the types are different, or else the 
a new query must be added to INTERVAL (called, say, 'same_interval').

Modified Paths:
--------------
    BRANCHES/specialisation/apps/adl_workbench/app/adl_workbench.ecf

Added Paths:
-----------
    BRANCHES/specialisation/libraries/common_libs/tests/
    
BRANCHES/specialisation/libraries/common_libs/tests/openehr_test_set.e
    BRANCHES/specialisation/libraries/common_libs/tests/test_interval.e

Removed Paths:
-------------
    BRANCHES/specialisation/libraries/openehr/tests/openehr_test_set.e