[ref_impl_eiffel] [876] Change INTERVAL.is_equal to equal_interval, and make all comparisons between INTERVAL[INTEGER] objects and also between MULTIPLICITY_INTERVAL objects use this instead of the standard is_equal.

[svn@openehr.org]

Revision: 876
Author:   thomas.beale
Date:     2009-07-16 17:17:03 +0100 (Thu, 16 Jul 2009)

Log Message:
-----------
Change INTERVAL.is_equal to equal_interval, and make all comparisons 
between INTERVAL[INTEGER] objects and also between 
MULTIPLICITY_INTERVAL objects use this instead of the standard 
is_equal. This allows safe comparison, even between objects of the two 
different types, which is prevented by normal is_equal.

Modified Paths:
--------------
    
BRANCHES/specialisation/components/adl_parser/src/syntax/cadl/parser/cadl_validator.e
    
BRANCHES/specialisation/components/adl_parser/src/syntax/cadl/parser/cadl_validator.y
    
BRANCHES/specialisation/components/archetype_repository/tests/test_arch_directory.e
    BRANCHES/specialisation/libraries/common_libs/src/basic/interval.e
    
BRANCHES/specialisation/libraries/common_libs/src/basic/multiplicity_interval.e
    BRANCHES/specialisation/libraries/common_libs/tests/test_bmm.e
    BRANCHES/specialisation/libraries/common_libs/tests/test_interval.e
    
BRANCHES/specialisation/libraries/openehr/src/am/archetype/archetype_validator.e
    
BRANCHES/specialisation/libraries/openehr/src/am/archetype/comparator/archetype_flattener.e
    
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/c_attribute.e
    
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/c_object.e

Removed Paths:
-------------
    
BRANCHES/specialisation/libraries/common_libs/src/structures/syntax/dadl/parser/dadl_validator.e
    
BRANCHES/specialisation/libraries/common_libs/src/structures/syntax/dadl/parser/dadl_validator.y
    
BRANCHES/specialisation/libraries/common_libs/src/structures/syntax/dadl/parser/dadl_validator_parent.e