[ref_impl_eiffel] [721] Further refinements to the validation code.
Revision: 721
Author: thomas.beale
Date: 2008-10-01 23:59:20 +0100 (Wed, 01 Oct 2008)
Log Message:
-----------
Further refinements to the validation code.
Added a new class MULTIPLICITY_INTERVAL to more easily define extra
semantics of INTERVAL [INTEGER].
Improved cardinality / occurrences checking.
Modified Paths:
--------------
BRANCHES/specialisation/apps/adl_workbench/app/adl_workbench.ecf
BRANCHES/specialisation/apps/adl_workbench/src/controls/gui_node_map_control.e
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/adl_parser/src/syntax/cadl/serialiser/cadl_syntax_serialiser.e
BRANCHES/specialisation/libraries/common_libs/src/basic/interval.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/constraint_model/archetype_constraint.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/archetype_internal_ref.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/c_attribute.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/c_common.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/c_factory.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/c_object.e
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/cardinality.e
Added Paths:
-----------
BRANCHES/specialisation/libraries/common_libs/src/basic/multiplicity_interval.e
_______________________________________________
Ref_impl_eiffel mailing list
Ref_impl_eiffel@openehr.org
http://lists.chime.ucl.ac.uk/mailman/listinfo/ref_impl_eiffel