[ref_impl_eiffel] [873] Initial working version of 'has_path' fnction fo
Revision: 873
Author: thomas.beale
Date: 2009-06-26 01:03:50 +0100 (Fri, 26 Jun 2009)
Log Message:
-----------
Initial working version of 'has_path' fnction for Basic meta-model -
checks if a path can exist in reference model, taking into account any
possible object structure, including dynamic attachment of subtypes.
Modified Paths:
--------------
BRANCHES/specialisation/components/adl_parser/src/syntax/cadl/parser/cadl_scanner.e
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_model.e
BRANCHES/specialisation/libraries/common_libs/src/basic_meta_model/bmm_type_specifier.e
BRANCHES/specialisation/libraries/common_libs/src/structures/object_graph/path/og_path.e
Added Paths:
-----------
BRANCHES/specialisation/libraries/common_libs/tests/test_bmm.e