[ref_impl_eiffel] [842] Correct various errors in the RM checking.
Revision: 842
Author: thomas.beale
Date: 2009-03-18 11:52:18 +0000 (Wed, 18 Mar 2009)
Log Message:
-----------
Correct various errors in the RM checking. There is an initial set of
test archetypes for RM checking on the SVN at
knowledge\archetypes\dev\adl\test\rm_checking which are all processed
correctly by the checker now. CKM, AML and older openEHR archetypes all
appear to be handled correctly, although more testing is needed to be
100% sure.
Modified Paths:
--------------
BRANCHES/specialisation/components/reference_model_checker/src/model_access.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_class_definition.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_container_type_reference.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_definitions.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_generic_parameter_definition.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_generic_type_reference.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_model.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_type_specifier.e
BRANCHES/specialisation/libraries/common_libs/src/utility/error_reporting/in_memory_message_db.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/archetype_validator.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/comparator/archetype_flattener.e